|
|
Analyzing Mutable Checkpointing via Invariants
Deepanker Aggarwal
,
Astrid Kiehn
Conference papers
hal-01446599v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Razieh Behjati
,
Shiva Nejati
Conference papers
hal-01446633v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Benchmarks for Parity Games
Jeroen A. Keiren
Conference papers
hal-01446614v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Towards Smart Systems of Systems
Holger Giese
,
Thomas Vogel
,
Sebastian Wätzoldt
Conference papers
hal-01446606v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Automated Integration of Service-Oriented Software Systems
Marco Autili
,
Paola Inverardi
,
Massimo Tivoli
Conference papers
hal-01446609v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
Ali Ebnenasir
Conference papers
hal-01446598v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Sung-Shik Q. Jongmans
,
Farhad Arbab
Conference papers
hal-01446603v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Theory of Integrating Tamper Evidence with Stabilization
Reza Hajisheykhi
,
Ali Ebnenasir
,
Sandeep S. Kulkarni
Conference papers
hal-01446612v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Improved Iterative Methods for Verifying Markov Decision Processes
Jaber Karimpour
,
Ayaz Isazadeh
,
Mohammadsadegh Mohagheghi
,
Khayyam Salehi
Conference papers
hal-01446601v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
High Performance Computing Applications Using Parallel Data Processing Units
Keyvan Azadbakht
,
Vlad Serbanescu
,
Frank De Boer
Conference papers
hal-01446600v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
Ali Sedaghatbaf
,
Mohammad Abdolahi Azgomi
Conference papers
hal-01446610v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Modeling and Efficient Verification of Broadcasting Actors
Behnaz Yousefi
,
Fatemeh Ghassemi
,
Ramtin Khosravi
Conference papers
hal-01446611v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications
Nuno Gaspar
,
Ludovic Henrio
,
Eric Madelaine
Conference papers
hal-01168757v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems
Mohammad Ghafari
,
Abbas Heydarnoori
,
Hassan Haghighi
Conference papers
hal-01446613v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Fundamentals of Software Engineering
Mehdi Dastani
,
Marjan Sirjani
Books
hal-01446615v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Pre-congruence Format for XY-simulation
Harsh Beohar
,
Mohammad Reza Mousavi
Conference papers
hal-01446602v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
From Event-B Models to Dafny Code Contracts
Mohammadsadegh Dalvandi
,
Michael Butler
,
Abdolbaghi Rezazadeh
Conference papers
hal-01446608v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Behavioural Theory for a π-calculus with Preorders
Daniel Hirschkoff
,
Jean-Marie Madiot
,
Xian Xu
Conference papers
hal-01246094v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Interval-Based Approach to Modelling Time in Event-B
Gintautas Sulskus
,
Michael Poppleton
,
Abdolbaghi Rezazadeh
Conference papers
hal-01446607v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
Sedigheh Khoshnevis
,
Fereidoon Shams
Conference papers
hal-01446605v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|