Claudia S. Frydman

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 18

Top Topics

Constraint Logic Programming

Formal Verification

Top Venues

Simul. Model. Pract. Theory

Publications

Ali Ayadi, Claudia S. Frydman, Wissame Laddada, Isabelle Imbert, Cecilia Zanni-Merk, Lina Fatima Soualmia
Combining DEVS simulation and ontological modeling for hierarchical analysis of the SARS-CoV-2 replication. Simul. 99 (10) (2023)
Ali Ayadi, Claudia S. Frydman, Thanh Quynh Le
Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS. WSC (2023)
Maâmar El-Amine Hamri, Aziz Naamane, Claudia S. Frydman, Nesrine Driouche
Why we should use Min Max DEVS for modeling and simulation of digital circuits. Simul. 98 (6) (2022)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. Simul. 96 (11) (2020)
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. SummerSim (2019)
Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman
A multi-target compiler for CML-DEVS. Simul. 95 (1) (2019)
Cecilia Zanni-Merk, Claudia S. Frydman, Anne Håkansson
Preface. Data Technol. Appl. 52 (4) (2018)
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
Improving Business Process in semiconductor manufacturing by Discovering Business Rules. WSC (2018)
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman
Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim (2018)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. SpringSim (TMS) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. Int. J. Simul. Process. Model. 12 (3/4) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Using DEv-PROMELA for Modelling and Verification of Software. SIGSIM-PADS (2016)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15 (4-5) (2015)
Maximiliano Cristiá, Joaquín Cuenca, Claudia S. Frydman
Coverage Criteria for Set-Based Specifications. RITA 22 (2) (2015)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
CML-DEVS: A specification language for DEVS conceptual models. Simul. Model. Pract. Theory 57 (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding Partial Functions to Constraint Logic Programming with Sets. CoRR (2015)
Maximiliano Cristiá, Claudia S. Frydman
Formal and semi-formal verification of a web voting system. Int. J. Web Inf. Syst. 11 (2) (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM (2015)
Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman
Integration Testing in the Test Template Framework. FASE (2014)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simul. Model. Pract. Theory 49 (2014)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. CoRR (2014)
Norbert Giambiasi, Claudia S. Frydman
Timed synchronizing sequences. SpringSim (TMS-DEVS) (2014)
Sara Bouzid, Corine Cauvet, Claudia S. Frydman, Jacques Pinaton
A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics. ICEIS (1) (2014)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. DS-RT (2014)
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
The state event design pattern. EuroPLoP (2014)
Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
Tool support for the Test Template Framework. Softw. Test. Verification Reliab. 24 (1) (2014)
Maximiliano Cristiá, Claudia S. Frydman
A Functional Verification of a Web Voting System. ICCSA (1) (2014)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. SIMULTECH (2014)
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
Discrete event design patterns. SIGSIM-PADS (2013)
Sara Bouzid, Corine Cauvet, Claudia S. Frydman, Jacques Pinaton
A semantic support to improve the collaborative control of manufacturing processes in industries. CSCWD (2013)
Sara Bouzid, Corine Cauvet, Claudia S. Frydman, Jacques Pinaton
A Semantic Mapping Approach to Retrieve Manufacturing Information Resources: STMicroelectronics' Case Study. MIM (2013)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
{log} as a Test Case Generator for the Test Template Framework. SEFM (2013)
Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton
Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP). SpringSim (TMS-DEVS) (2012)
Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman
PSYOPS and CIMIC operations: from concepts to G-DEVS models. SpringSim (TMS-DEVS) (2012)
Maximiliano Cristiá, Claudia S. Frydman
Applying SMT Solvers to the Test Template Framework MBT (2012)
Maximiliano Cristiá, Claudia S. Frydman
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. ABZ (2012)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
Adapting model-based testing techniques to DEVS models validation. SpringSim (TMS-DEVS) (2012)
Pamela Viale, Claudia S. Frydman, Jacques Pinaton
New methodology for modeling large scale manufacturing process: Using process mining methods and experts' knowledge. AICCSA (2011)
Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti
A Language for Test Case Refinement in the Test Template Framework. ICFEM (2011)
Pamela Viale, Claudia S. Frydman, Jacques Pinaton
Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes. SpringSim (TMS-DEVS) (2011)
Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
Applying the Test Template Framework to Aerospace Software. SEW (2011)
Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. Simul. 86 (3) (2010)
Gregory Zacharewicz, Patrick Pujo, Claudia S. Frydman, Norbert Giambiasi
Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus. J. Decis. Syst. 18 (3) (2009)
Mohamed Wassim Trojet, Mamoun Sqali, Lucile Torres, Claudia S. Frydman
Using Simulation Techniques and Formal Methods for Validating Interaction Based Models. MSV (2009)
Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri
Practical application of "lightweight" Z in DEVS framework. SpringSim (2009)
Mamoun Sqali, Lucile Torres, Claudia S. Frydman
Synthesizing scenarios to DEVS models. SpringSim (2008)
Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi
G-DEVS/HLA Environment for Distributed Simulations of Workflows. Simul. 84 (5) (2008)
Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman
Integrating Z in DEVS : a case study Lift Control System. Software Engineering Research and Practice (2008)
Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou Seck
Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach. SCSC (2007)
Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi
LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach. SpringSim (2) (2007)
Enrico Bocca, Chiara Briano, Davide Modula, Luca Pierfederici, Claudia S. Frydman
Intelligent agents for moving and operating computer generated forces. SCSC (2007)
Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi
Mapping PIOVRA in GDEVS/HLA environment. SCSC (2007)
Maâmar El-Amine Hamri, Lucile Torres, Claudia S. Frydman
Discrete event simulation of reactive knowledge based systems. Int. J. Knowl. Based Intell. Eng. Syst. 10 (6) (2006)
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
Min-Max-DEVS modeling and simulation. Simul. Model. Pract. Theory 14 (7) (2006)
Cecilia Zanni, Claudia S. Frydman, Marc Le Goc
Conceptual equivalence at knowledge level for diagnosis applications. Int. J. Knowl. Based Intell. Eng. Syst. 10 (3) (2006)
Cecilia Zanni, Marc Le Goc, Claudia S. Frydman
A conceptual framework for the analysis, classification and choice of knowledge-based diagnosis systems. Int. J. Knowl. Based Intell. Eng. Syst. 10 (2) (2006)
Gregory Zacharewicz, Norbert Giambiasi, Claudia S. Frydman
Improving the Lookahead Computation in G-DEVS/HLA Environment. DS-RT (2005)
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres
Modeling waiting systems from domain expert specifications. WSC (2005)
Claudia S. Frydman, Lucile Torres, Souhir Ghédira
Using DEVS for an Extended UML. Software Engineering Research and Practice (2004)
Marc Le Goc, Claudia S. Frydman
The Discrete Event Concept as a Paradigm for the "Perception-Based Diagnosis" of Sachem. J. Intell. Robotic Syst. 40 (2) (2004)
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
Simulation Semantics for Min-Max DEVS Models. AIS (2004)
Mamadou Seck, Claudia S. Frydman, Norbert Giambiasi
Using DEVS for Modeling and Simulation of Human Behaviour. AIS (2004)
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres
Specifying and Validating Reactive Systems with CommonKADS Methodology. KES (2003)
Cecilia Zanni, Claudia S. Frydman, Marc Le Goc
Another Category in Intelligent Monitoring and Diagnosis for Industrial Systems. IC-AI (2002)
Marc Le Goc, Claudia S. Frydman, Luis Torres
Verification and validation of the SACHEM conceptual model. Int. J. Hum. Comput. Stud. 56 (2) (2002)
Cecilia Zanni, Marc Le Goc, Claudia S. Frydman
Towards a Unique Framework to Describe and Compare Diagnosis Approaches. HIS (2002)
Lucile Torres, Claudia S. Frydman
Vérification et validation de modèles CommonKADS par réseaux de Petri. Rev. d'Intelligence Artif. 15 (2) (2001)
Lucile Torres, Claudia S. Frydman
Building a knowledge based system for computer aided diagnosis. KES (2000)
Luis Torres, Claudia S. Frydman
Verifying and Validating Specification of Knowledge-Based Systems. ECAI (1998)
Claudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle
DeBuMA: Description, Building and Management of Applications. DAC (1989)