Boutheina Bannour

Ngo Minh Thang Nguyen

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.

[BibT_eX]

[DOI]

Nicolas Rapin

Morayo Adedjouma

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

2021

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A small-step approach to multi-trace checking against interactions.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation.

[BibT_eX]

[DOI]

Julien Niol

Paolo Crisafulli

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

2020

Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration.

[BibT_eX]

[DOI]

Proceedings of the RAPIDO 2020 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2020

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Model Checking of Trickle-based IoT Dissemination.

[BibT_eX]

[DOI]

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

2019

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.

[BibT_eX]

[DOI]

Ngo Minh Thang Nguyen

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Representative Safety Assessment of Autonomous Vehicle for Public Transportation.

[BibT_eX]

[DOI]

Morayo Adedjouma

Gabriel Pedroza

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

2015

Statistical inference § parametric approximation of non-parametric frontier: the case of Tunisian banking sector.

[BibT_eX]

[DOI]

Moez Labidi

Int. J. Math. Oper. Res., 2015

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios.

[BibT_eX]

[DOI]

Mathilde Arnaud

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-Driven Consistency Verification for Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

2014

Designing Sequence Diagram Models for Robustness to Attacks.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Results for Compositional Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

[BibT_eX]

[DOI]