default search action
Nicolas Halbwachs
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j15]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): 02:1-02:28 (2019) - [c45]Rémy Boutonnet, Nicolas Halbwachs:
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. VMCAI 2019: 136-159 - 2018
- [j14]Rémy Boutonnet, Nicolas Halbwachs
:
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Formal Methods Syst. Des. 53(3): 384-406 (2018) - 2017
- [c44]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: 9:1-9:13 - 2013
- [c43]Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Engineering functional requirements of reactive systems using synchronous languages. SIES 2013: 140-149 - 2012
- [c42]Nicolas Halbwachs, Julien Henry:
When the Decreasing Sequence Fails. SAS 2012: 198-213 - 2010
- [j13]Samarjit Chakraborty
EMSOFT 2009 guest editors' introduction. Des. Autom. Embed. Syst. 14(3): 163-164 (2010) - [c41]Valentin Perrelle, Nicolas Halbwachs:
An Analysis of Permutations in Arrays. VMCAI 2010: 279-294
2000 – 2009
- 2009
- [c40]Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154 - [e4]Samarjit Chakraborty, Nicolas Halbwachs:
Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. ACM 2009, ISBN 978-1-60558-627-4 [contents] - 2008
- [c39]Iulian Ober, Nicolas Halbwachs:
On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43 - [c38]Nicolas Halbwachs, Mathias Péron:
Discovering properties about arrays in simple programs. PLDI 2008: 339-348 - 2007
- [c37]Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens:
Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143 - [c36]Mathias Péron, Nicolas Halbwachs:
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI 2007: 268-282 - 2006
- [j12]Nicolas Halbwachs, David Merchat, Laure Gonnord:
Some ways to reduce the space dimension in polyhedra computations. Formal Methods Syst. Des. 29(1): 79-95 (2006) - [c35]Nicolas Halbwachs, Louis Mandel:
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD 2006: 3-14 - [c34]Laure Gonnord, Nicolas Halbwachs:
Combining Widening and Acceleration in Linear Relation Analysis. SAS 2006: 144-160 - 2005
- [c33]Nicolas Halbwachs:
A synchronous language at work: the story of Lustre. MEMOCODE 2005: 3-11 - [e3]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - [e2]Nicolas Halbwachs, Lenore D. Zuck:
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. Lecture Notes in Computer Science 3440, Springer 2005, ISBN 3-540-25333-5 [contents] - 2004
- [j11]Gordon J. Pace
Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 158-164 (2004) - [c32]Laure Gonnord, Nicolas Halbwachs, Pascal Raymond:
From Discrete Duration Calculus to Symbolic Automata. SLAP@ETAPS 2004: 3-18 - [i2]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - [i1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - 2003
- [j10]Albert Benveniste, Paul Caspi, Stephen A. Edwards
The synchronous languages 12 years later. Proc. IEEE 91(1): 64-83 (2003) - [c31]Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux:
Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS 2003: 355-365 - 2002
- [c30]Nicolas Halbwachs, Siwar Baghdadi:
Synchronous Modelling of Asynchronous Systems. EMSOFT 2002: 240-251 - 2001
- [j9]David Lesens, Nicolas Halbwachs, Pascal Raymond:
Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001) - 2000
- [c29]Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin:
Stability of Discrete Sampled Systems. FTRTFT 2000: 1-11
1990 – 1999
- 1999
- [c28]Nicolas Halbwachs, Pascal Raymond:
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12 - [c27]Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond:
Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50 - [e1]Nicolas Halbwachs, Doron A. Peled:
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1633, Springer 1999, ISBN 3-540-66202-2 [contents] - 1998
- [j8]Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. Sci. Comput. Program. 31(1): 75-89 (1998) - [c26]Nicolas Halbwachs:
Synchronous Programming of Reactive Systems. CAV 1998: 1-16 - [c25]Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber:
Automatic Testing of Reactive Systems. RTSS 1998: 200-209 - 1997
- [j7]Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff:
Verification of Real-Time Systems using Linear Relation Analysis. Formal Methods Syst. Des. 11(2): 157-185 (1997) - [c24]David Lesens, Nicolas Halbwachs, Pascal Raymond:
Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357 - 1996
- [c23]Florence Maraninchi
Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP 1996: 235-249 - [c22]Florence Maraninchi
Compiling ARGOS into Boolean Equations. FTRTFT 1996: 72-89 - 1995
- [j6]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): 3-34 (1995) - 1994
- [c21]Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. SAS 1994: 179-192 - [c20]Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond:
Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS 1994: 223-237 - 1993
- [c19]Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond:
Synchronous Observers and the Verification of Reactive Systems. AMAST 1993: 83-96 - [c18]Nicolas Halbwachs:
Delay Analysis in Synchronous Programs. CAV 1993: 333-346 - [c17]Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs:
Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45 - 1992
- [j5]Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Informatica 29(6/7): 523-543 (1992) - [j4]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond:
Minimal State Graph Generation. Sci. Comput. Program. 18(3): 247-269 (1992) - [j3]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): 785-793 (1992) - [c16]Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi:
Minimization of Timed Transition Systems. CONCUR 1992: 340-354 - [c15]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: 157-166 - 1991
- [j2]Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud:
The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9): 1305-1320 (1991) - [c14]Frédéric Rocheteau, Nicolas Halbwachs:
POLLUS: A LUSTRE based hardware design environment. Algorithms and Parallel VLSI Architectures 1991: 335-346 - [c13]Nicolas Halbwachs, Pascal Raymond, Christophe Ratel:
Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218 - [c12]Frédéric Rocheteau, Nicolas Halbwachs:
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. REX Workshop 1991: 195-208 - [c11]Christophe Ratel, Nicolas Halbwachs, Pascal Raymond:
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. SIGSOFT 1991: 112-119 - 1990
- [c10]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs:
Minimal Model Generation. CAV 1990: 197-203 - [c9]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs:
Minimal Model Generation. CAV (DIMACS/AMS volume) 1990: 85-92
1980 – 1989
- 1989
- [c8]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: 213-231 - 1988
- [c7]Daniel Pilaud, Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT 1988: 99-110 - 1987
- [c6]Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice:
Lustre: A Declarative Language for Programming Synchronous Systems. POPL 1987: 178-188 - 1986
- [j1]Paul Caspi, Nicolas Halbwachs:
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. Acta Informatica 22(6): 595-627 (1986) - 1985
- [c5]Paul Caspi, Nicolas Halbwachs:
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM 1985: 40-46 - [c4]Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud:
Outline of a Real Time Data Flow Language. RTSS 1985: 33-42 - 1984
- [b2]Nicolas Halbwachs:
Modélisation et analyse du comportement des systèmes informatiques temporisés. (Modelling and analysis of timed computer system behaviour). Grenoble Institute of Technology, France, 1984 - 1982
- [c3]Paul Caspi, Nicolas Halbwachs:
An Approach to Real Time Systems Modeling. ICDCS 1982: 710-716 - [c2]Paul Caspi, Nicolas Halbwachs:
Algebra of events: a model for parallel and real time systems. ICPP 1982: 150-159
1970 – 1979
- 1979
- [b1]Nicolas Halbwachs:
Détermination automatique de relations linéaires vérifiées par les variables d'un programme. Grenoble Institute of Technology, France, 1979 - 1978
- [c1]Patrick Cousot, Nicolas Halbwachs:
Automatic Discovery of Linear Restraints Among Variables of a Program. POPL 1978: 84-96
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: