Louis-Marie Traonouez

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

2020

Logical vs. behavioural specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2020

2019

Statistical Model Checking.

[BibT_eX]

[DOI]

Anna Lukina

Junxing Yang

Scott A. Smolka

Radu Grosu

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Hybrid statistical estimation of mutual information and its application to information flow.

[BibT_eX]

[DOI]

Fabrizio Biondi

Yusuke Kawamoto

Formal Aspects Comput., 2019

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2.

[BibT_eX]

[DOI]

Tristan Ninet

Romaric Maillard

Olivier Zendra

Proceedings of the 18th IEEE International Conference On Trust, 2019

Model Checking the IKEv2 Protocol Using Spin.

[BibT_eX]

[DOI]

Tristan Ninet

Romaric Maillard

Olivier Zendra

Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

2018

High-level frameworks for the specification and verification of scheduling problems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

Compositionality for quantitative specifications.

[BibT_eX]

[DOI]

Jan Kretínský

Soft Comput., 2018

Orchestration Synthesis for Real-Time Service Contracts.

[BibT_eX]

[DOI]

Davide Basile

Maurice H. ter Beek

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Statistical Model Checking of Incomplete Stochastic Systems.

[BibT_eX]

[DOI]

Shiraj Arora

Tania Richmond

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Statistical Model Checking of LLVM Code.

[BibT_eX]

[DOI]

Dirk Nowotka

Danny Bøgsted Poulsen

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Verification of Interlocking Systems Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Analyzing ambient assisted living solutions: A research perspective.

[BibT_eX]

[DOI]

Ashalatha Kunnappilly

Cristina Cerschi Seceleanu

Tiziana Margaria

Bernhard Steffen

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

HyLeak: Hybrid Analysis Tool for Information Leakage.

[BibT_eX]

[DOI]

Fabrizio Biondi

Yusuke Kawamoto

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Optimizing the resource requirements of hierarchical scheduling systems.

[BibT_eX]

[DOI]

Jin Hyun Kim

Abdeldjalil Boudjadar

SIGBED Rev., 2016

Statistical Model Checking with Change Detection.

[BibT_eX]

[DOI]

LNCS Trans. Found. Mastering Chang., 2016

A formal modeling and analysis framework for software product line of preemptive real-time systems.

[BibT_eX]

[DOI]

Jin Hyun Kim

Mathieu Acher

Sungwon Kang

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Rare Events for Statistical Model Checking an Overview.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 10th International Workshop, 2016

A Logic for the Statistical Model Checking of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Jean Quilbeuf

Everton Cavalcante

Flávio Oquendo

Thaís Batista

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Plasma Lab: A Modular Statistical Model Checking Platform.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Mounir Chadli

Jin Hyun Kim

Stefan Naujokat

Bernhard Steffen

Kim Guldstrand Larsen

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Statistical Model Checking of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Everton Cavalcante

Jean Quilbeuf

Flávio Oquendo

Thaís Batista

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

Real-time specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Smart sampling for lightweight verification of Markov decision processes.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

Int. J. Softw. Tools Technol. Transf., 2015

Estimating Rewards & Rare Events in Nondeterministic Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties using Importance Splitting Observers.

[BibT_eX]

[DOI]

Cyrille Jégourel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.

[BibT_eX]

[DOI]

Cyrille Jégourel

CoRR, 2015

Statistical Model Checking of Simulink Models with Plasma Lab.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

Robust synthesis for real-time systems.

[BibT_eX]

[DOI]

Kim G. Larsen

Theor. Comput. Sci., 2014

Lightweight Verification of Markov Decision Processes with Rewards.

[BibT_eX]

[DOI]

CoRR, 2014

Scalable Verification of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.

[BibT_eX]

[DOI]

Stefan Naujokat

Malte Isberner

Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Formalism for Stochastic Adaptive Systems.

[BibT_eX]

[DOI]

Benoît Boyer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Structural Refinement for the Modal nu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Specification Theories for Probabilistic and Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Symbolic unfolding of parametric stopwatch Petri nets.

[BibT_eX]

[DOI]

Claude Jard

Formal Methods Syst. Des., 2013

A framework for the rigorous design of highly adaptive timed systems.

[BibT_eX]

[DOI]

Maxime Cordy

Pierre-Yves Schobbens

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

QUAIL: A Quantitative Security Analyzer for Imperative Code.

[BibT_eX]

[DOI]

Fabrizio Biondi

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

PyEcdar: Towards Open Source Implementation for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Tools for Model-Checking Timed Systems.

[BibT_eX]

[DOI]

Jacob Illum Rasmussen

Jirí Srba

Wang Yi

Kenneth Yrke Jørgensen

Morgan Magnin

Proceedings of the Communicating Embedded Systems, 2013

2012

A Parametric Counterexample Refinement Approach for Robust Timed Specifications

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

2011

Robust Specification of Real Time Components.

[BibT_eX]

[DOI]

Kim G. Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.

[BibT_eX]

[DOI]

Bartosz Grabiec

Claude Jard

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Vérification et dépliages de réseaux de Petri temporels paramétrés. (Model-checking and unfoldings of parametric time Petri nets).

[BibT_eX]

[DOI]

PhD thesis, 2009

Parametric Model-Checking of Stopwatch Petri Nets.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.

[BibT_eX]

[DOI]

Charlotte Seidner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.

[BibT_eX]

[DOI]