default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th SAM 2020: Virtual Event, Canada
- Abdelouahed Gherbi, Wahab Hamou-Lhadj, Ahmed Bali:
SAM '20: 12th System Analysis and Modelling Conference, Virtual Event, Canada, October 19-20, 2020. ACM 2020, ISBN 978-1-4503-8140-6 - Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé:
A Formalism for Specifying Model Merging Conflicts. 1-10 - Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Towards automated provenance collection for runtime models to record system history. 12-21 - Nafiseh Kahani, James R. Cordy:
Bounded Verification of State Machine Models. 23-32 - Mohammad Hamdaqa
, Lucas Alberto Pineda Metz, Ilham A. Qasse:
iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms. 34-43 - Mihal Brumbulli, Emmanuel Gaudin:
An attempt to convert BPMN models to SDL. 45-53 - Andrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt, Daniel Lüdtke:
Model-Based Reconfiguration Planning for a Distributed On-board Computer. 55-62 - Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
A Model Traceability Framework for Network Service Management. 64-73 - Philip Makedonski, Jens Grabowski:
Facilitating the Co-Evolution of Semantic Descriptions in Standards and Models. 75-84 - Dorian Weber, Joachim Fischer:
Process-Based Simulation with Stackless Coroutines. 84-93 - Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle:
Action-Driven Consistency for Modular Multi-Language Systems with Perspectives. 95-104 - Hyacinth Ali, Gunter Mussbacher:
Layout Merging with Relative Positioning. 106-115 - Amal Ahmed Anda, Daniel Amyot:
Traceability Management of GRL and SysML Models. 117-126 - Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. 128-137 - Sanaa A. Alwidian, Mouna Dhaouadi, Michalis Famelis:
A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling. 139-142 - Pau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma, Xavier Pi:
SDL Cellular Automaton COVID-19 conceptualization. 144-153 - Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Luis Hernán García Paucar, Nelly Bencomo:
Temporal Models for History-Aware Explainability. 155-164
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
