![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
FSEN 2015: Tehran, Iran
- Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9392, Springer 2015, ISBN 978-3-319-24643-7 - Holger Giese, Thomas Vogel
, Sebastian Wätzoldt:
Towards Smart Systems of Systems. 1-29 - Marco Autili
, Paola Inverardi, Massimo Tivoli
:
Automated Integration of Service-Oriented Software Systems. 30-45 - Ali Sedaghatbaf
, Mohammad Abdollahi Azgomi
:
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks. 46-53 - Ugo Dal Lago
, Alessandro Rioli:
Applicative Bisimulation and Quantum λ-Calculi. 54-68 - Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Broadcasting Actors. 69-83 - Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A Theory of Integrating Tamper Evidence with Stabilization. 84-99 - Mohammad Ghafari, Abbas Heydarnoori
, Hassan Haghighi:
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. 100-109 - Razieh Behjati, Shiva Nejati
:
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. 110-126 - Jeroen J. A. Keiren
:
Benchmarks for Parity Games. 127-142 - Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu:
A Behavioural Theory for a π-calculus with Preorders. 143-158 - Ali Ebnenasir:
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. 159-175 - Deepanker Aggarwal, Astrid Kiehn:
Analyzing Mutable Checkpointing via Invariants. 176-190 - Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer:
High Performance Computing Applications Using Parallel Data Processing Units. 191-206 - Jaber Karimpour
, Ayaz Isazadeh, MohammadSadegh Mohagheghi
, Khayyam Salehi
:
Improved Iterative Methods for Verifying Markov Decision Processes. 207-214 - Harsh Beohar, Mohammad Reza Mousavi:
A Pre-congruence Format for XY-simulation. 215-229 - Jean-Marie Gauthier, Fabrice Bouquet
, Ahmed Hammad, Fabien Peureux:
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. 230-237 - Sung-Shik T. Q. Jongmans, Farhad Arbab:
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? 238-258 - Nuno Gaspar, Ludovic Henrio, Eric Madelaine
:
Painless Support for Static and Runtime Verification of Component-Based Applications. 259-274 - Sedigheh Khoshnevis
, Fereidoon Shams:
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines. 275-291 - Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
:
An Interval-Based Approach to Modelling Time in Event-B. 292-307 - Mohammadsadegh Dalvandi
, Michael J. Butler, Abdolbaghi Rezazadeh:
From Event-B Models to Dafny Code Contracts. 308-315
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.