The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicolas Halbwachs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Cousot, Nicolas Halbwachs
    Automatic Discovery of Linear Restraints Among Variables of a Program. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:84-96 [Conf]
  2. Nicolas Halbwachs, Louis Mandel
    Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:3-14 [Conf]
  3. Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
    Synchronous Observers and the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:83-96 [Conf]
  4. Nicolas Halbwachs, Pascal Raymond
    Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:1-12 [Conf]
  5. Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory
    Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:213-231 [Conf]
  6. Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
    Minimal Model Generation. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:197-203 [Conf]
  7. Nicolas Halbwachs
    Delay Analysis in Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:333-346 [Conf]
  8. Nicolas Halbwachs
    Synchronous Programming of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:1-16 [Conf]
  9. Frédéric Rocheteau, Nicolas Halbwachs
    POLLUS: A LUSTRE based hardware design environment. [Citation Graph (0, 0)][DBLP]
    Algorithms and Parallel VLSI Architectures, 1991, pp:335-346 [Conf]
  10. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
    Minimization of Timed Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:340-354 [Conf]
  11. Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
    04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP]
    SYNCHRON, 2004, pp:- [Conf]
  12. Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
    04491 Executive Summary - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP]
    SYNCHRON, 2004, pp:- [Conf]
  13. Nicolas Halbwachs, Siwar Baghdadi
    Synchronous Modelling of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:240-251 [Conf]
  14. Florence Maraninchi, Nicolas Halbwachs
    Compositional Semantics of Non-Deterministic Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:235-249 [Conf]
  15. Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
    Stability of Discrete Sampled Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:1-11 [Conf]
  16. Florence Maraninchi, Nicolas Halbwachs
    Compiling ARGOS into Boolean Equations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:72-89 [Conf]
  17. Daniel Pilaud, Nicolas Halbwachs
    From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:99-110 [Conf]
  18. Paul Caspi, Nicolas Halbwachs
    An Approach to Real Time Systems Modeling. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:710-716 [Conf]
  19. Nicolas Halbwachs
    A synchronous language at work: the story of Lustre. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:3-11 [Conf]
  20. Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
    Generating Efficient Code From Data-Flow Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:207-218 [Conf]
  21. Paul Caspi, Nicolas Halbwachs
    An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:40-46 [Conf]
  22. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
    Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:178-188 [Conf]
  23. David Lesens, Nicolas Halbwachs, Pascal Raymond
    Automatic Verification of Parameterized Linear Networks of Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:346-357 [Conf]
  24. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:1-45 [Conf]
  25. Frédéric Rocheteau, Nicolas Halbwachs
    Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:195-208 [Conf]
  26. J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud
    Outline of a Real Time Data Flow Language. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1985, pp:33-42 [Conf]
  27. Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
    Automatic Testing of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:200-209 [Conf]
  28. Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
    Dynamic Partitioning in Analyses of Numerical Properties. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:39-50 [Conf]
  29. Laure Gonnord, Nicolas Halbwachs
    Combining Widening and Acceleration in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:144-160 [Conf]
  30. Nicolas Halbwachs
    About Synchronous Programming and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:179-192 [Conf]
  31. Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
    Cartesian Factoring of Polyhedra in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:355-365 [Conf]
  32. Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
    Verification of Linear Hybrid Systems by Means of Convex Approximations. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:223-237 [Conf]
  33. Paul Caspi, Nicolas Halbwachs
    A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:22, n:6, pp:595-627 [Journal]
  34. Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
    An Experience in Proving Regular Networks of Processes by Modular Model Checking. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:6/7, pp:523-543 [Journal]
  35. Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
    From Discrete Duration Calculus to Symbolic Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:3-18 [Journal]
  36. Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
    Verification of Real-Time Systems using Linear Relation Analysis. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:11, n:2, pp:157-185 [Journal]
  37. Nicolas Halbwachs, David Merchat, Laure Gonnord
    Some ways to reduce the space dimension in polyhedra computations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:79-95 [Journal]
  38. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
    The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
  39. Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
    Minimal State Graph Generation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1992, v:18, n:3, pp:247-269 [Journal]
  40. Nicolas Halbwachs
    About Synchronous Programming and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:1, pp:75-89 [Journal]
  41. Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
    Counter-example generation in symbolic abstract model-checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:158-164 [Journal]
  42. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  43. David Lesens, Nicolas Halbwachs, Pascal Raymond
    Automatic verification of parameterized networks of processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:256, n:1-2, pp:113-144 [Journal]
  44. Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
    Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:785-793 [Journal]

  45. On the Timed Automata-Based Verification of Ravenscar Systems. [Citation Graph (, )][DBLP]


  46. Virtual execution of AADL models via a translation into synchronous programs. [Citation Graph (, )][DBLP]


  47. Synchronous Modeling and Validation of Priority Inheritance Schedulers. [Citation Graph (, )][DBLP]


  48. Algebra of events: a model for parallel and real time systems. [Citation Graph (, )][DBLP]


  49. Discovering properties about arrays in simple programs. [Citation Graph (, )][DBLP]


  50. An implementation of three algorithms for timing verification based on automata emptiness. [Citation Graph (, )][DBLP]


  51. An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. [Citation Graph (, )][DBLP]


  52. An Analysis of Permutations in Arrays. [Citation Graph (, )][DBLP]


Search in 0.274secs, Finished in 0.276secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002