Cyrille Jégourel

Nachamma Sockalingam

Proceedings of the IEEE International Conference on Teaching, 2023

2022

Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework.

[BibT_eX]

[DOI]

Oka Kurniawan

Norman Tiong Seng Lee

Matthieu De Mari

Christopher M. Poskitt

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021

Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

2020

Global PAC Bounds for Learning Discrete Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.

[BibT_eX]

[DOI]

Jun Sun

Jin Song Dong

ACM Trans. Model. Comput. Simul., 2019

2018

On the Sequential Massart Algorithm for Statistical Model Checking.

[BibT_eX]

[DOI]

Jun Sun

Jin Song Dong

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

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Importance Sampling of Interval Markov Chains.

[BibT_eX]

[DOI]

Jingyi Wang

Jun Sun

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2016

Command-based importance sampling for statistical model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Importance Sampling for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Danny Bøgsted Poulsen

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Verification of Nash-Equilibrium for Probabilistic BAR Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Statistical model checking QoS properties of systems with SBIP.

[BibT_eX]

[DOI]

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

Distributed Verification of Rare Properties using Importance Splitting Observers.

[BibT_eX]

[DOI]

Louis-Marie Traonouez

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

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.

[BibT_eX]

[DOI]

Louis-Marie Traonouez

CoRR, 2015

2014

Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique).

[BibT_eX]

[DOI]

PhD thesis, 2014

Measuring Structural Distances between Texts.

[BibT_eX]

[DOI]

CoRR, 2014

Measuring Global Similarity Between Texts.

[BibT_eX]

[DOI]

Proceedings of the Statistical Language and Speech Processing, 2014

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.

[BibT_eX]

[DOI]

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

2013

Importance Splitting for Statistical Model Checking Rare Properties.

[BibT_eX]

[DOI]

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

2012

A Platform for High Performance Statistical Model Checking - PLASMA.

[BibT_eX]

[DOI]

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

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.

[BibT_eX]

[DOI]