Nicolas Halbwachs

2009
54	EE	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
2008
53	EE	Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
52	EE	Nicolas Halbwachs, Mathias Péron: Discovering properties about arrays in simple programs. PLDI 2008: 339-348
2007
51	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
50	EE	Mathias Péron, Nicolas Halbwachs: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI 2007: 268-282
2006
49	EE	Nicolas Halbwachs, Louis Mandel: Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD 2006: 3-14
48	EE	Laure Gonnord, Nicolas Halbwachs: Combining Widening and Acceleration in Linear Relation Analysis. SAS 2006: 144-160
47	EE	Laure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006)
46	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
45		Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 IBFI, Schloss Dagstuhl, Germany 2005
44		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
43	EE	Nicolas Halbwachs: A synchronous language at work: the story of Lustre. MEMOCODE 2005: 3-11
2004
42	EE	Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
41	EE	Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
40	EE	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
2003
39	EE	Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux: Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS 2003: 355-365
38		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
37	EE	Nicolas Halbwachs, Siwar Baghdadi: Synchronous Modelling of Asynchronous Systems. EMSOFT 2002: 240-251
2001
36	EE	David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
2000
35	EE	Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin: Stability of Discrete Sampled Systems. FTRTFT 2000: 1-11
1999
34		Nicolas Halbwachs, Doron Peled: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings Springer 1999
33	EE	Nicolas Halbwachs, Pascal Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
32	EE	Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
1998
31		Nicolas Halbwachs: Synchronous Programming of Reactive Systems. CAV 1998: 1-16
30	EE	Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber: Automatic Testing of Reactive Systems. IEEE Real-Time Systems Symposium 1998: 200-209
29		Nicolas Halbwachs: About Synchronous Programming and Abstract Interpretation. Sci. Comput. Program. 31(1): 75-89 (1998)
1997
28	EE	David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357
27		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
26		Florence Maraninchi, Nicolas Halbwachs: Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP 1996: 235-249
25		Florence Maraninchi, Nicolas Halbwachs: Compiling ARGOS into Boolean Equations. FTRTFT 1996: 72-89
1995
24	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
23		Nicolas Halbwachs: About Synchronous Programming and Abstract Interpretation. SAS 1994: 179-192
22		Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond: Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS 1994: 223-237
1993
21		Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond: Synchronous Observers and the Verification of Reactive Systems. AMAST 1993: 83-96
20		Nicolas Halbwachs: Delay Analysis in Synchronous Programs. CAV 1993: 333-346
19		Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
1992
18		Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
17	EE	Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi: An implementation of three algorithms for timing verification based on automata emptiness. IEEE Real-Time Systems Symposium 1992: 157-166
16		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)
15	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)
14		Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond: Minimal State Graph Generation. Sci. Comput. Program. 18(3): 247-269 (1992)
1991
13		Frédéric Rocheteau, Nicolas Halbwachs: POLLUS: A LUSTRE based hardware design environment. Algorithms and Parallel VLSI Architectures 1991: 335-346
12		Nicolas Halbwachs, Pascal Raymond, Christophe Ratel: Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218
11		Frédéric Rocheteau, Nicolas Halbwachs: Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. REX Workshop 1991: 195-208
1990
10		Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs: Minimal Model Generation. CAV 1990: 197-203
1989
9		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
8		Daniel Pilaud, Nicolas Halbwachs: From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT 1988: 99-110
1987
7		Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice: Lustre: A Declarative Language for Programming Synchronous Systems. POPL 1987: 178-188
1986
6		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
5		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
4		Paul Caspi, Nicolas Halbwachs: An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM 1985: 40-46
1982
3		Paul Caspi, Nicolas Halbwachs: An Approach to Real Time Systems Modeling. ICDCS 1982: 710-716
2		Paul Caspi, Nicolas Halbwachs: Algebra of events: a model for parallel and real time systems. ICPP 1982: 150-159
1978
1		Patrick Cousot, Nicolas Halbwachs: Automatic Discovery of Linear Restraints Among Variables of a Program. POPL 1978: 84-96

Coauthor Index

1	Rajeev Alur	[17] [18] [24]
2	Siwar Baghdadi	[37]
3	Albert Benveniste	[19] [38]
4	J. L. Bergerand	[5]
5	Ahmed Bouajjani	[10] [14]
6	Paul Caspi	[2] [3] [4] [5] [6] [7] [19] [38]
7	Costas Courcoubetis	[17] [18] [24]
8	Patrick Cousot	[1]
9	David L. Dill	[17] [18]
10	Stephen A. Edwards	[38] [41] [42] [45]
11	Jean-Claude Fernandez	[10] [14]
12	A.-C. Glory	[9]
13	Laure Gonnord	[46] [47] [48]
14	Paul Le Guernic	[19] [38]
15	Reinhard von Hanxleden	[41] [42] [45]
16	Thomas A. Henzinger	[24]
17	J.-F. Héry	[35]
18	Pei-Hsin Ho	[24]
19	Erwan Jahier	[51] [54]
20	Bertrand Jeannet	[32]
21	Fabienne Lagnier	[15] [16] [21]
22	J.-C. Laleuf	[35]
23	David Lesens	[28] [36] [51]
24	Louis Mandel	[49]
25	Florence Maraninchi	[25] [26]
26	David Merchat	[39] [46]
27	Xavier Nicollin	[24] [30] [35] [51]
28	Iulian Ober	[53]
29	Alfredo Olivero	[24]
30	Farid Ouabdesselam	[9]
31	Gordon J. Pace	[40]
32	Catherine Parent-Vigouroux	[39]
33	Doron Peled	[34]
34	Mathias Péron	[50] [52]
35	Daniel Pilaud	[5] [7] [8] [9]
36	E. Pilaud	[5]
37	John Plaice	[7]
38	Yann-Eric Proy	[22]
39	Yann-Erick Proy	[27]
40	Christophe Ratel	[12] [15] [16]
41	Pascal Raymond	[12] [14] [21] [22] [28] [30] [32] [33] [36] [40] [47] [51] [54]
42	Frédéric Rocheteau	[11] [13]
43	Patrick Roumanoff	[27]
44	Joseph Sifakis	[24]
45	Robert de Simone	[38]
46	Thomas Stauner	[41] [42] [45]
47	Daniel Weber	[30]
48	Howard Wong-Toi	[17] [18]
49	Sergio Yovine	[24]
50	Lenore D. Zuck	[44]

Colors in the list of coauthors