| Day 1: April 22, 2015 |
|
8 - 8:45
|
Registration
|
|
8:45 - 9
|
Opening
|
|
9 - 10
|
Invited talk:
Automated Integration of Service-oriented Software Systems
Paola Inverardi, University of L'Aquila, Italy |
|
10 - 10:30
|
Coffee Break
|
|
10:30 - 11
|
Razieh Behjati and Shiva Nejati
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
|
|
11 - 11:30
|
Sedigheh Khoshnevis and Fereidoon Shams
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
|
|
11:30 - 11:50
|
Mohammad Ghafari, Abbas Heydarnoori and Hassan Haghighi
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems
|
|
11:50 - 12:10
|
Ali Sedaghatbaf and Mohammad Abdollahi Azgomi
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
|
|
12:10 - 14
|
Lunch
|
|
14 - 15:30
|
Poster Session
|
|
15:30 - 16
|
Keyvan Azadbakht, Vlad Serbanescu and Frank de Boer
High Performance Computing Applications using Parallel Data Processing Units
|
|
16 - 16:30
|
Behnaz Yousefi, Fatemeh Ghassemi and Ramtin Khosravi
Modeling and Efficient Verification of Broadcasting Actors
|
|
16:30 - 17
|
Nuno Gaspar, Eric Madelaine and Ludovic Henrio
Painless support for static and runtime verification of component-based applications
|
| Day 2: April 23, 2015 |
|
9 - 10
|
Invited talk:
Experiences with Property-based Testing: Testing the Hard Stuff and Staying Sane
John Hughes, Chalmers University of Technology, Sweden |
|
10 - 10:30
|
Coffee Break
|
|
10:30 - 11
|
Gintautas Sulskus, Michael Poppleton and Abdolbaghi Rezazadeh
An Interval-Based Approach to Modelling Time in Event-B
|
|
11 - 11:20
|
Mohammadsadegh Dalvandi, Michael Butler and Abdolbaghi Rezazadeh
From Event-B Models to Dafny Code Contracts
|
|
11:20 - 11:40
|
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad and Fabien Peureux
Tooled Process for Early Validation of SysML Models using Modelica Simulation
|
|
11:40 - 12
|
Jaber Karimpour, Ayaz Isazadeh, Mohammadsadegh Mohagheghi and Khayyam Salehi
Improved Iterative Methods for Verifying Markov Decision Processes
|
|
12 - 14
|
Lunch
|
|
19 - 22
|
Social Event
|
| Day 3: April 24, 2015 |
|
9 - 10
|
Invited talk:
Towards Smart Systems of Systems
Holger Giese, Hasso Plattner Institute, Germany |
|
10 - 10:30
|
Coffee Break
|
|
10:30 - 11
|
Harsh Beohar and Mohammadreza Mousavi
A Pre-congruence Format for XY-simulation
|
|
11 - 11:30
|
Ugo Dal Lago and Alessandro Rioli
Applicative Bisimulation and Quantum Lambda-Calculi
|
|
11:30 - 12
|
Daniel Hirschkoff, Jean-Marie Madiot and Xian Xu
A behavioural theory for a pi-calculus with preorders
|
|
12 - 14
|
Lunch
|
|
14 - 14:30
|
Sung-Shik T.Q. Jongmans and Farhad Arbab
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
|
|
14:30 - 15
|
Jeroen J.A. Keiren
Benchmarks for Parity Games
|
|
15 - 15:30
|
Coffee Break
|
|
15:30 - 16
|
Reza Hajisheykhi, Ali Ebnenasir and Sandeep Kulkarni
A Theory of Integrating Tamper Evidence with Stabilization
|
|
16 - 16:30
|
Ali Ebnenasir
Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity
|
|
16:30 - 17
|
Astrid Kiehn and Deepanker Aggarwal
Analyzing Mutable Checkpointing
|
|
17 - 17:30
|
Closing
|