Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
authFullName_s : Ingo Stierand
Page :
sorted by
Image document

A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems

 Andreas Baumgart , Philipp Reinkemeier , Achim Rettberg , Ingo Stierand , Eike Thaden , et al.
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.59-70, ⟨10.1007/978-3-642-16256-5_8⟩
Conference papers hal-01055376v1
Image document

Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction

 Philipp Reinkemeier , Ingo Stierand
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.181-192, ⟨10.1007/978-3-642-38853-8_17⟩
Conference papers hal-01466672v1
Image document

Contract-Based Compositional Scheduling Analysis for Evolving Systems

 Tayfun Gezgin , Stefan Henkler , Achim Rettberg , Ingo Stierand
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.272-282, ⟨10.1007/978-3-642-38853-8_25⟩
Conference papers hal-01466683v1
Image document

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

 Sunil Malipatlolla , Ingo Stierand
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.343-352, ⟨10.1007/978-3-642-38853-8_31⟩
Conference papers hal-01466690v1
Page :