Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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}, volume = {11388}, 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, June 27, 2017, Dubrovnik, Croatia}, series = {OASIcs}, volume = {57}, 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 = {Wed, 04 Jan 2023 16:50:45 +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}, volume = {7460}, 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}, volume = {5944}, 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}, volume = {5503}, 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}, volume = {5026}, 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}, volume = {4349}, 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}, volume = {4134}, 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}, volume = {153}, 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, 20 Jan 2023 11:01:08 +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}, volume = {04491}, 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}, volume = {04491}, 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}, volume = {2694}, 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}, volume = {2491}, 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}, volume = {1926}, 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}, volume = {1742}, 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}, volume = {1694}, 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}, volume = {1427}, 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 = {Tue, 06 Nov 2018 00:00:00 +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}, volume = {1058}, 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}, volume = {1135}, 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}, volume = {864}, 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}, volume = {864}, 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}, volume = {697}, 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}, volume = {803}, 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}, volume = {630}, 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}, volume = {528}, 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}, volume = {600}, 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}, volume = {531}, 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}, volume = {3}, 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}, volume = {407}, 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}, volume = {331}, 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 = {Tue, 06 Nov 2018 00:00:00 +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 = {Tue, 06 Nov 2018 00:00:00 +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.