In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016


Barceló Aran Mantegna Hotel
ROOM: Space 4B
Via Andrea Mantegna, 130 | 00147 Roma, Italy Tel: +39 06 98 95 21

February 19, 2016 

10:45 Opening


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


Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

Alessandro Fantechi, Stefano Pepi, University of Florence, Italy


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


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 


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 


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


Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation

Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni, ISTI-CNR, Italy


Monitoring of Learning Path for Business Process Models

Venkatapathy Subramanian, Gran Sasso Science Institute, Italy

Antonia Bertolino, ISTI-CNR, Italy


Exploiting Vehicles' Reputation to Mitigate DoS Attack

Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Istituto di Informatica e Telematica- CNR, Italy


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