Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concerned with precision, e.g., the removal of spurious counterexamples; for this p ...
As the test of the PFC1 is foreseen in 2006 at JAERI Naka, Japan, it is essential to consider in detail the lessons learned from the short NbTi sample tests, as well as the issues left open after them, in order to develop a suitable test program of the PFC ...
Understanding stakeholders’ needs is necessary to design requirements for organizations and IT systems. We present a systemic modeling method to identify and categorize stakeholders within value networks, to analyze the relationships between these value ne ...
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development signify a move from component-based to service-oriented approach, therefore S ...
A review on the methods of characterization of multicomponent microcapsules. Requirements to measure the ingress and egress of small and macromols. through the membrane are discussed, along with the relevant theory. The relevant factors to consider in micr ...
This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representation ...
With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...
This paper describes the methodology used to transform the 2001 Swiss SAM devised at ETH Zürich and align it to the requirements of the GEMINI-E3 model which is based on the GTAP database. ...
Fault injection is an often overlooked component of the software test cycle, yet it is critical for building robust systems. The main reasons for this neglect are ineffectual tools, an overwhelmingly large number of possible faults to inject, and extensive ...
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In curr ...
