Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Henkler
@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}
}
@inproceedings{DBLP:conf/indin/BeckBDHRR23,
author = {Christopher Beck and
Luca Brodo and
Camila Belen Quintanilla Docmac and
Stefan Henkler and
Achim Rettberg and
Kristian Rother},
title = {Introducing a group-based remote laboratory for embedded education},
booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN}
2023, Lemgo, Germany, July 18-20, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INDIN51400.2023.10218010},
doi = {10.1109/INDIN51400.2023.10218010},
timestamp = {Tue, 29 Aug 2023 20:54:30 +0200},
biburl = {https://dblp.org/rec/conf/indin/BeckBDHRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/OluwayemiRH23,
author = {Aluko Tunde Oluwayemi and
Kristian Rother and
Stefan Henkler},
title = {A Prototype for Lab-Based System Testing of Cyber Physical Systems
for Smart Farming},
booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN}
2023, Lemgo, Germany, July 18-20, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INDIN51400.2023.10218112},
doi = {10.1109/INDIN51400.2023.10218112},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/OluwayemiRH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iess/2019,
editor = {Marco A. Wehrmeister and
M{\'{a}}rcio Eduardo Kreutz and
Marcelo G{\"{o}}tz and
Stefan Henkler and
Andy D. Pimentel and
Achim Rettberg},
title = {Analysis, Estimations, and Applications of Embedded Systems - 6th
{IFIP} {TC} 10 International Embedded Systems Symposium, {IESS} 2019,
Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {576},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26500-6},
doi = {10.1007/978-3-031-26500-6},
isbn = {978-3-031-26499-3},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iess/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iess/2022,
editor = {Stefan Henkler and
M{\'{a}}rcio Eduardo Kreutz and
Marco A. Wehrmeister and
Marcelo G{\"{o}}tz and
Achim Rettberg},
title = {Designing Modern Embedded Systems: Software, Hardware, and Applications
- 7th {IFIP} {TC} 10 International Embedded Systems Symposium, {IESS}
2022, Lippstadt, Germany, November 3-4, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {669},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34214-1},
doi = {10.1007/978-3-031-34214-1},
isbn = {978-3-031-34213-4},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/BrodoHR22,
author = {Luca Brodo and
Stefan Henkler and
Kristian Rother},
editor = {Stefan Henkler and
M{\'{a}}rcio Eduardo Kreutz and
Marco A. Wehrmeister and
Marcelo G{\"{o}}tz and
Achim Rettberg},
title = {Analysing the Characteristics of Neural Networks for the Recognition
of Sugar Beets},
booktitle = {Designing Modern Embedded Systems: Software, Hardware, and Applications
- 7th {IFIP} {TC} 10 International Embedded Systems Symposium, {IESS}
2022, Lippstadt, Germany, November 3-4, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {669},
pages = {115--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-34214-1\_10},
doi = {10.1007/978-3-031-34214-1\_10},
timestamp = {Tue, 13 Jun 2023 16:03:31 +0200},
biburl = {https://dblp.org/rec/conf/iess/BrodoHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/AlaoRH22,
author = {Olaniyi Bayonle Alao and
Kristian Rother and
Stefan Henkler},
editor = {Stefan Henkler and
M{\'{a}}rcio Eduardo Kreutz and
Marco A. Wehrmeister and
Marcelo G{\"{o}}tz and
Achim Rettberg},
title = {Synthetic Data for Machine Learning on Embedded Systems in Precision
Agriculture},
booktitle = {Designing Modern Embedded Systems: Software, Hardware, and Applications
- 7th {IFIP} {TC} 10 International Embedded Systems Symposium, {IESS}
2022, Lippstadt, Germany, November 3-4, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {669},
pages = {127--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-34214-1\_11},
doi = {10.1007/978-3-031-34214-1\_11},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/AlaoRH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/BohmHHVW16,
author = {Wolfgang B{\"{o}}hm and
Stefan Henkler and
Frank Houdek and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
title = {{SPES} {XT} Systems Engineering Extensions},
booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
the {SPES} 2020 Methodology},
pages = {59--71},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48003-9\_5},
doi = {10.1007/978-3-319-48003-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/16/BohmHHVW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/AlbersGHSTTW16,
author = {Karsten Albers and
{\"{O}}mer G{\"{u}}rsoy and
Stefan Henkler and
Michael Schulze and
Bastian Tenbergen and
Axel Terfloth and
Raphael Weber},
editor = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
title = {The {SPES} {XT} Tool Platform},
booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
the {SPES} 2020 Methodology},
pages = {251--262},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48003-9\_14},
doi = {10.1007/978-3-319-48003-9\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/16/AlbersGHSTTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Bender0HHVW15,
author = {Ottmar Bender and
Wolfgang B{\"{o}}hm and
Frank Houdek and
Stefan Henkler and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {F{\"{u}}nfterWorkshop zur Zukunft der Entwicklung softwareintensiver
eingebetteter Systeme {(ENVISION2020)}},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {271--272},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2567},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Bender0HHVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/GezginSHR14,
author = {Tayfun Gezgin and
Ingo Stierand and
Stefan Henkler and
Achim Rettberg},
title = {State-based scheduling analysis for distributed real-time systems
- Coping with the large state space by a compositional approach},
journal = {Des. Autom. Embed. Syst.},
volume = {18},
number = {1-2},
pages = {1--18},
year = {2014},
url = {https://doi.org/10.1007/s10617-013-9112-7},
doi = {10.1007/S10617-013-9112-7},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/GezginSHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cser/BohmHHVW14,
author = {Wolfgang B{\"{o}}hm and
Stefan Henkler and
Frank Houdek and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Azad M. Madni and
Barry W. Boehm},
title = {Bridging the Gap between Systems and Software Engineering by Using
the {SPES} Modeling Framework as a General Systems Engineering Philosophy},
booktitle = {Proceedings of the Conference on Systems Engineering Research, {CSER}
2014, Redondo Beach, CA, USA, March 20-22, 2014},
series = {Procedia Computer Science},
volume = {28},
pages = {187--194},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.03.024},
doi = {10.1016/J.PROCS.2014.03.024},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cser/BohmHHVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/GezginHSR14,
author = {Tayfun Gezgin and
Stefan Henkler and
Ingo Stierand and
Achim Rettberg},
title = {Evaluation of a state-based real-time scheduling analysis technique},
booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
pages = {158--163},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/INDIN.2014.6945501},
doi = {10.1109/INDIN.2014.6945501},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/GezginHSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/StierandMFSH14,
author = {Ingo Stierand and
Sunil Malipatlolla and
Sibylle B. Fr{\"{o}}schle and
Alexander St{\"{u}}hring and
Stefan Henkler},
title = {Integrating the Security Aspect into Design Space Exploration of Embedded
Systems},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {371--376},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.29},
doi = {10.1109/ISSREW.2014.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/StierandMFSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GezginHSR14,
author = {Tayfun Gezgin and
Stefan Henkler and
Ingo Stierand and
Achim Rettberg},
title = {Impact analysis for timing requirements on real-time systems},
booktitle = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
Computing Systems and Applications, Chongqing, China, August 20-22,
2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTCSA.2014.6910519},
doi = {10.1109/RTCSA.2014.6910519},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GezginHSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ReinkemeierHH14,
author = {Philipp Reinkemeier and
Heinz Hille and
Stefan Henkler},
editor = {Klaus Schmid and
Wolfgang B{\"{o}}hm and
Robert Heinrich and
Andrea Herrmann and
Anne Hoffmann and
Dieter Landes and
Marco Konersmann and
Thomas Ruhroth and
Oliver Sander and
Volker Stolz and
Baltasar Tranc{\'{o}}n y Widemann and
R{\"{u}}diger Wei{\ss}bach},
title = {Towards Creating Flexible Tool Chains for the Design and Analysis
of Multi-Core Systems},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2014, 25.-26. Februar 2014 in Kiel, Deutschland},
series = {{CEUR} Workshop Proceedings},
volume = {1129},
pages = {99--108},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1129/paper37.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/ReinkemeierHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BenderBHSVW14,
author = {Ottmar Bender and
Wolfgang B{\"{o}}hm and
Stefan Henkler and
Oliver Sander and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter
Systeme {(ENVISON2020)}},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {213--214},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/31010},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BenderBHSVW14.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}
}
@inproceedings{DBLP:conf/iess/GezginHRS13,
author = {Tayfun Gezgin and
Stefan Henkler and
Achim Rettberg and
Ingo Stierand},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Contract-Based Compositional Scheduling Analysis for Evolving Systems},
booktitle = {Embedded Systems: Design, Analysis and Verification - 4th {IFIP} {TC}
10 International Embedded Systems Symposium, {IESS} 2013, Paderborn,
Germany, June 17-19, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {403},
pages = {272--282},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_25},
doi = {10.1007/978-3-642-38853-8\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/GezginHRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EtzienGFHR13,
author = {Christoph Etzien and
Tayfun Gezgin and
Sibylle B. Fr{\"{o}}schle and
Stefan Henkler and
Achim Rettberg},
title = {Contracts for evolving systems},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISORC.2013.6913235},
doi = {10.1109/ISORC.2013.6913235},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/EtzienGFHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BrennerHSH13,
author = {Christian Brenner and
Christian Heinzemann and
Wilhelm Sch{\"{a}}fer and
Stefan Henkler},
editor = {Stefan Kowalewski and
Bernhard Rumpe},
title = {Automata-Based Refinement Checking for Real-Time Systems},
booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
pages = {99--112},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17733},
timestamp = {Thu, 15 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/BrennerHSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BukerHST13,
author = {Matthias B{\"{u}}ker and
Stefan Henkler and
Stefanie Schlegel and
Eike Thaden},
editor = {Stefan Wagner and
Horst Lichter},
title = {A Design Space Exploration Framework for Model-Based Software-Intensive
Embedded System Development},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {245--249},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17374},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BukerHST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BenderBHSVW13,
author = {Ottmar Bender and
Wolfgang B{\"{o}}hm and
Stefan Henkler and
Dietmar Sander and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Stefan Kowalewski and
Bernhard Rumpe},
title = {3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter
Systeme {(ENVISON2020)}},
booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
pages = {361--362},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17717},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BenderBHSVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Henkler12,
author = {Stefan Henkler},
title = {Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz
f{\"{u}}r vernetzte, mechatronische Systeme},
school = {University of Paderborn},
year = {2012},
url = {https://nbn-resolving.org/urn:nbn:de:hbz:466:2-9060},
urn = {urn:nbn:de:hbz:466:2-9060},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Henkler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GezginEHR12,
author = {Tayfun Gezgin and
Christoph Etzien and
Stefan Henkler and
Achim Rettberg},
title = {Towards a Rigorous Modeling Formalism for Systems of Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {204--211},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.42},
doi = {10.1109/ISORCW.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/GezginEHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/HenklerE12,
author = {Stefan Henkler and
Tobias Eckardt},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Component Behavior Synthesis for Critical Systems},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {113--122},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/HenklerE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/GezginHRS12,
author = {Tayfun Gezgin and
Stefan Henkler and
Achim Rettberg and
Ingo Stierand},
title = {Abstraction Techniques for Compositional State-Based Scheduling Analysis},
booktitle = {2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil,
November 5-7, 2012},
pages = {166--171},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SBESC.2012.40},
doi = {10.1109/SBESC.2012.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/GezginHRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/BroyDHPVW12,
author = {Manfred Broy and
Werner Damm and
Stefan Henkler and
Klaus Pohl and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Introduction to the {SPES} Modeling Framework},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {31--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_3},
doi = {10.1007/978-3-642-34614-9\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/BroyDHPVW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/WeberRHS12,
author = {Raphael Weber and
Philipp Reinkemeier and
Stefan Henkler and
Ingo Stierand},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Technical Viewpoint},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {95--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_7},
doi = {10.1007/978-3-642-34614-9\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/WeberRHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/HenklerOGS11,
author = {Stefan Henkler and
Simon Oberth{\"{u}}r and
Holger Giese and
Andreas Seibel},
title = {Model-driven runtime resource predictions for advanced mechatronic
systems with dynamic data structures},
journal = {Comput. Syst. Sci. Eng.},
volume = {26},
number = {6},
year = {2011},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/HenklerOGS11.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/cbse/HeinzemannH11,
author = {Christian Heinzemann and
Stefan Henkler},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Antonia Bertolino and
Kendra M. L. Cooper},
title = {Reusing dynamic communication protocols in self-adaptive embedded
component architectures},
booktitle = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component
Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated
Events on Component-Based Software Engineering and Software Architecture,
Boulder, CO, USA, June 20-24, 2011},
pages = {109--118},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000229.2000246},
doi = {10.1145/2000229.2000246},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/HeinzemannH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ReinkemeierSRH11,
author = {Philipp Reinkemeier and
Ingo Stierand and
Philip Rehkop and
Stefan Henkler},
editor = {Ralf H. Reussner and
Alexander Pretschner and
Stefan J{\"{a}}hnichen},
title = {A pattern-based requirement specification language: Mapping automotive
specific timing requirements},
booktitle = {Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe},
series = {{LNI}},
volume = {{P-184}},
pages = {99--108},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/19877},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ReinkemeierSRH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HenklerMSDN10,
author = {Stefan Henkler and
Jan Meyer and
Wilhelm Sch{\"{a}}fer and
Markus von Detten and
Ulrich Nickel},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Legacy component integration by the Fujaba real-time tool suite},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {267--270},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810349},
doi = {10.1145/1810295.1810349},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HenklerMSDN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/EckardtH10,
author = {Tobias Eckardt and
Stefan Henkler},
editor = {Holger Giese},
title = {Component Behavior Synthesis for Critical Systems\({}^{\mbox{, }}\)},
booktitle = {Architecting Critical Systems, First International Symposium, {ISARCS}
2010, Prague, Czech Republic, June 23-25, 2010, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6150},
pages = {52--71},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13556-9\_4},
doi = {10.1007/978-3-642-13556-9\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/isarcs/EckardtH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HenklerOGS10,
author = {Stefan Henkler and
Simon Oberth{\"{u}}r and
Holger Giese and
Andreas Seibel},
title = {Model-Driven Runtime Resource Predictions for Advanced Mechatronic
Systems with Dynamic Data Structures},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {58--65},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.17},
doi = {10.1109/ISORC.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HenklerOGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/HenklerMSN10,
author = {Stefan Henkler and
Jan Meyer and
Wilhelm Sch{\"{a}}fer and
Ulrich Nickel},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Reverse Engineering vernetzter automotiver Softwaresysteme},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {77--86},
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/HenklerMSN10.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}
}
@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/icse/TichyHMD08,
author = {Matthias Tichy and
Stefan Henkler and
Matthias Meyer and
Markus von Detten},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Safety of component-based systems: analysis and improvement using
Fujaba4Eclipse},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {973--974},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370214},
doi = {10.1145/1370175.1370214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TichyHMD08.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/seuh/AxenathH07,
author = {Bj{\"{o}}rn Axenath and
Stefan Henkler},
editor = {Andreas Zeller and
Marcus Deininger},
title = {Ein verbessertes Softwaretechnikpraktikum: zwischen gr{\"{u}}ner
Wiese und Legacy-Systemen},
booktitle = {Software Engineering im Unterricht der Hochschulen, {SEUH} 10, Stuttgart,
Germany, 22. und 23. Februar 2007},
pages = {13--26},
publisher = {dpunkt},
year = {2007},
timestamp = {Thu, 22 Feb 2007 10:56:35 +0100},
biburl = {https://dblp.org/rec/conf/seuh/AxenathH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/GieseH06,
author = {Holger Giese and
Stefan Henkler},
title = {A survey of approaches for the visual model-driven development of
next generation software-intensive systems},
journal = {J. Vis. Lang. Comput.},
volume = {17},
number = {6},
pages = {528--550},
year = {2006},
url = {https://doi.org/10.1016/j.jvlc.2006.10.002},
doi = {10.1016/J.JVLC.2006.10.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/GieseH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GieseH06,
author = {Holger Giese and
Stefan Henkler},
editor = {Robert M. Hierons and
Henry Muccini},
title = {Architecture-driven platform independent deterministic replay for
distributed hard real-time systems},
booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture
for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT}
International Symposium on Software Testing and Analysis {(ISSTA}
2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006},
pages = {28--38},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147253},
doi = {10.1145/1147249.1147253},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GieseH06.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}
}
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 2024-04-21 17:33 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:
