default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFSEN 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
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.
last updated on 2025-01-06 01:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
