| 2007 |
|---|
| 49 | EE | Erwan Jahier,
Nicolas Halbwachs,
Pascal Raymond,
Xavier Nicollin,
David Lesens:
Virtual execution of AADL models via a translation into synchronous programs.
EMSOFT 2007: 134-143 |
| 48 | EE | Mathias Péron,
Nicolas Halbwachs:
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.
VMCAI 2007: 268-282 |
| 2006 |
|---|
| 47 | EE | Nicolas Halbwachs,
Louis Mandel:
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
ACSD 2006: 3-14 |
| 46 | EE | Laure Gonnord,
Nicolas Halbwachs:
Combining Widening and Acceleration in Linear Relation Analysis.
SAS 2006: 144-160 |
| 45 | EE | Laure Gonnord,
Nicolas Halbwachs,
Pascal Raymond:
From Discrete Duration Calculus to Symbolic Automata.
Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006) |
| 44 | EE | Nicolas Halbwachs,
David Merchat,
Laure Gonnord:
Some ways to reduce the space dimension in polyhedra computations.
Formal Methods in System Design 29(1): 79-95 (2006) |
| 2005 |
|---|
| 43 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 42 | | Nicolas Halbwachs,
Lenore D. Zuck:
Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Springer 2005 |
| 41 | EE | Nicolas Halbwachs:
A synchronous language at work: the story of Lustre.
MEMOCODE 2005: 3-11 |
| 2004 |
|---|
| 40 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 39 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 38 | EE | Gordon J. Pace,
Nicolas Halbwachs,
Pascal Raymond:
Counter-example generation in symbolic abstract model-checking.
STTT 5(2-3): 158-164 (2004) |
| 2003 |
|---|
| 37 | EE | Nicolas Halbwachs,
David Merchat,
Catherine Parent-Vigouroux:
Cartesian Factoring of Polyhedra in Linear Relation Analysis.
SAS 2003: 355-365 |
| 36 | | Albert Benveniste,
Paul Caspi,
Stephen A. Edwards,
Nicolas Halbwachs,
Paul Le Guernic,
Robert de Simone:
The synchronous languages 12 years later.
Proceedings of the IEEE 91(1): 64-83 (2003) |
| 2002 |
|---|
| 35 | EE | Nicolas Halbwachs,
Siwar Baghdadi:
Synchronous Modelling of Asynchronous Systems.
EMSOFT 2002: 240-251 |
| 2001 |
|---|
| 34 | EE | David Lesens,
Nicolas Halbwachs,
Pascal Raymond:
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci. 256(1-2): 113-144 (2001) |
| 2000 |
|---|
| 33 | EE | Nicolas Halbwachs,
J.-F. Héry,
J.-C. Laleuf,
Xavier Nicollin:
Stability of Discrete Sampled Systems.
FTRTFT 2000: 1-11 |
| 1999 |
|---|
| 32 | | Nicolas Halbwachs,
Doron Peled:
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings
Springer 1999 |
| 31 | EE | Nicolas Halbwachs,
Pascal Raymond:
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
ASIAN 1999: 1-12 |
| 30 | EE | Bertrand Jeannet,
Nicolas Halbwachs,
Pascal Raymond:
Dynamic Partitioning in Analyses of Numerical Properties.
SAS 1999: 39-50 |
| 1998 |
|---|
| 29 | | Nicolas Halbwachs:
Synchronous Programming of Reactive Systems.
CAV 1998: 1-16 |
| 28 | EE | Pascal Raymond,
Xavier Nicollin,
Nicolas Halbwachs,
Daniel Weber:
Automatic Testing of Reactive Systems.
IEEE Real-Time Systems Symposium 1998: 200-209 |
| 27 | | Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation.
Sci. Comput. Program. 31(1): 75-89 (1998) |
| 1997 |
|---|
| 26 | EE | David Lesens,
Nicolas Halbwachs,
Pascal Raymond:
Automatic Verification of Parameterized Linear Networks of Processes.
POPL 1997: 346-357 |
| 25 | | Nicolas Halbwachs,
Yann-Erick Proy,
Patrick Roumanoff:
Verification of Real-Time Systems using Linear Relation Analysis.
Formal Methods in System Design 11(2): 157-185 (1997) |
| 1996 |
|---|
| 24 | | Florence Maraninchi,
Nicolas Halbwachs:
Compositional Semantics of Non-Deterministic Synchronous Languages.
ESOP 1996: 235-249 |
| 23 | | Florence Maraninchi,
Nicolas Halbwachs:
Compiling ARGOS into Boolean Equations.
FTRTFT 1996: 72-89 |
| 1995 |
|---|
| 22 | EE | 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.
Theor. Comput. Sci. 138(1): 3-34 (1995) |
| 1994 |
|---|
| 21 | | Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation.
SAS 1994: 179-192 |
| 20 | | Nicolas Halbwachs,
Yann-Eric Proy,
Pascal Raymond:
Verification of Linear Hybrid Systems by Means of Convex Approximations.
SAS 1994: 223-237 |
| 1993 |
|---|
| 19 | | Nicolas Halbwachs,
Fabienne Lagnier,
Pascal Raymond:
Synchronous Observers and the Verification of Reactive Systems.
AMAST 1993: 83-96 |
| 18 | | Nicolas Halbwachs:
Delay Analysis in Synchronous Programs.
CAV 1993: 333-346 |
| 17 | | Albert Benveniste,
Paul Caspi,
Paul Le Guernic,
Nicolas Halbwachs:
Data-Flow Synchronous Languages.
REX School/Symposium 1993: 1-45 |
| 1992 |
|---|
| 16 | | Rajeev Alur,
Costas Courcoubetis,
Nicolas Halbwachs,
David L. Dill,
Howard Wong-Toi:
Minimization of Timed Transition Systems.
CONCUR 1992: 340-354 |
| 15 | | Nicolas Halbwachs,
Fabienne Lagnier,
Christophe Ratel:
An Experience in Proving Regular Networks of Processes by Modular Model Checking.
Acta Inf. 29(6/7): 523-543 (1992) |
| 14 | EE | Nicolas Halbwachs,
Fabienne Lagnier,
Christophe Ratel:
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.
IEEE Trans. Software Eng. 18(9): 785-793 (1992) |
| 13 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Nicolas Halbwachs,
Pascal Raymond:
Minimal State Graph Generation.
Sci. Comput. Program. 18(3): 247-269 (1992) |
| 1991 |
|---|
| 12 | | Frédéric Rocheteau,
Nicolas Halbwachs:
POLLUS: A LUSTRE based hardware design environment.
Algorithms and Parallel VLSI Architectures 1991: 335-346 |
| 11 | | Nicolas Halbwachs,
Pascal Raymond,
Christophe Ratel:
Generating Efficient Code From Data-Flow Programs.
PLILP 1991: 207-218 |
| 10 | | Frédéric Rocheteau,
Nicolas Halbwachs:
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.
REX Workshop 1991: 195-208 |
| 1990 |
|---|
| 9 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Nicolas Halbwachs:
Minimal Model Generation.
CAV 1990: 197-203 |
| 1989 |
|---|
| 8 | | Nicolas Halbwachs,
Daniel Pilaud,
Farid Ouabdesselam,
A.-C. Glory:
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Automatic Verification Methods for Finite State Systems 1989: 213-231 |
| 1988 |
|---|
| 7 | | Daniel Pilaud,
Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.
FTRTFT 1988: 99-110 |
| 1987 |
|---|
| 6 | | Paul Caspi,
Daniel Pilaud,
Nicolas Halbwachs,
John Plaice:
Lustre: A Declarative Language for Programming Synchronous Systems.
POPL 1987: 178-188 |
| 1986 |
|---|
| 5 | | Paul Caspi,
Nicolas Halbwachs:
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.
Acta Inf. 22(6): 595-627 (1986) |
| 1985 |
|---|
| 4 | | J. L. Bergerand,
Paul Caspi,
Daniel Pilaud,
Nicolas Halbwachs,
E. Pilaud:
Outline of a Real Time Data Flow Language.
IEEE Real-Time Systems Symposium 1985: 33-42 |
| 3 | | Paul Caspi,
Nicolas Halbwachs:
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets.
PNPM 1985: 40-46 |
| 1982 |
|---|
| 2 | | Paul Caspi,
Nicolas Halbwachs:
An Approach to Real Time Systems Modeling.
ICDCS 1982: 710-716 |
| 1978 |
|---|
| 1 | | Patrick Cousot,
Nicolas Halbwachs:
Automatic Discovery of Linear Restraints Among Variables of a Program.
POPL 1978: 84-96 |
