BibTeX records: Radu Mateescu 0001

download as .bib file

@article{DBLP:journals/jirs/HorelLMMLMPRS23,
  author       = {Jean{-}Baptiste Horel and
                  Philippe Ledent and
                  Lina Marsso and
                  Lucie Muller and
                  Christian Laugier and
                  Radu Mateescu and
                  Anshul Paigwar and
                  Alessandro Renzaglia and
                  Wendelin Serwe},
  title        = {Verifying Collision Risk Estimation using Autonomous Driving Scenarios
                  Derived from a Formal Model},
  journal      = {J. Intell. Robotic Syst.},
  volume       = {107},
  number       = {4},
  pages        = {59},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10846-023-01808-3},
  doi          = {10.1007/S10846-023-01808-3},
  timestamp    = {Wed, 03 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jirs/HorelLMMLMPRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iot/DuranKPMS22,
  author       = {Francisco Dur{\'{a}}n and
                  Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  title        = {Models and analysis for user-driven reconfiguration of rule-based
                  IoT applications},
  journal      = {Internet Things},
  volume       = {19},
  pages        = {100515},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.iot.2022.100515},
  doi          = {10.1016/J.IOT.2022.100515},
  timestamp    = {Fri, 26 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iot/DuranKPMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiot/KrishnaPMS22,
  author       = {Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  title        = {Design and Deployment of Expressive and Correct Web of Things Applications},
  journal      = {{ACM} Trans. Internet Things},
  volume       = {3},
  number       = {1},
  pages        = {1:1--1:30},
  year         = {2022},
  url          = {https://doi.org/10.1145/3475964},
  doi          = {10.1145/3475964},
  timestamp    = {Thu, 10 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tiot/KrishnaPMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HorelLMMMPRS22,
  author       = {Jean{-}Baptiste Horel and
                  Christian Laugier and
                  Lina Marsso and
                  Radu Mateescu and
                  Lucie Muller and
                  Anshul Paigwar and
                  Alessandro Renzaglia and
                  Wendelin Serwe},
  editor       = {Cristiana Bolchini and
                  Ingrid Verbauwhede and
                  Ioana Vatajelu},
  title        = {Using Formal Conformance Testing to Generate Scenarios for Autonomous
                  Vehicles},
  booktitle    = {2022 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
  pages        = {532--537},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.23919/DATE54114.2022.9774581},
  doi          = {10.23919/DATE54114.2022.9774581},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/HorelLMMMPRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-09885,
  author       = {Lina Marsso and
                  Radu Mateescu and
                  Lucie Muller and
                  Wendelin Serwe},
  editor       = {Clemens Dubslaff and
                  Bas Luttik},
  title        = {Formally Modeling Autonomous Vehicles in {LNT} for Simulation and
                  Testing},
  booktitle    = {Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems,
                  MARS@ETAPS 2022, Munich, Germany, 2nd April 2022},
  series       = {{EPTCS}},
  volume       = {355},
  pages        = {60--117},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.355.5},
  doi          = {10.4204/EPTCS.355.5},
  timestamp    = {Wed, 04 May 2022 11:45:33 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-09885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LangMM21,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Franco Mazzanti},
  title        = {Compositional verification of concurrent systems by combining bisimulations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {83--125},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00360-w},
  doi          = {10.1007/S10703-021-00360-W},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/LangMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Duran0P0S21,
  author       = {Francisco Dur{\'{a}}n and
                  Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  title        = {{R-MOZART:} {A} Reconfiguration Tool for WebThings Applications},
  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:
                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
                  2021},
  pages        = {41--44},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00031},
  doi          = {10.1109/ICSE-COMPANION52605.2021.00031},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/Duran0P0S21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/00010P0S21,
  author       = {Francisco Dur{\'{a}}n and
                  Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  title        = {Seamless Reconfiguration of Rule-based IoT Applications},
  booktitle    = {16th International Symposium on Software Engineering for Adaptive
                  and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
                  2021},
  pages        = {142--148},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SEAMS51251.2021.00027},
  doi          = {10.1109/SEAMS51251.2021.00027},
  timestamp    = {Fri, 02 Jul 2021 15:15:55 +0200},
  biburl       = {https://dblp.org/rec/conf/seams/00010P0S21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2111-08203,
  author       = {Hubert Garavel and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Mario Gleirscher and
                  Jaco van de Pol and
                  Jim Woodcock},
  title        = {Is {CADP} an Applicable Formal Method?},
  booktitle    = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM
                  2021, virtual, 23rd November 2021},
  series       = {{EPTCS}},
  volume       = {349},
  pages        = {1--11},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.349.1},
  doi          = {10.4204/EPTCS.349.1},
  timestamp    = {Fri, 17 Feb 2023 09:02:03 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-08203.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Marsso0S20,
  author       = {Lina Marsso and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Valentina Casola and
                  Alessandra De Benedictis and
                  Massimiliano Rak},
  title        = {Automated Transition Coverage in Behavioural Conformance Testing},
  booktitle    = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12543},
  pages        = {219--235},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64881-7\_14},
  doi          = {10.1007/978-3-030-64881-7\_14},
  timestamp    = {Tue, 08 Dec 2020 15:44:14 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Marsso0S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lang0M20,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Franco Mazzanti},
  editor       = {Armin Biere and
                  David Parker},
  title        = {Sharp Congruences Adequate with Temporal Logics Combining Weak and
                  Strong Modalities},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 26th International Conference, {TACAS} 2020, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12079},
  pages        = {57--76},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45237-7\_4},
  doi          = {10.1007/978-3-030-45237-7\_4},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Lang0M20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/0001PM0S20,
  author       = {Ajay Krishna and
                  Michel Le Pallec and
                  Alejandro Martinez and
                  Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  editor       = {Amal El Fallah Seghrouchni and
                  Gita Sukthankar and
                  Tie{-}Yan Liu and
                  Maarten van Steen},
  title        = {{MOZART:} Design and Deployment of Advanced IoT Applications},
  booktitle    = {Companion of The 2020 Web Conference 2020, Taipei, Taiwan, April 20-24,
                  2020},
  pages        = {163--166},
  publisher    = {{ACM} / {IW3C2}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3366424.3383532},
  doi          = {10.1145/3366424.3383532},
  timestamp    = {Thu, 13 Aug 2020 18:46:26 +0200},
  biburl       = {https://dblp.org/rec/conf/www/0001PM0S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13289,
  author       = {Radu Mateescu and
                  Wendelin Serwe and
                  Aymane Bouzafour and
                  Marc Renaudin},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Modeling an Asynchronous Circuit Dedicated to the Protection Against
                  Physical Attacks},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {200--239},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.8},
  doi          = {10.4204/EPTCS.316.8},
  timestamp    = {Mon, 03 Jan 2022 22:03:27 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13289.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NguyenS0J19,
  author       = {Viet{-}Anh Nguyen and
                  Wendelin Serwe and
                  Radu Mateescu and
                  Eric Jenn},
  editor       = {Maurice H. ter Beek and
                  Alessandro Fantechi and
                  Laura Semini},
  title        = {Hunting Superfluous Locks with Model Checking},
  booktitle    = {From Software Engineering to Formal Methods and Tools, and Back -
                  Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11865},
  pages        = {416--432},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30985-5\_24},
  doi          = {10.1007/978-3-030-30985-5\_24},
  timestamp    = {Wed, 09 Oct 2019 10:07:38 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NguyenS0J19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Lang0M19,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Franco Mazzanti},
  editor       = {Maurice H. ter Beek and
                  Annabelle McIver and
                  Jos{\'{e}} N. Oliveira},
  title        = {Compositional Verification of Concurrent Systems by Combining Bisimulations},
  booktitle    = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
                  Porto, Portugal, October 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30942-8\_13},
  doi          = {10.1007/978-3-030-30942-8\_13},
  timestamp    = {Mon, 23 Sep 2019 13:47:30 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Lang0M19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001P0NS19a,
  author       = {Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Ludovic Noirie and
                  Gwen Sala{\"{u}}n},
  editor       = {Joanne M. Atlee and
                  Tevfik Bultan and
                  Jon Whittle},
  title        = {IoT composer: composition and deployment of IoT applications},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:
                  Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
                  2019},
  pages        = {19--22},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE-Companion.2019.00028},
  doi          = {10.1109/ICSE-COMPANION.2019.00028},
  timestamp    = {Tue, 24 May 2022 15:28:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/0001P0NS19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001P0NS19,
  author       = {Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Ludovic Noirie and
                  Gwen Sala{\"{u}}n},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Rigorous design and deployment of IoT applications},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {21--30},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00011},
  doi          = {10.1109/FORMALISE.2019.00011},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/0001P0NS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Marsso0PS19,
  author       = {Lina Marsso and
                  Radu Mateescu and
                  Ioannis Parissis and
                  Wendelin Serwe},
  editor       = {Wolfgang Ahrendt and
                  Silvia Lizeth Tapia Tarifa},
  title        = {Asynchronous Testing of Synchronous Components in {GALS} Systems},
  booktitle    = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
                  Bergen, Norway, December 2-6, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11918},
  pages        = {360--378},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34968-4\_20},
  doi          = {10.1007/978-3-030-34968-4\_20},
  timestamp    = {Fri, 22 Nov 2019 13:59:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/Marsso0PS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ram/LedentPRML19,
  author       = {Philippe Ledent and
                  Anshul Paigwar and
                  Alessandro Renzaglia and
                  Radu Mateescu and
                  Christian Laugier},
  title        = {Formal Validation of Probabilistic Collision Risk Estimation for Autonomous
                  Driving},
  booktitle    = {2019 {IEEE} International Conference on Cybernetics and Intelligent
                  Systems {(CIS)} and {IEEE} Conference on Robotics, Automation and
                  Mechatronics (RAM), Bangkok, Thailand, November 18-20, 2019},
  pages        = {433--438},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CIS-RAM47153.2019.9095806},
  doi          = {10.1109/CIS-RAM47153.2019.9095806},
  timestamp    = {Fri, 29 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ram/LedentPRML19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Mateescu18,
  author       = {Radu Mateescu},
  title        = {Recent advances in interactive and automated analysis},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {20},
  number       = {2},
  pages        = {119--123},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10009-017-0477-y},
  doi          = {10.1007/S10009-017-0477-Y},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Mateescu18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MateescuR18,
  author       = {Radu Mateescu and
                  Jos{\'{e}} Ignacio Requeno},
  title        = {On-the-fly model checking for extended action-based probabilistic
                  operators},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {20},
  number       = {5},
  pages        = {563--587},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10009-018-0499-0},
  doi          = {10.1007/S10009-018-0499-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MateescuR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BouzafourRG0S18,
  author       = {Aymane Bouzafour and
                  Marc Renaudin and
                  Hubert Garavel and
                  Radu Mateescu and
                  Wendelin Serwe},
  title        = {Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous
                  Circuits},
  booktitle    = {24th {IEEE} International Symposium on Asynchronous Circuits and Systems,
                  {ASYNC} 2018, Vienna, Austria, May 13-16, 2018},
  pages        = {34--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ASYNC.2018.00021},
  doi          = {10.1109/ASYNC.2018.00021},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/BouzafourRG0S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Garavel018,
  author       = {Hubert Garavel and
                  Radu Mateescu},
  editor       = {Tiziana Margaria and
                  Susanne Graf and
                  Kim G. Larsen},
  title        = {Reflections on Bernhard Steffen's Physics of Software Tools},
  booktitle    = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
                  Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11200},
  pages        = {186--207},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-22348-9\_12},
  doi          = {10.1007/978-3-030-22348-9\_12},
  timestamp    = {Wed, 26 Jun 2019 10:29:01 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Garavel018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeprocess/Hofer0SW18,
  author       = {Birgit Hofer and
                  Radu Mateescu and
                  Wendelin Serwe and
                  Franz Wotawa},
  editor       = {Louise Trav{\'{e}}{-}Massuy{\`{e}}s and
                  Anna Sztyber},
  title        = {Using {LNT} Formal Descriptions for Model-Based Diagnosis},
  booktitle    = {Proceedings of the 29th International Workshop on Principles of Diagnosis
                  co-located with 10th {IFAC} Symposium on Fault Detection, Supervision
                  and Safety for Technical Processes {(SAFEPROCESS} 2018), Warsaw, Poland,
                  27-30 August, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2289},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2289/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:16 +0100},
  biburl       = {https://dblp.org/rec/conf/safeprocess/Hofer0SW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Marsso0S18,
  author       = {Lina Marsso and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{TESTOR:} {A} Modular Tool for On-the-Fly Conformance Test Case Generation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {211--228},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_13},
  doi          = {10.1007/978-3-319-89963-3\_13},
  timestamp    = {Fri, 09 Apr 2021 18:45:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Marsso0S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10319,
  author       = {Josip Bozic and
                  Lina Marsso and
                  Radu Mateescu and
                  Franz Wotawa},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {A Formal {TLS} Handshake Model in {LNT}},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {1--40},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.1},
  doi          = {10.4204/EPTCS.268.1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/LagoLRJMB17,
  author       = {Paula Lago and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Claudia Roncancio and
                  Claudia Jim{\'{e}}nez{-}Guar{\'{\i}}n and
                  Radu Mateescu and
                  Nicolas Bonnefond},
  editor       = {Patrick Br{\'{e}}zillon and
                  Roy M. Turner and
                  Carlo Penco},
  title        = {The ContextAct@A4H Real-Life Dataset of Daily-Living Activities -
                  Activity Recognition Using Model Checking},
  booktitle    = {Modeling and Using Context - 10th International and Interdisciplinary
                  Conference, {CONTEXT} 2017, Paris, France, June 20-23, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10257},
  pages        = {175--188},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57837-8\_14},
  doi          = {10.1007/978-3-319-57837-8\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/context/LagoLRJMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/VekrisLDM16,
  author       = {Dimitris Vekris and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Catalin Dima and
                  Radu Mateescu},
  title        = {Verification of EB\({}^{\mbox{3}}\) specifications using {CADP}},
  journal      = {Formal Aspects Comput.},
  volume       = {28},
  number       = {1},
  pages        = {145--178},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00165-016-0362-6},
  doi          = {10.1007/S00165-016-0362-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/VekrisLDM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JebaliLM16,
  author       = {Fatma Jebali and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  title        = {Formal modelling and verification of {GALS} systems using {GRL} and
                  {CADP}},
  journal      = {Formal Aspects Comput.},
  volume       = {28},
  number       = {5},
  pages        = {767--804},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00165-016-0373-3},
  doi          = {10.1007/S00165-016-0373-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/JebaliLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MateescuR16,
  author       = {Radu Mateescu and
                  Jos{\'{e}} Ignacio Requeno},
  editor       = {Dragan Bosnacki and
                  Anton Wijs},
  title        = {On-the-Fly Model Checking for Extended Action-Based Probabilistic
                  Operators},
  booktitle    = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
                  Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9641},
  pages        = {189--207},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-32582-8\_13},
  doi          = {10.1007/978-3-319-32582-8\_13},
  timestamp    = {Tue, 12 Sep 2023 07:57:22 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MateescuR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GaravelLM15,
  author       = {Hubert Garavel and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  title        = {Compositional verification of asynchronous concurrent systems using
                  {CADP}},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {4-5},
  pages        = {337--392},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00236-015-0226-1},
  doi          = {10.1007/S00236-015-0226-1},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GaravelLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MateescuW14,
  author       = {Radu Mateescu and
                  Anton Wijs},
  title        = {Property-dependent reductions adequate with divergence-sensitive branching
                  bisimilarity},
  journal      = {Sci. Comput. Program.},
  volume       = {96},
  pages        = {354--376},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.004},
  doi          = {10.1016/J.SCICO.2014.04.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MateescuW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/MateescuSY14,
  author       = {Radu Mateescu and
                  Gwen Sala{\"{u}}n and
                  Lina Ye},
  editor       = {Lionel Seinturier and
                  Eduardo Santana de Almeida and
                  Jan Carlson},
  title        = {Quantifying the parallelism in {BPMN} processes using model checking},
  booktitle    = {CBSE'14, Proceedings of the 17th International {ACM} {SIGSOFT} Symposium
                  on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul,
                  Lille, France, June 30 - July 4, 2014},
  pages        = {159--168},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2602458.2602473},
  doi          = {10.1145/2602458.2602473},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/cbse/MateescuSY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JebaliLM14,
  author       = {Fatma Jebali and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  editor       = {Stephan Merz and
                  Jun Pang},
  title        = {{GRL:} {A} Specification Language for Globally Asynchronous Locally
                  Synchronous Systems},
  booktitle    = {Formal Methods and Software Engineering - 16th International Conference
                  on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
                  November 3-5, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8829},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11737-9\_15},
  doi          = {10.1007/978-3-319-11737-9\_15},
  timestamp    = {Sat, 31 Aug 2019 23:49:22 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/JebaliLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MendesLCMBC13,
  author       = {Nuno D. Mendes and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Yves{-}Stan Le Cornec and
                  Radu Mateescu and
                  Gr{\'{e}}gory Batt and
                  Claudine Chaouiya},
  title        = {Composition and abstraction of logical regulatory modules: application
                  to multicellular systems},
  journal      = {Bioinform.},
  volume       = {29},
  number       = {6},
  pages        = {749--757},
  year         = {2013},
  url          = {https://doi.org/10.1093/bioinformatics/btt033},
  doi          = {10.1093/BIOINFORMATICS/BTT033},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/MendesLCMBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LangM13,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  title        = {Partial Model Checking using Networks of Labelled Transition Systems
                  and Boole an Equation Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {4},
  year         = {2013},
  url          = {https://doi.org/10.2168/LMCS-9(4:1)2013},
  doi          = {10.2168/LMCS-9(4:1)2013},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LangM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MateescuS13,
  author       = {Radu Mateescu and
                  Wendelin Serwe},
  title        = {Model checking and performance evaluation with {CADP} illustrated
                  on shared-memory mutual exclusion protocols},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {7},
  pages        = {843--861},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.01.003},
  doi          = {10.1016/J.SCICO.2012.01.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MateescuS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GaravelLMS13,
  author       = {Hubert Garavel and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Wendelin Serwe},
  title        = {{CADP} 2011: a toolbox for the construction and analysis of distributed
                  processes},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {15},
  number       = {2},
  pages        = {89--107},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10009-012-0244-z},
  doi          = {10.1007/S10009-012-0244-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GaravelLMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VekrisLDM13,
  author       = {Dimitris Vekris and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Catalin Dima and
                  Radu Mateescu},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Verification of EB\({}^{\mbox{3}}\) Specifications Using {CADP}},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_5},
  doi          = {10.1007/978-3-642-38613-8\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/VekrisLDM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MateescuS13,
  author       = {Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{PIC2LNT:} Model Transformation for Model Checking an Applied Pi-Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {192--198},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_14},
  doi          = {10.1007/978-3-642-36742-7\_14},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MateescuS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MateescuW12,
  author       = {Radu Mateescu and
                  Anton Wijs},
  title        = {Sequential and distributed on-the-fly computation of weak tau-confluence},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {10-11},
  pages        = {1075--1094},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2011.07.004},
  doi          = {10.1016/J.SCICO.2011.07.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MateescuW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MateescuPS12,
  author       = {Radu Mateescu and
                  Pascal Poizat and
                  Gwen Sala{\"{u}}n},
  title        = {Adaptation of Service Protocols Using Process Algebra and On-the-Fly
                  Reduction Techniques},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {38},
  number       = {4},
  pages        = {755--777},
  year         = {2012},
  url          = {https://doi.org/10.1109/TSE.2011.62},
  doi          = {10.1109/TSE.2011.62},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/MateescuPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LangM12,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  editor       = {Cormac Flanagan and
                  Barbara K{\"{o}}nig},
  title        = {Partial Model Checking Using Networks of Labelled Transition Systems
                  and Boolean Equation Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 18th International Conference, {TACAS} 2012, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7214},
  pages        = {141--156},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28756-5\_11},
  doi          = {10.1007/978-3-642-28756-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LangM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaravelMS13,
  author       = {Hubert Garavel and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Jeremy T. Bradley and
                  Keijo Heljanko and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Large-scale Distributed Verification Using {CADP:} Beyond Clusters
                  to Grids},
  booktitle    = {Proceedings the Sixth International Workshop on the Practical Application
                  of Stochastic Modelling, {PASM} 2012, and the Eleventh International
                  Workshop on Parallel and Distributed Methods in Verification, {PDMC}
                  2012, London, UK, September 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {296},
  pages        = {145--161},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2013.07.010},
  doi          = {10.1016/J.ENTCS.2013.07.010},
  timestamp    = {Tue, 22 Nov 2022 14:07:01 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaravelMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MateescuMDJ11,
  author       = {Radu Mateescu and
                  Pedro T. Monteiro and
                  Estelle Dumas and
                  Hidde de Jong},
  title        = {{CTRL:} Extension of {CTL} with regular expressions and fairness operators
                  to verify genetic regulatory networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {26},
  pages        = {2854--2883},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.05.009},
  doi          = {10.1016/J.TCS.2010.05.009},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MateescuMDJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MateescuW11,
  author       = {Radu Mateescu and
                  Anton Wijs},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Property-Dependent Reductions for the Modal Mu-Calculus},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {2--19},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_2},
  doi          = {10.1007/978-3-642-22306-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MateescuW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GaravelLMS11,
  author       = {Hubert Garavel and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Parosh Aziz Abdulla and
                  K. Rustan M. Leino},
  title        = {{CADP} 2010: {A} Toolbox for the Construction and Analysis of Distributed
                  Processes},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 17th International Conference, {TACAS} 2011, Held as Part of the
                  Joint European Conferences on Theory and Practice of Software, {ETAPS}
                  2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6605},
  pages        = {372--387},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19835-9\_33},
  doi          = {10.1007/978-3-642-19835-9\_33},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GaravelLMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/MonteiroFR0J10,
  author       = {Pedro T. Monteiro and
                  Ana T. Freitas and
                  Delphine Ropers and
                  Radu Mateescu and
                  Hidde de Jong},
  title        = {Modeling and formal verification of biological regulatory networks:
                  An integrative approach},
  booktitle    = {2010 {IEEE} International Conference on Bioinformatics and Biomedicine
                  Workshops, {BIBMW} 2010, Hong Kong, December 18, 2010},
  pages        = {812--813},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/BIBMW.2010.5703920},
  doi          = {10.1109/BIBMW.2010.5703920},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bibm/MonteiroFR0J10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MateescuS10,
  author       = {Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {A Study of Shared-Memory Mutual Exclusion Protocols Using {CADP}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {180--197},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_12},
  doi          = {10.1007/978-3-642-15898-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/MateescuS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MateescuS10,
  author       = {Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  editor       = {Dominique M{\'{e}}ry and
                  Stephan Merz},
  title        = {Translating Pi-Calculus into {LOTOS} {NT}},
  booktitle    = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
                  Nancy, France, October 11-14, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6396},
  pages        = {229--244},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16265-7\_17},
  doi          = {10.1007/978-3-642-16265-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MateescuS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CosteGHLMS10,
  author       = {Nicolas Coste and
                  Hubert Garavel and
                  Holger Hermanns and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Ten Years of Performance Evaluation for Concurrent Systems Using {CADP}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6416},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16561-0\_18},
  doi          = {10.1007/978-3-642-16561-0\_18},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/CosteGHLMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/MonteiroDBMPFJ09,
  author       = {Pedro T. Monteiro and
                  Estelle Dumas and
                  Bruno Besson and
                  Radu Mateescu and
                  Michel Page and
                  Ana T. Freitas and
                  Hidde de Jong},
  title        = {A service-oriented architecture for integrating the modeling and formal
                  verification of genetic regulatory networks},
  journal      = {{BMC} Bioinform.},
  volume       = {10},
  pages        = {450},
  year         = {2009},
  url          = {https://doi.org/10.1186/1471-2105-10-450},
  doi          = {10.1186/1471-2105-10-450},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/MonteiroDBMPFJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/ChehaibarZM09,
  author       = {Ghassan Chehaibar and
                  Meriem Zidouni and
                  Radu Mateescu},
  title        = {Modeling Multiprocessor Cache Protocol Impact on {MPI} Performance},
  booktitle    = {23rd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2009, Workshops Proceedings, Bradford, United
                  Kingdom, May 26-29, 2009},
  pages        = {1073--1078},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WAINA.2009.117},
  doi          = {10.1109/WAINA.2009.117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/ChehaibarZM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LangM09,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  editor       = {Ana Cavalcanti and
                  Dennis Dams},
  title        = {Partial Order Reductions Using Compositional Confluence Detection},
  booktitle    = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
                  November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5850},
  pages        = {157--172},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-05089-3\_11},
  doi          = {10.1007/978-3-642-05089-3\_11},
  timestamp    = {Mon, 21 Feb 2022 14:40:51 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/LangM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MateescuW09,
  author       = {Radu Mateescu and
                  Anton Wijs},
  editor       = {Stefan Kowalewski and
                  Anna Philippou},
  title        = {Hierarchical Adaptive State Space Caching Based on Level Sampling},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  15th International Conference, {TACAS} 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       = {5505},
  pages        = {215--229},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00768-2\_21},
  doi          = {10.1007/978-3-642-00768-2\_21},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MateescuW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/MateescuR08,
  author       = {Radu Mateescu and
                  Sylvain Rampacek},
  title        = {Formal modelling and discrete-time analysis of {BPEL} web services},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {4},
  number       = {3/4},
  pages        = {183--194},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJSPM.2008.023680},
  doi          = {10.1504/IJSPM.2008.023680},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/MateescuR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MateescuMDJ08,
  author       = {Radu Mateescu and
                  Pedro T. Monteiro and
                  Estelle Dumas and
                  Hidde de Jong},
  editor       = {Sung Deok Cha and
                  Jin{-}Young Choi and
                  Moonzoo Kim and
                  Insup Lee and
                  Mahesh Viswanathan},
  title        = {Computation Tree Regular Logic for Genetic Regulatory Networks},
  booktitle    = {Automated Technology for Verification and Analysis, 6th International
                  Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5311},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88387-6\_6},
  doi          = {10.1007/978-3-540-88387-6\_6},
  timestamp    = {Thu, 26 Jan 2023 14:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/MateescuMDJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MateescuR08,
  author       = {Radu Mateescu and
                  Sylvain Rampacek},
  editor       = {Jan L. G. Dietz and
                  Antonia Albani and
                  Joseph Barjis},
  title        = {Formal Modeling and Discrete-Time Analysis of {BPEL} Web Services},
  booktitle    = {Advances in Enterprise Engineering I, 4th International Workshop CIAO!
                  and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier,
                  France, June 16-17, 2008. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {10},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68644-6\_13},
  doi          = {10.1007/978-3-540-68644-6\_13},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/MateescuR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MonteiroRMFJ08,
  author       = {Pedro T. Monteiro and
                  Delphine Ropers and
                  Radu Mateescu and
                  Ana T. Freitas and
                  Hidde de Jong},
  editor       = {Malik Ghallab and
                  Constantine D. Spyropoulos and
                  Nikos Fakotakis and
                  Nikolaos M. Avouris},
  title        = {Temporal Logic Patterns for Querying Qualitative Models of Genetic
                  Regulatory Networks},
  booktitle    = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
                  Patras, Greece, July 21-25, 2008, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {178},
  pages        = {229--233},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-891-5-229},
  doi          = {10.3233/978-1-58603-891-5-229},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/MonteiroRMFJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccb/MonteiroRMFJ08,
  author       = {Pedro T. Monteiro and
                  Delphine Ropers and
                  Radu Mateescu and
                  Ana T. Freitas and
                  Hidde de Jong},
  title        = {Temporal logic patterns for querying dynamic models of cellular interaction
                  networks},
  booktitle    = {ECCB'08 Proceedings, Seventh European Conference on Computational
                  Biology, 22-26 September 2008, Cagliari, Italy},
  pages        = {227--233},
  year         = {2008},
  url          = {https://doi.org/10.1093/bioinformatics/btn275},
  doi          = {10.1093/BIOINFORMATICS/BTN275},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eccb/MonteiroRMFJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MateescuT08,
  author       = {Radu Mateescu and
                  Damien Thivolle},
  editor       = {Jorge Cu{\'{e}}llar and
                  T. S. E. Maibaum and
                  Kaisa Sere},
  title        = {A Model Checking Language for Concurrent Value-Passing Systems},
  booktitle    = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
                  Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5014},
  pages        = {148--164},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68237-0\_12},
  doi          = {10.1007/978-3-540-68237-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/MateescuT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MateescuPS08,
  author       = {Radu Mateescu and
                  Pascal Poizat and
                  Gwen Sala{\"{u}}n},
  editor       = {Athman Bouguettaya and
                  Ingolf Kr{\"{u}}ger and
                  Tiziana Margaria},
  title        = {Adaptation of Service Protocols Using Process Algebra and On-the-Fly
                  Reduction Techniques},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
                  Sydney, Australia, December 1-5, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5364},
  pages        = {84--99},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89652-4\_10},
  doi          = {10.1007/978-3-540-89652-4\_10},
  timestamp    = {Sun, 02 Jun 2019 21:20:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MateescuPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/MateescuO08,
  author       = {Radu Mateescu and
                  Emilie Oudot},
  title        = {Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean
                  Equation Systems},
  booktitle    = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
                  CA, {USA}},
  pages        = {73--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/MEMCOD.2008.4547690},
  doi          = {10.1109/MEMCOD.2008.4547690},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/MateescuO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MateescuO08,
  author       = {Radu Mateescu and
                  Emilie Oudot},
  editor       = {Klaus Havelund and
                  Rupak Majumdar and
                  Jens Palsberg},
  title        = {Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems},
  booktitle    = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
                  CA, USA, August 10-12, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5156},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85114-1\_15},
  doi          = {10.1007/978-3-540-85114-1\_15},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MateescuO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GaravelMLS07,
  author       = {Hubert Garavel and
                  Radu Mateescu and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Wendelin Serwe},
  editor       = {Werner Damm and
                  Holger Hermanns},
  title        = {{CADP} 2006: {A} Toolbox for the Construction and Analysis of Distributed
                  Processes},
  booktitle    = {Computer Aided Verification, 19th International Conference, {CAV}
                  2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4590},
  pages        = {158--163},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73368-3\_18},
  doi          = {10.1007/978-3-540-73368-3\_18},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GaravelMLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MateescuPS07,
  author       = {Radu Mateescu and
                  Pascal Poizat and
                  Gwen Sala{\"{u}}n},
  editor       = {R. E. Kurt Stirewalt and
                  Alexander Egyed and
                  Bernd Fischer},
  title        = {Behavioral adaptation of component compositions based on process algebra
                  encodings},
  booktitle    = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages        = {385--388},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321631.1321690},
  doi          = {10.1145/1321631.1321690},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MateescuPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MateescuO06,
  author       = {Radu Mateescu and
                  Fl{\'{a}}vio Oquendo},
  title        = {pi-AAL: an architecture analysis language for formally specifying
                  and verifying structural and behavioural properties of software architectures},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {2},
  pages        = {1--19},
  year         = {2006},
  url          = {https://doi.org/10.1145/1118537.1118541},
  doi          = {10.1145/1118537.1118541},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/MateescuO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Mateescu06,
  author       = {Radu Mateescu},
  title        = {CAESAR{\_}SOLVE: {A} generic library for on-the-fly resolution of
                  alternation-free Boolean equation systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {8},
  number       = {1},
  pages        = {37--56},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10009-005-0194-9},
  doi          = {10.1007/S10009-005-0194-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Mateescu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JoubertM06,
  author       = {Christophe Joubert and
                  Radu Mateescu},
  editor       = {Antti Valmari},
  title        = {Distributed On-the-Fly Model Checking and Test Case Generation},
  booktitle    = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
                  Austria, March 30 - April 1, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3925},
  pages        = {126--145},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11691617\_8},
  doi          = {10.1007/11691617\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/JoubertM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GaravelMBCDJSS06,
  author       = {Hubert Garavel and
                  Radu Mateescu and
                  Damien Bergamini and
                  Adrian Curic and
                  Nicolas Descoubes and
                  Christophe Joubert and
                  Irina Smarandache{-}Sturm and
                  Gilles Stragier},
  editor       = {Holger Hermanns and
                  Jens Palsberg},
  title        = {{DISTRIBUTOR} and BCG{\_}MERGE: Tools for Distributed Explicit State
                  Space Generation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  12th International Conference, {TACAS} 2006 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2006,
                  Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3920},
  pages        = {445--449},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11691372\_30},
  doi          = {10.1007/11691372\_30},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GaravelMBCDJSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/000105,
  author       = {Radu Mateescu},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {On-the-fly state space reductions for weak equivalences},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {80--89},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081191},
  doi          = {10.1145/1081180.1081191},
  timestamp    = {Tue, 25 Jan 2022 17:00:39 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/000105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BattRJGMPS05,
  author       = {Gr{\'{e}}gory Batt and
                  Delphine Ropers and
                  Hidde de Jong and
                  Johannes Geiselmann and
                  Radu Mateescu and
                  Michel Page and
                  Dominique Schneider},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {Analysis and Verification of Qualitative Models of Genetic Regulatory
                  Networks: {A} Model-Checking Approach},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {370--375},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/1133.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BattRJGMPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/BattRJGMPS05,
  author       = {Gr{\'{e}}gory Batt and
                  Delphine Ropers and
                  Hidde de Jong and
                  Johannes Geiselmann and
                  Radu Mateescu and
                  Michel Page and
                  Dominique Schneider},
  title        = {Validation of qualitative models of genetic regulatory networks by
                  model checking: analysis of the nutritional stress response in \emph{Escherichia
                  coli}},
  booktitle    = {Proceedings Thirteenth International Conference on Intelligent Systems
                  for Molecular Biology 2005, Detroit, MI, USA, 25-29 June 2005},
  pages        = {19--28},
  year         = {2005},
  url          = {https://doi.org/10.1093/bioinformatics/bti1048},
  doi          = {10.1093/BIOINFORMATICS/BTI1048},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismb/BattRJGMPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JoubertM05,
  author       = {Christophe Joubert and
                  Radu Mateescu},
  title        = {Distributed Local Resolution of Boolean Equation Systems},
  booktitle    = {13th Euromicro Workshop on Parallel, Distributed and Network-Based
                  Processing {(PDP} 2005), 6-11 February 2005, Lugano, Switzerland},
  pages        = {264--271},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/EMPDP.2005.19},
  doi          = {10.1109/EMPDP.2005.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/JoubertM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BergaminiDJM05,
  author       = {Damien Bergamini and
                  Nicolas Descoubes and
                  Christophe Joubert and
                  Radu Mateescu},
  editor       = {Nicolas Halbwachs and
                  Lenore D. Zuck},
  title        = {{BISIMULATOR:} {A} Modular Tool for On-the-Fly Equivalence Checking},
  booktitle    = {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},
  pages        = {581--585},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31980-1\_42},
  doi          = {10.1007/978-3-540-31980-1\_42},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BergaminiDJM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/Mateescu04,
  author       = {Radu Mateescu},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {Model Checking for Software Architectures},
  booktitle    = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  pages        = {219--224},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24769-2\_18},
  doi          = {10.1007/978-3-540-24769-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/Mateescu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GaravelM04,
  author       = {Hubert Garavel and
                  Radu Mateescu},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {{SEQ.OPEN:} {A} Tool for Efficient Trace-Based Verification},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {151--157},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_11},
  doi          = {10.1007/978-3-540-24732-6\_11},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GaravelM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BattBJGM04,
  author       = {Gr{\'{e}}gory Batt and
                  Damien Bergamini and
                  Hidde de Jong and
                  Hubert Garavel and
                  Radu Mateescu},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Model Checking Genetic Regulatory Networks Using {GNA} and {CADP}},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {158--163},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_12},
  doi          = {10.1007/978-3-540-24732-6\_12},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/BattBJGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Mateescu04,
  author       = {Radu Mateescu},
  editor       = {Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {A Generic Framework for Model Checking Software Architectures},
  booktitle    = {Verification and Validation of Enterprise Information Systems, Proceedings
                  of the 2nd International Workshop on Verification and Validation of
                  Enterprise Information Systems, {VVEIS} 2004, In conjunction with
                  {ICEIS} 2004, Porto, Portugal, April 2004},
  pages        = {1},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Mateescu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JoubertM05,
  author       = {Christophe Joubert and
                  Radu Mateescu},
  editor       = {Lubos Brim and
                  Martin Leucker},
  title        = {Distributed On-the-Fly Equivalence Checking},
  booktitle    = {Proceedings of the 3rd International Workshop on Parallel and Distributed
                  Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {3},
  pages        = {47--62},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.10.018},
  doi          = {10.1016/J.ENTCS.2004.10.018},
  timestamp    = {Mon, 12 Dec 2022 15:21:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JoubertM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MateescuS03,
  author       = {Radu Mateescu and
                  Mihaela Sighireanu},
  title        = {Efficient on-the-fly model-checking for regular alternation-free mu-calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {46},
  number       = {3},
  pages        = {255--281},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0167-6423(02)00094-1},
  doi          = {10.1016/S0167-6423(02)00094-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MateescuS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Mateescu03,
  author       = {Radu Mateescu},
  title        = {Logiques temporelles bas{\'{e}}es sur actions pour la v{\'{e}}rification
                  des syst{\`{e}}mes asynchrones},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {4},
  pages        = {461--495},
  year         = {2003},
  url          = {https://doi.org/10.3166/tsi.22.461-495},
  doi          = {10.3166/TSI.22.461-495},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/Mateescu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaceLM03,
  author       = {Gordon J. Pace and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Calculating-Confluence Compositionally},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {446--459},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_41},
  doi          = {10.1007/978-3-540-45069-6\_41},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PaceLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Mateescu03,
  author       = {Radu Mateescu},
  editor       = {Hubert Garavel and
                  John Hatcliff},
  title        = {A Generic On-the-Fly Solver for Alternation-Free Boolean Equation
                  Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  9th International Conference, {TACAS} 2003, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2619},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36577-X\_7},
  doi          = {10.1007/3-540-36577-X\_7},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Mateescu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mateescu03,
  author       = {Radu Mateescu},
  editor       = {Thomas Arts and
                  Wan J. Fokkink},
  title        = {On-the-Fly Verification using {CADP}},
  booktitle    = {Eighth International Workshop on Formal Methods for Industrial Critical
                  Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {80},
  pages        = {279--283},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80826-0},
  doi          = {10.1016/S1571-0661(04)80826-0},
  timestamp    = {Tue, 06 Dec 2022 10:12:25 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mateescu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GaravelLM02,
  author       = {Hubert Garavel and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu},
  editor       = {R. Nigel Horspool},
  title        = {Compiler Construction Using {LOTOS} {NT}},
  booktitle    = {Compiler Construction, 11th International Conference, {CC} 2002, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2304},
  pages        = {9--13},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45937-5\_3},
  doi          = {10.1007/3-540-45937-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/GaravelLM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Mateescu02,
  author       = {Radu Mateescu},
  editor       = {Joost{-}Pieter Katoen and
                  Perdita Stevens},
  title        = {Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition
                  Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  8th International Conference, {TACAS} 2002, Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2002,
                  Grenoble, France, April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2280},
  pages        = {281--295},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46002-0\_20},
  doi          = {10.1007/3-540-46002-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Mateescu02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/CornejoGMP01,
  author       = {Manuel Aguilar Cornejo and
                  Hubert Garavel and
                  Radu Mateescu and
                  Noel De Palma},
  editor       = {Krzysztof Zielinski and
                  Kurt Geihs and
                  Aleksander Laurentowski},
  title        = {Specification and Verification of a Dynamic Reconfiguration Protocol
                  for Agent-Based Applications},
  booktitle    = {New Developments in Distributed Applications and Interoperable Systems,
                  {IFIP} {TC6} / {WG6.1} Third International Working Conference on Distributed
                  Applications and Interoperable Systems, September 17-19, 2001, Krak{\'{o}}w,
                  Poland},
  series       = {{IFIP} Conference Proceedings},
  volume       = {198},
  pages        = {229--242},
  publisher    = {Kluwer},
  year         = {2001},
  url          = {https://doi.org/10.1007/0-306-47005-5\_20},
  doi          = {10.1007/0-306-47005-5\_20},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dais/CornejoGMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GaravelMS01,
  author       = {Hubert Garavel and
                  Radu Mateescu and
                  Irina M. Smarandache},
  editor       = {Matthew B. Dwyer},
  title        = {Parallel State Space Construction for Model-Checking},
  booktitle    = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
                  Canada, May 19-20, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2057},
  pages        = {217--234},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45139-0\_14},
  doi          = {10.1007/3-540-45139-0\_14},
  timestamp    = {Thu, 02 Jun 2022 12:33:45 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GaravelMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Mateescu00,
  author       = {Radu Mateescu},
  editor       = {Susanne Graf and
                  Michael I. Schwartzbach},
  title        = {Efficient Diagnostic Generation for Boolean Equation Systems},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, 6th
                  International Conference, {TACAS} 2000, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, {ETAPS}
                  2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1785},
  pages        = {251--265},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46419-0\_18},
  doi          = {10.1007/3-540-46419-0\_18},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Mateescu00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JanssenMMFS99,
  author       = {Wil Janssen and
                  Radu Mateescu and
                  Sjouke Mauw and
                  Peter Fennema and
                  Petra van der Stappen},
  editor       = {Dennis Dams and
                  Rob Gerth and
                  Stefan Leue and
                  Mieke Massink},
  title        = {Model Checking for Managers},
  booktitle    = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
                  6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
                  France, September 21 and 24 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1680},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48234-2\_7},
  doi          = {10.1007/3-540-48234-2\_7},
  timestamp    = {Mon, 15 Jun 2020 17:08:41 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/JanssenMMFS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Mateescu98,
  author       = {Radu Mateescu},
  title        = {V{\'{e}}rification des propri{\'{e}}t{\'{e}}s temporelles
                  des programmes parall{\`{e}}les. (Verification of temporal properties
                  of parallel programs)},
  school       = {Grenoble Institute of Technology, France},
  year         = {1998},
  url          = {https://tel.archives-ouvertes.fr/tel-00004896},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Mateescu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SighireanuM98,
  author       = {Mihaela Sighireanu and
                  Radu Mateescu},
  title        = {Verification of the Link Layer Protocol of the {IEEE-1394} Serial
                  Bus (FireWire): An Experiment with {E-LOTOS}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {2},
  number       = {1},
  pages        = {68--88},
  year         = {1998},
  url          = {https://doi.org/10.1007/s100090050018},
  doi          = {10.1007/S100090050018},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SighireanuM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GrooteM98,
  author       = {Jan Friso Groote and
                  Radu Mateescu},
  editor       = {Armando Martin Haeberer},
  title        = {Verification of Temporal Properties of Processes in a Setting with
                  Data},
  booktitle    = {Algebraic Methodology and Software Technology, 7th International Conference,
                  {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1548},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49253-4\_8},
  doi          = {10.1007/3-540-49253-4\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/GrooteM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FernandezGKMMS96,
  author       = {Jean{-}Claude Fernandez and
                  Hubert Garavel and
                  Alain Kerbrat and
                  Laurent Mounier and
                  Radu Mateescu and
                  Mihaela Sighireanu},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {{CADP} - {A} Protocol Validation and Verification Toolbox},
  booktitle    = {Computer Aided Verification, 8th International Conference, {CAV} '96,
                  New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1102},
  pages        = {437--440},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61474-5\_97},
  doi          = {10.1007/3-540-61474-5\_97},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FernandezGKMMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics