Claudia S. Frydman

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2019
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

2018
Preface.
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

2017
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

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

2015
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

2014
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

2013
{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

2012
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

2011
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

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

2009
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

2008
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

2007
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

2006
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

2005
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

2004
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

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

2002
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

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

2000
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

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

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


  Loading...