Table of Contents
|
Fundamentals of Software Engineering
Mehdi Dastani, Marjan Sirjani |
Front Matter |
Towards Smart Systems of Systems
Holger Giese, Thomas Vogel, Sebastian Wätzoldt |
1-29 |
Automated Integration of Service-Oriented Software Systems
Marco Autili, Paola Inverardi, Massimo Tivoli |
30-45 |
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
Ali Sedaghatbaf, Mohammad Azgomi |
46-53 |
Applicative Bisimulation and Quantum λ-Calculi
Ugo Dal Lago, Alessandro Rioli |
54-68 |
Modeling and Efficient Verification of Broadcasting Actors
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi |
69-83 |
A Theory of Integrating Tamper Evidence with Stabilization
Reza Hajisheykhi, Ali Ebnenasir, Sandeep Kulkarni |
84-99 |
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems
Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi |
100-109 |
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Razieh Behjati, Shiva Nejati |
110-126 |
Benchmarks for Parity Games
Jeroen Keiren |
127-142 |
A Behavioural Theory for a π-calculus with Preorders
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu |
143-158 |
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
Ali Ebnenasir |
159-175 |
Analyzing Mutable Checkpointing via Invariants
Deepanker Aggarwal, Astrid Kiehn |
176-190 |
High Performance Computing Applications Using Parallel Data Processing Units
Keyvan Azadbakht, Vlad Serbanescu, Frank Boer |
191-206 |
Improved Iterative Methods for Verifying Markov Decision Processes
Jaber Karimpour, Ayaz Isazadeh, Mohammadsadegh Mohagheghi, Khayyam Salehi |
207-214 |
A Pre-congruence Format for XY-simulation
Harsh Beohar, Mohammad Mousavi |
215-229 |
Tooled Process for Early Validation of SysML Models using Modelica Simulation
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
230-237 |
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Sung-Shik Jongmans, Farhad Arbab |
238-258 |
Painless Support for Static and Runtime Verification of Component-Based Applications
Nuno Gaspar, Ludovic Henrio, Eric Madelaine |
259-274 |
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
Sedigheh Khoshnevis, Fereidoon Shams |
275-291 |
An Interval-Based Approach to Modelling Time in Event-B
Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh |
292-307 |
From Event-B Models to Dafny Code Contracts
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh |
308-315 |
Hosted by HAL : 