Nicolas Halbwachs

	2010
56		Valentin Perrelle, Nicolas Halbwachs: An Analysis of Permutations in Arrays. VMCAI 2010: 279-294
	2009
55		Samarjit Chakraborty, Nicolas Halbwachs: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009 ACM 2009
54		Erwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
	2008
53		Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
52		Nicolas Halbwachs, Mathias Péron: Discovering properties about arrays in simple programs. PLDI 2008: 339-348
	2007
51		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		Mathias Péron, Nicolas Halbwachs: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI 2007: 268-282
	2006
49		Nicolas Halbwachs, Louis Mandel: Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD 2006: 3-14
48		Laure Gonnord, Nicolas Halbwachs: Combining Widening and Acceleration in Linear Relation Analysis. SAS 2006: 144-160
47		Laure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006)
46		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		Nicolas Halbwachs: A synchronous language at work: the story of Lustre. MEMOCODE 2005: 3-11
	2004
42		Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
41		Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
40		Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
	2003
39		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		Nicolas Halbwachs, Siwar Baghdadi: Synchronous Modelling of Asynchronous Systems. EMSOFT 2002: 240-251
	2001
36		David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
	2000
35		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		Nicolas Halbwachs, Pascal Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
32		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		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		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		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		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		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	Samarjit Chakraborty	[55]
8	Costas Courcoubetis	[17] [18] [24]
9	Patrick Cousot	[1]
10	David L. Dill	[17] [18]
11	Stephen A. Edwards	[38] [41] [42] [45]
12	Jean-Claude Fernandez	[10] [14]
13	A.-C. Glory	[9]
14	Laure Gonnord	[46] [47] [48]
15	Paul Le Guernic	[19] [38]
16	Reinhard von Hanxleden	[41] [42] [45]
17	Thomas A. Henzinger	[24]
18	J.-F. Héry	[35]
19	Pei-Hsin Ho	[24]
20	Erwan Jahier	[51] [54]
21	Bertrand Jeannet	[32]
22	Fabienne Lagnier	[15] [16] [21]
23	J.-C. Laleuf	[35]
24	David Lesens	[28] [36] [51]
25	Louis Mandel	[49]
26	Florence Maraninchi	[25] [26]
27	David Merchat	[39] [46]
28	Xavier Nicollin	[24] [30] [35] [51]
29	Iulian Ober	[53]
30	Alfredo Olivero	[24]
31	Farid Ouabdesselam	[9]
32	Gordon J. Pace	[40]
33	Catherine Parent-Vigouroux	[39]
34	Doron Peled	[34]
35	Mathias Péron	[50] [52]
36	Valentin Perrelle	[56]
37	Daniel Pilaud	[5] [7] [8] [9]
38	E. Pilaud	[5]
39	John Plaice	[7]
40	Yann-Eric Proy	[22]
41	Yann-Erick Proy	[27]
42	Christophe Ratel	[12] [15] [16]
43	Pascal Raymond	[12] [14] [21] [22] [28] [30] [32] [33] [36] [40] [47] [51] [54]
44	Frédéric Rocheteau	[11] [13]
45	Patrick Roumanoff	[27]
46	Joseph Sifakis	[24]
47	Robert de Simone	[38]
48	Thomas Stauner	[41] [42] [45]
49	Daniel Weber	[30]
50	Howard Wong-Toi	[17] [18]
51	Sergio Yovine	[24]
52	Lenore D. Zuck	[44]

Colors in the list of coauthors