|
Search the dblp DataBase
Nicolas Halbwachs:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Patrick Cousot, Nicolas Halbwachs
Automatic Discovery of Linear Restraints Among Variables of a Program. [Citation Graph (1, 0)][DBLP] POPL, 1978, pp:84-96 [Conf]
- Nicolas Halbwachs, Louis Mandel
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:3-14 [Conf]
- Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
Synchronous Observers and the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP] AMAST, 1993, pp:83-96 [Conf]
- Nicolas Halbwachs, Pascal Raymond
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:1-12 [Conf]
- Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:213-231 [Conf]
- Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:197-203 [Conf]
- Nicolas Halbwachs
Delay Analysis in Synchronous Programs. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:333-346 [Conf]
- Nicolas Halbwachs
Synchronous Programming of Reactive Systems. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:1-16 [Conf]
- Frédéric Rocheteau, Nicolas Halbwachs
POLLUS: A LUSTRE based hardware design environment. [Citation Graph (0, 0)][DBLP] Algorithms and Parallel VLSI Architectures, 1991, pp:335-346 [Conf]
- Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
Minimization of Timed Transition Systems. [Citation Graph (0, 0)][DBLP] CONCUR, 1992, pp:340-354 [Conf]
- Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP] SYNCHRON, 2004, pp:- [Conf]
- Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP] SYNCHRON, 2004, pp:- [Conf]
- Nicolas Halbwachs, Siwar Baghdadi
Synchronous Modelling of Asynchronous Systems. [Citation Graph (0, 0)][DBLP] EMSOFT, 2002, pp:240-251 [Conf]
- Florence Maraninchi, Nicolas Halbwachs
Compositional Semantics of Non-Deterministic Synchronous Languages. [Citation Graph (0, 0)][DBLP] ESOP, 1996, pp:235-249 [Conf]
- Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
Stability of Discrete Sampled Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:1-11 [Conf]
- Florence Maraninchi, Nicolas Halbwachs
Compiling ARGOS into Boolean Equations. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:72-89 [Conf]
- Daniel Pilaud, Nicolas Halbwachs
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. [Citation Graph (0, 0)][DBLP] FTRTFT, 1988, pp:99-110 [Conf]
- Paul Caspi, Nicolas Halbwachs
An Approach to Real Time Systems Modeling. [Citation Graph (0, 0)][DBLP] ICDCS, 1982, pp:710-716 [Conf]
- Nicolas Halbwachs
A synchronous language at work: the story of Lustre. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2005, pp:3-11 [Conf]
- Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
Generating Efficient Code From Data-Flow Programs. [Citation Graph (0, 0)][DBLP] PLILP, 1991, pp:207-218 [Conf]
- Paul Caspi, Nicolas Halbwachs
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP] PNPM, 1985, pp:40-46 [Conf]
- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:178-188 [Conf]
- David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic Verification of Parameterized Linear Networks of Processes. [Citation Graph (0, 0)][DBLP] POPL, 1997, pp:346-357 [Conf]
- Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP] REX School/Symposium, 1993, pp:1-45 [Conf]
- Frédéric Rocheteau, Nicolas Halbwachs
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. [Citation Graph (0, 0)][DBLP] REX Workshop, 1991, pp:195-208 [Conf]
- J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud
Outline of a Real Time Data Flow Language. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1985, pp:33-42 [Conf]
- Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
Automatic Testing of Reactive Systems. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1998, pp:200-209 [Conf]
- Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
Dynamic Partitioning in Analyses of Numerical Properties. [Citation Graph (0, 0)][DBLP] SAS, 1999, pp:39-50 [Conf]
- Laure Gonnord, Nicolas Halbwachs
Combining Widening and Acceleration in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:144-160 [Conf]
- Nicolas Halbwachs
About Synchronous Programming and Abstract Interpretation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:179-192 [Conf]
- Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
Cartesian Factoring of Polyhedra in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:355-365 [Conf]
- Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
Verification of Linear Hybrid Systems by Means of Convex Approximations. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:223-237 [Conf]
- Paul Caspi, Nicolas Halbwachs
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 1986, v:22, n:6, pp:595-627 [Journal]
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. [Citation Graph (0, 0)][DBLP] Acta Inf., 1992, v:29, n:6/7, pp:523-543 [Journal]
- Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
From Discrete Duration Calculus to Symbolic Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:3-18 [Journal]
- Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
Verification of Real-Time Systems using Linear Relation Analysis. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:11, n:2, pp:157-185 [Journal]
- Nicolas Halbwachs, David Merchat, Laure Gonnord
Some ways to reduce the space dimension in polyhedra computations. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:1, pp:79-95 [Journal]
- Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP] Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
- Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
Minimal State Graph Generation. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1992, v:18, n:3, pp:247-269 [Journal]
- Nicolas Halbwachs
About Synchronous Programming and Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:31, n:1, pp:75-89 [Journal]
- Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
Counter-example generation in symbolic abstract model-checking. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:158-164 [Journal]
- Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
- David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic verification of parameterized networks of processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:256, n:1-2, pp:113-144 [Journal]
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:9, pp:785-793 [Journal]
On the Timed Automata-Based Verification of Ravenscar Systems. [Citation Graph (, )][DBLP]
Virtual execution of AADL models via a translation into synchronous programs. [Citation Graph (, )][DBLP]
Synchronous Modeling and Validation of Priority Inheritance Schedulers. [Citation Graph (, )][DBLP]
Algebra of events: a model for parallel and real time systems. [Citation Graph (, )][DBLP]
Discovering properties about arrays in simple programs. [Citation Graph (, )][DBLP]
An implementation of three algorithms for timing verification based on automata emptiness. [Citation Graph (, )][DBLP]
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. [Citation Graph (, )][DBLP]
An Analysis of Permutations in Arrays. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.306secs
|