Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/