default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ingo Stierand
@article{DBLP:journals/isse/KrogerKSF24,
author = {Janis Kr{\"{o}}ger and
Bj{\"{o}}rn Koopmann and
Ingo Stierand and
Martin Fr{\"{a}}nzle},
title = {Contract-based specification of mode-dependent timing behavior},
journal = {Innov. Syst. Softw. Eng.},
volume = {20},
number = {1},
pages = {31--47},
year = {2024},
url = {https://doi.org/10.1007/s11334-023-00531-4},
doi = {10.1007/S11334-023-00531-4},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/KrogerKSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/HoppeHSHB24,
author = {Imke Hoppe and
Willem Hagemann and
Ingo Stierand and
Axel Hahn and
Andr{\'{e}} Bolles},
title = {Challenges for trustworthy autonomous vehicles: Let us learn from
life},
journal = {Syst. Eng.},
volume = {27},
number = {4},
pages = {789--800},
year = {2024},
url = {https://doi.org/10.1002/sys.21744},
doi = {10.1002/SYS.21744},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/se/HoppeHSHB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SteghoferKBSZBS21,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Bj{\"{o}}rn Koopmann and
Jan Steffen Becker and
Ingo Stierand and
Marc Zeller and
Maria Bonner and
David Schmelter and
Salome Maro},
title = {The MobSTr Dataset - An Exemplar for Traceability and Model-based
Safety Assessment},
booktitle = {29th {IEEE} International Requirements Engineering Conference, {RE}
2021, Notre Dame, IN, USA, September 20-24, 2021},
pages = {444--445},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RE51729.2021.00062},
doi = {10.1109/RE51729.2021.00062},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/SteghoferKBSZBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KrogerKSTF21,
author = {Janis Kr{\"{o}}ger and
Bj{\"{o}}rn Koopmann and
Ingo Stierand and
Nadra Tabassam and
Martin Fr{\"{a}}nzle},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Handling of Operating Modes in Contract-Based Timing Specifications},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {59--74},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_5},
doi = {10.1007/978-3-030-98850-0\_5},
timestamp = {Wed, 14 Aug 2024 17:47:05 +0200},
biburl = {https://dblp.org/rec/conf/vecos/KrogerKSTF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/Bohm0DHKRSSVVVW021,
author = {Birthe B{\"{o}}hm and
Wolfgang B{\"{o}}hm and
Marian Daun and
Alexander Hayward and
Sieglinde Kranz and
Nikolaus Regnat and
Sebastian Schr{\"{o}}ck and
Ingo Stierand and
Andreas Vogelsang and
Jan Vollmar and
Sebastian Voss and
Thorsten Weyer and
Andreas Wortmann},
editor = {Wolfgang B{\"{o}}hm and
Manfred Broy and
Cornel Klein and
Klaus Pohl and
Bernhard Rumpe and
Sebastian Schr{\"{o}}ck},
title = {Engineering of Collaborative Embedded Systems},
booktitle = {Model-Based Engineering of Collaborative Embedded Systems},
pages = {15--48},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-62136-0\_2},
doi = {10.1007/978-3-030-62136-0\_2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/21/Bohm0DHKRSSVVVW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/GandorJKSSTTWW21,
author = {Malin Gandor and
Nicolas J{\"{a}}ckel and
Lorenz K{\"{a}}ser and
Alexander Schlie and
Ingo Stierand and
Axel Terfloth and
Steffen Toborg and
Louis Wachtmeister and
Anna Wi{\ss}dorf},
editor = {Wolfgang B{\"{o}}hm and
Manfred Broy and
Cornel Klein and
Klaus Pohl and
Bernhard Rumpe and
Sebastian Schr{\"{o}}ck},
title = {Architectures for Dynamically Coupled Systems},
booktitle = {Model-Based Engineering of Collaborative Embedded Systems},
pages = {95--124},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-62136-0\_5},
doi = {10.1007/978-3-030-62136-0\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/21/GandorJKSSTTWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/ObeBDFMNNRSSSZ21,
author = {Patricia Aluko Obe and
Jennifer Brings and
Marian Daun and
Linda Feeken and
Elham Mirzaei and
Martin Neumann and
Jochen Nickles and
Simon R{\"{o}}sel and
Markus Sauer and
Holger Schlingloff and
Ingo Stierand and
Jan Stefan Zernickel},
editor = {Wolfgang B{\"{o}}hm and
Manfred Broy and
Cornel Klein and
Klaus Pohl and
Bernhard Rumpe and
Sebastian Schr{\"{o}}ck},
title = {Goal-Based Strategy Exploration},
booktitle = {Model-Based Engineering of Collaborative Embedded Systems},
pages = {197--216},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-62136-0\_9},
doi = {10.1007/978-3-030-62136-0\_9},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/ObeBDFMNNRSSSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/DammEGIKPS19,
author = {Werner Damm and
G{\"{u}}nter Ehmen and
Kim Gr{\"{u}}ttner and
Philipp Ittershagen and
Bj{\"{o}}rn Koopmann and
Frank Poppen and
Ingo Stierand},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Janos Sztipanovits and
Qi Zhu},
title = {Multi-layer time coherency in the development of {ADAS/AD} systems:
design approach and tooling},
booktitle = {Proceedings of the Workshop on Design Automation for {CPS} and IoT,
DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
pages = {20--30},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313151.3313167},
doi = {10.1145/3313151.3313167},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/DammEGIKPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/0002SVW18,
author = {Wolfgang B{\"{o}}hm and
Ingo Stierand and
Andreas Vogelsang and
Thorsten Weyer},
title = {4th International Workshop on Emerging Ideas and Trends in Engineering
of Cyber-Physical Systems (EITEC'18)},
booktitle = {4th International Workshop on Emerging Ideas and Trends in the Engineering
of Cyber-Physical Systems, EITEC@CPSWeek 2018, 10 April 2018, Porto,
Portugal},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EITEC.2018.00005},
doi = {10.1109/EITEC.2018.00005},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/0002SVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BauerBPSS18,
author = {Benedikt Bauer and
Jan Steffen Becker and
Thomas Peikenkamp and
Christof Schlaak and
Ingo Stierand},
editor = {Stephan Krusche and
Kurt Schneider and
Marco Kuhrmann and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Eric Schmieders and
Michael Striewe and
Sven Strickroth and
Ulrike Lucke and
Horst Lichter and
Dirk Riehle and
Andreas Steffens and
Robert H{\"{o}}ttger and
J{\"{o}}rg Te{\ss}mer and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Entwurfsabsicherung f{\"{u}}r eingebettete Mehrkernsysteme im
Kontext der {ISO} 26262 (Design Validation for Embedded Multi-core
Systems in the Context of {ISO} 26262)},
booktitle = {Combined Proceedings of the Workshops of the German Software Engineering
Conference 2018 {(SE} 2018), Ulm, Germany, March 06, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2066},
pages = {107--110},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2066/seerts2018paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/BauerBPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/0002SVW16,
author = {Wolfgang B{\"{o}}hm and
Ingo Stierand and
Andreas Vogelsang and
Thorsten Weyer},
title = {Preface},
booktitle = {3rd International Workshop on Emerging Ideas and Trends in Engineering
of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April
11, 2016},
pages = {v--vi},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EITEC.2016.7503687},
doi = {10.1109/EITEC.2016.7503687},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/0002SVW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ReinkemeierBDS15,
author = {Philipp Reinkemeier and
Albert Benveniste and
Werner Damm and
Ingo Stierand},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {Contracts for Schedulability Analysis},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {270--287},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_18},
doi = {10.1007/978-3-319-22975-1\_18},
timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
biburl = {https://dblp.org/rec/conf/formats/ReinkemeierBDS15.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/formats/StierandRB14,
author = {Ingo Stierand and
Philipp Reinkemeier and
Purandar Bhaduri},
editor = {Axel Legay and
Marius Bozga},
title = {Virtual Integration of Real-Time Systems Based on Resource Segregation
Abstraction},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8711},
pages = {206--221},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10512-3\_15},
doi = {10.1007/978-3-319-10512-3\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/StierandRB14.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/iess/ReinkemeierS13,
author = {Philipp Reinkemeier and
Ingo Stierand},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Compositional Timing Analysis of Real-Time Systems Based on Resource
Segregation Abstraction},
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 = {181--192},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_17},
doi = {10.1007/978-3-642-38853-8\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/ReinkemeierS13.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/iess/MalipatlollaS13,
author = {Sunil Malipatlolla and
Ingo Stierand},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Evaluating the Impact of Integrating a Security Module on the Real-Time
Properties of a System},
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 = {343--352},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_31},
doi = {10.1007/978-3-642-38853-8\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/MalipatlollaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/StierandRGB13,
author = {Ingo Stierand and
Philipp Reinkemeier and
Tayfun Gezgin and
Purandar Bhaduri},
title = {Real-time scheduling interfaces and contracts for the design of distributed
embedded systems},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
pages = {130--139},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601485},
doi = {10.1109/SIES.2013.6601485},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/StierandRGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sscc/StierandM13,
author = {Ingo Stierand and
Sunil Malipatlolla},
editor = {Sabu M. Thampi and
Pradeep K. Atrey and
Chun{-}I Fan and
Gregorio Mart{\'{\i}}nez P{\'{e}}rez},
title = {Exploiting Functional Models to Assess the Security Aspect in Embedded
System Design},
booktitle = {Security in Computing and Communications - International Symposium,
{SSCC} 2013, Mysore, India, August 22-24, 2013. Proceedings},
series = {Communications in Computer and Information Science},
volume = {377},
pages = {90--97},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40576-1\_10},
doi = {10.1007/978-3-642-40576-1\_10},
timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
biburl = {https://dblp.org/rec/conf/sscc/StierandM13.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/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 14:01:46 +0200},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/WeberRHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DammHJPS11,
author = {Werner Damm and
Hardi Hungar and
Bernhard Josko and
Thomas Peikenkamp and
Ingo Stierand},
title = {Using contract-based component specifications for virtual integration
testing and architecture design},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1023--1028},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763167},
doi = {10.1109/DATE.2011.5763167},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/DammHJPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BukerDES11,
author = {Matthias B{\"{u}}ker and
Werner Damm and
G{\"{u}}nter Ehmen and
Ingo Stierand},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {An Automated Semantic-Based Approach for Creating Tasks from Matlab
Simulink Models},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {149--164},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_12},
doi = {10.1007/978-3-642-24431-5\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BukerDES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/racs/ClarkST11,
author = {Brian Clark and
Ingo Stierand and
Eike Thaden},
editor = {Rex E. Gantenbein and
Tei{-}Wei Kuo},
title = {Cost-minimal pre-allocation of software tasks under real-time constraints},
booktitle = {Research in Applied Computation Symposium, {RACS} '11, Miami, FL,
USA, October 19-22, 2011},
pages = {77--83},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2103380.2103395},
doi = {10.1145/2103380.2103395},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/racs/ClarkST11.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/sies/BukerDEMST11,
author = {Matthias B{\"{u}}ker and
Werner Damm and
G{\"{u}}nter Ehmen and
Alexander Metzner and
Ingo Stierand and
Eike Thaden},
title = {Automating the design flow for distributed embedded automotive applications:
Keeping your time promises, and optimizing costs, too},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {156--165},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953658},
doi = {10.1109/SIES.2011.5953658},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/BukerDEMST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BhaduriS10,
author = {Purandar Bhaduri and
Ingo Stierand},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {A proposal for real-time interfaces in {SPEEDS}},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {441--446},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457163},
doi = {10.1109/DATE.2010.5457163},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/BhaduriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BukerGHS10,
author = {Matthias B{\"{u}}ker and
Kim Gr{\"{u}}ttner and
Philipp A. Hartmann and
Ingo Stierand},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Mapping of Concurrent Object-Oriented Models to Extended Real-Time
Task Networks},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {43--48},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 17:44:56 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BukerGHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ThadenLMS10,
author = {Eike Thaden and
Henrik Lipskoch and
Alexander Metzner and
Ingo Stierand},
title = {Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {212--217},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.27},
doi = {10.1109/RTCSA.2010.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ThadenLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/BaumgartRRSTW10,
author = {Andreas Baumgart and
Philipp Reinkemeier and
Achim Rettberg and
Ingo Stierand and
Eike Thaden and
Raphael Weber},
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {A Model-Based Design Methodology with Contracts to Enhance the Development
Process of Safety-Critical Systems},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
pages = {59--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5\_8},
doi = {10.1007/978-3-642-16256-5\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/BaumgartRRSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BukerMS09,
author = {Matthias B{\"{u}}ker and
Alexander Metzner and
Ingo Stierand},
title = {Testing Real-time Task Networks with Functional Extensions using Model-checking},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--10},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347060},
doi = {10.1109/ETFA.2009.5347060},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BukerMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/DierksMS09,
author = {Henning Dierks and
Alexander Metzner and
Ingo Stierand},
editor = {Tianzhou Chen and
Dimitrios N. Serpanos and
Walid Taha},
title = {Efficient Model-Checking for Real-Time Task Networks},
booktitle = {International Conference on Embedded Software and Systems, {ICESS}
'09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
pages = {11--18},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICESS.2009.26},
doi = {10.1109/ICESS.2009.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icess/DierksMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MetznerFHS06,
author = {Alexander Metzner and
Martin Fr{\"{a}}nzle and
Christian Herde and
Ingo Stierand},
title = {An optimal approach to the task allocation problem on hierarchical
architectures},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639420},
doi = {10.1109/IPDPS.2006.1639420},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MetznerFHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/MetznerFHS05,
author = {Alexander Metzner and
Martin Fr{\"{a}}nzle and
Christian Herde and
Ingo Stierand},
title = {Scheduling Distributed Real-Time Systems by Satisfiability Checking},
booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
China},
pages = {409--415},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTCSA.2005.90},
doi = {10.1109/RTCSA.2005.90},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/MetznerFHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Stierand01,
author = {Ingo Stierand},
title = {Ambrosia {MP} - ein Echtzeitbetriebssystem f{\"{u}}r eingebettete
Mehrprozessorsysteme},
school = {University of Oldenburg, Germany},
year = {2001},
url = {https://d-nb.info/965040682},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Stierand01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ih/FranzJMPS96,
author = {Elke Franz and
Anja Jerichow and
Steffen M{\"{o}}ller and
Andreas Pfitzmann and
Ingo Stierand},
editor = {Ross J. Anderson},
title = {Computer Based Steganography: How It Works and Why Therefore Any Restrictions
on Cryptography Are Nonsense, at Best},
booktitle = {Information Hiding, First International Workshop, Cambridge, UK, May
30 - June 1, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1174},
pages = {7--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61996-8\_28},
doi = {10.1007/3-540-61996-8\_28},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ih/FranzJMPS96.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-03 21:16 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:
