Nicolas Halbwachs

According to our database1, Nicolas Halbwachs
  • authored at least 59 papers between 1978 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
The W-SEPT Project: Towards Semantic-Aware WCET Estimation.
Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2013
Engineering functional requirements of reactive systems using synchronous languages.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

2012
When the Decreasing Sequence Fails.
Proceedings of the Static Analysis - 19th International Symposium, 2012

2010
EMSOFT 2009 guest editors' introduction.
Design Autom. for Emb. Sys., 2010

An Analysis of Permutations in Arrays.
Proceedings of the Verification, 2010

2009
Synchronous Modeling and Validation of Priority Inheritance Schedulers.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Discovering properties about arrays in simple programs.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

On the Timed Automata-Based Verification of Ravenscar Systems.
Proceedings of the Reliable Software Technologies, 2008

2007
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.
Proceedings of the Verification, 2007

Virtual execution of AADL models via a translation into synchronous programs.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
Some ways to reduce the space dimension in polyhedra computations.
Formal Methods in System Design, 2006

From Discrete Duration Calculus to Symbolic Automata.
Electr. Notes Theor. Comput. Sci., 2006

Combining Widening and Acceleration in Linear Relation Analysis.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
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.
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.
STTT, 2004

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

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

2003
The synchronous languages 12 years later.
Proceedings of the IEEE, 2003

Cartesian Factoring of Polyhedra in Linear Relation Analysis.
Proceedings of the Static Analysis, 10th International Symposium, 2003

2002
Synchronous Modelling of Asynchronous Systems.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci., 2001

2000
Stability of Discrete Sampled Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Dynamic Partitioning in Analyses of Numerical Properties.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
Proceedings of the Advances in Computing Science, 1999

1998
About Synchronous Programming and Abstract Interpretation.
Sci. Comput. Program., 1998

Automatic Testing of Reactive Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Synchronous Programming of Reactive Systems.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Verification of Real-Time Systems using Linear Relation Analysis.
Formal Methods in System Design, 1997

Automatic Verification of Parameterized Linear Networks of Processes.
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.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Compositional Semantics of Non-Deterministic Synchronous Languages.
Proceedings of the Programming Languages and Systems, 1996

1995
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci., 1995

1994
Verification of Linear Hybrid Systems by Means of Convex Approximations.
SAS, 1994

About Synchronous Programming and Abstract Interpretation.
SAS, 1994

1993
Data-Flow Synchronous Languages.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Delay Analysis in Synchronous Programs.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Synchronous Observers and the Verification of Reactive Systems.
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.
IEEE Trans. Software Eng., 1992

Minimal State Graph Generation.
Sci. Comput. Program., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.
Acta Inf., 1992

An implementation of three algorithms for timing verification based on automata emptiness.
Proceedings of the Real-Time Systems Symposium, 1992

Minimization of Timed Transition Systems.
Proceedings of the CONCUR '92, 1992

1991
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.
Proceedings of the Real-Time: Theory in Practice, 1991

Generating Efficient Code From Data-Flow Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

POLLUS: A LUSTRE based hardware design environment.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1990
Minimal Model Generation.
Proceedings of the Computer-Aided Verification, 1990

Minimal Model Generation.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
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.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987
Lustre: A Declarative Language for Programming Synchronous Systems.
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.
Acta Inf., 1986

1985
Outline of a Real Time Data Flow Language.
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.
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).
, 1984

1982
Algebra of events: a model for parallel and real time systems.
Proceedings of the International Conference on Parallel Processing, 1982

An Approach to Real Time Systems Modeling.
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.
PhD thesis, 1979

1978
Automatic Discovery of Linear Restraints Among Variables of a Program.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978


  Loading...