Nicolas Halbwachs

68 papers A* 8A 6B 12C 1Misc 4Journal 15Unranked 19
YearRankTypeTitle / Venue / Authors
2019 B conf
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.
VMCAI
Rémy Boutonnet, Nicolas Halbwachs
2019 J jnl
Improving WCET Evaluation using Linear Relation Analysis.
Leibniz Trans. Embed. Syst.
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
2018 J jnl
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence.
Formal Methods Syst. Des.
Rémy Boutonnet, Nicolas Halbwachs
2017 — conf
The W-SEPT Project: Towards Semantic-Aware WCET Estimation.
WCET
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
2013 — conf
Engineering functional requirements of reactive systems using synchronous languages.
SIES
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
2012 B conf
When the Decreasing Sequence Fails.
SAS
Nicolas Halbwachs, Julien Henry
2010 B conf
An Analysis of Permutations in Arrays.
VMCAI
Valentin Perrelle, Nicolas Halbwachs
2010 J jnl
EMSOFT 2009 guest editors' introduction.
Des. Autom. Embed. Syst.
Samarjit Chakraborty, Nicolas Halbwachs
2009 Misc ed.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009
EMSOFT
Samarjit Chakraborty, Nicolas Halbwachs
2009 B conf
Synchronous Modeling and Validation of Priority Inheritance Schedulers.
FASE
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
2008 A* conf
Discovering properties about arrays in simple programs.
PLDI
Nicolas Halbwachs, Mathias Péron
2008 Misc conf
On the Timed Automata-Based Verification of Ravenscar Systems.
Ada-Europe
Iulian Ober, Nicolas Halbwachs
2007 B conf
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.
VMCAI
Mathias Péron, Nicolas Halbwachs
2007 Misc conf
Virtual execution of AADL models via a translation into synchronous programs.
EMSOFT
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
2006 B conf
Combining Widening and Acceleration in Linear Relation Analysis.
SAS
Laure Gonnord, Nicolas Halbwachs
2006 — conf
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
ACSD
Nicolas Halbwachs, Louis Mandel
2006 J jnl
Some ways to reduce the space dimension in polyhedra computations.
Formal Methods Syst. Des.
Nicolas Halbwachs, David Merchat, Laure Gonnord
2005 C conf
A synchronous language at work: the story of Lustre.
MEMOCODE
Nicolas Halbwachs
2005 — ed.
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2005 A ed.
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
TACAS
Nicolas Halbwachs, Lenore D. Zuck
2004 — conf
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004 — conf
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004 J jnl
Counter-example generation in symbolic abstract model-checking.
Int. J. Softw. Tools Technol. Transf.
Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
2004 — conf
From Discrete Duration Calculus to Symbolic Automata.
SLAP
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
2003 B conf
Cartesian Factoring of Polyhedra in Linear Relation Analysis.
SAS
Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
2003 J jnl
The synchronous languages 12 years later.
Proc. IEEE
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
2002 Misc conf
Synchronous Modelling of Asynchronous Systems.
EMSOFT
Nicolas Halbwachs, Siwar Baghdadi
2001 J jnl
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci.
David Lesens, Nicolas Halbwachs, Pascal Raymond
2000 — conf
Stability of Discrete Sampled Systems.
FTRTFT
Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
1999 A* ed.
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings
CAV
Nicolas Halbwachs, Doron A. Peled
1999 B conf
Dynamic Partitioning in Analyses of Numerical Properties.
SAS
Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
1999 — conf
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
ASIAN
Nicolas Halbwachs, Pascal Raymond
1998 J jnl
About Synchronous Programming and Abstract Interpretation.
Sci. Comput. Program.
Nicolas Halbwachs
1998 A conf
Automatic Testing of Reactive Systems.
RTSS
Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
1998 A* conf
Synchronous Programming of Reactive Systems.
CAV
Nicolas Halbwachs
1997 A* conf
Automatic Verification of Parameterized Linear Networks of Processes.
POPL
David Lesens, Nicolas Halbwachs, Pascal Raymond
1997 J jnl
Verification of Real-Time Systems using Linear Relation Analysis.
Formal Methods Syst. Des.
Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
1996 — conf
Compiling ARGOS into Boolean Equations.
FTRTFT
Florence Maraninchi, Nicolas Halbwachs
1996 A conf
Compositional Semantics of Non-Deterministic Synchronous Languages.
ESOP
Florence Maraninchi, Nicolas Halbwachs
1995 J jnl
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci.
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1994 B conf
About Synchronous Programming and Abstract Interpretation.
SAS
Nicolas Halbwachs
1994 B conf
Verification of Linear Hybrid Systems by Means of Convex Approximations.
SAS
Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
1993 — conf
Data-Flow Synchronous Languages.
REX School/Symposium
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
1993 A* conf
Delay Analysis in Synchronous Programs.
CAV
Nicolas Halbwachs
1993 — conf
Synchronous Observers and the Verification of Reactive Systems.
AMAST
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
1992 J jnl
An Experience in Proving Regular Networks of Processes by Modular Model Checking.
Acta Informatica
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
1992 A conf
An implementation of three algorithms for timing verification based on automata emptiness.
RTSS
Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
1992 J jnl
Minimal State Graph Generation.
Sci. Comput. Program.
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
1992 B conf
Minimization of Timed Transition Systems.
CONCUR
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
1992 J jnl
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.
IEEE Trans. Software Eng.
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
1991 — conf
Generating Efficient Code From Data-Flow Programs.
PLILP
Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
1991 — conf
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.
REX Workshop
Frédéric Rocheteau, Nicolas Halbwachs
1991 — conf
POLLUS: A LUSTRE based hardware design environment.
Algorithms and Parallel VLSI Architectures
Frédéric Rocheteau, Nicolas Halbwachs
1991 — conf
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.
SIGSOFT
Christophe Ratel, Nicolas Halbwachs, Pascal Raymond
1991 J jnl
The synchronous data flow programming language LUSTRE.
Proc. IEEE
Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
1990 A* conf
Minimal Model Generation.
CAV
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
1990 — conf
Minimal Model Generation.
CAV (DIMACS/AMS volume)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
1989 — conf
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Automatic Verification Methods for Finite State Systems
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
1988 — conf
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.
FTRTFT
Daniel Pilaud, Nicolas Halbwachs
1987 A* conf
Lustre: A Declarative Language for Programming Synchronous Systems.
POPL
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
1986 J jnl
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.
Acta Informatica
Paul Caspi, Nicolas Halbwachs
1985 — conf
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets.
PNPM
Paul Caspi, Nicolas Halbwachs
1985 A conf
Outline of a Real Time Data Flow Language.
RTSS
Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud
1984 — book
Modélisation et analyse du comportement des systèmes informatiques temporisés. (Modelling and analysis of timed computer system behaviour).
Nicolas Halbwachs
1982 B conf
Algebra of events: a model for parallel and real time systems.
ICPP
Paul Caspi, Nicolas Halbwachs
1982 A conf
An Approach to Real Time Systems Modeling.
ICDCS
Paul Caspi, Nicolas Halbwachs
1979 — —
Détermination automatique de relations linéaires vérifiées par les variables d'un programme.
Nicolas Halbwachs
1978 A* conf
Automatic Discovery of Linear Restraints Among Variables of a Program.
POPL
Patrick Cousot, Nicolas Halbwachs