default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicolas Halbwachs
@article{DBLP:journals/lites/RaymondMPJHCAB19,
author = {Pascal Raymond and
Claire Maiza and
Catherine Parent{-}Vigouroux and
Erwan Jahier and
Nicolas Halbwachs and
Fabienne Carrier and
Mihail Asavoae and
R{\'{e}}my Boutonnet},
title = {Improving {WCET} Evaluation using Linear Relation Analysis},
journal = {Leibniz Trans. Embed. Syst.},
volume = {6},
number = {1},
pages = {02:1--02:28},
year = {2019},
url = {https://doi.org/10.4230/LITES-v006-i001-a002},
doi = {10.4230/LITES-V006-I001-A002},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lites/RaymondMPJHCAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BoutonnetH19,
author = {R{\'{e}}my Boutonnet and
Nicolas Halbwachs},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Disjunctive Relational Abstract Interpretation for Interprocedural
Program Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
pages = {136--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_7},
doi = {10.1007/978-3-030-11245-5\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BoutonnetH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BoutonnetH18,
author = {R{\'{e}}my Boutonnet and
Nicolas Halbwachs},
title = {Improving the results of program analysis by abstract interpretation
beyond the decreasing sequence},
journal = {Formal Methods Syst. Des.},
volume = {53},
number = {3},
pages = {384--406},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0310-y},
doi = {10.1007/S10703-017-0310-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BoutonnetH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MaizaRPBCCCCHJL17,
author = {Claire Maiza and
Pascal Raymond and
Catherine Parent{-}Vigouroux and
Armelle Bonenfant and
Fabienne Carrier and
Hugues Cass{\'{e}} and
Philippe Cuenot and
Denis Claraz and
Nicolas Halbwachs and
Erwan Jahier and
Hanbing Li and
Marianne De Michiel and
Vincent Mussot and
Isabelle Puaut and
Christine Rochange and
Erven Rohou and
Jordy Ruiz and
Pascal Sotin and
Wei{-}Tsun Sun},
editor = {Jan Reineke},
title = {The {W-SEPT} Project: Towards Semantic-Aware {WCET} Estimation},
booktitle = {17th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2017, Dubrovnik, Croatia, June 27, 2017},
series = {OASIcs},
pages = {9:1--9:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.WCET.2017.9},
doi = {10.4230/OASICS.WCET.2017.9},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/wcet/MaizaRPBCCCCHJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/JahierHR13,
author = {Erwan Jahier and
Nicolas Halbwachs and
Pascal Raymond},
title = {Engineering functional requirements of reactive systems using synchronous
languages},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
pages = {140--149},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601486},
doi = {10.1109/SIES.2013.6601486},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/JahierHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HalbwachsH12,
author = {Nicolas Halbwachs and
Julien Henry},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {When the Decreasing Sequence Fails},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {198--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_15},
doi = {10.1007/978-3-642-33125-1\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HalbwachsH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/ChakrabortyH10,
author = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {{EMSOFT} 2009 guest editors' introduction},
journal = {Des. Autom. Embed. Syst.},
volume = {14},
number = {3},
pages = {163--164},
year = {2010},
url = {https://doi.org/10.1007/s10617-010-9062-2},
doi = {10.1007/S10617-010-9062-2},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/ChakrabortyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PerrelleH10,
author = {Valentin Perrelle and
Nicolas Halbwachs},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {An Analysis of Permutations in Arrays},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {279--294},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_21},
doi = {10.1007/978-3-642-11319-2\_21},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PerrelleH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JahierHR09,
author = {Erwan Jahier and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Synchronous Modeling and Validation of Priority Inheritance Schedulers},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {140--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_10},
doi = {10.1007/978-3-642-00593-0\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/JahierHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2009,
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-627-4},
timestamp = {Mon, 26 Oct 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OberH08,
author = {Iulian Ober and
Nicolas Halbwachs},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {On the Timed Automata-Based Verification of Ravenscar Systems},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {30--43},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_3},
doi = {10.1007/978-3-540-68624-8\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/OberH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HalbwachsP08,
author = {Nicolas Halbwachs and
Mathias P{\'{e}}ron},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Discovering properties about arrays in simple programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {339--348},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375623},
doi = {10.1145/1375581.1375623},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HalbwachsP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JahierHRNL07,
author = {Erwan Jahier and
Nicolas Halbwachs and
Pascal Raymond and
Xavier Nicollin and
David Lesens},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Virtual execution of {AADL} models via a translation into synchronous
programs},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {134--143},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289951},
doi = {10.1145/1289927.1289951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/JahierHRNL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PeronH07,
author = {Mathias P{\'{e}}ron and
Nicolas Halbwachs},
editor = {Byron Cook and
Andreas Podelski},
title = {An Abstract Domain Extending Difference-Bound Matrices with Disequality
Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {268--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_20},
doi = {10.1007/978-3-540-69738-1\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PeronH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HalbwachsMG06,
author = {Nicolas Halbwachs and
David Merchat and
Laure Gonnord},
title = {Some ways to reduce the space dimension in polyhedra computations},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {1},
pages = {79--95},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0013-2},
doi = {10.1007/S10703-006-0013-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HalbwachsMG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HalbwachsM06,
author = {Nicolas Halbwachs and
Louis Mandel},
title = {Simulation and Verification of Asynchronous Systems by means of a
Synchronous Model},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.24},
doi = {10.1109/ACSD.2006.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HalbwachsM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GonnordH06,
author = {Laure Gonnord and
Nicolas Halbwachs},
editor = {Kwangkeun Yi},
title = {Combining Widening and Acceleration in Linear Relation Analysis},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {144--160},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_10},
doi = {10.1007/11823230\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GonnordH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Halbwachs05,
author = {Nicolas Halbwachs},
title = {A synchronous language at work: the story of Lustre},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {3--11},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487884},
doi = {10.1109/MEMCOD.2005.1487884},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Halbwachs05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004P4491,
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04491},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/04491/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004P4491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2005,
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {3440},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107194},
doi = {10.1007/B107194},
isbn = {3-540-25333-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PaceHR04,
author = {Gordon J. Pace and
Nicolas Halbwachs and
Pascal Raymond},
title = {Counter-example generation in symbolic abstract model-checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {158--164},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0127-4},
doi = {10.1007/S10009-003-0127-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/PaceHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonnordHR06,
author = {Laure Gonnord and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {From Discrete Duration Calculus to Symbolic Automata},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
number = {4},
pages = {3--18},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.022},
doi = {10.1016/J.ENTCS.2006.02.022},
timestamp = {Fri, 02 Jan 2026 21:10:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonnordHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04,
author = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04},
booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/196},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04a,
author = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {04491 Executive Summary - Synchronous Programming - SYNCHRON'04},
booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/195},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BenvenisteCEHGS03,
author = {Albert Benveniste and
Paul Caspi and
Stephen A. Edwards and
Nicolas Halbwachs and
Paul {Le Guernic} and
Robert de Simone},
title = {The synchronous languages 12 years later},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {64--83},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805826},
doi = {10.1109/JPROC.2002.805826},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BenvenisteCEHGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HalbwachsMP03,
author = {Nicolas Halbwachs and
David Merchat and
Catherine Parent{-}Vigouroux},
editor = {Radhia Cousot},
title = {Cartesian Factoring of Polyhedra in Linear Relation Analysis},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {355--365},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_20},
doi = {10.1007/3-540-44898-5\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HalbwachsMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HalbwachsB02,
author = {Nicolas Halbwachs and
Siwar Baghdadi},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Synchronous Modelling of Asynchronous Systems},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {240--251},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_18},
doi = {10.1007/3-540-45828-X\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HalbwachsB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LesensHR01,
author = {David Lesens and
Nicolas Halbwachs and
Pascal Raymond},
title = {Automatic verification of parameterized networks of processes},
journal = {Theor. Comput. Sci.},
volume = {256},
number = {1-2},
pages = {113--144},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00104-3},
doi = {10.1016/S0304-3975(00)00104-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LesensHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HalbwachsHLN00,
author = {Nicolas Halbwachs and
J.{-}F. H{\'{e}}ry and
J.{-}C. Laleuf and
Xavier Nicollin},
editor = {Mathai Joseph},
title = {Stability of Discrete Sampled Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {1--11},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_1},
doi = {10.1007/3-540-45352-0\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HalbwachsHLN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HalbwachsR99,
author = {Nicolas Halbwachs and
Pascal Raymond},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Validation of Synchronous Reactive Systems: From Formal Verification
to Automatic Testing},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_1},
doi = {10.1007/3-540-46674-6\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/HalbwachsR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JeannetHR99,
author = {Bertrand Jeannet and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {Dynamic Partitioning in Analyses of Numerical Properties},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {39--50},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_3},
doi = {10.1007/3-540-48294-6\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/JeannetHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1999,
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6},
doi = {10.1007/3-540-48683-6},
isbn = {3-540-66202-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Halbwachs98,
author = {Nicolas Halbwachs},
title = {About Synchronous Programming and Abstract Interpretation},
journal = {Sci. Comput. Program.},
volume = {31},
number = {1},
pages = {75--89},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(96)00041-X},
doi = {10.1016/S0167-6423(96)00041-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Halbwachs98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Halbwachs98,
author = {Nicolas Halbwachs},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Synchronous Programming of Reactive Systems},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {1--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028726},
doi = {10.1007/BFB0028726},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Halbwachs98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RaymondNHW98,
author = {Pascal Raymond and
Xavier Nicollin and
Nicolas Halbwachs and
Daniel Weber},
title = {Automatic Testing of Reactive Systems},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {200--209},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739746},
doi = {10.1109/REAL.1998.739746},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RaymondNHW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HalbwachsPR97,
author = {Nicolas Halbwachs and
Yann{-}Erick Proy and
Patrick Roumanoff},
title = {Verification of Real-Time Systems using Linear Relation Analysis},
journal = {Formal Methods Syst. Des.},
volume = {11},
number = {2},
pages = {157--185},
year = {1997},
url = {https://doi.org/10.1023/A:1008678014487},
doi = {10.1023/A:1008678014487},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HalbwachsPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Halbwachs97,
author = {David Lesens and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Automatic Verification of Parameterized Linear Networks of Processes},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {346--357},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263747},
doi = {10.1145/263699.263747},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/Halbwachs97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MaraninchiH96,
author = {Florence Maraninchi and
Nicolas Halbwachs},
editor = {Hanne Riis Nielson},
title = {Compositional Semantics of Non-Deterministic Synchronous Languages},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {235--249},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_40},
doi = {10.1007/3-540-61055-3\_40},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/MaraninchiH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaraninchiH96,
author = {Florence Maraninchi and
Nicolas Halbwachs},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Compiling {ARGOS} into Boolean Equations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {72--89},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_35},
doi = {10.1007/3-540-61648-9\_35},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MaraninchiH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00202-T},
doi = {10.1016/0304-3975(94)00202-T},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Halbwachs94,
author = {Nicolas Halbwachs},
editor = {Baudouin Le Charlier},
title = {About Synchronous Programming and Abstract Interpretation},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {179--192},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_40},
doi = {10.1007/3-540-58485-4\_40},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/Halbwachs94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HalbwachsPR94,
author = {Nicolas Halbwachs and
Yann{-}Eric Proy and
Pascal Raymond},
editor = {Baudouin Le Charlier},
title = {Verification of Linear Hybrid Systems by Means of Convex Approximations},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {223--237},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_43},
doi = {10.1007/3-540-58485-4\_43},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HalbwachsPR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HalbwachsLR93,
author = {Nicolas Halbwachs and
Fabienne Lagnier and
Pascal Raymond},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Synchronous Observers and the Verification of Reactive Systems},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {83--96},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/HalbwachsLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Halbwachs93,
author = {Nicolas Halbwachs},
editor = {Costas Courcoubetis},
title = {Delay Analysis in Synchronous Programs},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {333--346},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_28},
doi = {10.1007/3-540-56922-7\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Halbwachs93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BenvenisteCGH93,
author = {Albert Benveniste and
Paul Caspi and
Paul {Le Guernic} and
Nicolas Halbwachs},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Data-Flow Synchronous Languages},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {1--45},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_16},
doi = {10.1007/3-540-58043-3\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/BenvenisteCGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HalbwachsLR92,
author = {Nicolas Halbwachs and
Fabienne Lagnier and
Christophe Ratel},
title = {An Experience in Proving Regular Networks of Processes by Modular
Model Checking},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {523--543},
year = {1992},
url = {https://doi.org/10.1007/BF01185559},
doi = {10.1007/BF01185559},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HalbwachsLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BouajjaniFHR92,
author = {Ahmed Bouajjani and
Jean{-}Claude Fernandez and
Nicolas Halbwachs and
Pascal Raymond},
title = {Minimal State Graph Generation},
journal = {Sci. Comput. Program.},
volume = {18},
number = {3},
pages = {247--269},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90018-7},
doi = {10.1016/0167-6423(92)90018-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BouajjaniFHR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HalbwachsLR92,
author = {Nicolas Halbwachs and
Fabienne Lagnier and
Christophe Ratel},
title = {Programming and Verifying Real-Time Systems by Means of the Synchronous
Data-Flow Language {LUSTRE}},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {9},
pages = {785--793},
year = {1992},
url = {https://doi.org/10.1109/32.159839},
doi = {10.1109/32.159839},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HalbwachsLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCHDW92,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
David L. Dill and
Howard Wong{-}Toi},
editor = {Rance Cleaveland},
title = {Minimization of Timed Transition Systems},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {340--354},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084802},
doi = {10.1007/BFB0084802},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCHDW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurCDHW92,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill and
Nicolas Halbwachs and
Howard Wong{-}Toi},
title = {An implementation of three algorithms for timing verification based
on automata emptiness},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242667},
doi = {10.1109/REAL.1992.242667},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurCDHW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/HalbwachsCRP91,
author = {Nicolas Halbwachs and
Paul Caspi and
Pascal Raymond and
Daniel Pilaud},
title = {The synchronous data flow programming language {LUSTRE}},
journal = {Proc. {IEEE}},
volume = {79},
number = {9},
pages = {1305--1320},
year = {1991},
url = {https://doi.org/10.1109/5.97300},
doi = {10.1109/5.97300},
timestamp = {Fri, 22 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/HalbwachsCRP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccc/RocheteauH91,
author = {Fr{\'{e}}d{\'{e}}ric Rocheteau and
Nicolas Halbwachs},
editor = {Patrice Quinton and
Yves Robert},
title = {{POLLUS:} {A} {LUSTRE} based hardware design environment},
booktitle = {Algorithms and Parallel {VLSI} Architectures II, Proceedings of the
International Workshop Algorithms and Parallel {VLSI} Architectures
II, Ch{\^{a}}teau de Bonas, Gers, France, June 3-6, 1991},
pages = {335--346},
publisher = {Elsevier},
year = {1991},
timestamp = {Wed, 04 Sep 2002 15:26:25 +0200},
biburl = {https://dblp.org/rec/conf/ccc/RocheteauH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HalbwachsRR91,
author = {Nicolas Halbwachs and
Pascal Raymond and
Christophe Ratel},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {Generating Efficient Code From Data-Flow Programs},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {207--218},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_100},
doi = {10.1007/3-540-54444-5\_100},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HalbwachsRR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/RocheteauH91,
author = {Fr{\'{e}}d{\'{e}}ric Rocheteau and
Nicolas Halbwachs},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Implementing Reactive Programs on Circuits: {A} Hardware Implementation
of {LUSTRE}},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {195--208},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031993},
doi = {10.1007/BFB0031993},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/RocheteauH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RatelHR91,
author = {Christophe Ratel and
Nicolas Halbwachs and
Pascal Raymond},
editor = {Mark Moriconi},
title = {Programming and verifying critical systems by means of the synchronous
data-flow language {LUSTRE}},
booktitle = {Proceedings of the conference on Software for citical systems, {SIGSOFT}
1991, New Orleans, Louisiana, {USA}},
pages = {112--119},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/125083.123062},
doi = {10.1145/125083.123062},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/RatelHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniFH90,
author = {Ahmed Bouajjani and
Jean{-}Claude Fernandez and
Nicolas Halbwachs},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Minimal Model Generation},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {197--203},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023733},
doi = {10.1007/BFB0023733},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniFH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BouajjaniFH90,
author = {Ahmed Bouajjani and
Jean{-}Claude Fernandez and
Nicolas Halbwachs},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Minimal Model Generation},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
pages = {85--92},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/08},
doi = {10.1090/DIMACS/003/08},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BouajjaniFH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/HalbwachsPOG89,
author = {Nicolas Halbwachs and
Daniel Pilaud and
Farid Ouabdesselam and
Anne{-}Cecile Glory},
editor = {Joseph Sifakis},
title = {Specifying, Programming and Verifying Real-Time Systems Using a Synchronous
Declarative Language},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {213--231},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_18},
doi = {10.1007/3-540-52148-8\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/HalbwachsPOG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PilaudH88,
author = {Daniel Pilaud and
Nicolas Halbwachs},
editor = {Mathai Joseph},
title = {From a Synchronous Declarative Language to a Temporal Logic Dealing
with Multiform Time},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
pages = {99--110},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_5},
doi = {10.1007/3-540-50302-1\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PilaudH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CaspiPHP87,
author = {Paul Caspi and
Daniel Pilaud and
Nicolas Halbwachs and
John Plaice},
title = {Lustre: {A} Declarative Language for Programming Synchronous Systems},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {178--188},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41641},
doi = {10.1145/41625.41641},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/CaspiPHP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CaspiH86,
author = {Paul Caspi and
Nicolas Halbwachs},
title = {A Functional Model for Describing and Reasoning About Time Behaviour
of Computing Systems},
journal = {Acta Informatica},
volume = {22},
number = {6},
pages = {595--627},
year = {1986},
url = {https://doi.org/10.1007/BF00263648},
doi = {10.1007/BF00263648},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CaspiH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CaspiH85,
author = {Paul Caspi and
Nicolas Halbwachs},
title = {An Application of Laplace Transform Techniques to the Analysis of
Timed Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {40--46},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 15:58:20 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/CaspiH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BergerandCPHP85,
author = {Jean{-}Louis Bergerand and
Paul Caspi and
Daniel Pilaud and
Nicolas Halbwachs and
Eric Pilaud},
title = {Outline of a Real Time Data Flow Language},
booktitle = {Proceedings of the 6th {IEEE} Real-Time Systems Symposium {(RTSS}
'85), December 3-6, 1985, San Diego, California, {USA}},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Tue, 12 Jul 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/BergerandCPHP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Halbwachs84,
author = {Nicolas Halbwachs},
title = {Mod{\'{e}}lisation et analyse du comportement des syst{\`{e}}mes
informatiques temporis{\'{e}}s. (Modelling and analysis of timed
computer system behaviour)},
year = {1984},
url = {https://tel.archives-ouvertes.fr/tel-00311787},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Halbwachs84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CaspiH82,
author = {Paul Caspi and
Nicolas Halbwachs},
title = {An Approach to Real Time Systems Modeling},
booktitle = {Proceedings of the 3rd International Conference on Distributed Computing
Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
pages = {710--716},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Wed, 21 Sep 2005 15:11:36 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/CaspiH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/CaspiH82,
author = {Paul Caspi and
Nicolas Halbwachs},
title = {Algebra of events: a model for parallel and real time systems},
booktitle = {International Conference on Parallel Processing, ICPP'82, August 24-27,
1982, Bellaire, Michigan, {USA}},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Sat, 06 Sep 2008 15:25:30 +0200},
biburl = {https://dblp.org/rec/conf/icpp/CaspiH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Halbwachs79,
author = {Nicolas Halbwachs},
title = {D{\'{e}}termination automatique de relations lin{\'{e}}aires
v{\'{e}}rifi{\'{e}}es par les variables d'un programme},
school = {Grenoble Institute of Technology, France},
year = {1979},
url = {https://tel.archives-ouvertes.fr/tel-00288805},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Halbwachs79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CousotH78,
author = {Patrick Cousot and
Nicolas Halbwachs},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Thomas G. Szymanski},
title = {Automatic Discovery of Linear Restraints Among Variables of a Program},
booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
of Programming Languages, Tucson, Arizona, USA, January 1978},
pages = {84--96},
publisher = {{ACM} Press},
year = {1978},
url = {https://doi.org/10.1145/512760.512770},
doi = {10.1145/512760.512770},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/CousotH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2026-02-20 22:37 CET 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:
