Claudia S. Frydman

According to our database1, Claudia S. Frydman authored at least 68 papers between 1989 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Why we should use Min Max DEVS for modeling and simulation of digital circuits.
Simul., 2022

OntoRepliCov: an Ontology-Based Approach for Modeling the SARS-CoV-2 Replication Process.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery.
Proceedings of the Annual Modeling and Simulation Conference, 2021

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation.
Simul., 2020

A multi-target compiler for CML-DEVS.
Simul., 2019

Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA.
Proceedings of the 2019 Summer Simulation Conference, 2019

Data Technol. Appl., 2018

Improving Business Process in semiconductor manufacturing by Discovering Business Rules.
Proceedings of the 2018 Winter Simulation Conference, 2018

Towards using DEVS for modelling adaptive storytelling in virtual games.
Proceedings of the 50th Computer Simulation Conference, 2018

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
Int. J. Simul. Process. Model., 2017

Restricting DEv-PROMELA with a hierarchy of simulation formalisms.
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Using DEv-PROMELA for Modelling and Verification of Software.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

Adding partial functions to Constraint Logic Programming with sets.
Theory Pract. Log. Program., 2015

CML-DEVS: A specification language for DEVS conceptual models.
Simul. Model. Pract. Theory, 2015

Coverage Criteria for Set-Based Specifications.
RITA, 2015

Formal and semi-formal verification of a web voting system.
Int. J. Web Inf. Syst., 2015

Helping Programmers to Adopt Set-Based Specifications.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Tool support for the Test Template Framework.
Softw. Test. Verification Reliab., 2014

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically.
Simul. Model. Pract. Theory, 2014

Timed synchronizing sequences.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics.
Proceedings of the ICEIS 2014, 2014

A Functional Verification of a Web Voting System.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Integration Testing in the Test Template Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

The state event design pattern.
Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.
Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

{log} as a Test Case Generator for the Test Template Framework.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Discrete event design patterns.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

A Semantic Mapping Approach to Retrieve Manufacturing Information Resources: STMicroelectronics' Case Study.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

A semantic support to improve the collaborative control of manufacturing processes in industries.
Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013

Applying SMT Solvers to the Test Template Framework
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP).
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Adapting model-based testing techniques to DEVS models validation.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

PSYOPS and CIMIC operations: from concepts to G-DEVS models.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Applying the Test Template Framework to Aerospace Software.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

A Language for Test Case Refinement in the Test Template Framework.
Proceedings of the Formal Methods and Software Engineering, 2011

New methodology for modeling large scale manufacturing process: Using process mining methods and experts' knowledge.
Proceedings of the 9th IEEE/ACS International Conference on Computer Systems and Applications, 2011

A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow.
Simul., 2010

Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus.
J. Decis. Syst., 2009

Practical application of "lightweight" Z in DEVS framework.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Using Simulation Techniques and Formal Methods for Validating Interaction Based Models.
Proceedings of the 2009 International Conference on Modeling, 2009

G-DEVS/HLA Environment for Distributed Simulations of Workflows.
Simul., 2008

Synthesizing scenarios to DEVS models.
Proceedings of the 2008 Spring Simulation Multiconference, 2008

Integrating Z in DEVS : a case study Lift Control System.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

Mapping PIOVRA in GDEVS/HLA environment.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Intelligent agents for moving and operating computer generated forces.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Min-Max-DEVS modeling and simulation.
Simul. Model. Pract. Theory, 2006

A conceptual framework for the analysis, classification and choice of knowledge-based diagnosis systems.
Int. J. Knowl. Based Intell. Eng. Syst., 2006

Conceptual equivalence at knowledge level for diagnosis applications.
Int. J. Knowl. Based Intell. Eng. Syst., 2006

Discrete event simulation of reactive knowledge based systems.
Int. J. Knowl. Based Intell. Eng. Syst., 2006

Modeling waiting systems from domain expert specifications.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Improving the Lookahead Computation in G-DEVS/HLA Environment.
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005

The Discrete Event Concept as a Paradigm for the "Perception-Based Diagnosis" of Sachem.
J. Intell. Robotic Syst., 2004

Using DEVS for an Extended UML.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Using DEVS for Modeling and Simulation of Human Behaviour.
Proceedings of the Artificial Intelligence and Simulation, 2004

Simulation Semantics for Min-Max DEVS Models.
Proceedings of the Artificial Intelligence and Simulation, 2004

Specifying and Validating Reactive Systems with CommonKADS Methodology.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Verification and validation of the SACHEM conceptual model.
Int. J. Hum. Comput. Stud., 2002

Another Category in Intelligent Monitoring and Diagnosis for Industrial Systems.
Proceedings of the International Conference on Artificial Intelligence, 2002

Towards a Unique Framework to Describe and Compare Diagnosis Approaches.
Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002

Vérification et validation de modèles CommonKADS par réseaux de Petri.
Rev. d'Intelligence Artif., 2001

Building a knowledge based system for computer aided diagnosis.
Proceedings of the Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, 2000

Verifying and Validating Specification of Knowledge-Based Systems.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

DeBuMA: Description, Building and Management of Applications.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989