Guido Sandmann

发表

Keine Angst vor Autosar

Joachim Schlosser, Guido Sandmann, 2009 .

Software Tool Qualification According to ISO 26262

Mirko Conrad, Guido Sandmann, Patrick Munier, 2011 .

AUTOSAR-Compliant Development Workflows: From Architecture to Implementation - Tool Interoperability for Round-Trip Engineering and Verification and Validation

Guido Sandmann, Michael Seibt, 2012 .

Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications

Mirko Conrad, Jonathan Friedman, Guido Sandmann, 2009 .

Development of AUTOSAR Software Components within Model-Based Design

Richard Thompson, Guido Sandmann, 2008 .

A Verification and Validation Workflow for IEC 61508 Applications

Mirko Conrad, Guido Sandmann, 2009 .

Guideline for function veveloper: Don’t be frightened of Autosar

Joachim Schlosser, Guido Sandmann, 2009 .

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications

Bernhard Josko, Joachim Stroop, Guido Sandmann, 2005, FM.

No le tenga miedo a AUTOSAR

Guido Sandmann, Joachim Schlosser, 2010 .

Code Generation Verification – Assessing Numerical Equivalence between Simulink Models and Generated Code

Mirko Conrad, Tom Erkkinen, Guido Sandmann, 2010 .