Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319246437, 9783319246444

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improved Iterative Methods for Verifying Markov Decision Processes

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_14 ◽

2015 ◽

pp. 207-214

Author(s):

Jaber Karimpour ◽

Ayaz Isazadeh ◽

MohammadSadegh Mohagheghi ◽

Khayyam Salehi

Keyword(s):

Iterative Methods ◽

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

Towards Smart Systems of Systems

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_1 ◽

2015 ◽

pp. 1-29 ◽

Cited By ~ 3

Author(s):

Holger Giese ◽

Thomas Vogel ◽

Sebastian Wätzoldt

Keyword(s):

Systems Of Systems ◽

Smart Systems

Download Full-text

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

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_8 ◽

2015 ◽

pp. 110-126

Author(s):

Razieh Behjati ◽

Shiva Nejati

Keyword(s):

Large Scale ◽

Embedded Software ◽

Software Systems

Download Full-text

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

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_17 ◽

2015 ◽

pp. 238-258 ◽

Cited By ~ 7

Author(s):

Sung-Shik T. Q. Jongmans ◽

Farhad Arbab

Keyword(s):

High Throughput

Download Full-text

Analyzing Mutable Checkpointing via Invariants

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_12 ◽

2015 ◽

pp. 176-190 ◽

Cited By ~ 2

Author(s):

Deepanker Aggarwal ◽

Astrid Kiehn

Download Full-text

Benchmarks for Parity Games

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_9 ◽

2015 ◽

pp. 127-142 ◽

Cited By ~ 12

Author(s):

Jeroen J. A. Keiren

Keyword(s):

Parity Games

Download Full-text

Tooled Process for Early Validation of SysML Models Using Modelica Simulation

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_16 ◽

2015 ◽

pp. 230-237 ◽

Cited By ~ 2

Author(s):

Jean-Marie Gauthier ◽

Fabrice Bouquet ◽

Ahmed Hammad ◽

Fabien Peureux

Keyword(s):

Early Validation

Download Full-text

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

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_18 ◽

2015 ◽

pp. 259-274 ◽

Cited By ~ 1

Author(s):

Nuno Gaspar ◽

Ludovic Henrio ◽

Eric Madelaine

Keyword(s):

Runtime Verification

Download Full-text

A Theory of Integrating Tamper Evidence with Stabilization

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_6 ◽

2015 ◽

pp. 84-99

Author(s):

Reza Hajisheykhi ◽

Ali Ebnenasir ◽

Sandeep S. Kulkarni

Download Full-text

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

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_19 ◽

2015 ◽

pp. 275-291 ◽

Cited By ~ 1

Author(s):

Sedigheh Khoshnevis ◽

Fereidoon Shams

Keyword(s):

Domain Architecture ◽

Software Product Lines ◽

Product Lines ◽

Linear Evolution ◽

Software Product ◽

Service Oriented

Download Full-text

Fundamentals of Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Improved Iterative Methods for Verifying Markov Decision Processes

Towards Smart Systems of Systems

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

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

Analyzing Mutable Checkpointing via Invariants

Benchmarks for Parity Games

Tooled Process for Early Validation of SysML Models Using Modelica Simulation

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

A Theory of Integrating Tamper Evidence with Stabilization

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

Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications