Halbwachs, Nicolas - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)

Advanced Search

Halbwachs, Nicolas - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)

On the symbolic analysis of combinational loops in circuits and synchronous programs \Lambda
Compiling Argos into Boolean equations
Programming and verifying realtime systems by means of the synchronous dataflow language LUSTRE \Lambda
Automatic Verification of Parameterized Linear Networks of Processes
Generating Efficient Code From DataFlow Programs \Lambda
Verification of RealTime Systems using Linear Relation Analysis \Lambda
Compositional Semantics of Nondeterministic Synchronous Languages ?
Dynamic Partitioning in Analyses of Numerical Properties ?
Verification of linear hybrid systems by means of convex approximations \Lambday
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing ?
Automatic Testing of Reactive Systems \Lambda Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs y
[Alu91] R. Alur. Techniques for automatic verification of realtime systems. Phd thesis, Stanford University, August 1991.
Theoretical Computer Science 138 (1995) 3--34 1 The Algorithmic Analysis of Hybrid Systems
Synchronous Programming of Reactive Nicolas Halbwachs
On the timed automata-based verification of Ravenscar systems
POLLUX : A LUSTRE based hardware design environment Fr'ed'eric ROCHETEAU
[12] M. Damiani and G. DeMicheli. Don't care set specifications in combinational and syn chronous logic circuits. Technical Report CSLTR92531, Computer Systems Labora
Synchronous Modelling of Asynchronous Systems
Minimal State Graph Generation \Lambda A. Bouajjani, JC. Fernandez,
About synchronous programming and abstract interpretation ?
An executable temporal logic to express safety properties and its connection with the language Lustre