I am researcher at LaBRI (Laboratoire Bordelais de Recherche en Informatique), CNRS unit (UMR5800).
I am member of the Formal Models and Methods (M2F) department.
Research topics
My research domain is Formal Methods. More specifically, I am working on software testing and runtime verification, applied to complex systems (for exemple embedded or real-time systems).
Keywords: formal testing, monitoring, runtime verification, runtime enforcement, timed systems, software verification, software testing, model based testing.
Scientific animation
Vice scientific manager of the journal Interstices
Vice head of the Formal Models and Methods (M2F) department at LaBRI
Co-animator of the MTV2 (Méthodes de Test pour la Validation et la Vérification) CNRS research group
Publications
Book chapters
with Y. Falcone, L. Mariani, and S. Saha
Runtime Failure Prevention and Reaction
In Lectures on Runtime Verification - Introductory and Advanced Topics
LNCS volume 10457, pages 103-134, Springer, (2018)
Journals
with S. Shankar, A. Pradhan, S. Pinisetty, and Y. Falcone
Bounded-Memory Runtime Enforcement with Probabilistic and Performance Analysis
In Formal Methods in System Design (FMSD), 62(1): 141-180 (2024)
with M. Renard and Y. Falcone.
Runtime Enforcement of Timed Properties using Games
In Formal Aspects of Computing (FAOC) 32(2): 315-360 (2020)
with M. Renard, Y. Falcone, T. Jéron and H. Marchand.
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
In Mathematical Structures in Computer Science (MSCS) 29(1): 169-214 (2019)
with S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand and O. Nguena-Timo.
Runtime enforcement of timed properties revisited
In Formal Methods in System Design (FMSD) 45(3): 381-422 (2014)
with H. Collavizza, L. Nguyen, O. Ponsini and M. Rueher
Constraint-Based BMC: A Backjumping Strategy
International Journal on Software Tools for Technology Transfer (STTT) 16(1): 103-121 (2014)
with S. Salva
A pragmatic approach for testing stateless and stateful Web Service Robustness
In Studia Informatica Universalis, 10(2): 139-179 (2012)
with H. Fouchal and A. Tahrini
Robustness Testing of Composed Real-Time Systems
In Journal of Computational Methods in Science and Engineering (JCMSE), 10(3-6): 135-148 (2010)
with S. Salva
Testabilité des services web
In Ingénierie des Systèmes d'Information RSTI série ISI, numéro spécial Objets, composants et modèles dans l'ingénierie des SI, Volume 13, number 3, May-june 2008, p. 35-58.
with F. Saad-Khorchef
A Formal Framework for Robustness Testing of Embedded Systems
In International Journal of Computer and Information Science (IJCIS)
Volume 8, Number 2, June 2007, p.290-299
Conferences
with T. De Castro Pinto and G. Sutre
An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs
In 31th International Symposium on Model Checking of Software, SPIN 2025, May 7-8, 2025, Hamilton, Canada, 18p, to appear.
with T. De Castro Pinto, G. Sutre and I. Tobor
Guiding Symbolic Execution with A-star (résumé long)
In Journées Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2024 , 4p.
with T. De Castro Pinto, G. Sutre and I. Tobor
Guiding Symbolic Execution with A-star
In 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, November 6-10, 2023, Eindhoven, The Netherlands, volume 14323 of Lecture Notes in Computer Science, p. 47-65 , Springer.
with M. Barani and Y. Labiche
On factors that impact the relationship between code coverage and test suite effectiveness: a survey
In 16th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), April 20, 2023, Dublin, Ireland, p381-388. IEEE.
with S. Shankar, S. Pinisetty and Y. Falcone
Bounded-Memory Runtime Enforcement
In 28th International Symposium on Model Checking of Software, SPIN 2022, May 21-22, 2022, Chicago, USA, volume 13255 of Lecture Notes in Computer Science, p. 114-133 , Springer.
with O. Nguena-Timo and D. Prestat
Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts
In 31st IFIP International Conference on Testing Software and Systems ICTSS'19, October 15-17, 2019, Paris, France, volume 11812 of Lecture Notes in Computer Science, p. 104-120 , Springer.
with M. Renard, Y. Falcone.
GREP: Games for the Runtime Enforcement of Properties
In 29th IFIP International Conference on Testing Software and Systems ICTSS'17, October 9-11, 2017 St-Petersburg, Russia, volume 10533 of Lecture Notes in Computer Science, p. 259-275, Springer.
with M. Renard, Y. Falcone.
Runtime Enforcement Using Büchi Games
In Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, July 13-14, 2017, Santa Barbara, USA, p. 70-79, ACM Press.
with M. Renard, Y. Falcone, S. Pinisetty, T. Jéron, H. Marchand.
Enforcement of (Timed) Properties with Uncontrollable Events
In 12th International Colloquium on Theoretical Aspects of Computing ICTAC 2015, Cali, Colombia, volume 9399 of Lecture Notes in Computer Science, p. 542-560, Springer.
with A. David, M. Mikucionis, K. G. Larsen and O. Nguena-Timo.
Remote testing of timed specifications
In 25th IFIP International Conference on Testing Software and Systems ICTSS'13, Nov 13-15, 2013 Istanbul, Turkey, volume 8254 of Lecture Notes in Computer Science, p. 65-81, Springer-Verlag.
with S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand and O. Nguena-Timo.
Runtime enforcement of timed properties
In RV12: International conference on Runtime Verification, Istanbul, Turkey, 10 2012, volume 7687 of Lecture Notes in Computer Science, p. 229-244, Springer-Verlag.
with O. Nguena-Timo.
A zone-based reachability analysis of variable driven timed automata.
In 3rd International Conference on Advances in System Testing and Validation Lifecycle VALID 2011, Barcelona, Spain, page 7p, 10 2011.
Best Paper Award
with S. Salva.
Automatic web service testing from wsdl descriptions.
In 11th International Conference on Innovative Internet Community Services (I2CS 2011), Berlin, Germany, volume 186 of Lecture Notes in Informatics, pages 217--226. GI, june 2011.
with O. Nguena-Timo.
Test Selection for Data-Flow Reactive Systems based on Observations
In 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 21, 2011, Berlin, Germany, p. 1-8
with O. Nguena-Timo and H. Marchand.
Automatic Test Generation for Data-Flow Reactive Systems with time constraints
In 22nd IFIP International Conference on Testing Software and Systems (ICTSS10), (ex Testcom/Fates), November 8-12, 2010, Natal, Brazil, 6p. (short paper)
with F. Saad-Khorchef, I. Berrada and R. Castanet.
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols
In 10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand. Lecture Notes in Informatics
with O. Nguena-Timo.
Conformance testing of variable driven automata
In 8th IEEE International Workshop on Factory Communication Systems Communication in Automation (WFCS 2010), May 18-21, 2010, Nancy, France, 8p.
with S. Salva.
Test purpose generation for timed protocol testing
In 2nd International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2009), July 20-25, 2009 - Colmar, France. 7p.
with S. Salva.
Testing robustness of communicating systems using ioco-based approach
In 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009, July 5 - 8, 2009, Sousse, Tunisia. 6p.
with S. Salva.
Automatic web service testing from WSDL descriptions
In 8th IEEE International Conference on Innovative Internet Community Systems (I2CS'08), 16-18 june 2008, Schoelcher, Martinique (France). 9 p.
with S. Salva.
Two complementary approaches to test robustness of reactive systems
(Invited paper)
In IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008), May 22-25 2008, Cluj-Napoca, Romania, 7p, IEEE Computer Society Press.
with F. Saad-Khorchef.
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
In 5th ACIS-IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2007), 20-22 August 2007, Busan, Korea, 8p. IEEE Computer Society Press. Selected paper for publication in IJCIS international journal
with F. Saad-Khorchef and R. Castanet
A Framework and a Tool for Robustness Testing of Communicationg Software
In 22nd annual ACM Symposium on Applied Computing (SAC'07), March 11-15, 2007 Seoul, Korea, 6p. ACM Press.
with F. Saad-Khorchef, I. Berrada and R. Castanet
Cadre Formel pour le Test de Robustesse: Application au protocole SSL
In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'06), October 30 - November 3, 2006 Tozeur, Tunisia, 12p. Hermes eds.
with F. Saad-Khorchef, I. Berrada and R. Castanet.
Automated Robustness Testing for Reactive Systems : Application to Communicating Protocols
In 6th International Workshop on Innovative Internet Community Systems (I2CS'06), June 26-28, 2006 Neuchâtel, Switzerland.
with H. Fouchal and A. Tarhini.
Robustness of Composed Timed Systems.
In 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05), January 22 - 28, 2005, Liptovsky Jan, Slovak Republic, Europe, volume 3381 of Lecture Notes in Computer Science, pages 155-164. Springer-Verlag, jan 2005.
with A. Tarhini and H. Fouchal.
A pragmatic approach for testing robustness on real-time component based systems.
In 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), January 2005.
with H. Fouchal, L. Pierre, S. Gruson and C. Rabat.
Integrated tool for testing timed systems.
In Proceedings of Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), January 28-30 Guadalajara, Jalisco, Mexico, volume 3563 of Lecture Notes in Computer Science, p. 153-166, Springer-Verlag.
with H. Fouchal, C. Rabat and A. Tarhini.
Experimental results on testing real-time systems.
In 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2004), 1-3 July 2004, Nice, France, pages 284--289.
with H. Fouchal.
A Simple Testing Technique for Embedded Systems.
In Proceedings of 7th International Conference on Principles of Distributed Systems (OPODIS 2003), December 10-13 2003, La Martinique, France, volume 3144 of Lecture Notes in Computer Science, pages 159--170. Springer-Verlag.
(Single Author)
Testing robustness of real-time embedded systems.
In Proceedings of Workshop On Testing Real-Time and Embedded Systems (WTRTES), Satellite Workshop of Formal Methods (FM) 2003 Symposium, Pisa, Italy - September 13, 2003.
with H. Fouchal.
Testing protocol robustness.
In Proceedings of Innovative Internet Community Systems (I2CS'03) , June 19-21, 2003, Leipzig Germany, volume 2877 of Lecture Notes in Computer Science, pages 201--215. Springer-Verlag.
with S. Salva and H. Fouchal.
Temporal and Behavior Characterization of States in Timed Systems.
In ACIS Annnual International Conference on Computer and Information Science, ICIS'02, Seoul, South Korea, 2002.
Research reports and research schools
12th TAROT Summer School 2016 on Software Testing, Verification and Validation - Paris, France July 4-8th, 2016
In Ecole d'Eté Temps Réel 2011 (ETR'11), Brest, France, page 14p, august 2011.
with O. Nguena-Timo and H. Marchand.
2010 - Long version of [C20]
with F. Saad-Khorchef
2008
Habilitation à diriger des recherches
Université de Bordeaux, 2018.
PhD / Postdocs
Committees
Projects
Management committee member of the European COST action ARVI (2015-2018)
Member of the European Tarot project (2005-2008)
Local coordinator and member of the ANR Vacsim project (2011-2015)
Local coordinator and member of the ANR Testec project (2008-2011)
Member of the ANR Webmov project (2008-2011)
Manager of the "Runtime Validation of real-time properties" project (2014-2017)
Participation in the "Kiwi" project (2018-2022)
CIFRE fund obtained with Serma Safety and Security on the "Analysis of Hardware Vulnerabilities" (2022-2025)