Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Radu Mateescu 0001
@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} }
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.