BibTeX records: Michael Glaß

download as .bib file

@article{DBLP:journals/eaai/KhatunWJG23,
  author       = {Marzana Khatun and
                  Florence Wagner and
                  Rolf Jung and
                  Michael Gla{\ss}},
  title        = {An application of {DEMATEL} and fuzzy {DEMATEL} to evaluate the interaction
                  of safety management system and cybersecurity management system in
                  automated vehicles},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {124},
  pages        = {106566},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.engappai.2023.106566},
  doi          = {10.1016/J.ENGAPPAI.2023.106566},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eaai/KhatunWJG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/KhatunWJG23,
  author       = {Marzana Khatun and
                  Florence Wagner and
                  Rolf Jung and
                  Michael Gla{\ss}},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {Identification of Interface Related Factors Between Safety Management
                  System and Cybersecurity Management System for Highly Automated Driving
                  Vehicles},
  booktitle    = {Proceedings of the 25th International Conference on Enterprise Information
                  Systems, {ICEIS} 2023, Volume 2, Prague, Czech Republic, April 24-26,
                  2023},
  pages        = {21--30},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011708700003467},
  doi          = {10.5220/0011708700003467},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/KhatunWJG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensornets/KhatunLJG23,
  author       = {Marzana Khatun and
                  Mark Liske and
                  Rolf Jung and
                  Michael Gla{\ss}},
  editor       = {Rangarao Venkatesha Prasad and
                  Symeon Papavassiliou and
                  Nirwan Ansari and
                  C{\'{e}}sar Benavente{-}Peces},
  title        = {A Simulation-Based Testing to Evaluate and Improve a Radar Sensor
                  Performance in a Use Case of Highly Automated Driving Systems},
  booktitle    = {Proceedings of the 12th International Conference on Sensor Networks,
                  {SENSORNETS} 2023, Online Streaming, February 23-24, 2023},
  pages        = {42--53},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011828700003399},
  doi          = {10.5220/0011828700003399},
  timestamp    = {Thu, 23 Mar 2023 14:18:21 +0100},
  biburl       = {https://dblp.org/rec/conf/sensornets/KhatunLJG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KhatunLJG22,
  author       = {Marzana Khatun and
                  Heinrich Litagin and
                  Rolf Jung and
                  Michael Gla{\ss}},
  editor       = {Mario Trapp and
                  Erwin Schoitsch and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {An Approach for Deriving Reduced Collision Scenarios for Highly Automated
                  Driving Systems},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2022 Workshops
                  - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany,
                  September 6-9, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13415},
  pages        = {166--177},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-14862-0\_13},
  doi          = {10.1007/978-3-031-14862-0\_13},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KhatunLJG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icara/KhatunGJ21,
  author       = {Marzana Khatun and
                  Michael Gla{\ss} and
                  Rolf Jung},
  title        = {An Approach of Scenario-Based Threat Analysis and Risk Assessment
                  Over-the-Air updates for an Autonomous Vehicle},
  booktitle    = {7th International Conference on Automation, Robotics and Applications,
                  {ICARA} 2021, Prague, Czech Republic, February 4-6, 2021},
  pages        = {122--127},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICARA51699.2021.9376542},
  doi          = {10.1109/ICARA51699.2021.9376542},
  timestamp    = {Wed, 24 Mar 2021 15:55:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icara/KhatunGJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/KhatunWJG21,
  author       = {Marzana Khatun and
                  Florence Wagner and
                  Rolf Jung and
                  Michael Gla{\ss}},
  title        = {An Approach of a Safety Management System for Highly Automated Driving
                  System},
  booktitle    = {5th International Conference on System Reliability and Safety, {ICSRS}
                  2021, Palermo, Italy, November 24-26, 2021},
  pages        = {222--229},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSRS53853.2021.9660687},
  doi          = {10.1109/ICSRS53853.2021.9660687},
  timestamp    = {Tue, 11 Jan 2022 13:04:53 +0100},
  biburl       = {https://dblp.org/rec/conf/icsrs/KhatunWJG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/RichthammerG21,
  author       = {Valentina Richthammer and
                  Michael Gla{\ss}},
  editor       = {Alex Orailoglu and
                  Matthias Jung and
                  Marc Reichenbach},
  title        = {Automatic Search-Space Compression in System-Level Design Space Exploration
                  Using Deep Generative Models},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation
                  - 21st International Conference, {SAMOS} 2021, Virtual Event, July
                  4-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13227},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-04580-6\_4},
  doi          = {10.1007/978-3-031-04580-6\_4},
  timestamp    = {Fri, 29 Apr 2022 14:50:40 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/RichthammerG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/KhatunGJ21,
  author       = {Marzana Khatun and
                  Michael Gla{\ss} and
                  Rolf Jung},
  editor       = {Karsten Berns and
                  Markus Helfert and
                  Oleg Gusikhin},
  title        = {A Systematic Approach of Reduced Scenario-based Safety Analysis for
                  Highly Automated Driving Function},
  booktitle    = {Proceedings of the 7th International Conference on Vehicle Technology
                  and Intelligent Transport Systems, {VEHITS} 2021, Online Streaming,
                  April 28-30, 2021},
  pages        = {301--308},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010397403010308},
  doi          = {10.5220/0010397403010308},
  timestamp    = {Fri, 28 May 2021 17:22:35 +0200},
  biburl       = {https://dblp.org/rec/conf/vehits/KhatunGJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RichthammerFG20,
  author       = {Valentina Richthammer and
                  Fabian Fassnacht and
                  Michael Gla{\ss}},
  title        = {Search-space Decomposition for System-level Design Space Exploration
                  of Embedded Systems},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {25},
  number       = {2},
  pages        = {14:1--14:32},
  year         = {2020},
  url          = {https://doi.org/10.1145/3369388},
  doi          = {10.1145/3369388},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/RichthammerFG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/0010IFGT20,
  author       = {Bo Wang and
                  Aneek Imtiaz and
                  Joachim Falk and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Andr{\'{e}} Brinkmann and
                  Wolfgang Karl and
                  Stefan Lankes and
                  Sven Tomforde and
                  Thilo Pionteck and
                  Carsten Trinitis},
  title        = {Exploration of Power Domain Partitioning with Concurrent Task Mapping
                  and Scheduling for Application-Specific Multi-core SoCs},
  booktitle    = {Architecture of Computing Systems - {ARCS} 2020 - 33rd International
                  Conference, Aachen, Germany, May 25-28, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12155},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-52794-5\_12},
  doi          = {10.1007/978-3-030-52794-5\_12},
  timestamp    = {Thu, 23 Jun 2022 19:59:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/0010IFGT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RichthammerRBSG20,
  author       = {Valentina Richthammer and
                  Marcel Rie{\ss} and
                  Julian Bestler and
                  Frank Slomka and
                  Michael Gla{\ss}},
  title        = {Design Space Exploration for Model-based Communication Systems},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {556--561},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116508},
  doi          = {10.23919/DATE48585.2020.9116508},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/RichthammerRBSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/RichthammerSG20,
  author       = {Valentina Richthammer and
                  Tobias Scheinert and
                  Michael Gla{\ss}},
  editor       = {Alex Orailoglu and
                  Matthias Jung and
                  Marc Reichenbach},
  title        = {Data Mining in System-Level Design Space Exploration of Embedded Systems},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation
                  - 20th International Conference, {SAMOS} 2020, Samos, Greece, July
                  5-9, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12471},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60939-9\_4},
  doi          = {10.1007/978-3-030-60939-9\_4},
  timestamp    = {Fri, 16 Oct 2020 15:42:03 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/RichthammerSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PourmohseniWGT19,
  author       = {Behnaz Pourmohseni and
                  Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Hard real-time application mapping reconfiguration for NoC-based many-core
                  systems},
  journal      = {Real Time Syst.},
  volume       = {55},
  number       = {2},
  pages        = {433--469},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11241-019-09326-y},
  doi          = {10.1007/S11241-019-09326-Y},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/PourmohseniWGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SmirnovPGT19,
  author       = {Fedor Smirnov and
                  Behnaz Pourmohseni and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {IGOR, Get Me the Optimum! Prioritizing Important Design Decisions
                  During the {DSE} of Embedded Systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {5s},
  pages        = {78:1--78:22},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358204},
  doi          = {10.1145/3358204},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/SmirnovPGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/SmirnovRTG19,
  author       = {Fedor Smirnov and
                  Felix Reimann and
                  J{\"{u}}rgen Teich and
                  Michael Gla{\ss}},
  title        = {Automatic Optimization of the {VLAN} Partitioning in Automotive Communication
                  Networks},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {24},
  number       = {1},
  pages        = {9:1--9:23},
  year         = {2019},
  url          = {https://doi.org/10.1145/3278120},
  doi          = {10.1145/3278120},
  timestamp    = {Fri, 10 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/SmirnovRTG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/RichthammerG19,
  author       = {Valentina Richthammer and
                  Michael Gla{\ss}},
  title        = {Efficient Search-Space Encoding for System-Level Design Space Exploration
                  of Embedded Systems},
  booktitle    = {13th {IEEE} International Symposium on Embedded Multicore/Many-core
                  Systems-on-Chip, MCSoC 2019, Singapore, Singapore, October 1-4, 2019},
  pages        = {273--280},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/MCSoC.2019.00046},
  doi          = {10.1109/MCSOC.2019.00046},
  timestamp    = {Tue, 26 Nov 2019 20:28:29 +0100},
  biburl       = {https://dblp.org/rec/conf/mcsoc/RichthammerG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/SpieckWSTG19,
  author       = {Jan Spieck and
                  Stefan Wildermann and
                  Tobias Schwarzer and
                  J{\"{u}}rgen Teich and
                  Michael Gla{\ss}},
  title        = {Data-Driven Scenario-Based Application Mapping for Heterogeneous Many-Core
                  Systems},
  booktitle    = {13th {IEEE} International Symposium on Embedded Multicore/Many-core
                  Systems-on-Chip, MCSoC 2019, Singapore, Singapore, October 1-4, 2019},
  pages        = {334--341},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/MCSoC.2019.00054},
  doi          = {10.1109/MCSOC.2019.00054},
  timestamp    = {Tue, 26 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mcsoc/SpieckWSTG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/SmirnovPGT19,
  author       = {Fedor Smirnov and
                  Behnaz Pourmohseni and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Markus Helfert and
                  Cornel Klein and
                  Brian Donnellan and
                  Oleg Gusikhin},
  title        = {Efficient Symbolic Routing Encoding for In-vehicle Network Optimization},
  booktitle    = {Smart Cities, Green Technologies and Intelligent Transport Systems
                  - 8th International Conference, {SMARTGREENS} 2019, and 5th International
                  Conference, {VEHITS} 2019, Heraklion, Crete, Greece, May 3-5, 2019,
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1217},
  pages        = {173--199},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-68028-2\_9},
  doi          = {10.1007/978-3-030-68028-2\_9},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartgreens/SmirnovPGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/SmirnovPGT19,
  author       = {Fedor Smirnov and
                  Behnaz Pourmohseni and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Oleg Gusikhin and
                  Markus Helfert},
  title        = {Variety-aware Routing Encoding for Efficient Design Space Exploration
                  of Automotive Communication Networks},
  booktitle    = {Proceedings of the 5th International Conference on Vehicle Technology
                  and Intelligent Transport Systems, {VEHITS} 2019, Heraklion, Crete,
                  Greece, May 3-5, 2019},
  pages        = {242--253},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007797802420253},
  doi          = {10.5220/0007797802420253},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vehits/SmirnovPGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/17/WeichslgartnerWGT17,
  author       = {Andreas Weichslgartner and
                  Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Invasive Computing for Mapping Parallel Programs to Many-Core Architectures},
  series       = {Computer Architecture and Design Methodologies},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-981-10-7356-4},
  doi          = {10.1007/978-981-10-7356-4},
  isbn         = {978-981-10-7355-7},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/WeichslgartnerWGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SchwarzerWGWBT18,
  author       = {Tobias Schwarzer and
                  Andreas Weichslgartner and
                  Michael Gla{\ss} and
                  Stefan Wildermann and
                  Peter Brand and
                  J{\"{u}}rgen Teich},
  title        = {Symmetry-Eliminating Design Space Exploration for Hybrid Application
                  Mapping on Many-Core Architectures},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {37},
  number       = {2},
  pages        = {297--310},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCAD.2017.2695894},
  doi          = {10.1109/TCAD.2017.2695894},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/SchwarzerWGWBT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/WeichslgartnerW18,
  author       = {Andreas Weichslgartner and
                  Stefan Wildermann and
                  Deepak Gangadharan and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {A Design-Time/Run-Time Application Mapping Methodology for Predictable
                  Execution Time in MPSoCs},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {17},
  number       = {5},
  pages        = {89:1--89:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3274665},
  doi          = {10.1145/3274665},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/WeichslgartnerW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RichthammerSWTG18,
  author       = {Valentina Richthammer and
                  Tobias Schwarzer and
                  Stefan Wildermann and
                  J{\"{u}}rgen Teich and
                  Michael Gla{\ss}},
  title        = {Architecture decomposition in system synthesis of heterogeneous many-core
                  systems},
  booktitle    = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
                  2018, San Francisco, CA, USA, June 24-29, 2018},
  pages        = {175:1--175:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3195970.3195995},
  doi          = {10.1145/3195970.3195995},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RichthammerSWTG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RichthammerG18,
  author       = {Valentina Richthammer and
                  Michael Gla{\ss}},
  title        = {On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core
                  Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
                  February 8-9, 2018},
  publisher    = {Universit{\"{a}}t T{\"{u}}bingen},
  year         = {2018},
  url          = {https://hdl.handle.net/10900/84285},
  timestamp    = {Wed, 04 May 2022 13:03:25 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/RichthammerG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/SchwarzerRRKWGT18,
  author       = {Tobias Schwarzer and
                  Sascha Roloff and
                  Valentina Richthammer and
                  Rami Khaldi and
                  Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {On the Complexity of Mapping Feasibility in Many-Core Architectures},
  booktitle    = {12th {IEEE} International Symposium on Embedded Multicore/Many-core
                  Systems-on-Chip, MCSoC 2018, Hanoi, Vietnam, September 12-14, 2018},
  pages        = {176--183},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/MCSoC2018.2018.00038},
  doi          = {10.1109/MCSOC2018.2018.00038},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mcsoc/SchwarzerRRKWGT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/SmirnovRTHG18,
  author       = {Fedor Smirnov and
                  Felix Reimann and
                  J{\"{u}}rgen Teich and
                  Zhao Han and
                  Michael Gla{\ss}},
  editor       = {Sander Stuijk},
  title        = {Automatic Optimization of Redundant Message Routings in Automotive
                  Networks},
  booktitle    = {Proceedings of the 21st International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2018, Sankt Goar, Germany, May 28-30,
                  2018},
  pages        = {90--99},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3207719.3207725},
  doi          = {10.1145/3207719.3207725},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scopes/SmirnovRTHG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LiPMWSKGT17,
  author       = {Zhenmin Li and
                  HeeJong Park and
                  Avinash Malik and
                  Kevin I{-}Kai Wang and
                  Zoran Salcic and
                  Boris Kuzmin and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Using design space exploration for finding schedules with guaranteed
                  reaction times of synchronous programs on multi-core architecture},
  journal      = {J. Syst. Archit.},
  volume       = {74},
  pages        = {30--45},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.sysarc.2016.12.003},
  doi          = {10.1016/J.SYSARC.2016.12.003},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/LiPMWSKGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/AlieeBGT17,
  author       = {Hananeh Aliee and
                  Emanuele Borgonovo and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {On the Boolean extension of the Birnbaum importance to non-coherent
                  systems},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {160},
  pages        = {191--200},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ress.2016.12.013},
  doi          = {10.1016/J.RESS.2016.12.013},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/AlieeBGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/KhosraviGT17,
  author       = {Faramarz Khosravi and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Automatic Reliability Analysis in the Presence of Probabilistic Common
                  Cause Failures},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {66},
  number       = {2},
  pages        = {319--338},
  year         = {2017},
  url          = {https://doi.org/10.1109/TR.2016.2638320},
  doi          = {10.1109/TR.2016.2638320},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/KhosraviGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmirnovGRT17,
  author       = {Fedor Smirnov and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  title        = {Optimizing Message Routing and Scheduling in Automotive Mixed-Criticality
                  Time-Triggered Networks},
  booktitle    = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
                  2017, Austin, TX, USA, June 18-22, 2017},
  pages        = {48:1--48:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3061639.3062298},
  doi          = {10.1145/3061639.3062298},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SmirnovGRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PourmohseniGT17,
  author       = {Behnaz Pourmohseni and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {Automatic operating point distillation for hybrid mapping methodologies},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {1135--1140},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927160},
  doi          = {10.23919/DATE.2017.7927160},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/PourmohseniGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SmirnovGRT17,
  author       = {Fedor Smirnov and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {Formal timing analysis of non-scheduled traffic in automotive scheduled
                  {TSN} networks},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {1643--1646},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927256},
  doi          = {10.23919/DATE.2017.7927256},
  timestamp    = {Mon, 14 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SmirnovGRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AlieeBGTD17,
  author       = {Hananeh Aliee and
                  Abbas BanaiyanMofrad and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Nikil D. Dutt},
  editor       = {Daniel Gro{\ss}e and
                  Rolf Drechsler},
  title        = {Redundancy-aware Design Space Exploration for Memory Reliability in
                  Many-cores},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
                  8-9, 2017},
  pages        = {1--12},
  publisher    = {Shaker Verlag},
  year         = {2017},
  timestamp    = {Mon, 20 Nov 2017 10:25:21 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/AlieeBGTD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/PourmohseniWGT17,
  author       = {Behnaz Pourmohseni and
                  Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Enrico Bini and
                  Claire Pagetti},
  title        = {Predictable run-time mapping reconfiguration for real-time applications
                  on many-core systems},
  booktitle    = {Proceedings of the 25th International Conference on Real-Time Networks
                  and Systems, {RTNS} 2017, Grenoble, France, October 04 - 06, 2017},
  pages        = {148--157},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3139258.3139278},
  doi          = {10.1145/3139258.3139278},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/PourmohseniWGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hwswco/HaTHGMDESGB17,
  author       = {Soonhoi Ha and
                  J{\"{u}}rgen Teich and
                  Christian Haubelt and
                  Michael Gla{\ss} and
                  Tulika Mitra and
                  Rainer D{\"{o}}mer and
                  Petru Eles and
                  Aviral Shrivastava and
                  Andreas Gerstlauer and
                  Shuvra S. Bhattacharyya},
  editor       = {Soonhoi Ha and
                  J{\"{u}}rgen Teich},
  title        = {Introduction to Hardware/Software Codesign},
  booktitle    = {Handbook of Hardware/Software Codesign},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-94-017-7267-9\_41},
  doi          = {10.1007/978-94-017-7267-9\_41},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/hwswco/HaTHGMDESGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hwswco/GlassTLR17,
  author       = {Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Martin Lukasiewycz and
                  Felix Reimann},
  editor       = {Soonhoi Ha and
                  J{\"{u}}rgen Teich},
  title        = {Hybrid Optimization Techniques for System-Level Design Space Exploration},
  booktitle    = {Handbook of Hardware/Software Codesign},
  pages        = {217--246},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-94-017-7267-9\_8},
  doi          = {10.1007/978-94-017-7267-9\_8},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/hwswco/GlassTLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-05932,
  author       = {Andreas Weichslgartner and
                  Stefan Wildermann and
                  Deepak Gangadharan and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {A Design-Time/Run-Time Application Mapping Methodology for Predictable
                  Execution Time in MPSoCs},
  journal      = {CoRR},
  volume       = {abs/1711.05932},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.05932},
  eprinttype    = {arXiv},
  eprint       = {1711.05932},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-05932.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/BorgonovoAGT16,
  author       = {Emanuele Borgonovo and
                  Hananeh Aliee and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {A new time-independent reliability importance measure},
  journal      = {Eur. J. Oper. Res.},
  volume       = {254},
  number       = {2},
  pages        = {427--442},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ejor.2016.03.054},
  doi          = {10.1016/J.EJOR.2016.03.054},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/BorgonovoAGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/WildermannBBDGG16,
  author       = {Stefan Wildermann and
                  Michael Bader and
                  Lars Bauer and
                  Marvin Damschen and
                  Dirk Gabriel and
                  Michael Gerndt and
                  Michael Gla{\ss} and
                  J{\"{o}}rg Henkel and
                  Johny Paul and
                  Alexander P{\"{o}}ppl and
                  Sascha Roloff and
                  Tobias Schwarzer and
                  Gregor Snelting and
                  Walter Stechele and
                  J{\"{u}}rgen Teich and
                  Andreas Weichslgartner and
                  Andreas Zwinkau},
  title        = {Invasive computing for timing-predictable stream processing on MPSoCs},
  journal      = {it Inf. Technol.},
  volume       = {58},
  number       = {6},
  pages        = {267--280},
  year         = {2016},
  url          = {https://doi.org/10.1515/itit-2016-0021},
  doi          = {10.1515/ITIT-2016-0021},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/WildermannBBDGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/RosalesHGKT16,
  author       = {Rafael Rosales and
                  Christian Herglotz and
                  Michael Gla{\ss} and
                  Andr{\'{e}} Kaup and
                  J{\"{u}}rgen Teich},
  editor       = {Frank Hannig and
                  Jo{\~{a}}o M. P. Cardoso and
                  Thilo Pionteck and
                  Dietmar Fey and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  J{\"{u}}rgen Teich},
  title        = {Analysis and Exploitation of CTU-Level Parallelism in the {HEVC} Mode
                  Decision Process Using Actor-Based Modeling},
  booktitle    = {Architecture of Computing Systems - {ARCS} 2016 - 29th International
                  Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9637},
  pages        = {263--276},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30695-7\_20},
  doi          = {10.1007/978-3-319-30695-7\_20},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/RosalesHGKT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmirnovGRT16,
  author       = {Fedor Smirnov and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  title        = {Formal reliability analysis of switched ethernet automotive networks
                  under transient transmission errors},
  booktitle    = {Proceedings of the 53rd Annual Design Automation Conference, {DAC}
                  2016, Austin, TX, USA, June 5-9, 2016},
  pages        = {28:1--28:6},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897937.2898026},
  doi          = {10.1145/2897937.2898026},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SmirnovGRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/AlieeVGTB16,
  author       = {Hananeh Aliee and
                  Stefan Vitzethum and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Emanuele Borgonovo},
  title        = {Guiding Genetic Algorithms using importance measures for reliable
                  design of embedded systems},
  booktitle    = {2016 {IEEE} International Symposium on Defect and Fault Tolerance
                  in {VLSI} and Nanotechnology Systems, {DFT} 2016, Storrs, CT, USA,
                  September 19-20, 2016},
  pages        = {53--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DFT.2016.7684069},
  doi          = {10.1109/DFT.2016.7684069},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dft/AlieeVGTB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/0010XHDRGFGT16,
  author       = {Bo Wang and
                  Yang Xu and
                  Ralph Hasholzner and
                  Christian Drewes and
                  Rafael Rosales and
                  Sebastian Graf and
                  Joachim Falk and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Ralf Wimmer},
  title        = {Exploration of Power Domain Partitioning for Application-Specific
                  SoCs in System-Level Design},
  booktitle    = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
                  Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
                  2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
  pages        = {102--113},
  publisher    = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
  year         = {2016},
  url          = {https://doi.org/10.6094/UNIFR/10643},
  doi          = {10.6094/UNIFR/10643},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/0010XHDRGFGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/TeichGRSSWW16,
  author       = {J{\"{u}}rgen Teich and
                  Michael Gla{\ss} and
                  Sascha Roloff and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Gregor Snelting and
                  Andreas Weichslgartner and
                  Stefan Wildermann},
  title        = {Language and Compilation of Parallel Programs for *-Predictable MPSoC
                  Execution Using Invasive Computing},
  booktitle    = {10th {IEEE} International Symposium on Embedded Multicore/Many-core
                  Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016},
  pages        = {313--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/MCSoC.2016.30},
  doi          = {10.1109/MCSOC.2016.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mcsoc/TeichGRSSWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcs/HerglotzRGTK16,
  author       = {Christian Herglotz and
                  Rafael Rosales and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Andr{\'{e}} Kaup},
  title        = {Multi-objective design space exploration for the optimization of the
                  {HEVC} mode decision process},
  booktitle    = {2016 Picture Coding Symposium, {PCS} 2016, Nuremberg, Germany, December
                  4-7, 2016},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/PCS.2016.7906327},
  doi          = {10.1109/PCS.2016.7906327},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/pcs/HerglotzRGTK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RoloffPSWBGHT16,
  author       = {Sascha Roloff and
                  Alexander P{\"{o}}ppl and
                  Tobias Schwarzer and
                  Stefan Wildermann and
                  Michael Bader and
                  Michael Gla{\ss} and
                  Frank Hannig and
                  J{\"{u}}rgen Teich},
  editor       = {Claudia Fohry and
                  Olivier Tardieu},
  title        = {ActorX10: an actor library for {X10}},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Workshop on X10, X10@PLDI 2016,
                  Santa Barbara, CA, USA, June 14, 2016},
  pages        = {24--29},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2931028.2931033},
  doi          = {10.1145/2931028.2931033},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/RoloffPSWBGHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/NeubauerHG16,
  author       = {Kai Neubauer and
                  Christian Haubelt and
                  Michael Gla{\ss}},
  editor       = {Walid A. Najjar and
                  Andreas Gerstlauer},
  title        = {Supporting composition in symbolic system synthesis},
  booktitle    = {International Conference on Embedded Computer Systems: Architectures,
                  Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island,
                  Greece, July 17-21, 2016},
  pages        = {132--139},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SAMOS.2016.7818340},
  doi          = {10.1109/SAMOS.2016.7818340},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/NeubauerHG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/PopplBSG16,
  author       = {Alexander P{\"{o}}ppl and
                  Michael Bader and
                  Tobias Schwarzer and
                  Michael Gla{\ss}},
  title        = {{SWE-X10:} Simulating Shallow Water Waves with Lazy Activation of
                  Patches Using Actorx10},
  booktitle    = {Second International Workshop on Extreme Scale Programming Models
                  and Middleware, ESPM@SC 2016, Salt Lake City, UT, USA, November 18,
                  2016},
  pages        = {32--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ESPM2.2016.010},
  doi          = {10.1109/ESPM2.2016.010},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/PopplBSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/WeichslgartnerW16,
  author       = {Andreas Weichslgartner and
                  Stefan Wildermann and
                  Johannes G{\"{o}}tzfried and
                  Felix C. Freiling and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Sander Stuijk},
  title        = {Design-Time/Run-Time Mapping of Security-Critical Applications in
                  Heterogeneous MPSoCs},
  booktitle    = {Proceedings of the 19th International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2016, Sankt Goar, Germany, May 23-25,
                  2016},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2906363.2906370},
  doi          = {10.1145/2906363.2906370},
  timestamp    = {Tue, 06 Nov 2018 16:58:57 +0100},
  biburl       = {https://dblp.org/rec/conf/scopes/WeichslgartnerW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GerndtGPR16,
  author       = {Hans Michael Gerndt and
                  Michael Gla{\ss} and
                  Sri Parameswaran and
                  Barry L. Rountree},
  title        = {Dark Silicon: From Embedded to {HPC} Systems (Dagstuhl Seminar 16052)},
  journal      = {Dagstuhl Reports},
  volume       = {6},
  number       = {1},
  pages        = {224--244},
  year         = {2016},
  url          = {https://doi.org/10.4230/DagRep.6.1.224},
  doi          = {10.4230/DAGREP.6.1.224},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GerndtGPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/GlassACEKKLMOST15,
  author       = {Michael Gla{\ss} and
                  Hananeh Aliee and
                  Liang Chen and
                  Mojtaba Ebrahimi and
                  Faramarz Khosravi and
                  Veit B. Kleeberger and
                  Alexandra Listl and
                  Daniel M{\"{u}}ller{-}Gritschneder and
                  Fabian Oboril and
                  Ulf Schlichtmann and
                  Mehdi Baradaran Tahoori and
                  J{\"{u}}rgen Teich and
                  Norbert Wehn and
                  Christian Weis},
  title        = {Application-aware cross-layer reliability analysis and optimization},
  journal      = {it Inf. Technol.},
  volume       = {57},
  number       = {3},
  pages        = {159--169},
  year         = {2015},
  url          = {https://doi.org/10.1515/itit-2014-1080},
  doi          = {10.1515/ITIT-2014-1080},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/GlassACEKKLMOST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/FalkSZGT15,
  author       = {Joachim Falk and
                  Tobias Schwarzer and
                  Liyuan Zhang and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Automatic communication-driven virtual prototyping and design for
                  networked embedded systems},
  journal      = {Microprocess. Microsystems},
  volume       = {39},
  number       = {8},
  pages        = {1012--1028},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.micpro.2015.08.008},
  doi          = {10.1016/J.MICPRO.2015.08.008},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/FalkSZGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GrafRGTP15,
  author       = {Sebastian Graf and
                  Sebastian Reinhart and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Daniel Platte},
  title        = {Robust design of {E/E} architecture component platforms},
  booktitle    = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
                  CA, USA, June 7-11, 2015},
  pages        = {18:1--18:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2744769.2747941},
  doi          = {10.1145/2744769.2747941},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GrafRGTP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SeylerSGNT15,
  author       = {Jan R. Seyler and
                  Thilo Streichert and
                  Michael Gla{\ss} and
                  Nicolas Navet and
                  J{\"{u}}rgen Teich},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Formal analysis of the startup delay of {SOME/IP} service discovery},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755765},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SeylerSGNT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KhosraviMGT15,
  author       = {Faramarz Khosravi and
                  Malte M{\"{u}}ller and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Uncertainty-aware reliability analysis and optimization},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {97--102},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755775},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KhosraviMGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/FalkSGTZH15,
  author       = {Joachim Falk and
                  Tobias Schwarzer and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Christian Zebelein and
                  Christian Haubelt},
  title        = {Quasi-static scheduling of data flow graphs in the presence of limited
                  channel capacities},
  booktitle    = {13th {IEEE} Symposium on Embedded Systems For Real-time Multimedia,
                  ESTIMedia 2015, Amsterdam, The Netherlands, October 8-9, 2015},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ESTIMedia.2015.7351766},
  doi          = {10.1109/ESTIMEDIA.2015.7351766},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/estimedia/FalkSGTZH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrafGT15,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Symbolic Message Routing for Multi-Objective Optimization of Automotive
                  {E/E} Architecture Component Platforms},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {115--124},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Sat, 17 Jul 2021 09:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrafGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/SchwarzerFGTZH15,
  author       = {Tobias Schwarzer and
                  Joachim Falk and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Christian Zebelein and
                  Christian Haubelt},
  editor       = {Henk Corporaal and
                  Sander Stuijk},
  title        = {Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores
                  using Quasi-Static Scheduling},
  booktitle    = {Proceedings of the 18th International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2015, Sankt Goar, Germany, June 1-3,
                  2015},
  pages        = {68--75},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2764967.2764972},
  doi          = {10.1145/2764967.2764972},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/SchwarzerFGTZH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/HerkersdorfAEGGHKKKMNRRSSTTWWW14,
  author       = {Andreas Herkersdorf and
                  Hananeh Aliee and
                  Michael Engel and
                  Michael Gla{\ss} and
                  Christina Gimmler{-}Dumont and
                  J{\"{o}}rg Henkel and
                  Veit Kleeberger and
                  Michael A. Kochte and
                  Johannes Maximilian K{\"{u}}hn and
                  Daniel Mueller{-}Gritschneder and
                  Sani R. Nassif and
                  Holm Rauchfuss and
                  Wolfgang Rosenstiel and
                  Ulf Schlichtmann and
                  Muhammad Shafique and
                  Mehdi Baradaran Tahoori and
                  J{\"{u}}rgen Teich and
                  Norbert Wehn and
                  Christian Weis and
                  Hans{-}Joachim Wunderlich},
  title        = {Resilience Articulation Point {(RAP):} Cross-layer dependability modeling
                  for nanometer system-on-chip resilience},
  journal      = {Microelectron. Reliab.},
  volume       = {54},
  number       = {6-7},
  pages        = {1066--1074},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.microrel.2013.12.012},
  doi          = {10.1016/J.MICROREL.2013.12.012},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mr/HerkersdorfAEGGHKKKMNRRSSTTWWW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RosalesGT0XH14,
  author       = {Rafael Rosales and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Bo Wang and
                  Yang Xu and
                  Ralph Hasholzner},
  title        = {{MAESTRO} - Holistic Actor-Oriented Modeling of Nonfunctional Properties
                  and Firmware Behavior for MPSoCs},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {19},
  number       = {3},
  pages        = {23:1--23:26},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594481},
  doi          = {10.1145/2594481},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/RosalesGT0XH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/RosalesGT14,
  author       = {Rafael Rosales and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Erik Maehle and
                  Kay R{\"{o}}mer and
                  Wolfgang Karl and
                  Eduardo Tovar},
  title        = {Mahler: Sketch-Based Model-Driven Virtual Prototyping},
  booktitle    = {Architecture of Computing Systems - {ARCS} 2014 - 27th International
                  Conference, L{\"{u}}beck, Germany, February 25-28, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8350},
  pages        = {85--97},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04891-8\_8},
  doi          = {10.1007/978-3-319-04891-8\_8},
  timestamp    = {Thu, 14 Oct 2021 10:21:06 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/RosalesGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/GrafRGT14,
  author       = {Sebastian Graf and
                  Felix Reimann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Radu Marculescu and
                  Gabriela Nicolescu},
  title        = {Towards scalable symbolic routing for multi-objective networked embedded
                  system design and optimization},
  booktitle    = {2014 International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
                  2014},
  pages        = {2:1--2:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656075.2656102},
  doi          = {10.1145/2656075.2656102},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/GrafRGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/AlieeGKT14,
  author       = {Hananeh Aliee and
                  Michael Gla{\ss} and
                  Faramarz Khosravi and
                  J{\"{u}}rgen Teich},
  editor       = {Radu Marculescu and
                  Gabriela Nicolescu},
  title        = {An efficient technique for computing importance measures in automatic
                  design of dependable embedded systems},
  booktitle    = {2014 International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
                  2014},
  pages        = {3:1--3:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656075.2656079},
  doi          = {10.1145/2656075.2656079},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/AlieeGKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/WeichslgartnerGWGT14,
  author       = {Andreas Weichslgartner and
                  Deepak Gangadharan and
                  Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Radu Marculescu and
                  Gabriela Nicolescu},
  title        = {{DAARM:} Design-time application analysis and run-time mapping for
                  predictable execution in many-core systems},
  booktitle    = {2014 International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
                  2014},
  pages        = {34:1--34:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656075.2656083},
  doi          = {10.1145/2656075.2656083},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/WeichslgartnerGWGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KhosraviRGT14,
  author       = {Faramarz Khosravi and
                  Felix Reimann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Multi-Objective Local-Search Optimization using Reliability Importance
                  Measuring},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {15:1--15:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2593164},
  doi          = {10.1145/2593069.2593164},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KhosraviRGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ReimannGTCGUWEA14,
  author       = {Felix Reimann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Alejandro Cook and
                  Laura Rodr{\'{\i}}guez G{\'{o}}mez and
                  Dominik Ull and
                  Hans{-}Joachim Wunderlich and
                  Piet Engelke and
                  Ulrich Abelein},
  title        = {Advanced Diagnosis: {SBST} and {BIST} Integration in Automotive {E/E}
                  Architectures},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {96:1--96:9},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2602971},
  doi          = {10.1145/2593069.2602971},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ReimannGTCGUWEA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AbeleinCEGRGRTUW14,
  author       = {Ulrich Abelein and
                  Alejandro Cook and
                  Piet Engelke and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  Laura Rodr{\'{\i}}guez G{\'{o}}mez and
                  Thomas Russ and
                  J{\"{u}}rgen Teich and
                  Dominik Ull and
                  Hans{-}Joachim Wunderlich},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Non-intrusive integration of advanced diagnosis features in automotive
                  E/E-architectures},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.373},
  doi          = {10.7873/DATE.2014.373},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/AbeleinCEGRGRTUW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrafGTL14,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Christoph Lauer},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Multi-variant-based design space exploration for automotive embedded
                  systems},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.020},
  doi          = {10.7873/DATE.2014.020},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/GrafGTL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchlichtmannKAEGGHNW14,
  author       = {Ulf Schlichtmann and
                  Veit Kleeberger and
                  Jacob A. Abraham and
                  Adrian Evans and
                  Christina Gimmler{-}Dumont and
                  Michael Gla{\ss} and
                  Andreas Herkersdorf and
                  Sani R. Nassif and
                  Norbert Wehn},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Connecting different worlds - Technology abstraction for reliability-aware
                  design and Test},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--8},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.265},
  doi          = {10.7873/DATE.2014.265},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SchlichtmannKAEGGHNW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SeylerSWSGT14,
  author       = {Jan R. Seyler and
                  Thilo Streichert and
                  Juri Warkentin and
                  Matthias Spagele and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {A self-propagating wakeup mechanism for point-to-point networks with
                  partial network support},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.019},
  doi          = {10.7873/DATE.2014.019},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SeylerSWSGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WildermannGT14,
  author       = {Stefan Wildermann and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Multi-objective distributed run-time resource management for many-cores},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.234},
  doi          = {10.7873/DATE.2014.234},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/WildermannGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ZhangFSGT14,
  author       = {Liyuan Zhang and
                  Joachim Falk and
                  Tobias Schwarzer and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Communication-Driven Automatic Virtual Prototyping for Networked Embedded
                  Systems},
  booktitle    = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
                  Italy, August 27-29, 2014},
  pages        = {435--442},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DSD.2014.88},
  doi          = {10.1109/DSD.2014.88},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/ZhangFSGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/GrafGTL14,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Christoph Lauer},
  title        = {Design Space Exploration for Automotive {E/E} Architecture Component
                  Platforms},
  booktitle    = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
                  Italy, August 27-29, 2014},
  pages        = {651--654},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DSD.2014.43},
  doi          = {10.1109/DSD.2014.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/GrafGTL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/0010XHRGT14,
  author       = {Bo Wang and
                  Yang Xu and
                  Ralph Hasholzner and
                  Rafael Rosales and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {End-to-end power estimation for heterogeneous cellular {LTE} SoCs
                  in early design phases},
  booktitle    = {24th International Workshop on Power and Timing Modeling, Optimization
                  and Simulation, PATMOS), Palma de Mallorca, Spain, September 29 -
                  Oct. 1, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/PATMOS.2014.6951904},
  doi          = {10.1109/PATMOS.2014.6951904},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/patmos/0010XHRGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SeylerRSGT14,
  author       = {Jan R. Seyler and
                  Shurat Rahimov and
                  Thilo Streichert and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {{DPSK} modulated wakeup mechanism for point-to-point networks with
                  partial network support},
  booktitle    = {Proceedings of the 9th {IEEE} International Symposium on Industrial
                  Embedded Systems, {SIES} 2014, Pisa, Italy, June 18-20, 2014},
  pages        = {238--243},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SIES.2014.6871209},
  doi          = {10.1109/SIES.2014.6871209},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/SeylerRSGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/LukasiewyczGTC14,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Samarjit Chakraborty},
  editor       = {Alberto L. Sangiovanni{-}Vincentelli and
                  Haibo Zeng and
                  Marco Di Natale and
                  Peter Marwedel},
  title        = {Exploration of Distributed Automotive Systems Using Compositional
                  Timing Analysis},
  booktitle    = {Embedded Systems Development, From Functional Models to Implementations},
  pages        = {189--204},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-1-4614-3879-3\_11},
  doi          = {10.1007/978-1-4614-3879-3\_11},
  timestamp    = {Fri, 14 Apr 2023 11:09:08 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/LukasiewyczGTC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GlassGRT14,
  author       = {Michael Gla{\ss} and
                  Sebastian Graf and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  editor       = {Alberto L. Sangiovanni{-}Vincentelli and
                  Haibo Zeng and
                  Marco Di Natale and
                  Peter Marwedel},
  title        = {Design and Evaluation of Future Ethernet AVB-Based {ECU} Networks},
  booktitle    = {Embedded Systems Development, From Functional Models to Implementations},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-1-4614-3879-3\_12},
  doi          = {10.1007/978-1-4614-3879-3\_12},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/GlassGRT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlieeCEGKT14,
  author       = {Hananeh Aliee and
                  Liang Chen and
                  Mojtaba Ebrahimi and
                  Michael Gla{\ss} and
                  Faramarz Khosravi and
                  Mehdi Baradaran Tahoori},
  title        = {Towards Cross-layer Reliability Analysis of Transient and Permanent
                  Faults},
  journal      = {CoRR},
  volume       = {abs/1405.2914},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.2914},
  eprinttype    = {arXiv},
  eprint       = {1405.2914},
  timestamp    = {Mon, 29 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlieeCEGKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/GrafGWTL13,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  Dominic Wintermann and
                  J{\"{u}}rgen Teich and
                  Christoph Lauer},
  title        = {IVaM: Implicit variant modeling and management for automotive embedded
                  systems},
  booktitle    = {Proceedings of the International Conference on Hardware/Software Codesign
                  and System Synthesis, {CODES+ISSS} 2013, Montreal, QC, Canada, September
                  29 - October 4, 2013},
  pages        = {24:1--24:10},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CODES-ISSS.2013.6659011},
  doi          = {10.1109/CODES-ISSS.2013.6659011},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/GrafGWTL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AlieeGRT13,
  author       = {Hananeh Aliee and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  editor       = {Enrico Macii},
  title        = {Automatic success tree-based reliability analysis for the consideration
                  of transient and permanent faults},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {1621--1626},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.329},
  doi          = {10.7873/DATE.2013.329},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/AlieeGRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ReimannGSGT13,
  author       = {Felix Reimann and
                  Sebastian Graf and
                  Fabian Streit and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Carla Seatzu},
  title        = {Timing analysis of Ethernet AVB-based automotive {E/E} architectures},
  booktitle    = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
                  {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
                  10-13, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ETFA.2013.6648024},
  doi          = {10.1109/ETFA.2013.6648024},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/ReimannGSGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZhangGBT13,
  author       = {Liyuan Zhang and
                  Michael Gla{\ss} and
                  Nils Ballmann and
                  J{\"{u}}rgen Teich},
  title        = {Bridging algorithm and {ESL} design: Matlab/Simulink model transformation
                  and validation},
  booktitle    = {Proceedings of the 2013 Forum on specification and Design Languages,
                  {FDL} 2013, Paris, France, September 24-26, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6646658/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ZhangGBT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AndresGSHRG13,
  author       = {Benjamin Andres and
                  Martin Gebser and
                  Torsten Schaub and
                  Christian Haubelt and
                  Felix Reimann and
                  Michael Gla{\ss}},
  editor       = {Pedro Cabalar and
                  Tran Cao Son},
  title        = {Symbolic System Synthesis Using Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
                  {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8148},
  pages        = {79--91},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40564-8\_9},
  doi          = {10.1007/978-3-642-40564-8\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/AndresGSHRG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AndresGSHRG13,
  author       = {Benjamin Andres and
                  Martin Gebser and
                  Torsten Schaub and
                  Christian Haubelt and
                  Felix Reimann and
                  Michael Gla{\ss}},
  editor       = {Christian Haubelt and
                  Dirk Timmermann},
  title        = {A Combined Mapping and Routing Algorithm for 3D NoCs Based on {ASP}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
                  March 12-14, 2013},
  pages        = {35--46},
  publisher    = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
                  Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
                  Universit{\"{a}}t Rostock},
  year         = {2013},
  timestamp    = {Mon, 18 Mar 2013 20:33:43 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/AndresGSHRG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrafGT13,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Christian Haubelt and
                  Dirk Timmermann},
  title        = {Investigating the Impact of Energy-Efficient Ethernet on Automotive
                  Applications via High-level Modeling},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
                  March 12-14, 2013},
  pages        = {117--128},
  publisher    = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
                  Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
                  Universit{\"{a}}t Rostock},
  year         = {2013},
  timestamp    = {Tue, 19 Apr 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrafGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LukasiewyczGTM12,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Paul Milbredt},
  editor       = {Samarjit Chakraborty and
                  J{\"{o}}rg Ebersp{\"{a}}cher},
  title        = {FlexRay Static Segment Scheduling},
  booktitle    = {Advances in Real-Time Systems (to Georg F{\"{a}}rber on the occasion
                  of his appointment as Professor Emeritus at {TU} M{\"{u}}nchen
                  after leading the Lehrstuhl f{\"{u}}r Realzeit-Computersysteme
                  for 34 illustrious years)},
  pages        = {323--339},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-24349-3\_16},
  doi          = {10.1007/978-3-642-24349-3\_16},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LukasiewyczGTM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EberlGTA12,
  author       = {Michael Eberl and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Ulrich Abelein},
  editor       = {Patrick Groeneveld and
                  Donatella Sciuto and
                  Soha Hassoun},
  title        = {Considering diagnosis functionality during automatic system-level
                  design of automotive networks},
  booktitle    = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
                  Francisco, CA, USA, June 3-7, 2012},
  pages        = {205--213},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2228360.2228400},
  doi          = {10.1145/2228360.2228400},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/EberlGTA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MilbredtGLST12,
  author       = {Paul Milbredt and
                  Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Andreas Steininger and
                  J{\"{u}}rgen Teich},
  editor       = {Wolfgang Rosenstiel and
                  Lothar Thiele},
  title        = {Designing FlexRay-based automotive architectures: {A} holistic {OEM}
                  approach},
  booktitle    = {2012 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  pages        = {276--279},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/DATE.2012.6176477},
  doi          = {10.1109/DATE.2012.6176477},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MilbredtGLST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrafGT12,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Jens Brandt and
                  Klaus Schneider},
  title        = {Unreliable Data Transmissions und Limited Hardware Communication Buffers
                  in Automotive {E/E} Virtual Prototypes},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
                  5-7, 2012},
  series       = {Forschungsergebnisse zur Informatik},
  volume       = {68},
  pages        = {13--24},
  publisher    = {Verlag Dr. Kovac},
  year         = {2012},
  timestamp    = {Tue, 19 May 2020 12:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrafGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/ZhangGSTSL12,
  author       = {Liyuan Zhang and
                  Michael Gla{\ss} and
                  Martin Streub{\"{u}}hr and
                  J{\"{u}}rgen Teich and
                  Andreas von Schwerin and
                  Kai Liu},
  editor       = {Jens Brandt and
                  Klaus Schneider},
  title        = {Actor-oriented Modeling und Simulation of Cut-through Communication
                  in Network Controllers},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
                  5-7, 2012},
  series       = {Forschungsergebnisse zur Informatik},
  volume       = {68},
  pages        = {193--204},
  publisher    = {Verlag Dr. Kovac},
  year         = {2012},
  timestamp    = {Wed, 15 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ZhangGSTSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GlassYRT12,
  author       = {Michael Gla{\ss} and
                  Heng Yu and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  editor       = {Frank Ortmeier and
                  Peter Daniel},
  title        = {Cross-Level Compositional Reliability Analysis for Embedded Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 31st International Conference,
                  {SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7612},
  pages        = {111--124},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33678-2\_10},
  doi          = {10.1007/978-3-642-33678-2\_10},
  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/GlassYRT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/GlassTZ12,
  author       = {Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Liyuan Zhang},
  title        = {A co-simulation approach for system-level analysis of embedded control
                  systems},
  booktitle    = {2012 International Conference on Embedded Computer Systems: Architectures,
                  Modeling, and Simulation, {SAMOS} XII, Samos, Greece, July 16-19,
                  2012},
  pages        = {355--362},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SAMOS.2012.6404200},
  doi          = {10.1109/SAMOS.2012.6404200},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/GlassTZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Glass2011,
  author       = {Michael Gla{\ss}},
  title        = {Dependability-Aware System-Level Design for Embedded Systems},
  school       = {University of Erlangen-Nuremberg},
  year         = {2011},
  url          = {http://www.dr.hut-verlag.de/978-3-86853-857-1.html},
  urn          = {urn:nbn:de:101:1-201105031355},
  isbn         = {978-3-86853-857-1},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Glass2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/MuhleisGZT11,
  author       = {Nina M{\"{u}}hleis and
                  Michael Gla{\ss} and
                  Liyuan Zhang and
                  J{\"{u}}rgen Teich},
  title        = {A co-simulation approach for control performance analysis during design
                  space exploration of cyber-physical systems},
  journal      = {{SIGBED} Rev.},
  volume       = {8},
  number       = {2},
  pages        = {23--26},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000367.2000372},
  doi          = {10.1145/2000367.2000372},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/MuhleisGZT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ReimannLGHT11,
  author       = {Felix Reimann and
                  Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {Symbolic system synthesis in the presence of stringent real-time constraints},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {393--398},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024817},
  doi          = {10.1145/2024724.2024817},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ReimannLGHT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/AngermeierZGT11,
  author       = {Josef Angermeier and
                  Daniel Ziener and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  title        = {Stress-Aware Module Placement on Reconfigurable Devices},
  booktitle    = {International Conference on Field Programmable Logic and Applications,
                  {FPL} 2011, September 5-7, Chania, Crete, Greece},
  pages        = {277--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/FPL.2011.56},
  doi          = {10.1109/FPL.2011.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/AngermeierZGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/AngermeierZGT11,
  author       = {Josef Angermeier and
                  Daniel Ziener and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Russell Tessier},
  title        = {Runtime stress-aware replica placement on reconfigurable devices under
                  safety constraints},
  booktitle    = {2011 International Conference on Field-Programmable Technology, {FPT}
                  2011, New Delhi, India, December 12-14, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/FPT.2011.6133247},
  doi          = {10.1109/FPT.2011.6133247},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/AngermeierZGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LukasiewyczGRT11,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Felix Reimann and
                  J{\"{u}}rgen Teich},
  editor       = {Natalio Krasnogor and
                  Pier Luca Lanzi},
  title        = {Opt4J: a modular framework for meta-heuristic optimization},
  booktitle    = {13th Annual Genetic and Evolutionary Computation Conference, {GECCO}
                  2011, Proceedings, Dublin, Ireland, July 12-16, 2011},
  pages        = {1723--1730},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001576.2001808},
  doi          = {10.1145/2001576.2001808},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gecco/LukasiewyczGRT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ReimannGHET10,
  author       = {Felix Reimann and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  Michael Eberl and
                  J{\"{u}}rgen Teich},
  editor       = {Tony Givargis and
                  Adam Donlin},
  title        = {Improving platform-based system synthesis by satisfiability modulo
                  theories solving},
  booktitle    = {Proceedings of the 8th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2010, part of ESWeek '10
                  Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010},
  pages        = {135--144},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1878961.1878986},
  doi          = {10.1145/1878961.1878986},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/ReimannGHET10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GlassLHT10,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Sachin S. Sapatnekar},
  title        = {Towards scalable system-level reliability analysis},
  booktitle    = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
                  Anaheim, California, USA, July 13-18, 2010},
  pages        = {234--239},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1837274.1837334},
  doi          = {10.1145/1837274.1837334},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/GlassLHT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LukasiewyczGT10,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller and
                  Enrico Macii},
  title        = {Robust design of embedded systems},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
                  March 8-12, 2010},
  pages        = {1578--1583},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DATE.2010.5457062},
  doi          = {10.1109/DATE.2010.5457062},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LukasiewyczGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GlassLRHT10,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Felix Reimann and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Louis Scheffer and
                  Joel R. Phillips and
                  Alan J. Hu},
  title        = {Symbolic system level reliability analysis},
  booktitle    = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
                  San Jose, CA, USA, November 7-11, 2010},
  pages        = {185--189},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICCAD.2010.5654134},
  doi          = {10.1109/ICCAD.2010.5654134},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GlassLRHT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LukasiewyczGT09,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Wolfgang Rosenstiel and
                  Kazutoshi Wakabayashi},
  title        = {Exploiting data-redundancy in reliability-aware networked embedded
                  system design},
  booktitle    = {Proceedings of the 7th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2009, Grenoble, France,
                  October 11-16, 2009},
  pages        = {229--238},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629435.1629468},
  doi          = {10.1145/1629435.1629468},
  timestamp    = {Mon, 26 Nov 2018 12:14:45 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/LukasiewyczGT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LukasiewyczGTM09,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich and
                  Paul Milbredt},
  editor       = {Wolfgang Rosenstiel and
                  Kazutoshi Wakabayashi},
  title        = {FlexRay schedule optimization of the static segment},
  booktitle    = {Proceedings of the 7th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2009, Grenoble, France,
                  October 11-16, 2009},
  pages        = {363--372},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629435.1629485},
  doi          = {10.1145/1629435.1629485},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/LukasiewyczGTM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GlassLTBC09,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  J{\"{u}}rgen Teich and
                  Unmesh D. Bordoloi and
                  Samarjit Chakraborty},
  title        = {Designing heterogeneous {ECU} networks via compact architecture encoding
                  and hybrid timing analysis},
  booktitle    = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
                  San Francisco, CA, USA, July 26-31, 2009},
  pages        = {43--46},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629911.1629925},
  doi          = {10.1145/1629911.1629925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GlassLTBC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GlassLHT09,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Incorporating graceful degradation into embedded system design},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {320--323},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090681},
  doi          = {10.1109/DATE.2009.5090681},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/GlassLHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LukasiewyczSGHT09,
  author       = {Martin Lukasiewycz and
                  Martin Streub{\"{u}}hr and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Combined system synthesis and communication architecture exploration
                  for MPSoCs},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {472--477},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090711},
  doi          = {10.1109/DATE.2009.5090711},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LukasiewyczSGHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/StreichertGWHT08,
  author       = {Thilo Streichert and
                  Michael Gla{\ss} and
                  Rolf Wanka and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Uwe Brinkschulte and
                  Theo Ungerer and
                  Christian Hochberger and
                  Rainer G. Spallek},
  title        = {Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks},
  booktitle    = {Architecture of Computing Systems - {ARCS} 2008, 21st International
                  Conference, Dresden, Germany, February 25-28, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4934},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78153-0\_4},
  doi          = {10.1007/978-3-540-78153-0\_4},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/StreichertGWHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LukasiewyczGHT08,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Chong{-}Min Kyung and
                  Kiyoung Choi and
                  Soonhoi Ha},
  title        = {Efficient symbolic multi-objective design space exploration},
  booktitle    = {Proceedings of the 13th Asia South Pacific Design Automation Conference,
                  {ASP-DAC} 2008, Seoul, Korea, January 21-24, 2008},
  pages        = {691--696},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ASPDAC.2008.4484040},
  doi          = {10.1109/ASPDAC.2008.4484040},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/LukasiewyczGHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/LukasiewyczGHT08,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {A feasibility-preserving local search operator for constrained discrete
                  optimization problems},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2008, June 1-6, 2008, Hong Kong, China},
  pages        = {1968--1975},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/CEC.2008.4631058},
  doi          = {10.1109/CEC.2008.4631058},
  timestamp    = {Thu, 16 Dec 2021 14:01:33 +0100},
  biburl       = {https://dblp.org/rec/conf/cec/LukasiewyczGHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ReimannGLKHT08,
  author       = {Felix Reimann and
                  Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Joachim Keinert and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Catherine H. Gebotys and
                  Grant Martin},
  title        = {Symbolic voter placement for dependability-aware system synthesis},
  booktitle    = {Proceedings of the 6th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2008, Atlanta, GA, USA,
                  October 19-24, 2008},
  pages        = {237--242},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1450135.1450190},
  doi          = {10.1145/1450135.1450190},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/ReimannGLKHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LukasiewyczGHTRL08,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich and
                  Richard Regler and
                  Bardo Lang},
  editor       = {Limor Fix},
  title        = {Concurrent topology and routing optimization in automotive network
                  integration},
  booktitle    = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
                  Anaheim, CA, USA, June 8-13, 2008},
  pages        = {626--629},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1391469.1391629},
  doi          = {10.1145/1391469.1391629},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LukasiewyczGHTRL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GlassLRHT08,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Felix Reimann and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Donatella Sciuto},
  title        = {Symbolic Reliability Analysis and Optimization of {ECU} Networks},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
                  March 10-14, 2008},
  pages        = {158--163},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1109/DATE.2008.4484679},
  doi          = {10.1109/DATE.2008.4484679},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/GlassLRHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/LukasiewyczGT08,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {G{\"{u}}nter Rudolph and
                  Thomas Jansen and
                  Simon M. Lucas and
                  Carlo Poloni and
                  Nicola Beume},
  title        = {A Feasibility-Preserving Crossover and Mutation Operator for Constrained
                  Combinatorial Problems},
  booktitle    = {Parallel Problem Solving from Nature - {PPSN} X, 10th International
                  Conference Dortmund, Germany, September 13-17, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5199},
  pages        = {919--928},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87700-4\_91},
  doi          = {10.1007/978-3-540-87700-4\_91},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ppsn/LukasiewyczGT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GlassLRHT08,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Felix Reimann and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Michael D. Harrison and
                  Mark{-}Alexander Sujan},
  title        = {Symbolic Reliability Analysis of Self-healing Networked Embedded Systems},
  booktitle    = {Computer Safety, Reliability, and Security, 27th International Conference,
                  {SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5219},
  pages        = {139--152},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87698-4\_14},
  doi          = {10.1007/978-3-540-87698-4\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GlassLRHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/GlassLWHT08,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Rolf Wanka and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Walid A. Najjar and
                  Holger Blume},
  title        = {Multi-objective routing and topology optimization in networked embedded
                  systems},
  booktitle    = {Proceedings of the 2008 International Conference on Embedded Computer
                  Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2008),
                  Samos, Greece, July 21-24, 2008},
  pages        = {74--81},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSAMOS.2008.4664849},
  doi          = {10.1109/ICSAMOS.2008.4664849},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/GlassLWHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/StreichertGHT07,
  author       = {Thilo Streichert and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {Design space exploration of reliable networked embedded systems},
  journal      = {J. Syst. Archit.},
  volume       = {53},
  number       = {10},
  pages        = {751--763},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.sysarc.2007.01.005},
  doi          = {10.1016/J.SYSARC.2007.01.005},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/StreichertGHT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/LukasiewyczGHT07,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {SAT-decoding in evolutionary algorithms for discrete constrained optimization
                  problems},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2007, 25-28 September 2007, Singapore},
  pages        = {935--942},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/CEC.2007.4424570},
  doi          = {10.1109/CEC.2007.4424570},
  timestamp    = {Thu, 16 Dec 2021 14:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/cec/LukasiewyczGHT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GlassLSHT07,
  author       = {Michael Gla{\ss} and
                  Martin Lukasiewycz and
                  Thilo Streichert and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Rudy Lauwereins and
                  Jan Madsen},
  title        = {Interactive presentation: Reliability-aware system synthesis},
  booktitle    = {2007 Design, Automation and Test in Europe Conference and Exposition,
                  {DATE} 2007, Nice, France, April 16-20, 2007},
  pages        = {409--414},
  publisher    = {{EDA} Consortium, San Jose, CA, {USA}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1266452},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/GlassLSHT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emo/LukasiewyczGHT06,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Shigeru Obayashi and
                  Kalyanmoy Deb and
                  Carlo Poloni and
                  Tomoyuki Hiroyasu and
                  Tadahiko Murata},
  title        = {Symbolic Archive Representation for a Fast Nondominance Test},
  booktitle    = {Evolutionary Multi-Criterion Optimization, 4th International Conference,
                  {EMO} 2007, Matsushima, Japan, March 5-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4403},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-70928-2\_12},
  doi          = {10.1007/978-3-540-70928-2\_12},
  timestamp    = {Thu, 30 Jun 2022 16:13:16 +0200},
  biburl       = {https://dblp.org/rec/conf/emo/LukasiewyczGHT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LukasiewyczGHT07,
  author       = {Martin Lukasiewycz and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  editor       = {Jo{\~{a}}o Marques{-}Silva and
                  Karem A. Sakallah},
  title        = {Solving Multi-objective Pseudo-Boolean Problems},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
                  International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4501},
  pages        = {56--69},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72788-0\_9},
  doi          = {10.1007/978-3-540-72788-0\_9},
  timestamp    = {Mon, 24 Feb 2020 19:23:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/LukasiewyczGHT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics