Zobrazeno 1 - 10
of 60
pro vyhledávání: '"Claudia Frydman"'
Autor:
Maximiliano Cristiá, Claudia Frydman
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 80, Iss Proc. MBT 2012, Pp 28-42 (2012)
The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In turn, the Z notation is based on first-order logic with equalit
Externí odkaz:
https://doaj.org/article/ef10fb2be7664c4e994e9e0137312964
Autor:
Maximiliano Cristia, Claudia Frydman
Publikováno v:
International Journal of Web Information Systems, 2015, Vol. 11, Issue 2, pp. 183-204.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJWIS-11-2014-0042
Autor:
Isabelle Imbert, Wissame Laddada, India L'Hote, Lina Fatima Soualmia, Cecilia Zanni-Merk, Ali Ayadi, Claudia Frydman
Publikováno v:
KES
Procedia Computer Science
Procedia Computer Science, Elsevier, 2021, 192, pp.487-496. ⟨10.1016/j.procs.2021.08.050⟩
Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES2021
Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES2021, Sep 2021, Szczecin, Poland, Poland. pp.487-496, ⟨10.1016/j.procs.2021.08.050⟩
Procedia Computer Science, 2021, 192, pp.487-496. ⟨10.1016/j.procs.2021.08.050⟩
KES, Sep 2021, Szczecin, Poland. pp.487-496, ⟨10.1016/j.procs.2021.08.050⟩
Procedia Computer Science
Procedia Computer Science, Elsevier, 2021, 192, pp.487-496. ⟨10.1016/j.procs.2021.08.050⟩
Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES2021
Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES2021, Sep 2021, Szczecin, Poland, Poland. pp.487-496, ⟨10.1016/j.procs.2021.08.050⟩
Procedia Computer Science, 2021, 192, pp.487-496. ⟨10.1016/j.procs.2021.08.050⟩
KES, Sep 2021, Szczecin, Poland. pp.487-496, ⟨10.1016/j.procs.2021.08.050⟩
Communication au congrès KES de 2021 qui s'est déroulé à Szczecin; International audience; Understanding the replication machinery of viruses contributes to suggest and try effective antiviral strategies. Exhaustive knowledge about the proteins s
Autor:
Ali Ayadi, Emeline Grellet, Claudia Frydman, Cecilia Zanni-Merk, Lina Fatima Soualmia, Wissame Laddada, India L'Hote, Isabelle Imbert
Publikováno v:
annual modeling and simulation conference
annual modeling and simulation conference, Jul 2021, San Diego, United States
Scopus-Elsevier
2021 Annual Modeling and Simulation Conference (ANNSIM)
2021 Annual Modeling and Simulation Conference (ANNSIM), Jul 2021, Fairfax, France. pp.1-12, ⟨10.23919/ANNSIM52504.2021.9552040⟩
ANNSIM
annual modeling and simulation conference, Jul 2021, San Diego, United States
Scopus-Elsevier
2021 Annual Modeling and Simulation Conference (ANNSIM)
2021 Annual Modeling and Simulation Conference (ANNSIM), Jul 2021, Fairfax, France. pp.1-12, ⟨10.23919/ANNSIM52504.2021.9552040⟩
ANNSIM
International audience; The search for inhibitors of SARS-CoV-2 viral replication depends on the understanding of the events taking place at different molecular levels during the viral infection. The macro-molecular level focuses on the interactions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a04aabe320d8a3f1ebf6ceef31653c4
https://hal-amu.archives-ouvertes.fr/hal-03614037
https://hal-amu.archives-ouvertes.fr/hal-03614037
Publikováno v:
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
International audience; Modeling, verifying, and validating are essential steps in order to build systems and software that do what designers expect. If formal verification, and especially model-checking, is a popular method for proving the correctne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7db80a101dc6d7b48ed34c87b05a7b9f
https://hal-amu.archives-ouvertes.fr/hal-03538522/document
https://hal-amu.archives-ouvertes.fr/hal-03538522/document
Publikováno v:
SIMULATION
SIMULATION, SAGE Publications, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, pp.003754971878544. ⟨10.1177/0037549718785442⟩
SIMULATION, SAGE Publications, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, pp.003754971878544. ⟨10.1177/0037549718785442⟩
International audience; The delay is a very important element in modeling hardware behavior, and is realized in many hardware description languages such as ADLIB-SABLE, Verilog, and VHDL. The state of the art on hardware delay identifies four classes
Autor:
Cecilia Zanni-Merk, Claudia Frydman, Carlos Toro, Yulia Hicks, Robert J. Howlett, Lakhmi C. Jain
Publikováno v:
KES 2017
KES 2017, Sep 2017, Marseille, France. 112, pp.1-10, 2017, ⟨10.1016/j.procs.2017.08.172⟩
KES 2017, Sep 2017, Marseille, France. 112, pp.1-10, 2017, ⟨10.1016/j.procs.2017.08.172⟩
International audience
Publikováno v:
SIMULATION
SIMULATION, SAGE Publications, 2019, ⟨10.1177/0037549718765080⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2019, ⟨10.1177/0037549718765080⟩
SIMULATION, SAGE Publications, 2019, ⟨10.1177/0037549718765080⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2019, ⟨10.1177/0037549718765080⟩
Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab024dc630d7222a5ccae371f8ee02b3
https://hal-amu.archives-ouvertes.fr/hal-01824865
https://hal-amu.archives-ouvertes.fr/hal-01824865
Publikováno v:
2018 Winter Simulation Conference (WSC)
2018 Winter Simulation Conference (WSC), Dec 2018, Gothenburg, France. pp.3441-3448, ⟨10.1109/WSC.2018.8632509⟩
2018 Winter Simulation Conference (WSC), Dec 2018, Gothenburg, France. pp.3441-3448, ⟨10.1109/WSC.2018.8632509⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6bfc9c380d93d0bad23a92cd1365809
https://hal-amu.archives-ouvertes.fr/hal-02069720
https://hal-amu.archives-ouvertes.fr/hal-02069720
Publikováno v:
Data Technologies and Applications. 52:462-462
Special Issue : Advances in Knowledge-Based and Intelligent Engineering and Information Systems Preface