Nicolas Halbwachs

According to our database, Nicolas Halbwachs authored at least 62 papers between 1978 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Improving WCET Evaluation using Linear Relation Analysis.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet

Leibniz Trans. Embed. Syst., 2019

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.

Rémy Boutonnet, Nicolas Halbwachs

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence.

Rémy Boutonnet, Nicolas Halbwachs

Formal Methods Syst. Des., 2018

2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

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

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2013

Engineering functional requirements of reactive systems using synchronous languages.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

2012

When the Decreasing Sequence Fails.

Nicolas Halbwachs, Julien Henry

Proceedings of the Static Analysis - 19th International Symposium, 2012

2010

EMSOFT 2009 guest editors' introduction.

Samarjit Chakraborty, Nicolas Halbwachs

Des. Autom. Embed. Syst., 2010

An Analysis of Permutations in Arrays.

Valentin Perrelle, Nicolas Halbwachs

Proceedings of the Verification, 2010

2009

Synchronous Modeling and Validation of Priority Inheritance Schedulers.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Discovering properties about arrays in simple programs.

Nicolas Halbwachs, Mathias Péron

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

On the Timed Automata-Based Verification of Ravenscar Systems.

Iulian Ober, Nicolas Halbwachs

Proceedings of the Reliable Software Technologies, 2008

2007

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.

Mathias Péron, Nicolas Halbwachs

Proceedings of the Verification, 2007

Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Some ways to reduce the space dimension in polyhedra computations.

Nicolas Halbwachs, David Merchat, Laure Gonnord

Formal Methods Syst. Des., 2006

Combining Widening and Acceleration in Linear Relation Analysis.

Laure Gonnord, Nicolas Halbwachs

Proceedings of the Static Analysis, 13th International Symposium, 2006

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.

Nicolas Halbwachs, Louis Mandel

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

A synchronous language at work: the story of Lustre.

Nicolas Halbwachs

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Counter-example generation in symbolic abstract model-checking.

Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond

Int. J. Softw. Tools Technol. Transf., 2004

From Discrete Duration Calculus to Symbolic Automata.

Laure Gonnord, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Third International Workshop on Synchronous Languages, 2004

04491 Executive Summary - Synchronous Programming - SYNCHRON'04.

Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner

Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.

Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner

Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

2003

The synchronous languages 12 years later.

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone

Proc. IEEE, 2003

Cartesian Factoring of Polyhedra in Linear Relation Analysis.

Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux

Proceedings of the Static Analysis, 10th International Symposium, 2003

2002

Synchronous Modelling of Asynchronous Systems.

Nicolas Halbwachs, Siwar Baghdadi

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Automatic verification of parameterized networks of processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Theor. Comput. Sci., 2001

2000

Stability of Discrete Sampled Systems.

Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Dynamic Partitioning in Analyses of Numerical Properties.

Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Static Analysis, 6th International Symposium, 1999

Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.

Nicolas Halbwachs, Pascal Raymond

Proceedings of the Advances in Computing Science, 1999

1998

About Synchronous Programming and Abstract Interpretation.

Nicolas Halbwachs

Sci. Comput. Program., 1998

Automatic Testing of Reactive Systems.

Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Synchronous Programming of Reactive Systems.

Nicolas Halbwachs

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Verification of Real-Time Systems using Linear Relation Analysis.

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff

Formal Methods Syst. Des., 1997

Automatic Verification of Parameterized Linear Networks of Processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Compiling ARGOS into Boolean Equations.

Florence Maraninchi, Nicolas Halbwachs

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Compositional Semantics of Non-Deterministic Synchronous Languages.

Florence Maraninchi, Nicolas Halbwachs

Proceedings of the Programming Languages and Systems, 1996

1995

The Algorithmic Analysis of Hybrid Systems.

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Theor. Comput. Sci., 1995

1994

Verification of Linear Hybrid Systems by Means of Convex Approximations.

Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993

Data-Flow Synchronous Languages.

Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Delay Analysis in Synchronous Programs.

Nicolas Halbwachs

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Synchronous Observers and the Verification of Reactive Systems.

Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

IEEE Trans. Software Eng., 1992

Minimal State Graph Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond

Sci. Comput. Program., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

Acta Informatica, 1992

An implementation of three algorithms for timing verification based on automata emptiness.

Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi

Proceedings of the Real-Time Systems Symposium, 1992

Minimization of Timed Transition Systems.

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi

Proceedings of the CONCUR '92, 1992

1991

The synchronous data flow programming language LUSTRE.

Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud

Proc. IEEE, 1991

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.

Christophe Ratel, Nicolas Halbwachs, Pascal Raymond

Proceedings of the conference on Software for citical systems, 1991

Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.

Frédéric Rocheteau, Nicolas Halbwachs

Proceedings of the Real-Time: Theory in Practice, 1991

Generating Efficient Code From Data-Flow Programs.

Nicolas Halbwachs, Pascal Raymond, Christophe Ratel

Proceedings of the Programming Language Implementation and Logic Programming, 1991

POLLUS: A LUSTRE based hardware design environment.

Frédéric Rocheteau, Nicolas Halbwachs

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1990

Minimal Model Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.

Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.

Daniel Pilaud, Nicolas Halbwachs

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Lustre: A Declarative Language for Programming Synchronous Systems.

Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1986

A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.

Paul Caspi, Nicolas Halbwachs

Acta Informatica, 1986

1985

Outline of a Real Time Data Flow Language.

Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets.

Paul Caspi, Nicolas Halbwachs

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

Modélisation et analyse du comportement des systèmes informatiques temporisés. (Modelling and analysis of timed computer system behaviour).

Nicolas Halbwachs

, 1984

1982

Algebra of events: a model for parallel and real time systems.

Paul Caspi, Nicolas Halbwachs

Proceedings of the International Conference on Parallel Processing, 1982

An Approach to Real Time Systems Modeling.

Paul Caspi, Nicolas Halbwachs

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1979

Détermination automatique de relations linéaires vérifiées par les variables d'un programme.

Nicolas Halbwachs

PhD thesis, 1979

1978

Automatic Discovery of Linear Restraints Among Variables of a Program.

Patrick Cousot, Nicolas Halbwachs

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978