


default search action
AMARETTO@MODELSWARD 2016: Rome, Italy
- Antonello Calabrò, Francesca Lonetti, Eda Marchetti:

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. SciTePress 2016, ISBN 978-989-758-166-3
Full Papers
- Alessandro Fantechi, Stefano Pepi:

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. 5-13 - Gayane Sedrakyan

, Monique Snoeck:
Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture. 14-22 - Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:

Testing Multimodal Interactive Applications by Means of the TTT Language. 23-32 - Dessislava Petrova-Antonova

, Sylvia Ilieva
, Denitsa Manova:
TASSA: A Testing as a Service Framework for Web Service Compositions. 33-42 - Cesare Bartolini:

Mutating OWLs: Semantic Mutation Testing for Ontologies. 43-53 - Isabella Biscoglio, Giuseppe Lami

, Gianluca Trentanni:
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. 54-61 - Venkatapathy Subramanian, Antonia Bertolino:

Monitoring of Learning Path for Business Process Models. 62-72
Short Papers
- Gianpiero Costantino, Fabio Martinelli

, Ilaria Matteucci
:
Exploiting Vehicles' Reputation to Mitigate DoS Attack. 75-82 - Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün:

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. 83-90

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














