Searching for authors named "Mirko Conrad" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

M.: Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems. Proc. Dagstuhl Seminar Nº 04371 'Perspectives of Model-based Testing', Schloß Dagstuhl (D), Sept. 2004 /CSW05
by Mirko Conrad — 2001 — Software Tests, SAE World Congress 2005, Detroit (US), April 2005 (SAE Techn. Paper #2005-01-1659) /CTE/ CTE for Embedded Systems, Razorcat Development GmbH, www.razorcat.com /ESJ+05
… Systems (CTM/ES) EXTENDED ABSTRACT Mirko Conrad DaimlerChrysler AG, Research and Technology, Berlin…
Cited by 1 (0 self) – Add To MetaCart

An Adaptive Cruise Control System - A Case Study for the Industrial Use of Formal Methods
by Mirko Conrad, Dirk Wetter — 1997
…An Adaptive Cruise Control System -- A Case Study for the Industrial Use of Formal Methods Mirko…
Cited by 5 (0 self) – Add To MetaCart

M.Conrad: Code Generator Testing in Practice
by Ingo Stürmer, Mirko Conrad — 2004 — GI Jahrestagung
…Code Generator Testing in Practice Ingo Stürmer 1 , Mirko Conrad 1 DaimlerChrysler AG Research…
Cited by 2 (0 self) – Add To MetaCart

Automatic Integration of Safety Invariants into Z Specifications (Extended Abstract)
by Reiko Heckel, Mirko Conrad, Gottfried Egger
… Heckel 1 , Mirko Conrad 2 , Gottfried Egger 2 , and Jan-Juan Hiemer 2 1 Technical University…
Add To MetaCart

Test Case Design Based on Z and the Classification-Tree Method
by H. Singh, M. Conrad, S. Sadeghipour, Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour — 1997 — First IEEE International Conference on Formal Engineering Methods
…Test Case Design Based on Z and the Classification-Tree Method Harbhajan Singh, Mirko Conrad…
Cited by 16 (2 self) – Add To MetaCart

Systematic Model-Based Testing of Embedded Automotive
by Mirko Conrad, Ines Fey, Daimlerchrysler Ag, Sadegh Sadeghipour — 2005 — Software. Electr. Notes Theor. Comput. Sci
… in Theoretical Computer Science 111 (2005) 13–26 www.elsevier.com/locate/entcs 1 ,2 Mirko Conrad, Ines Fey…
Cited by 2 (0 self) – Add To MetaCart

Evolutionary Safety Testing of Embedded Control Software by Automatically Generating
by Hartmut Pohlheim, Mirko Conrad, Arne Griep — Compact Test Data Sequences, SAE 2005 Transactions, Journal of Passenger Cars - Mechanical Systems (2005
… of the objective function each safety requirement is extensively tested. Hartmut Pohlheim, Mirko Conrad Daimler…
Cited by 1 (1 self) – Add To MetaCart

Member of the ACM
by Juergen Grossmann, Mirko Conrad, Christian Wewetzer, Wolfgang Mueller
… ,InesFey 1 , Alexander Krupp 3 , Mirko Conrad 4 , Christian Wewetzer 2 , and Wolfgang Mueller 3 1…
Add To MetaCart

Tool-Supported Test Case Design Based on Z and the Classification-Tree Method (Extended Abstract)
by H. Singh, Harbhajan Singh, Mirko Conrad, Gottfried Egger, Sadegh Sadeghipour — 1996 — Proc. of 2nd Workshop on Systems for Computer-Aided Specification, Development and Verification, Bremen
…-- Harbhajan Singh, Mirko Conrad, Gottfried Egger, and Sadegh Sadeghipour Daimler-Benz AG Research…
Cited by 4 (2 self) – Add To MetaCart

A.: Graph Transformations for Model-based Testing
by Mirko Conrad, Heiko Dörr, Ingo Stürmer, Daimlerchrysler Ag, Andy Schürr — 2002 — GI-Lecture Notes in Informatics, P-12
…Graph Transformations for Model-based Testing Mirko Conrad, Heiko Dörr, Ingo Stürmer Daimler…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB