Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By SCITEPRESS - Science And And Technology Publications

9789897581663

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005844800540061 ◽

2016 ◽

Author(s):

Isabella Biscoglio ◽

Giuseppe Lami ◽

Gianluca Trentanni

Keyword(s):

Italian Experience ◽

Software Certification

Download Full-text

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005854500830090 ◽

2016 ◽

Cited By ~ 2

Author(s):

Natalia Kushik ◽

Nina Yevtushenko ◽

Husnu Yenigun

Download Full-text

Monitoring of Learning Path for Business Process Models

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005845300620072 ◽

2016 ◽

Cited By ~ 1

Author(s):

Venkatapathy Subramanian ◽

Antonia Bertolino

Keyword(s):

Business Process ◽

Process Models ◽

Business Process Models ◽

Learning Path

Download Full-text

Exploiting Vehicles’ Reputation to Mitigate DoS Attack

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005844500750082 ◽

2016 ◽

Cited By ~ 1

Author(s):

Gianpiero Costantino ◽

Fabio Martinelli ◽

Ilaria Matteucci

Keyword(s):

Dos Attack

Download Full-text

Mutating OWLs: Semantic Mutation Testing for Ontologies

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005844600430053 ◽

2016 ◽

Cited By ~ 1

Author(s):

Cesare Bartolini

Keyword(s):

Mutation Testing

Download Full-text

Testing Multimodal Interactive Applications by Means of the TTT Language

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005842500230032 ◽

2016 ◽

Author(s):

Le Thanh Long ◽

Nguyen Thanh Binh ◽

Ioannis Parissis

Keyword(s):

Interactive Applications

Download Full-text

TASSA: A Testing as a Service Framework for Web Service Compositions

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005844400330042 ◽

2016 ◽

Cited By ~ 2

Author(s):

Dessislava Petrova-Antonova ◽

Sylvia Ilieva ◽

Denitsa Manova

Keyword(s):

Web Service ◽

Testing As A Service ◽

Service Framework

Download Full-text

Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005841800140022 ◽

2016 ◽

Cited By ~ 3

Author(s):

Gayane Sedrakyan ◽

Monique Snoeck

Keyword(s):

Model Execution

Download Full-text

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

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005841700050013 ◽

2016 ◽

Author(s):

Alessandro Fantechi ◽

Stefano Pepi

Keyword(s):

Petri Nets ◽

Real Time ◽

Schedulability Analysis ◽

Real Time Systems ◽

Time Systems

Download Full-text

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOnLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By SCITEPRESS - Science And And Technology Publications

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

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs

Monitoring of Learning Path for Business Process Models

Exploiting Vehicles’ Reputation to Mitigate DoS Attack

Mutating OWLs: Semantic Mutation Testing for Ontologies

Testing Multimodal Interactive Applications by Means of the TTT Language

TASSA: A Testing as a Service Framework for Web Service Compositions

Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture

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

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Latest Publications