Claudia S. Frydman
According to our database1,
Claudia S. Frydman
authored at least 70 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Combining DEVS simulation and ontological modeling for hierarchical analysis of the SARS-CoV-2 replication.
Simul., October, 2023
Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS.
Proceedings of the Winter Simulation Conference, 2023
2022
Simul., 2022
2021
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
2020
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation.
Simul., 2020
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
Improving Business Process in semiconductor manufacturing by Discovering Business Rules.
Proceedings of the 2018 Winter Simulation Conference, 2018
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
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017
2016
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016
2015
Theory Pract. Log. Program., 2015
Simul. Model. Pract. Theory, 2015
Int. J. Web Inf. Syst., 2015
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015
2014
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
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
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
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
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
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
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
Proceedings of the 2012 Spring Simulation Multiconference, 2012
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
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
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
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
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
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
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
A conceptual framework for the analysis, classification and choice of knowledge-based diagnosis systems.
Int. J. Knowl. Based Intell. Eng. Syst., 2006
Int. J. Knowl. Based Intell. Eng. Syst., 2006
Int. J. Knowl. Based Intell. Eng. Syst., 2006
2005
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005
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
Proceedings of the Artificial Intelligence and Simulation, 2004
Proceedings of the Artificial Intelligence and Simulation, 2004
2003
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003
2002
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
Rev. d'Intelligence Artif., 2001
2000
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
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989