Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arnault Lapitre
@article{DBLP:journals/corr/abs-2403-03083,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation},
journal = {CoRR},
volume = {abs/2403.03083},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03083},
doi = {10.48550/ARXIV.2403.03083},
eprinttype = {arXiv},
eprint = {2403.03083},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BannourLGN23,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall and
Ngo Minh Thang Nguyen},
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {Symbolic Path-Guided Test Cases for Models with Data and Time},
booktitle = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
pages = {3--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52183-6\_1},
doi = {10.1007/978-3-031-52183-6\_1},
timestamp = {Thu, 18 Jan 2024 08:27:17 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BannourLGN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/MaheBGLG23,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
editor = {Hossein Hojjat and
Erika {\'{A}}brah{\'{a}}m},
title = {Interaction-Based Offline Runtime Verification of Distributed Systems},
booktitle = {Fundamentals of Software Engineering - 10th International Conference,
{FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14155},
pages = {88--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42441-0\_7},
doi = {10.1007/978-3-031-42441-0\_7},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/MaheBGLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/ArnaudLLSSGG23,
author = {Mathilde Arnaud and
Arnault Lapitre and
Yves Lhuillier and
St{\'{e}}phane Salmons and
Asma Smaoui and
Guillaume Giraud and
Arnaud Guerrier},
title = {Modelling and simulating new power grid control architectures},
booktitle = {{IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT} {EUROPE}
2023, Grenoble, France, October 23-26, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISGTEUROPE56780.2023.10407209},
doi = {10.1109/ISGTEUROPE56780.2023.10407209},
timestamp = {Sat, 24 Feb 2024 13:29:08 +0100},
biburl = {https://dblp.org/rec/conf/isgteurope/ArnaudLLSSGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02983,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {A Term-based Approach for Generating Finite Automata from Interaction
Diagrams},
journal = {CoRR},
volume = {abs/2306.02983},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02983},
doi = {10.48550/ARXIV.2306.02983},
eprinttype = {arXiv},
eprint = {2306.02983},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06840,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall and
Ngo Minh Thang Nguyen},
title = {Symbolic Path-guided Test Cases for Models with Data and Time},
journal = {CoRR},
volume = {abs/2309.06840},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06840},
doi = {10.48550/ARXIV.2309.06840},
eprinttype = {arXiv},
eprint = {2309.06840},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09324,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {Dealing with observability in interaction-based Offline Runtime Verification
of Distributed Systems},
journal = {CoRR},
volume = {abs/2212.09324},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09324},
doi = {10.48550/ARXIV.2212.09324},
eprinttype = {arXiv},
eprint = {2212.09324},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DubrulleKGL21,
author = {Paul Dubrulle and
Nikolai Kosmatov and
Christophe Gaston and
Arnault Lapitre},
title = {PolyGraph: a data flow model with frequency arithmetic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {489--517},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00586-9},
doi = {10.1007/S10009-020-00586-9},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DubrulleKGL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DubrulleKGL21a,
author = {Paul Dubrulle and
Nikolai Kosmatov and
Christophe Gaston and
Arnault Lapitre},
title = {Correction to: PolyGraph: a data flow model with frequency arithmetic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {519},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00590-z},
doi = {10.1007/S10009-020-00590-Z},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DubrulleKGL21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BannourLG21,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
editor = {Ladjel Bellatreche and
George A. Chernishev and
Antonio Corral and
Samir Ouchani and
J{\"{u}}ri Vain},
title = {Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic
Execution},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA,
Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1481},
pages = {46--60},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87657-9\_4},
doi = {10.1007/978-3-030-87657-9\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BannourLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaheBGLG21,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {A small-step approach to multi-trace checking against interactions},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1815--1822},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442054},
doi = {10.1145/3412841.3442054},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MaheBGLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArnaudBLG21,
author = {Mathilde Arnaud and
Boutheina Bannour and
Arnault Lapitre and
Guillaume Giraud},
editor = {Shi{-}Kuo Chang},
title = {Investigating Process Algebra Models to Represent Structured Requirements
for Time-sensitive {CPS}},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {291--296},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-147},
doi = {10.18293/SEKE2021-147},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/ArnaudBLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/BannourL20,
author = {Boutheina Bannour and
Arnault Lapitre},
title = {Model Checking of Trickle-based IoT Dissemination},
booktitle = {9th Mediterranean Conference on Embedded Computing, {MECO} 2020, Budva,
Montenegro, June 8-11, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MECO49872.2020.9134251},
doi = {10.1109/MECO49872.2020.9134251},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/BannourL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BannourLG20,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking
and Symbolic Execution},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {94--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_7},
doi = {10.1007/978-3-030-67087-0\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BannourLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rapido/BannourL20,
author = {Boutheina Bannour and
Arnault Lapitre},
title = {Heuristic-aided symbolic simulation for trickle-based wireless sensors
networks configuration},
booktitle = {Proceedings of the {RAPIDO} 2020 Workshop on Rapid Simulation and
Performance Evaluation: Methods and Tools, Bologna, Italy, January,
2020},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375246.3375255},
doi = {10.1145/3375246.3375255},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rapido/BannourL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01777,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {A small-step approach to multi-trace checking against interactions},
journal = {CoRR},
volume = {abs/2009.01777},
year = {2020},
url = {https://arxiv.org/abs/2009.01777},
eprinttype = {arXiv},
eprint = {2009.01777},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DubrulleGKLL19,
author = {Paul Dubrulle and
Christophe Gaston and
Nikolai Kosmatov and
Arnault Lapitre and
St{\'{e}}phane Louise},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {A Data Flow Model with Frequency Arithmetic},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {369--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_22},
doi = {10.1007/978-3-030-16722-6\_22},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DubrulleGKLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NguyenBLG19,
author = {Ngo Minh Thang Nguyen and
Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
title = {Behavioral Models and Scenario Selection for Testing IoT Trickle-Based
Lossy Multicast Networks},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {168--175},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00047},
doi = {10.1109/ICSTW.2019.00047},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NguyenBLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DubrulleGKL19,
author = {Paul Dubrulle and
Christophe Gaston and
Nikolai Kosmatov and
Arnault Lapitre},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Dynamic Reconfigurations in Frequency Constrained Data Flow},
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 = {175--193},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_10},
doi = {10.1007/978-3-030-34968-4\_10},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/DubrulleGKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BenharratGHLG17,
author = {Nassim Benharrat and
Christophe Gaston and
Robert M. Hierons and
Arnault Lapitre and
Pascale Le Gall},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Constraint-Based Oracles for Timed Distributed Systems},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {276--292},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_17},
doi = {10.1007/978-3-319-67549-7\_17},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/BenharratGHLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/NouacerDNMRGFCL16,
author = {R{\'{e}}da Nouacer and
Manel Djemal and
Sma{\"{\i}}l Niar and
Gilles Mouchard and
Nicolas Rapin and
Jean{-}Pierre Gallois and
Philippe Fiani and
Francois Chastrette and
Arnault Lapitre and
Toni Adriano and
Bryan MacEachen},
title = {{EQUITAS:} {A} tool-chain for functional safety and reliability improvement
in automotive systems},
journal = {Microprocess. Microsystems},
volume = {47},
pages = {252--261},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.07.020},
doi = {10.1016/J.MICPRO.2016.07.020},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/NouacerDNMRGFCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArnaudBL16,
author = {Mathilde Arnaud and
Boutheina Bannour and
Arnault Lapitre},
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {An Illustrative Use Case of the {DIVERSITY} Platform based on {UML}
Interaction Scenarios},
booktitle = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
pages = {21--34},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.01.003},
doi = {10.1016/J.ENTCS.2016.01.003},
timestamp = {Thu, 10 Nov 2022 11:51:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArnaudBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/ArnaudBCGGL14,
author = {Mathilde Arnaud and
Boutheina Bannour and
Arnaud Cuccuru and
Christophe Gaston and
S{\'{e}}bastien G{\'{e}}rard and
Arnault Lapitre},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
G{\'{e}}rard Morel and
Jean{-}Claude Roussel},
title = {Timed Symbolic Testing Framework for Executable Models Using High-Level
Scenarios},
booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fifth
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2014, Paris, France, November 12-14, 2014},
pages = {269--282},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11617-4\_19},
doi = {10.1007/978-3-319-11617-4\_19},
timestamp = {Wed, 24 May 2017 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/csdm/ArnaudBCGGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/DeltourFGL14,
author = {Julien Deltour and
Alain Faivre and
Emmanuel Gaudin and
Arnault Lapitre},
editor = {Daniel Amyot and
Pau Fonseca i Casas and
Gunter Mussbacher},
title = {Model-Based Testing: An Approach with {SDL/RTDS} and {DIVERSITY}},
booktitle = {System Analysis and Modeling: Models and Reusability - 8th International
Conference, {SAM} 2014, Valencia, Spain, September 29-30, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8769},
pages = {198--206},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11743-0\_14},
doi = {10.1007/978-3-319-11743-0\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/DeltourFGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourGAL13,
author = {Boutheina Bannour and
Christophe Gaston and
Marc Aiguier and
Arnault Lapitre},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Results for Compositional Timed Testing},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {559--564},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.81},
doi = {10.1109/APSEC.2013.81},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourGAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BannourGLE12,
author = {Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Jose Pablo Escobedo},
title = {Incremental Symbolic Conformance Testing from {UML} {MARTE} Sequence
Diagrams: Railway Use Case},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.18},
doi = {10.1109/HASE.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BannourGLE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/GastonABL09,
author = {Christophe Gaston and
Marc Aiguier and
Diane Bahrami and
Arnault Lapitre},
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {Symbolic Execution Techniques Extended to Systems},
booktitle = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSEA.2009.21},
doi = {10.1109/ICSEA.2009.21},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/icsea/GastonABL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LabbeL06,
author = {S{\'{e}}bastien Labb{\'{e}} and
Arnault Lapitre},
title = {{CARVER:} {A} Slicing Tool for Communicating Automata Specifications},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {99--102},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.9},
doi = {10.1109/ISOLA.2006.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LabbeL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BigotFGLLPR03,
author = {C{\'{e}}line Bigot and
Alain Faivre and
Jean{-}Pierre Gallois and
Arnault Lapitre and
David Lugato and
Jean{-}Yves Pierron and
Nicolas Rapin},
editor = {Hubert Garavel and
John Hatcliff},
title = {Automatic Test Generation with {AGATHA}},
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 = {591--596},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_43},
doi = {10.1007/3-540-36577-X\_43},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BigotFGLLPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
