@article{legay-FOMACS-16,
author = {Axel Legay and
Louis{-}Marie Traonouez},
title = {Statistical Model Checking with Change Detection},
journal = {Transactions on Foundations for Mastering Change {I}},
volume = {1},
pages = {157--179},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-46508-1_9},
doi = {10.1007/978-3-319-46508-1_9}
}
@article{kim-SIGBED-16,
author = {Jin Hyun Kim and Axel Legay and Louis{-}Marie Traonouez and Abdeldjalil Boudjadar and Ulrik Nyman and Kim G. Larsen and Insup Lee and Jin{-}Young Choi},
title = {Optimizing the resource requirements of hierarchical scheduling systems},
journal = {{SIGBED} Review},
volume = {13},
number = {3},
pages = {41--48},
year = {2016},
url = {http://doi.acm.org/10.1145/2983185.2983192},
doi = {10.1145/2983185.2983192}
}
@article{dargenio-STTT-15,
author = {Pedro D'Argenio and
Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Smart sampling for lightweight verification of Markov decision processes},
journal = {{STTT}},
volume = {17},
number = {4},
pages = {469--484},
year = {2015},
url = {http://dx.doi.org/10.1007/s10009-015-0383-0},
doi = {10.1007/s10009-015-0383-0}
}
@article{david-STTT-15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Real-time specifications},
journal = {{STTT}},
volume = {17},
number = {1},
pages = {17--45},
year = {2015},
url = {http://dx.doi.org/10.1007/s10009-013-0286-x},
doi = {10.1007/s10009-013-0286-x}
}
@article{larsen-TCS-14,
author = "Kim G. Larsen and Axel Legay and Louis-Marie Traonouez and Andrzej Wąsowski",
title = "Robust synthesis for real-time systems ",
journal = "Theoretical Computer Science ",
volume = "515",
number = "0",
pages = "96 - 122",
year = "2014"
}
@article{jard-FMSD-13,
author = {Claude Jard and Didier Lime and Olivier H. Roux and Louis-Marie Traonouez},
title = {Symbolic unfolding of parametric stopwatch Petri nets},
journal = {Formal Methods in System Design},
volume = {43},
number = {3},
year = {2013},
pages = {493-519}
}
@ARTICLE{traonouez-JUCS-09,
AUTHOR = {Louis-Marie Traonouez and Didier Lime and Olivier (H.) Roux},
JOURNAL = {Journal of Universal Computer Science},
TITLE = {Parametric Model-Checking of Stopwatch Petri Nets},
YEAR = {2009},
VOLUME = {15},
NUMBER = {17},
PAGES = {3273--3304},
MONTH = DEC,
HTTP = {http://www.jucs.org/jucs_15_17/parametric_model_checking_of},
CATEGORY = {intJournal}
}
@inproceedings{cavalcante-ECSA-16,
author = {Everton Cavalcante and Jean Quilbeuf and Louis{-}Marie Traonouez and Fl{\'{a}}vio Oquendo and Tha{\'{\i}}s Batista and Axel Legay},
title = {Statistical Model Checking of Dynamic Software Architectures},
booktitle = {Software Architecture - 10th European Conference, {ECSA}},
pages = {185--200},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-48992-6_14},
doi = {10.1007/978-3-319-48992-6_14}
series = {Lecture Notes in Computer Science},
volume = {9839},
year = {2016}
}
@inproceedings{legay-ISoLA-16,
author = {Axel Legay and Sean Sedwards and Louis{-}Marie Traonouez},
title = {Plasma Lab: {A} Modular Statistical Model Checking Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
pages = {77--93},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-47166-2_6},
doi = {10.1007/978-3-319-47166-2_6},
series = {Lecture Notes in Computer Science},
volume = {9952}
}
@inproceedings{quilbeuf-ISoLA-16,
author = {Jean Quilbeuf and Everton Cavalcante and Louis{-}Marie Traonouez and Fl{\'{a}}vio Oquendo and Tha{\'{\i}}s Batista and Axel Legay},
title = {A Logic for the Statistical Model Checking of Dynamic Software Architectures},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
pages = {806--820},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-47166-2_56},
doi = {10.1007/978-3-319-47166-2_56},
timestamp = {Wed, 05 Oct 2016 13:36:58 +0200},
volume = {9952}
}
@inproceedings{kim-sac-16,
author = {Jin Hyun Kim and
Axel Legay and
Louis{-}Marie Traonouez and
Mathieu Acher and
Sungwon Kang},
title = {A formal modeling and analysis framework for software product line of preemptive real-time systems},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016},
pages = {1562--1565},
year = {2016},
publisher = {{ACM}}
}
@inproceedings{naujokat-ISoLA-14,
author = {Stefan Naujokat and
Louis{-}Marie Traonouez and
Malte Isberner and
Bernhard Steffen and
Axel Legay},
title = {Domain-Specific Code Generator Modeling: {A} Case Study for Multi-faceted Concurrent Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
year = {2014},
pages = {481--498},
editor = {Tiziana Margaria and Bernhard Steffen},
series = {Lecture Notes in Computer Science},
volume = {8802},
publisher = {Springer}
}
@inproceedings{boyer-ISoLA-14,
author = {Beno{\^{\i}}t Boyer and
Axel Legay and
Louis{-}Marie Traonouez},
title = {A Formalism for Stochastic Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
year = {2014},
pages = {160--176},
editor = {Tiziana Margaria and
Bernhard Steffen},
series = {Lecture Notes in Computer Science},
volume = {8803},
publisher = {Springer}
}
@inproceedings{fahrenberg-ICTAC-14,
author = {Uli Fahrenberg and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Structural Refinement for the Modal nu-Calculus},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
year = {2014},
pages = {169--187},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
series = {Lecture Notes in Computer Science},
volume = {8687},
publisher = {Springer}
}
@inproceedings{fahrenberg-FACS-14,
author = {Ulrich Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Compositionality for Quantitative Specifications},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
pages = {306--324},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-15317-9_19},
doi = {10.1007/978-3-319-15317-9_19},
series = {Lecture Notes in Computer Science},
volume = {8997},
publisher = {Springer}
}
@inproceedings{legay-ATVA-13,
author = {Axel Legay and Louis-Marie Traonouez},
title = {PyEcdar: Towards Open Source Implementation for Timed Systems},
booktitle = {Automated Technology for Verification and Analysis
- 11th International Symposium, ATVA 2013},
address = {Hanoi,Vietnam}
year = {2013},
month = OCT,
pages = {460-463},
volume = {8172},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
}
@inproceedings{biondi-CAV-13,
author = {Fabrizio Biondi and
Axel Legay and
Louis-Marie Traonouez and
Andrzej Wasowski},
title = {QUAIL: A Quantitative Security Analyzer for Imperative Code},
booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013},
address = {Saint Petersburg, Russia},
year = {2013},
month = JUL,
pages = {702-707},
volume = {8044},
publisher = {Springer},
series = {Lecture Notes in Computer Science}
}
@inproceedings{larsen-FORMATS-11,
author = {Kim G. Larsen and Axel Legay and Louis-Marie Traonouez and Andrzej Wasowski},
title = {Robust Specification of Real Time Components},
booktitle = {9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011)},
editor = {Uli Fahrenberg and Stavros Tripakis},
address = {Aalborg, Denmark},
month = SEP,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6919},
year = {2011},
pages = {129-144}
}
@inproceedings{traonouez-ATVA-10,
Address = {Singapore},
Author = {Louis-Marie Traonouez and Bartosz Grabiec and Claude Jard and Didier Lime and Olivier H. Roux},
Booktitle = {8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)},
Editor = {Ahmed Bouajjani and Wei-Ngan Chin},
Month = SEP,
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Symbolic Unfolding of Parametric Stopwatch Petri Nets},
Volume = {6252},
Pages = {291-305},
Year = 2010,
}
@inproceedings{grabiec-FORMATS-10,
Author = {Bartosz Grabiec and Louis-Marie Traonouez and Claude Jard and Didier Lime and Olivier H. Roux},
Title = {Diagnosis using Unfoldings of Parametric Time Petri Nets},
Booktitle = {8th International Conference on Formal Modelling and Analysis
of Timed Systems (FORMATS 2010)},
Editor = {Krishnendu Chatterjee and Thomas A. Henzinger},
Address = {Vienna, Austria},
Month = SEP,
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Volume = {6246},
Pages = {137-151},
Year = 2010,
}
@INPROCEEDINGS{lime-TACAS-09,
Author = {Didier Lime and Olivier H. Roux and Charlotte Seidner and Louis-Marie Traonouez},
Title = {Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches},
Editor = {Stefan Kowalewski and Anna Philippou},
Booktitle = {15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)},
Address = {York, United Kingdom},
Month = MAR,
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Volume = {5505},
Pages = {54-57},
Year = {2009}
}
@INPROCEEDINGS{traonouez-FORMATS-08,
Author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
Title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using the
State-Class Graph},
Booktitle = {6th International Conference on Formal Modelling and Analysis
of Timed Systems (FORMATS 2008)},
Editor = {Franck Cassez and Claude Jard},
Address = {Saint-Malo, France},
Month = SEP,
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Volume = {5215},
Pages = {280-294},
Year = {2008}
}
@inproceedings{fahrenberg-FPS2-14,
author = {Uli Fahrenberg and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Specification Theories for Probabilistic and Real-Time Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
pages = {98--117},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-642-54848-2_7},
doi = {10.1007/978-3-642-54848-2_7},
timestamp = {Thu, 10 Jul 2014 13:36:19 +0200}
series = {Lecture Notes in Computer Science},
volume = {8415},
publisher = {Springer}
}
@inproceedings{fahrenberg-FPS1-14,
author = {Uli Fahrenberg and
Kim Guldstrand Larsen and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Parametric and Quantitative Extensions of Modal Transition Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
pages = {84--97},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-642-54848-2_6},
doi = {10.1007/978-3-642-54848-2_6},
series = {Lecture Notes in Computer Science},
volume = {8415},
publisher = {Springer
}
@BOOK{jard-wiley-09,
CLASS = {book},
EDITOR = {Jard, Claude and Roux, Olivier (H.)},
title = {Communicating Embedded Systems -- Software and Design},
publisher = {ISTE Publishing / John Wiley},
note = {ISBN:978-1-8482-1143-8},
month = OCT,
year = 2009
}
@inproceedings{legay-RP-16,
author = {Axel Legay and Sean Sedwards and Louis{-}Marie Traonouez},
title = {Rare Events for Statistical Model Checking an Overview},
booktitle = {Reachability Problems - 10th International Workshop},
pages = {23--35},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-45994-3_2},
doi = {10.1007/978-3-319-45994-3_2},
series = {Lecture Notes in Computer Science},
volume = {9899},
publisher = {Springer},
year = {2016}
}
@inproceedings{chadli-avocs-16,
author = {Mounir Chadli and Jin Hyun Kim and Axel Legay and Louis{-}Marie Traonouez and Stefan Naujokat and Bernhard Steffen and Kim Guldstrand Larsen},
title = {A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
pages = {133--141},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-45943-1_9},
doi = {10.1007/978-3-319-45943-1_9},
series = {Lecture Notes in Computer Science},
volume = {9933},
publisher = {Springer}
}
@article{jegourel-avocs-15,
author = {Cyrille J{\'{e}}gourel and Axel Legay and Sean Sedwards and Louis{-}Marie Traonouez},
title = {Distributed Verification of Rare Properties using Importance Splitting Observers},
journal = {{ECEASST}},
volume = {72},
year = {2015},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1024}
}
@article{legay-avocs-15,
author = {Axel Legay and Sean Sedwards and Louis{-}Marie Traonouez},
title = {Estimating Rewards {\&} Rare Events in Nondeterministic Systems},
journal = {{ECEASST}},
volume = {72},
year = {2015},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1023},
}
@inproceedings{legay-ftscs-15,
author = {Axel Legay and Louis{-}Marie Traonouez},
title = {Statistical Model Checking of Simulink Models with Plasma Lab},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised Selected Papers},
pages = {259--264},
year = {2015},
series = {Communications in Computer and Information Science},
volume = {596},
publisher = {Springer}
}
@inproceedings{legay-fmds-14,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Scalable Verification of Markov Decision Processes},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
pages = {350--362},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-15201-1_23},
doi = {10.1007/978-3-319-15201-1_23}
series = {Lecture Notes in Computer Science},
volume = {8938},
publisher = {Springer}
}
@inproceedings{cordy-formalise-13,
author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez},
title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {64--70},
year = {2013},
}
@inproceedings{traonouez-FIT-12,
author = {Louis-Marie Traonouez},
title = {A Parametric Counterexample Refinement Approach for Robust Timed Specifications},
booktitle = {Proceedings of the Fourth Internaltional Workshop on Foundations of Interface Technologies (FIT'12)},
series = {EPTCS},
volume = {87},
pages = {17-33},
year = {2012}
}
@PHDTHESIS{traonouez-these,
author = {Traonouez, Louis-Marie},
title = {Vérification et dépliages de réseaux de Petri temporels paramétrés.},
school = {University of Nantes},
type = {Ph.D thesis},
year = {2009},
month = NOV,
address = {Nantes, France}
}
@MASTERSTHESIS{traonouez06b,
author = {Traonouez, Louis-Marie},
title = {Stratégies d'analyse d'une fraction d'un réseau de Petri T-temporel},
school = {{\'E}cole Centrale de Nantes},
type = {Master's Thesis},
year = {2006},
month = SEP,
address = {Nantes, France}
}
@MASTERSTHESIS{traonouez06a,
author = {Traonouez, Louis-Marie},
title = {Raisonnement temporel en sémantique forte à partir de réseaux de Petri temporels exprimés en Logique Linéaire},
school = {{\'E}cole Centrale de Nantes},
type = {Master's Bibliography},
year = {2006},
month = MAY,
address = {Nantes, France}
}
@INPROCEEDINGS{traonouez-MSR-07,
author = {Traonouez, Louis-Marie and Delfieu, David and Roux, Olivier (H.)},
title = {Synthèse de contraintes de conception à partir de réseaux de {Petri} temporels paramétrés},
booktitle = {6ieme Colloque Francophone sur la Mod{\'e}lisation
des Syst{\`e}mes R{\'e}actifs, (MSR'07)},
year = 2007,
month = OCT,
address = {Lyon, France}
}
@INPROCEEDINGS{DEL07,
author = {David Delfieu and Médésu Sogbohossou and Louis-Marie Traonouez and Sébastien Revol},
title = {Parameterized study of a Time Petri Net},
booktitle = {Cybernetics and Information Technologies, Systems and Applications: CITSA 2007},
year = {2007},
address = {Orlando, Florida, USA},
month = {July}
}