Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/