4 papers
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch Lafuente +2
Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communic…
White-box validation of quantitative product lines by statistical model checking and process mining
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte +2
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on th…
Proceedings 7th Interaction and Concurrency Experience
Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova +1
This volume contains the proceedings of ICE 2014, the 7th Interaction and Concurrency Experience, which was held in Berlin, Germany on the 6th of June 2014 as a satellite event of…
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
Dragan Bošnački, Stefan Edelkamp, Alberto Lluch Lafuente +1
These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite…