Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Hirsch 0001
@inproceedings{DBLP:conf/hicss/Henkler023,
author = {Stefan Henkler and
Martin Hirsch},
editor = {Tung X. Bui},
title = {Contract-based Digital Twin Synthesis for Autonomous Safety Critical
Systems},
booktitle = {56th Hawaii International Conference on System Sciences, {HICSS} 2023,
Maui, Hawaii, USA, January 3-6, 2023},
pages = {6778--6787},
publisher = {ScholarSpace},
year = {2023},
url = {https://hdl.handle.net/10125/103453},
timestamp = {Thu, 16 Feb 2023 16:52:47 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Henkler023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/EckardtHHHPS13,
author = {Tobias Eckardt and
Christian Heinzemann and
Stefan Henkler and
Martin Hirsch and
Claudia Priesterjahn and
Wilhelm Sch{\"{a}}fer},
title = {Modeling and verifying dynamic communication structures based on graph
transformations},
journal = {Comput. Sci. Res. Dev.},
volume = {28},
number = {1},
pages = {3--22},
year = {2013},
url = {https://doi.org/10.1007/s00450-011-0184-y},
doi = {10.1007/S00450-011-0184-Y},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/EckardtHHHPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/GieseHH11,
author = {Holger Giese and
Stefan Henkler and
Martin Hirsch},
title = {A multi-paradigm approach supporting the modular execution of reconfigurable
hybrid systems},
journal = {Simul.},
volume = {87},
number = {9},
pages = {775--808},
year = {2011},
url = {https://doi.org/10.1177/0037549710366824},
doi = {10.1177/0037549710366824},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/GieseHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HenklerHPS10,
author = {Stefan Henkler and
Martin Hirsch and
Claudia Priesterjahn and
Wilhelm Sch{\"{a}}fer},
editor = {Gregor Engels and
Markus Luckey and
Wilhelm Sch{\"{a}}fer},
title = {Modeling and Verifying Dynamic Communication Structures based on Graph
Transformations},
booktitle = {Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26.2.2010 in Paderborn},
series = {{LNI}},
volume = {{P-159}},
pages = {153--164},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/20219},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HenklerHPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HenklerGHSAEHLSG09,
author = {Stefan Henkler and
Joel Greenyer and
Martin Hirsch and
Wilhelm Sch{\"{a}}fer and
Kahtan Alhawash and
Tobias Eckardt and
Christian Heinzemann and
Renate L{\"{o}}ffler and
Andreas Seibel and
Holger Giese},
title = {Synthesis of timed behavior from scenarios in the Fujaba Real-Time
Tool Suite},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {615--618},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070569},
doi = {10.1109/ICSE.2009.5070569},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HenklerGHSAEHLSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hirsch2008,
author = {Martin Hirsch},
title = {Modell-basierte Verifikation von vernetzten mechatronischen Systemen},
school = {University of Paderborn, Germany},
year = {2008},
url = {http://ubdok.uni-paderborn.de/servlets/DerivateServlet/Derivate-7891/DissertationMHirsch.pdf},
urn = {urn:nbn:de:hbz:466-20081103011},
isbn = {978-3-8325-2078-6},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Hirsch2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HirschHG08,
author = {Martin Hirsch and
Stefan Henkler and
Holger Giese},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard N. Taylor},
title = {Modeling collaborations with dynamic structural adaptation in mechatronic
{UML}},
booktitle = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008},
pages = {33--40},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370018.1370026},
doi = {10.1145/1370018.1370026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HirschHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/HenklerH08,
author = {Stefan Henkler and
Martin Hirsch},
editor = {Holger Giese and
Michaela Huhn and
Ulrich Nickel and
Bernhard Sch{\"{a}}tz},
title = {Tool Support for Developing Advanced Mechatronic Systems: Integrating
the Fujaba Real-Time Tool Suite with CAMeL-View},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2008-2},
pages = {78--86},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2008},
url = {http://www.ips.cs.tu-bs.de/images/mbees/MBEES08Proceedings.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/HenklerH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PriesterjahnTHHS07,
author = {Claudia Priesterjahn and
Matthias Tichy and
Stefan Henkler and
Martin Hirsch and
Wilhelm Sch{\"{a}}fer},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Fujaba4Eclipse Real-Time Tool Suite},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {309--315},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_12},
doi = {10.1007/978-3-642-16277-0\_12},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PriesterjahnTHHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GieseHH07,
author = {Holger Giese and
Stefan Henkler and
Martin Hirsch},
editor = {Rog{\'{e}}rio de Lemos and
Felicita Di Giandomenico and
Cristina Gacek and
Henry Muccini and
Marlon Vieira},
title = {Combining Formal Verification and Testing for Correct Legacy Component
Integration in Mechatronic {UML}},
booktitle = {Architecting Dependable Systems {V} [the book is a result from the
{WADS} 2007 and the Third Workshop on the Role of Software Architecture
for Testing and Analysis]},
series = {Lecture Notes in Computer Science},
volume = {5135},
pages = {248--272},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85571-2\_11},
doi = {10.1007/978-3-540-85571-2\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/icse/GieseHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BurmesterGHHTGMV07,
author = {Sven Burmester and
Holger Giese and
Stefan Henkler and
Martin Hirsch and
Matthias Tichy and
Alfonso Gambuzza and
Eckehard M{\"{u}}nch and
Henner V{\"{o}}cking},
title = {Tool Support for Developing Advanced Mechatronic Systems: Integrating
the Fujaba Real-Time Tool Suite with CAMeL-View},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {801--804},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.88},
doi = {10.1109/ICSE.2007.88},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BurmesterGHHTGMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/GehrkeHSNSN07,
author = {Matthias Gehrke and
Martin Hirsch and
Wilhelm Sch{\"{a}}fer and
Oliver Niggemann and
Dirk Stichling and
Ulrich Nickel},
editor = {Mirko Conrad and
Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Typisierung und Verifikation zeitlicher Anforderungen automotiver
Software Systeme},
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 = {73--82},
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/GehrkeHSNSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GehrkeHSNSN07,
author = {Matthias Gehrke and
Martin Hirsch and
Wilhelm Sch{\"{a}}fer and
Oliver Niggemann and
Dirk Stichling and
Ulrich Nickel},
editor = {Wolf{-}Gideon Bleek and
J{\"{o}}rg Raasch and
Heinz Z{\"{u}}llighoven},
title = {Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten
Software Systemen},
booktitle = {Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik,
27.-30.3.2007 in Hamburg},
series = {{LNI}},
volume = {{P-105}},
pages = {251--252},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22769},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GehrkeHSNSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/GehrkeNNSH06,
author = {Matthias Gehrke and
Petra Nawratil and
Oliver Niggemann and
Wilhelm Sch{\"{a}}fer and
Martin Hirsch},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Scenario-Based Verification of Automotive Software Systems},
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 = {35--42},
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/GehrkeNNSH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scesm/GieseHHK06,
author = {Holger Giese and
Stefan Henkler and
Martin Hirsch and
Florian Klein},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {Nobody's perfect: interactive synthesis from parametrized real-time
scenarios},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {67--74},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138967},
doi = {10.1145/1138953.1138967},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/scesm/GieseHHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BurmesterGHST05,
author = {Sven Burmester and
Holger Giese and
Martin Hirsch and
Daniela Schilling and
Matthias Tichy},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {The fujaba real-time tool suite: model-driven development of safety-critical,
real-time systems},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {670--671},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062601},
doi = {10.1145/1062455.1062601},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BurmesterGHST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GieseH05,
author = {Holger Giese and
Martin Hirsch},
editor = {Jean{-}Michel Bruel},
title = {Modular Verification of Safe Online-Reconfiguration for Proactive
Components in Mechatronic {UML}},
booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica,
October 2-7, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3844},
pages = {67--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11663430\_8},
doi = {10.1007/11663430\_8},
timestamp = {Wed, 23 Feb 2022 12:58:07 +0100},
biburl = {https://dblp.org/rec/conf/uml/GieseH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-11-13 23:22 CET 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:
