| 2023 | WSC | Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS. | Ali Ayadi, Claudia S. Frydman, Thanh Quynh Le |
| 2021 | KES | OntoRepliCov: an Ontology-Based Approach for Modeling the SARS-CoV-2 Replication Process. | Wissame Laddada, Lina Fatima Soualmia, Cecilia Zanni-Merk, Ali Ayadi, Claudia S. Frydman, India L'Hote, Isabelle Imbert |
| 2018 | WSC | Improving Business Process in semiconductor manufacturing by Discovering Business Rules. | Abdelhak Khemiri, Mamar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton |
| 2016 | PADS | Using DEv-PROMELA for Modelling and Verification of Software. | Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman |
| 2015 | FM | Helping Programmers to Adopt Set-Based Specifications. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2014 | EuroPLop | The state event design pattern. | Mamar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman |
| 2014 | FASE | Integration Testing in the Test Template Framework. | Maximiliano Cristi, Joaqun Mesuro, Claudia S. Frydman |
| 2014 | ICCSA | A Functional Verification of a Web Voting System. | Maximiliano Cristi, Claudia S. Frydman |
| 2014 | SIMULTECH | Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. | Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman |
| 2013 | CSCWD | A semantic support to improve the collaborative control of manufacturing processes in industries. | Sara Bouzid, Corine Cauvet, Claudia S. Frydman, Jacques Pinaton |
| 2013 | PADS | Discrete event design patterns. | Mamar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman |
| 2013 | SEFM | {log} as a Test Case Generator for the Test Template Framework. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2011 | AICCSA | New methodology for modeling large scale manufacturing process: Using process mining methods and experts' knowledge. | Pamela Viale, Claudia S. Frydman, Jacques Pinaton |
| 2011 | ICFEM | A Language for Test Case Refinement in the Test Template Framework. | Maximiliano Cristi, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodrguez Monetti |
| 2011 | SEW | Applying the Test Template Framework to Aerospace Software. | Maximiliano Cristi, Pablo Albertengo, Claudia S. Frydman, Brian Plss, Pablo Rodrguez Monetti |
| 2005 | WSC | Modeling waiting systems from domain expert specifications. | Mamar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
| 2003 | KES | Specifying and Validating Reactive Systems with CommonKADS Methodology. | Mamar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
| 2002 | HIS | Towards a Unique Framework to Describe and Compare Diagnosis Approaches. | Cecilia Zanni, Marc Le Goc, Claudia S. Frydman |
| 2000 | KES | Building a knowledge based system for computer aided diagnosis. | Lucile Torres, Claudia S. Frydman |
| 1998 | ECAI | Verifying and Validating Specification of Knowledge-Based Systems. | Luis Torres, Claudia S. Frydman |
| 1989 | DAC | DeBuMA: Description, Building and Management of Applications. | Claudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle |