Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
authFullName_s : Wolfgang Mueller
Page :
sorted by
Image document

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks

 Kay Klobedanz , Jan Jatzkowski , Achim Rettberg , Wolfgang Mueller
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.238-249, ⟨10.1007/978-3-642-38853-8_22⟩
Conference papers hal-01466679v1
Image document

Efficient Mutation-Analysis Coverage for Constrained Random Verification

 Tao Xie , Wolfgang Mueller , Florian Letombe
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.114-124, ⟨10.1007/978-3-642-15234-4_12⟩
Conference papers hal-01054481v1
Image document

Task Migration for Fault-Tolerant FlexRay Networks

 Kay Klobedanz , Gilles B. Defo , Henning Zabel , Wolfgang Mueller , Yuan Zhi
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.55-65, ⟨10.1007/978-3-642-15234-4_7⟩
Conference papers hal-01054486v1
Image document

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

 Markus Becker , Henning Zabel , Wolfgang Mueller
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.145-156, ⟨10.1007/978-3-642-15234-4_15⟩
Conference papers hal-01054479v1
Image document

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems

 Wolfgang Mueller , Alexander Bol , Alexander Krupp , Ola Lundkvist
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.78-89, ⟨10.1007/978-3-642-15234-4_9⟩
Conference papers hal-01054484v1
Page :