|
Barceló Aran Mantegna Hotel February 19, 2016 |
|
| 10:45 | Opening |
|
10:55 |
Keynote Lecture The Role of Context in Extra-functional Verification and Validation Prof. Antinisca Di Marco, University of L'Aquila, Italy |
| Track 1 |
Model-based Analysis and Development |
| 11:45 |
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems Alessandro Fantechi, Stefano Pepi, University of Florence, Italy |
| 12:15 |
Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture Gayane Sedrakyan, Monique Snoeck , KU Leuven, Belgium |
| 12:45 | Lunch break |
| Track 2 |
Approaches for Model-based Testing |
| 14:00 |
TASSA: A Testing as a Service Framework for Web Service Compositions Dessislava Petrova-Antonova, Sofia University “St. Kliment Ohridski”, Bulgaria Sylvia Ilieva, Institute of Information and communication technologies, Bulgaria Denitsa Manova, Rila Solutions, Bulgaria |
| 14:30 |
Testing Multimodal Interactive Applications by Means of the TTT Language Le Thanh Long, Duy Tan University, Viet Nam Nguyen Thanh Binh, The University of Danang, Vietnam Ioannis Parissis, Grenoble INP LCIS, France |
| 15:00 |
Mutating OWLs: Semantic Mutation Testing for Ontologies Cesare Bartolini, Université du Luxembourg, Luxembourg |
| 15:30 | Coffee-break |
| Track 3 |
Management and Assessment of Complex Systems |
| 16:45 |
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni, ISTI-CNR, Italy |
| 17:15 |
Monitoring of Learning Path for Business Process Models Venkatapathy Subramanian, Gran Sasso Science Institute, Italy Antonia Bertolino, ISTI-CNR, Italy |
| 17:45 |
Exploiting Vehicles' Reputation to Mitigate DoS Attack Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Istituto di Informatica e Telematica- CNR, Italy |
| 18:00 |
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs Natalia Kushik, Telecom SudParis, France Nina Yevtushenko, Tomsk State University, Russia Husnu Yenigun, Sabanci University, Turkey |
| 18:15 | Closure |
In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016