| Day 1: May 1, 2019 |
|
8 - 8:30
|
Registration
|
|
8:30 - 9
|
Opening
|
|
9 - 10
|
Invited talk:
Towards Formally Designing Collective Adaptive Systems
Martin Wirsing, LMU Munich, Germany |
|
10 - 10:30
|
Coffee Break
|
|
10:30 - 11
|
Narges Khakpour, Jetty Kleijn and Marjan Sirjani
Integrating Structural and Behavioral Adaptations
|
|
11 - 11:30
|
Sanaz Hasanzadehfard and Hadi Tabatabaee Malazi
Two dimensional self-coordination mechanism of agents in minority games
|
|
11:30 - 12
|
Marco Piangerelli, Luca Tesei, Emanuela Merelli
A Persistent Entropy Automaton for Dow Jones
|
|
12 - 14
|
Lunch
|
|
14 - 14:30
|
M. Saqib Nawaz, Meng Sun and Philippe Fournier-Viger
Proof Guidance in PVS with Sequential Pattern Mining
|
|
14:30 - 15
|
M. Saqib Nawaz and Meng Sun
Using PVS for Modeling and Verification of Probabilistic Connectors
|
|
15 - 15:30
|
Sharmin Moosavi, Hassan Haghighi, Mojtaba Vahidi Asl, Hasti Sahabi and Farzam Vatanzadeh
Greenify: A game with the purpose of test data generation
|
|
15:30 - 16
|
Coffee Break
|
|
16 - 16:30
|
Lisette Sanchez, Jan Friso Groote and Ramon Schiffeler
Active Learning of Industrial software with data
|
|
16:30 - 17
|
Samad Paydar and Aidin Azamnouri
An Empirical Study on Flakiness and Fragility of Randoop Regression Tests
|
|
17 - 18
|
Poster Papers Lightning Talks
|
|
18 - 20
|
Conference Reception + Poster Presentation Competition
|
| Day 2: May 2, 2019 |
|
9 - 10
|
Invited talk:
First and Second-Order Emergence - From Bio-Inspired Design Patterns to Reliable Self-Composing Spatial Services
Giovanna Di Marzo Serugendo, University of Geneva, Switzerland |
|
10 - 10:30
|
Coffee Break
|
|
10:30 - 11
|
Antonio Gonzalez-Burgueño and Peter Ölveczky
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
|
|
11 - 11:30
|
Leandro Gomes, Alexandre Madeira and Mario Benevides
Logics for Petri nets with propagating failures
|
|
11:30 - 12
|
Thomas Neele, Marijn Rol and Jan Friso Groote
Verifying System-Wide Properties of Industrial Component-Based Software
|
|
12 - 14
|
Lunch
|
|
14:30 - 22
|
Social Event
|
| Day 3: May 3, 2019 |
|
9 - 9:30
|
Samira Akili and Kim Völlinger
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
|
|
9:30 - 10
|
Jose Proenca and Alexandre Madeira
Taming Hierarchical Connectors
|
|
10 - 10:30
|
Behnaz Changizi, Natallia Kokash and Farhad Arbab
Service Orchestration with Priority Constraints
|
|
10:30 - 11
|
Coffee Break
|
|
11 - 11:30
|
Nathan Wasser, Asma Heydari Tabar and Reiner Hähnle
Modeling Non-deterministic C Code with Active Objects
|
|
11:30 - 12
|
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon Pace, Raúl Pardo, Vincent Rebiscoul and Gerardo Schneider
Verification of Smart Contract Business Logic Properties: Exploiting a Java Source Code Verifier
|
|
12 - 12:30
|
Babak Bagheri, Mohammad Rezaalipour and Mojtaba Vahidi-Asl
An Approach to Generate Effective Fault Localization Methods for Programs
|
|
12:30 - 14
|
Lunch
|
|
14 - 15
|
Invited talk:
Programming Collective Adaptive Systems by Relying on Attribute-based Communication
Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy |
|
15 - 15:30
|
Coffee Break
|
|
15:30 - 16
|
Closing
|