Abstract is missing.
- Towards Smart Systems of SystemsHolger Giese, Thomas Vogel, Sebastian Wätzoldt. 1-29 [doi]
- Automated Integration of Service-Oriented Software SystemsMarco Autili, Paola Inverardi, Massimo Tivoli. 30-45 [doi]
- Software Architecture Modeling and Evaluation Based on Stochastic Activity NetworksAli Sedaghatbaf, Mohammad Abdollahi Azgomi. 46-53 [doi]
- Applicative Bisimulation and Quantum λ-CalculiUgo Dal Lago, Alessandro Rioli. 54-68 [doi]
- Modeling and Efficient Verification of Broadcasting ActorsBehnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi. 69-83 [doi]
- A Theory of Integrating Tamper Evidence with StabilizationReza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. 84-99 [doi]
- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed SystemsMohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi. 100-109 [doi]
- Efficient Architecture-Level Configuration of Large-Scale Embedded Software SystemsRazieh Behjati, Shiva Nejati. 110-126 [doi]
- Benchmarks for Parity GamesJeroen J. A. Keiren. 127-142 [doi]
- A Behavioural Theory for a π-calculus with PreordersDaniel Hirschkoff, Jean-Marie Madiot, Xian Xu. 143-158 [doi]
- Incremental Realization of Safety Requirements: Non-determinism vs. ModularityAli Ebnenasir. 159-175 [doi]
- Analyzing Mutable Checkpointing via InvariantsDeepanker Aggarwal, Astrid Kiehn. 176-190 [doi]
- High Performance Computing Applications Using Parallel Data Processing UnitsKeyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer. 191-206 [doi]
- Improved Iterative Methods for Verifying Markov Decision ProcessesJaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi. 207-214 [doi]
- A Pre-congruence Format for XY-simulationHarsh Beohar, Mohammad Reza Mousavi. 215-229 [doi]
- Tooled Process for Early Validation of SysML Models Using Modelica SimulationJean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. 230-237 [doi]
- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?Sung-Shik T. Q. Jongmans, Farhad Arbab. 238-258 [doi]
- Painless Support for Static and Runtime Verification of Component-Based ApplicationsNuno Gaspar, Ludovic Henrio, Eric Madelaine. 259-274 [doi]
- Linear Evolution of Domain Architecture in Service-Oriented Software Product LinesSedigheh Khoshnevis, Fereidoon Shams. 275-291 [doi]
- An Interval-Based Approach to Modelling Time in Event-BGintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh. 292-307 [doi]
- From Event-B Models to Dafny Code ContractsMohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh. 308-315 [doi]