Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Front Matter ....Pages I-X
Front Matter ....Pages 1-8
 Temporal Analytics for Software Usage Models  (Oana Andrei, Muffy Calder)....Pages 9-24
 Sequential Pattern Mining for ICT Risk Assessment and Prevention  (Michele D’Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli)....Pages 25-39
 Student Performance Prediction and Optimal Course Selection: An MDP Approach  (Michael Backenköhler, Verena Wolf)....Pages 40-47
 An Algorithm for Simulating Human Selective Attention  (Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky)....Pages 48-55
 Learning Decision Trees from Synthetic Data Models for Human Security Behaviour  (Peter Carmichael, Charles Morisset)....Pages 56-71
 Controlling Production Variances in Complex Business Processes  (Paul Griffioen, Rob Christiaanse, Joris Hulstijn)....Pages 72-85
 A Computational Model of Internet Addiction Phenomena in Social Networks  (Lucia Nasti, Paolo Milazzo)....Pages 86-100
 What Belongs to Context?  (Sélinde van Engelenburg, Marijn Janssen, Bram Klievink)....Pages 101-116
 Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach  (Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev)....Pages 117-131
Front Matter ....Pages 133-135
 Intercepting Blackhole Attacks in MANETs: An ASM-based Model  (Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio)....Pages 137-152
 Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines  (Andreea Buga, Sorana Tania Nemeș)....Pages 153-167
 Design-Time to Run-Time Verification of Microservices Based Applications  (Matteo Camilli, Carlo Bellettini, Lorenzo Capra)....Pages 168-173
 Generalized Oracle for Testing Machine Learning Computer Programs  (Shin Nakajima)....Pages 174-179
Front Matter ....Pages 181-185
 A Formal Framework for Specifying and Verifying Microservices Based Process Flows  (Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga)....Pages 187-202
 Towards a Taxonomy of Microservices Architectures  (Martin Garriga)....Pages 203-218
 Towards a Reference Dataset of Microservice-Based Applications  (Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani)....Pages 219-229
 Towards a UML Profile for Domain-Driven Design of Microservice Architectures  (Florian Rademacher, Sabine Sachweh, Albert Zündorf)....Pages 230-245
 A Framework for Modelling Variable Microservices as Software Product Lines  (Moh. Afifun Naily, Maya Retno Ayu Setyautami, Radu Muschevici, Ade Azurat)....Pages 246-261
Front Matter ....Pages 263-266
 A Refinement Approach to Analyse Critical Cyber-Physical Systems  (Davide Basile, Felicita Di Giandomenico, Stefania Gnesi)....Pages 267-283
 Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems  (Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen)....Pages 284-299
 Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle  (Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri)....Pages 300-314
 Co-simulation Between Trnsys and Simulink Based on Type155  (Georg Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger)....Pages 315-329
 Development of a Driverless Lawn Mower Using Co-simulation  (Frederik F. Foldager, Peter Gorm Larsen, Ole Green)....Pages 330-344
 Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios  (Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe)....Pages 345-360
 Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems  (Mark Jackson, John S. Fitzgerald)....Pages 361-376
 Features of Integrated Model-Based Co-modelling and Co-simulation Technology  (Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Carl Gamble, Richard Payne, Kenneth Pierce)....Pages 377-390
 A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)  (Jinzhi Lu, Martin Törngren, De-Jiu Chen, Jian Wang)....Pages 391-405
 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles  (Ian A. Mason, Vivek Nigam, Carolyn Talcott, Alisson Brito)....Pages 406-422
 Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study  (Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci)....Pages 423-437
 A Framework for the Co-simulation of Engine Controls and Task Scheduling  (Paolo Pazzaglia, Marco Di Natale, Giorgio Buttazzo, Matteo Secchiari)....Pages 438-452
 Formalising Cosimulation Models  (Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti)....Pages 453-468
Front Matter ....Pages 469-473
 Towards the Performance Analysis of Elastic Systems with e-Motions  (Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel)....Pages 475-490
 From (Incomplete) TOSCA Specifications to Running Applications, with Docker  (Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani)....Pages 491-506
 Combining Trust and Aggregate Computing  (Roberto Casadei, Alessandro Aldini, Mirko Viroli)....Pages 507-522
 Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation  (Javier Cámara, Wenxin Peng, David Garlan, Bradley Schmerl)....Pages 523-540
 Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives  (Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani)....Pages 541-557
 Using Coq for Formal Modeling and Verification of Timed Connectors  (Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun)....Pages 558-573
 An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation  (Eva Kühn, Sophie Therese Radschek)....Pages 574-590
Back Matter ....Pages 591-592