Claudia S. Frydman

73 papers A* 1A 1B 6C 9Misc 5Journal 24Unranked 27

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