default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mirko Conrad
@article{DBLP:journals/corr/abs-2407-21569,
author = {Mirko Conrad and
Georg Schildbach},
title = {Analysis of Functional Insufficiencies and Triggering Conditions to
Improve the {SOTIF} of an MPC-based Trajectory Planner},
journal = {CoRR},
volume = {abs/2407.21569},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.21569},
doi = {10.48550/ARXIV.2407.21569},
eprinttype = {arXiv},
eprint = {2407.21569},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-21569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dud/JassA0WWCFS23,
author = {Philipp Jass and
Hamzih Abukhashab and
Carsten Thomas and
Peter Woltersdorf and
Michael Weber and
Mirko Conrad and
Ines Fey and
Harald Sch{\"{u}}lzke},
title = {CertML: Initial Steps Towards Using N-Version Neural Networks for
Improving {AI} Safety},
journal = {Datenschutz und Datensicherheit},
volume = {47},
number = {8},
pages = {483--486},
year = {2023},
url = {https://doi.org/10.1007/s11623-023-1803-z},
doi = {10.1007/S11623-023-1803-Z},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dud/JassA0WWCFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/Mirzaei0C20,
author = {Elham Mirzaei and
Carsten Thomas and
Mirko Conrad},
editor = {Simona Bernardi and
Valeria Vittorini and
Francesco Flammini and
Roberto Nardone and
Stefano Marrone and
Rasmus Adler and
Daniel Schneider and
Philipp Schlei{\ss} and
Nicola Nostro and
Rasmus L{\o}venstein Olsen and
Amleto Di Salle and
Paolo Masci},
title = {Safety Cases for Adaptive Systems of Systems: State of the Art and
Current Challenges},
booktitle = {Dependable Computing - {EDCC} 2020 Workshops - AI4RAILS, DREAMS, DSOGRI,
{SERENE} 2020, Munich, Germany, September 7, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1279},
pages = {127--138},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58462-7\_11},
doi = {10.1007/978-3-030-58462-7\_11},
timestamp = {Tue, 01 Jun 2021 08:33:42 +0200},
biburl = {https://dblp.org/rec/conf/edcc/Mirzaei0C20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BlankenbachBCHL19,
author = {Karlheinz Blankenbach and
Jan Bauer and
Mirko Conrad and
Andreas Hudak and
Frank Langner and
Matth{\"{a}}us Vogelmann and
Chihao Xu},
editor = {Stephan Krusche and
Kurt Schneider and
Marco Kuhrmann and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Eric Schmieders and
Steffen Helke and
Ina Schaefer and
Andreas Vogelsang and
Bj{\"{o}}rn Annigh{\"{o}}fer and
Andreas Schweiger and
Marina Reich and
Andr{\'{e}} van Hoorn},
title = {Neue Ans{\"{a}}tze und Methoden f{\"{u}}r die Fehlermodellierung
und -behandlung bei automobilen Videodaten{\"{u}}bertragungenstrecken
(Novel Approaches and Techniques for Fault Modeling and Fault Handling
in Automotive Video Links)},
booktitle = {Proceedings of the Workshops of the Software Engineering Conference
2019, Stuttgart, Germany, February 19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2308},
pages = {30--36},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2308/ase2019paper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/BlankenbachBCHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Conrad20,
author = {Mirko Conrad},
editor = {Ursula Goltz and
Marcus A. Magnor and
Hans{-}J{\"{u}}rgen Appelrath and
Herbert K. Matthies and
Wolf{-}Tilo Balke and
Lars C. Wolf},
title = {Artifact-Centric Compliance Demonstration for {ISO} 26262 Projects
Using Model-Based Design},
booktitle = {57. Jahrestagung der Deutschen Gesellschaft f{\"{u}}r Medizinische
Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Was bewegt uns in der/die Zukunft? - Neue
Lebenswelten in der Informationsgesellschaft, {GMDS/INFORMATIK} 2012,
Braunschweig, Germany, September 16-21, 2012},
series = {{LNI}},
volume = {{P-208}},
pages = {807--816},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/17880},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Conrad20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/ConradEELNPSSY12,
author = {Mirko Conrad and
Tom Erkkinen and
Matt Englehart and
Xiaocang Lin and
Appa Rao Nirakh and
Bill Potter and
Jaya Shankar and
Pete Szpak and
Jun Yan},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Automating Code Reviews with Simulink Code Inspector},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {31--36},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/ConradEELNPSSY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/ConradF11,
author = {Mirko Conrad and
Ines Fey},
title = {{ISO} 26262 - Exemplary Tool Classification of Model-Based Design
Tools},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {3},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31\_3/01\_Fachgruppenberichte/ada/5-CF11-11\_20110803.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/ConradF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Conrad11,
author = {Mirko Conrad},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Testing-Based Translation Validation of Generated Code},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-21},
doi = {10.1201/B11321-21},
timestamp = {Tue, 20 Aug 2019 14:31:32 +0200},
biburl = {https://dblp.org/rec/books/tf/11/Conrad11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/ConradMR10,
author = {Mirko Conrad and
Patrick Munier and
Frank Rauch},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Qualifying Software Tools According to {ISO} 26262},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {117--128},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2010},
url = {http://www.tu-braunschweig.de/Medien-DB/sse/mbees2010\_tagungsband.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/ConradMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Conrad09,
author = {Mirko Conrad},
title = {Testing-based translation validation of generated code in the context
of {IEC} 61508},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {3},
pages = {389--401},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0082-0},
doi = {10.1007/S10703-009-0082-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Conrad09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/FeyC09,
author = {Ines Fey and
Mirko Conrad},
editor = {Holger Giese and
Michaela Huhn and
Ulrich Nickel and
Bernhard Sch{\"{a}}tz},
title = {Demonstrating {IEC} 61508 Compliance in Model-Based Design},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2009-01},
pages = {171--181},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2009},
url = {http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009\_Proceedings\_online\_small.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/FeyC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Conrad08,
author = {Mirko Conrad},
editor = {Walid Maalej and
Bernd Br{\"{u}}gge},
title = {Model-Based Design for {IEC} 61508: Towards Translation Validation
of Generated Code},
booktitle = {Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-122}},
pages = {113--117},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/31512},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Conrad08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SturmerCDP07,
author = {Ingo St{\"{u}}rmer and
Mirko Conrad and
Heiko D{\"{o}}rr and
Peter Pepper},
title = {Systematic Testing of Model-Based Code Generators},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {9},
pages = {622--634},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.70708},
doi = {10.1109/TSE.2007.70708},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SturmerCDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/Conrad07,
author = {Mirko Conrad},
editor = {Mirko Conrad and
Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical
Automotive Applications},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2007-1},
pages = {41--50},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2007},
url = {http://www.sse-tubs.de/publications/CGRS\_MBEES\_InfoBericht\_07.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/Conrad07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbees/2007,
editor = {Mirko Conrad and
Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2007-1},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2007},
url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES07Proceedings.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbees/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/GrossmannFKCWM06,
author = {Juergen Grossmann and
Ines Fey and
Alexander Krupp and
Mirko Conrad and
Christian Wewetzer and
Wolfgang M{\"{u}}ller},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {TestML - {A} Test Exchange Language for Model-Based Testing of Embedded
Software},
booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
pages = {98--117},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70930-5\_7},
doi = {10.1007/978-3-540-70930-5\_7},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/GrossmannFKCWM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ConradD06,
author = {Mirko Conrad and
Heiko D{\"{o}}rr},
editor = {Georges G. E. Gielen},
title = {Model-based development of in-vehicle software},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {89--90},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.243989},
doi = {10.1109/DATE.2006.243989},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ConradD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZelenovSPCF06,
author = {Sergey V. Zelenov and
Denis V. Silakov and
Alexander K. Petrenko and
Mirko Conrad and
Ines Fey},
title = {Automatic Test Generation for Model-Based Code Generators},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {75--81},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.70},
doi = {10.1109/ISOLA.2006.70},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ZelenovSPCF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/ConradD06,
author = {Mirko Conrad and
Heiko D{\"{o}}rr},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten
Anwendungen: Herausforderungen und L{\"{o}}sungsans{\"{a}}tze},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2006-1},
pages = {6--18},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2006},
url = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:38 +0100},
biburl = {https://dblp.org/rec/conf/mbees/ConradD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/ConradD06,
author = {Mirko Conrad and
Heiko D{\"{o}}rr},
editor = {Heinrich C. Mayr and
Ruth Breu},
title = {Deployment of Model-based Software Development in Safety-related Applications:
Challenges and Solutions Scenarios},
booktitle = {Modellierung 2006, 22.-24. M{\"{a}}rz 2006, Innsbruck, Tirol,
Austria, Proceedings},
series = {{LNI}},
volume = {{P-82}},
pages = {245--254},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24232},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/ConradD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ConradK06,
author = {Mirko Conrad and
Alexander Krupp},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {An Extension of the Classification-Tree Method for Embedded Systems
for the Description of Events},
booktitle = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006,
Vienna, Austria, March 25-26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {4},
pages = {3--11},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.002},
doi = {10.1016/J.ENTCS.2006.09.002},
timestamp = {Fri, 20 Jan 2023 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ConradK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/SturmerC05,
author = {Ingo St{\"{u}}rmer and
Mirko Conrad},
title = {Ein Testverfahren f{\"{u}}r optimierende Codegeneratoren},
journal = {Inform. Forsch. Entwickl.},
volume = {19},
number = {4},
pages = {213--223},
year = {2005},
url = {https://doi.org/10.1007/s00450-005-0189-5},
doi = {10.1007/S00450-005-0189-5},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/SturmerC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/ConradFGK05,
author = {Mirko Conrad and
Ines Fey and
Matthias Grochtmann and
Torsten Klein},
title = {Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler},
journal = {Inform. Forsch. Entwickl.},
volume = {20},
number = {1-2},
pages = {3--10},
year = {2005},
url = {https://doi.org/10.1007/s00450-005-0197-5},
doi = {10.1007/S00450-005-0197-5},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/ConradFGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SturmerWC05,
author = {Ingo St{\"{u}}rmer and
Daniela Weinberg and
Mirko Conrad},
title = {Overview of existing safeguarding techniques for automatically generated
code},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--6},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083192},
doi = {10.1145/1082983.1083192},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SturmerWC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/ConradDFB05,
author = {Mirko Conrad and
Heiko D{\"{o}}rr and
Ines Fey and
Kerstin Buhr},
editor = {Torsten Klein and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Eine Integrierte Methodik f{\"{u}}r die Modell-basierte Entwicklung
von Steuerger{\"{a}}te-Software},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2005-1},
pages = {63--72},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2005},
url = {http://www.sse-tubs.de/publications/KRS\_MBEES\_InfoBericht\_05.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:36 +0100},
biburl = {https://dblp.org/rec/conf/mbees/ConradDFB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018492,
author = {Mirko Conrad},
title = {Modell-basierter Test eingebetteter Software im Automobil - Auswahl
und Beschreibung von Testzenarien},
publisher = {Deutscher Universit{\"{a}}tsverlag},
year = {2004},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0018492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Conrad2004,
author = {Mirko Conrad},
title = {Modell-basierter Test eingebetteter Software im Automobil: Auswahl
und Beschreibung von Testszenarien},
school = {Berlin Institute of Technology},
year = {2004},
url = {https://d-nb.info/972616810},
isbn = {3-8244-2188-7},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Conrad2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SturmerC04,
author = {Ingo St{\"{u}}rmer and
Mirko Conrad},
editor = {Peter Dadam and
Manfred Reichert},
title = {Code Generator Testing in Practice},
booktitle = {34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
verbindet, {INFORMATIK} 2004, Ulm, Germany, September 20-24, 2004,
Band 2},
series = {{LNI}},
volume = {{P-51}},
pages = {33--37},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/28805},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SturmerC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Conrad04,
author = {Mirko Conrad},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Formal Techniques for Analysing and Testing Automotive Control Software
developed in a Model-based Way},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {188--188},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/Conrad04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/KleinCFG04,
author = {Torsten Klein and
Mirko Conrad and
Ines Fey and
Matthias Grochtmann},
editor = {Bernhard Rumpe and
Wolfgang Hesse},
title = {Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler},
booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
2004, Marburg, Proceedings},
series = {{LNI}},
volume = {{P-45}},
pages = {31--41},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/29235},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/KleinCFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ConradFS05,
author = {Mirko Conrad and
Ines Fey and
Sadegh Sadeghipour},
editor = {Yuri Gurevich and
Alexander K. Petrenko},
title = {Systematic Model-Based Testing of Embedded Automotive Software},
booktitle = {Proceedings of the Workshop on Model Based Testing, {MBT} 2004, Barcelona,
Spain, March 27-28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {111},
pages = {13--26},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.005},
doi = {10.1016/J.ENTCS.2004.12.005},
timestamp = {Fri, 09 Dec 2022 12:57:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ConradFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Conrad04,
author = {Mirko Conrad},
editor = {Ed Brinksma and
Wolfgang Grieskamp and
Jan Tretmans},
title = {Systematic Testing of Embedded Automotive Software - The Classification-Tree
Method for Embedded Systems {(CTM/ES)}},
booktitle = {Perspectives of Model-Based Testing, 5.-10. September 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04371},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/325},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Conrad04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SturmerC03,
author = {Ingo St{\"{u}}rmer and
Mirko Conrad},
title = {Test Suite Design for Code Generation Tools},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {286--290},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240322},
doi = {10.1109/ASE.2003.1240322},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SturmerC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/ConradS02,
author = {Mirko Conrad and
Sadegh Sadeghipour},
title = {Einsatz von {\"{U}}berdeckungskriterien auf Modellebene - Erfahrungsbericht
und experimentelle Ergebnisse},
journal = {Softwaretechnik-Trends},
volume = {22},
number = {2},
year = {2002},
url = {http://pi.informatik.uni-siegen.de/stt/22\_2/03\_Technische\_Beitraege/conrad.ps},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/ConradS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/ConradDSS02,
author = {Mirko Conrad and
Heiko D{\"{o}}rr and
Ingo St{\"{u}}rmer and
Andy Sch{\"{u}}rr},
editor = {Martin Glinz and
G{\"{u}}nther M{\"{u}}ller{-}Luschnat},
title = {Graph Transformations for Model-based Testing},
booktitle = {Modellierung 2002, Modellierung in der Praxis - Modellierung f{\"{u}}r
die Praxis, Arbeitstagung der GI, 25.-27. M{\"{a}}rz 2002 in
Tutzing, Deutschland, Proceedings},
series = {{LNI}},
volume = {{P-12}},
pages = {39--50},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30663},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/ConradDSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ConradH98,
author = {Mirko Conrad and
Dieter H{\"{o}}tzer},
title = {Selective Integration of Formal Methods in the Development of Electronic
Control Units},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {144--157},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730578},
doi = {10.1109/ICFEM.1998.730578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ConradH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SinghCS97,
author = {Harbhajan Singh and
Mirko Conrad and
Sadegh Sadeghipour},
title = {Test Case Design Based on {Z} and the Classification-Tree Method},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630406},
doi = {10.1109/ICFEM.1997.630406},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/SinghCS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-22 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
