Proceedings of the 12th System Analysis and Modelling Conference
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450381406
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Temporal Models for History-Aware Explainability

2020 ◽  
Author(s):  
Juan Marcelo Parra-Ullauri ◽  
Antonio García-Domínguez ◽  
Luis Hernán García-Paucar ◽  
Nelly Bencomo
Keyword(s):  
Temporal Models

scholarly journals Model-Based Reconfiguration Planning for a Distributed On-board Computer

2020 ◽  
Author(s):  
Andrii Kovalov ◽  
Tobias Franz ◽  
Hannes Watolla ◽  
Vishav Vishav ◽  
Andreas Gerndt ◽  
...  
Keyword(s):  
Model Based ◽  
Reconfiguration Planning

scholarly journals A Model Traceability Framework for Network Service Management

2020 ◽  
Author(s):  
Omar Hassane ◽  
Sadaf Mustafiz ◽  
Ferhat Khendek ◽  
Maria Toeroe
Keyword(s):  
Service Management ◽  
Network Service

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems

2020 ◽  
Author(s):  
Ajay Chhokra ◽  
Nagabhushan Mahadevan ◽  
Abhishek Dubey ◽  
Gabor Karsai
Keyword(s):  
Fault Modeling ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Safety Critical

scholarly journals A Formalism for Specifying Model Merging Conflicts

2020 ◽  
Author(s):  
Mohammadreza Sharbaf ◽  
Bahman Zamani ◽  
Gerson Sunyé
Keyword(s):  
Model Merging

iContractML

2020 ◽  
Author(s):  
Mohammad Hamdaqa ◽  
Lucas Alberto Pineda Metz ◽  
Ilham Qasse

Traceability Management of GRL and SysML Models

2020 ◽  
Author(s):  
Amal Ahmed Anda ◽  
Daniel Amyot

Action-Driven Consistency for Modular Multi-Language Systems with Perspectives

2020 ◽  
Author(s):  
Hyacinth Ali ◽  
Gunter Mussbacher ◽  
Jörg Kienzle

SDL Cellular Automaton COVID-19 conceptualization

2020 ◽  
Author(s):  
Pau Fonseca i Casas ◽  
Joan Garcia i Subirana ◽  
Victor Garcia i Carrasco ◽  
Jorge Luiz Silva de Barcellos ◽  
Josep Roma ◽  
...  
Keyword(s):  
Cellular Automaton
Load More ...
Sign in / Sign up

Export Citation Format

Share Document