| Improving WCET Evaluation using Linear Relation Analysis. | 0 | 0.34 | 2019 |
| Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. | 0 | 0.34 | 2019 |
| The W-SEPT Project: Towards Semantic-Aware WCET Estimation. | 1 | 0.34 | 2017 |
| Engineering functional requirements of reactive systems using synchronous languages | 4 | 0.50 | 2013 |
| When the decreasing sequence fails | 14 | 0.57 | 2012 |
| An analysis of permutations in arrays | 5 | 0.46 | 2010 |
| Synchronous Modeling and Validation of Priority Inheritance Schedulers | 4 | 0.45 | 2009 |
| Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009 | 31 | 1.64 | 2009 |
| EMSOFT 2009 guest editors' introduction | 0 | 0.34 | 2009 |
| On the Timed Automata-Based Verification of Ravenscar Systems | 2 | 0.38 | 2008 |
| Discovering properties about arrays in simple programs | 72 | 2.30 | 2008 |
| Virtual execution of AADL models via a translation into synchronous programs | 28 | 1.60 | 2007 |
| An abstract domain extending difference-bound matrices with disequality constraints | 13 | 0.81 | 2007 |
| From Discrete Duration Calculus to Symbolic Automata | 1 | 0.37 | 2006 |
| Simulation and Verification of Asynchronous Systems by means of a Synchronous Model | 13 | 0.72 | 2006 |
| Combining widening and acceleration in linear relation analysis | 50 | 1.52 | 2006 |
| Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 | 5 | 1.26 | 2005 |
| 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 | 39 | 5.29 | 2005 |
| 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 | 0 | 0.34 | 2005 |
| 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04 | 0 | 0.34 | 2004 |
| Counter-example generation in symbolic abstract model-checking | 7 | 0.65 | 2004 |
| 04491 Executive Summary - Synchronous Programming - SYNCHRON'04 | 0 | 0.34 | 2004 |
| The synchronous languages 12 years later | 370 | 16.32 | 2003 |
| Cartesian factoring of polyhedra in linear relation analysis | 11 | 0.95 | 2003 |
| Synchronous Modelling of Asynchronous Systems | 17 | 0.88 | 2002 |
| Automatic verification of parameterized networks of processes | 7 | 0.59 | 2001 |
| Stability of Discrete Sampled Systems | 0 | 0.34 | 2000 |
| Dynamic Partitioning in Analyses of Numerical Properties | 39 | 2.17 | 1999 |
| Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing | 22 | 1.21 | 1999 |
| Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings | 34 | 7.02 | 1999 |
| Synchronous Programming of Reactive Systems | 361 | 30.96 | 1998 |
| About synchronous programming and abstract interpretation | 22 | 1.64 | 1998 |
| Automatic verification of parameterized linear networks of processes | 42 | 1.98 | 1997 |
| Verification of Real-Time Systems using Linear Relation Analysis | 167 | 11.20 | 1997 |
| Compositional Semantics of Non-Deterministic Synchronous Languages | 13 | 1.03 | 1996 |
| Compiling ARGOS into Boolean Equations | 13 | 1.59 | 1996 |
| The algorithmic analysis of hybrid systems | 604 | 73.89 | 1995 |
| Verification of Linear Hybrid Systems by Means of Convex Approximations | 104 | 20.34 | 1994 |
| Data-Flow Synchronous Languages | 19 | 3.70 | 1993 |
| Synchronous Observers and the Verification of Reactive Systems | 140 | 8.50 | 1993 |
| Delay Analysis in Synchronous Programs | 95 | 18.52 | 1993 |
| Minimization of Timed Transition Systems | 88 | 17.79 | 1992 |
| Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE | 126 | 8.23 | 1992 |
| An experience in proving regular networks of processes by modular model checking | 26 | 6.45 | 1992 |
| POLLUX: a LUSTRE based hardware design environment | 18 | 0.98 | 1991 |
| Generating Efficient Code From Data-Flow Programs | 57 | 4.16 | 1991 |
| Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE | 15 | 1.63 | 1991 |
| Minimal Model Generation | 73 | 18.07 | 1990 |
| From a synchronous declarative language to a temporal logic dealing with multiform time | 21 | 5.88 | 1988 |
| Lustre: A Declarative Language for Programming Synchronous Systems. | 288 | 39.30 | 1987 |
