Nicolas Halbwachs

ORCID

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 4

Top Venues

VMCAI

WCET

Leibniz Trans. Embed. Syst.

SIES

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Rémy Boutonnet, Nicolas Halbwachs
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. VMCAI (2019)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
Improving WCET Evaluation using Linear Relation Analysis. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Rémy Boutonnet, Nicolas Halbwachs
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Formal Methods Syst. Des. 53 (3) (2018)
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
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Engineering functional requirements of reactive systems using synchronous languages. SIES (2013)
Nicolas Halbwachs, Julien Henry
When the Decreasing Sequence Fails. SAS (2012)
Samarjit Chakraborty, Nicolas Halbwachs
EMSOFT 2009 guest editors' introduction. Des. Autom. Embed. Syst. 14 (3) (2010)
Valentin Perrelle, Nicolas Halbwachs
An Analysis of Permutations in Arrays. VMCAI (2010)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE (2009)
Nicolas Halbwachs, Mathias Péron
Discovering properties about arrays in simple programs. PLDI (2008)
Iulian Ober, Nicolas Halbwachs
On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe (2008)
Mathias Péron, Nicolas Halbwachs
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI (2007)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
Virtual execution of AADL models via a translation into synchronous programs. EMSOFT (2007)
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
From Discrete Duration Calculus to Symbolic Automata. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Laure Gonnord, Nicolas Halbwachs
Combining Widening and Acceleration in Linear Relation Analysis. SAS (2006)
Nicolas Halbwachs, David Merchat, Laure Gonnord
Some ways to reduce the space dimension in polyhedra computations. Formal Methods Syst. Des. 29 (1) (2006)
Nicolas Halbwachs, Louis Mandel
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD (2006)
Nicolas Halbwachs
A synchronous language at work: the story of Lustre. MEMOCODE (2005)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. Proc. IEEE 91 (1) (2003)
Nicolas Halbwachs, Siwar Baghdadi
Synchronous Modelling of Asynchronous Systems. EMSOFT (2002)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256 (1-2) (2001)
Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
Stability of Discrete Sampled Systems. FTRTFT (2000)
Nicolas Halbwachs, Pascal Raymond
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN (1999)
Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
Dynamic Partitioning in Analyses of Numerical Properties. SAS (1999)
Nicolas Halbwachs
Synchronous Programming of Reactive Systems. CAV (1998)
Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
Automatic Testing of Reactive Systems. RTSS (1998)
Nicolas Halbwachs
About Synchronous Programming and Abstract Interpretation. Sci. Comput. Program. 31 (1) (1998)
Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
Verification of Real-Time Systems using Linear Relation Analysis. Formal Methods Syst. Des. 11 (2) (1997)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic Verification of Parameterized Linear Networks of Processes. POPL (1997)
Florence Maraninchi, Nicolas Halbwachs
Compiling ARGOS into Boolean Equations. FTRTFT (1996)
Florence Maraninchi, Nicolas Halbwachs
Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP (1996)
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) (1995)
Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS (1994)
Nicolas Halbwachs
About Synchronous Programming and Abstract Interpretation. SAS (1994)
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
Synchronous Observers and the Verification of Reactive Systems. AMAST (1993)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
Data-Flow Synchronous Languages. REX School/Symposium (1993)
Nicolas Halbwachs
Delay Analysis in Synchronous Programs. CAV (1993)
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) (1992)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
Minimal State Graph Generation. Sci. Comput. Program. 18 (3) (1992)
Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
An implementation of three algorithms for timing verification based on automata emptiness. RTSS (1992)
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Informatica 29 (6/7) (1992)
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
Minimization of Timed Transition Systems. CONCUR (1992)
Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
The synchronous data flow programming language LUSTRE. Proc. IEEE 79 (9) (1991)
Frédéric Rocheteau, Nicolas Halbwachs
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. REX Workshop (1991)
Frédéric Rocheteau, Nicolas Halbwachs
POLLUS: A LUSTRE based hardware design environment. Algorithms and Parallel VLSI Architectures (1991)
Christophe Ratel, Nicolas Halbwachs, Pascal Raymond
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. SIGSOFT (1991)
Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
Generating Efficient Code From Data-Flow Programs. PLILP (1991)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. CAV (1990)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. CAV (DIMACS/AMS volume) (1990)
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems (1989)
Daniel Pilaud, Nicolas Halbwachs
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT (1988)
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. POPL (1987)
Paul Caspi, Nicolas Halbwachs
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. Acta Informatica 22 (6) (1986)
Paul Caspi, Nicolas Halbwachs
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM (1985)
Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud
Outline of a Real Time Data Flow Language. RTSS (1985)
Paul Caspi, Nicolas Halbwachs
An Approach to Real Time Systems Modeling. ICDCS (1982)
Paul Caspi, Nicolas Halbwachs
Algebra of events: a model for parallel and real time systems. ICPP (1982)
Patrick Cousot, Nicolas Halbwachs
Automatic Discovery of Linear Restraints Among Variables of a Program. POPL (1978)

Nicolas Halbwachs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Halbwachs