Nicolas Halbwachs Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)