dblp.uni-trier.dewww.uni-trier.de

Nicolas Halbwachs Vis

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

*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
54EEErwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
2008
53EEIulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
52EENicolas Halbwachs, Mathias Péron: Discovering properties about arrays in simple programs. PLDI 2008: 339-348
2007
51EEErwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143
50EEMathias Péron, Nicolas Halbwachs: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI 2007: 268-282
2006
49EENicolas Halbwachs, Louis Mandel: Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD 2006: 3-14
48EELaure Gonnord, Nicolas Halbwachs: Combining Widening and Acceleration in Linear Relation Analysis. SAS 2006: 144-160
47EELaure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006)
46EENicolas 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
43EENicolas Halbwachs: A synchronous language at work: the story of Lustre. MEMOCODE 2005: 3-11
2004
42EEStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
41EEStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
40EEGordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
2003
39EENicolas 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
37EENicolas Halbwachs, Siwar Baghdadi: Synchronous Modelling of Asynchronous Systems. EMSOFT 2002: 240-251
2001
36EEDavid Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
2000
35EENicolas 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
33EENicolas Halbwachs, Pascal Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
32EEBertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
1998
31EENicolas Halbwachs: Synchronous Programming of Reactive Systems. CAV 1998: 1-16
30EEPascal 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
28EEDavid 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
26EEFlorence 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
24EERajeev 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
20EENicolas Halbwachs: Delay Analysis in Synchronous Programs. CAV 1993: 333-346
19EEAlbert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
1992
18EERajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
17EERajeev 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)
15EENicolas 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
12EENicolas Halbwachs, Pascal Raymond, Christophe Ratel: Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218
11EEFrédéric Rocheteau, Nicolas Halbwachs: Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. REX Workshop 1991: 195-208
1990
10EEAhmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs: Minimal Model Generation. CAV 1990: 197-203
1989
9EENicolas 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

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]
36Daniel Pilaud [5] [7] [8] [9]
37E. Pilaud [5]
38John Plaice [7]
39Yann-Eric Proy [22]
40Yann-Erick Proy [27]
41Christophe Ratel [12] [15] [16]
42Pascal Raymond [12] [14] [21] [22] [28] [30] [32] [33] [36] [40] [47] [51] [54]
43Frédéric Rocheteau [11] [13]
44Patrick Roumanoff [27]
45Joseph Sifakis [24]
46Robert de Simone [38]
47Thomas Stauner [41] [42] [45]
48Daniel Weber [30]
49Howard Wong-Toi [17] [18]
50Sergio Yovine [24]
51Lenore D. Zuck [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)