2023
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf., June, 2023
Analyzing Robustness of Angluin's L<sup>*</sup> Algorithm in Presence of Noise.
CoRR, 2023
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation.
CoRR, 2023
Introducing Divergence for Infinite Probabilistic Models.
Proceedings of the Reachability Problems - 17th International Conference, 2023
Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels.
Proceedings of the Extraction et Gestion des Connaissances, 2023
About Decisiveness of Dynamic Probabilistic Models.
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Natural Language Processing for Cognitive Analysis of Emotions.
CoRR, 2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.
Proceedings of the 13th International Symposium on Games, 2022
2021
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
Proceedings of the 15th International Conference on Grammatical Inference, 2021
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
How to be sure a faulty system does not always appear healthy?
Innov. Syst. Softw. Eng., 2020
Property-Directed Verification of Recurrent Neural Networks.
CoRR, 2020
The HOL-CSP Refinement Toolkit.
Arch. Formal Proofs, 2020
Philosophers May Dine - Definitively!
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Active Prediction for Discrete Event Systems.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
A Coloured Petri Nets Based Attack Tolerance Framework.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Arch. Formal Proofs, 2019
2018
How to Be Sure a Faulty System Does Not Always Appear Healthy?
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Automating Abstraction Computation of Hybrid Systems.
Proceedings of the Joint Proceedings of the CME-EI, 2018
2017
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.
IEEE Trans. Autom. Control., 2017
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017
Diagnosability Planning for Controllable Discrete Event Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
VerChor: A Framework for the Design and Verification of Choreographies.
IEEE Trans. Serv. Comput., 2016
Automated Analysis of Asynchronously Communicating Systems.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016
Predictability in Probabilistic Discrete Event Systems.
Proceedings of the Soft Methods for Data Science, 2016
Fault Manifestability Verification for Discrete Event Systems.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
Debugging Process Algebra Specifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Towards a Formal Semantics of the TESL Specification Language.
Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015
A Predictability Algorithm for Distributed Discrete Event Systems.
Proceedings of the Formal Methods and Software Engineering, 2015
2014
Quantifying the parallelism in BPMN processes using model checking.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
2013
Predictability analysis of distributed discrete event systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
2011
Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction).
PhD thesis, 2011
Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation.
J. Sci. Comput., 2011
2010
An optimized algorithm for diagnosability of component-based systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Diagnosability Analysis of Discrete Event Systems with Autonomous Components.
Proceedings of the ECAI 2010, 2010
2009
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems.
Proceedings of the ICTAI 2009, 2009
A Decentralized Model-Based Diagnosis for BPEL Services.
Proceedings of the ICTAI 2009, 2009
2008
Decentralized Diagnosis for BPEL Web Services.
Proceedings of the WEBIST 2008, 2008