Search - Fundamentals of Software Engineering Access content directly

Filter your results

20 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

A Theory of Integrating Tamper Evidence with Stabilization

 Reza Hajisheykhi , Ali Ebnenasir , Sandeep S. Kulkarni
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.84-99, ⟨10.1007/978-3-319-24644-4_6⟩
Conference papers hal-01446612v1
Image document

Improved Iterative Methods for Verifying Markov Decision Processes

 Jaber Karimpour , Ayaz Isazadeh , Mohammadsadegh Mohagheghi , Khayyam Salehi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩
Conference papers hal-01446601v1
Image document

High Performance Computing Applications Using Parallel Data Processing Units

 Keyvan Azadbakht , Vlad Serbanescu , Frank De Boer
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.191-206, ⟨10.1007/978-3-319-24644-4_13⟩
Conference papers hal-01446600v1
Image document

Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks

 Ali Sedaghatbaf , Mohammad Abdolahi Azgomi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.46-53, ⟨10.1007/978-3-319-24644-4_3⟩
Conference papers hal-01446610v1
Image document

Modeling and Efficient Verification of Broadcasting Actors

 Behnaz Yousefi , Fatemeh Ghassemi , Ramtin Khosravi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers hal-01446611v1
Image document

A Pre-congruence Format for XY-simulation

 Harsh Beohar , Mohammad Reza Mousavi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.215-229, ⟨10.1007/978-3-319-24644-4_15⟩
Conference papers hal-01446602v1
Image document

A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems

 Mohammad Ghafari , Abbas Heydarnoori , Hassan Haghighi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.100-109, ⟨10.1007/978-3-319-24644-4_7⟩
Conference papers hal-01446613v1

Fundamentals of Software Engineering

 Mehdi Dastani , Marjan Sirjani
Springer, LNCS-9392, 2015, Fundamentals of Software Engineering, 978-3-319-24643-7. ⟨10.1007/978-3-319-24644-4⟩
Books hal-01446615v1
Image document

From Event-B Models to Dafny Code Contracts

 Mohammadsadegh Dalvandi , Michael Butler , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers hal-01446608v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

An Interval-Based Approach to Modelling Time in Event-B

 Gintautas Sulskus , Michael Poppleton , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers hal-01446607v1
Image document

Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines

 Sedigheh Khoshnevis , Fereidoon Shams
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.275-291, ⟨10.1007/978-3-319-24644-4_19⟩
Conference papers hal-01446605v1
Image document

Analyzing Mutable Checkpointing via Invariants

 Deepanker Aggarwal , Astrid Kiehn
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.176-190, ⟨10.1007/978-3-319-24644-4_12⟩
Conference papers hal-01446599v1
Image document

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems

 Razieh Behjati , Shiva Nejati
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.110-126, ⟨10.1007/978-3-319-24644-4_8⟩
Conference papers hal-01446633v1
Image document

Benchmarks for Parity Games

 Jeroen A. Keiren
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers hal-01446614v1
Image document

Towards Smart Systems of Systems

 Holger Giese , Thomas Vogel , Sebastian Wätzoldt
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.1-29, ⟨10.1007/978-3-319-24644-4_1⟩
Conference papers hal-01446606v1
Image document

Automated Integration of Service-Oriented Software Systems

 Marco Autili , Paola Inverardi , Massimo Tivoli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.30-45, ⟨10.1007/978-3-319-24644-4_2⟩
Conference papers hal-01446609v1
Image document

Incremental Realization of Safety Requirements: Non-determinism vs. Modularity

 Ali Ebnenasir
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.159-175, ⟨10.1007/978-3-319-24644-4_11⟩
Conference papers hal-01446598v1
Image document

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

 Sung-Shik Q. Jongmans , Farhad Arbab
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers hal-01446603v1
Page :