Prof. Dr.-Ing. Michael Glaß
Stellv. Institutsdirektor
Forschung
- Entwurfsautomatisierung eingebetteter Systeme
- Zuverlässigkeitsanalyse und -optimierung
- Echtzeitanalyse und -modellierung
- Meta-heuristische Optimierung
- Automotive Systeme
Lehre
Im Wintersemester:
- Vorlesung Grundlagen der Rechnerarchitektur
- Vorlesung Verifikation digitaler Systeme
- Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
Im Sommersemester:
- Vorlesung Dependable Embedded Systems
- Vorlesung Spezifikation eingebetteter Systeme
- Seminar Entwurfsraumexploration eingebetteter Systeme
Projekte:
- Automatischer Entwurf zuverlässiger eingebetteter Systeme
- Hybride Optimierung im Entwurf eingebetteter Systeme

Funktion
Stellvertretender Institutsdirektor
Kontakt
Raum O27/318
Institut für Eingebettete Systeme/Echtzeitsysteme
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Universität Ulm
Albert-Einstein-Allee 11, 89081 Ulm
Tel: +497315024181 (Sekretariat)
Fax: +497315024182
michael.glass(at)uni-ulm.de
PGP-/GPG-Schlüssel
Sprechzeiten
Dienstag, 15:00-16:00 Uhr
Um vorherige Terminabsprache mit Frau Porada wird gebeten.
Publikationen
2014
75.
Aliee,
Hananeh;
Glaß,
Michael;
Khosravi,
Faramarz;
Teich,
Jürgen
An Efficient Technique for Computing Importance Measures in Automatic Design of Dependable Embedded Systems
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 3:1-3:10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
New Delhi, India
Oktober 2014
An Efficient Technique for Computing Importance Measures in Automatic Design of Dependable Embedded Systems
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 3:1-3:10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
New Delhi, India
Oktober 2014
DOI: | 10.1145/2656075.2656079 |
74.
Weichslgartner,
Andreas;
Gangadharan,
Deepak;
Wildermann,
Stefan;
Glaß,
Michael;
Teich,
Jürgen
DAARM: Design-Time Application Analysis and Run-Time Mapping for Predictable Execution in Many-Core Systems
In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 34:1--34:10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
New Delhi, India
Oktober 2014
DAARM: Design-Time Application Analysis and Run-Time Mapping for Predictable Execution in Many-Core Systems
In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 34:1--34:10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
New Delhi, India
Oktober 2014
DOI: | 10.1145/2656075.2656083 |
73.
Wang,
Bo;
Xu,
Yang;
Rosales,
Rafael;
Hasholzner,
Ralph;
Glaß,
Michael;
Teich,
Jürgen
End-to-End Power Estimation for Heterogeneous Cellular LTE SoCs in Early Design Phases
Proceedings of the International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Seite 1-8
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)
Palma de Mallorca, Spain
September 2014
End-to-End Power Estimation for Heterogeneous Cellular LTE SoCs in Early Design Phases
Proceedings of the International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Seite 1-8
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)
Palma de Mallorca, Spain
September 2014
DOI: | 10.1109/PATMOS.2014.6951904 |
72.
Zhang,
Liyuan;
Falk,
Joachim;
Schwarzer,
Tobias;
Glaß,
Michael;
Teich,
Jürgen
Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems
Proceedings of the Euromicro Conference on Digital Systems Design (DSD), Seite 435-442
Euromicro Conference on Digital Systems Design (DSD)
Verona, Italy
August 2014
Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems
Proceedings of the Euromicro Conference on Digital Systems Design (DSD), Seite 435-442
Euromicro Conference on Digital Systems Design (DSD)
Verona, Italy
August 2014
DOI: | 10.1109/DSD.2014.88 |
71.
Graf,
Sebastian;
Glaß,
Michael;
Teich,
Jürgen;
Lauer,
Christoph
Design Space Exploration for Automotive E/E Architecture Component Platforms
In Proceedings of the Euromicro Conference on Digital Systems Design (DSD), Seite 651-654
Euromicro Conference on Digital Systems Design (DSD)
Verona, Italy
August 2014
Design Space Exploration for Automotive E/E Architecture Component Platforms
In Proceedings of the Euromicro Conference on Digital Systems Design (DSD), Seite 651-654
Euromicro Conference on Digital Systems Design (DSD)
Verona, Italy
August 2014
DOI: | 10.1109/DSD.2014.43 |
70.
Seyler,
Jan R.;
Rahimov,
Shurat;
Streichert,
Thilo;
Glaß,
Michael;
Teich,
Jürgen
DPSK Modulated Wakeup Mechanism for Point-to-Point Networks with Partial Network Support
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES), Seite 238-243
9th IEEE International Symposium on Industrial Embedded Systems (SIES)
Pisa, Italy
Juli 2014
DPSK Modulated Wakeup Mechanism for Point-to-Point Networks with Partial Network Support
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES), Seite 238-243
9th IEEE International Symposium on Industrial Embedded Systems (SIES)
Pisa, Italy
Juli 2014
DOI: | 10.1109/SIES.2014.6871209 |
69.
Herkersdorf,
Andreas;
Aliee,
Hananeh;
Engel,
Michael;
Glaß,
Michael;
Gimmler-Dumont,
Christina;
Henkel,
Jörg;
B. Kleeberger,
Veit;
A. Kochte,
Michael;
M. Kühn,
Johannes;
Mueller-Gritschneder,
Daniel;
R. Nassif,
Sani;
Rauchfuss,
Holm;
Rosenstiel,
Wolfgang;
Schlichtmann,
Ulf;
Shafique,
Muhammad;
B. Tahoori,
Mehdi;
Teich,
Jürgen;
Wehn,
Norbert;
Weis,
Christian;
Wunderlich,
Hans-Joachim
Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience
Microelectronics Reliability, 54 (6) :1066-1074
Juni 2014
Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience
Microelectronics Reliability, 54 (6) :1066-1074
Juni 2014
DOI: | 10.1016/j.microrel.2013.12.012 |
68.
Rosales,
Rafael;
Glaß,
Michael;
Teich,
Jürgen;
Wang,
Bo;
Xu,
Yang;
Hasholzner,
Ralph
MAESTRO - Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs
ACM Transactions on Design Automation of Electronic Systems (TODAES), 19 (3) :23:1-23:26
Juni 2014
MAESTRO - Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs
ACM Transactions on Design Automation of Electronic Systems (TODAES), 19 (3) :23:1-23:26
Juni 2014
DOI: | 10.1145/2594481 |
67.
Khosravi,
Faramarz;
Reimann,
Felix;
Glaß,
Michael;
Teich,
Jürgen
Multi-Objective Local-Search Optimization using Reliability Importance Measuring
Proceedings of 51st Design Automation Conference (DAC), Seite 6
51st Design Automation Conference (DAC)
San Francisco, U.S.A.
Juni 2014
Multi-Objective Local-Search Optimization using Reliability Importance Measuring
Proceedings of 51st Design Automation Conference (DAC), Seite 6
51st Design Automation Conference (DAC)
San Francisco, U.S.A.
Juni 2014
DOI: | 10.1145/2593069.2602971 |
66.
Reimann,
Felix;
Glaß,
Michael;
Teich,
Jürgen;
Cook,
Alejandro;
Rodrguez Gmez,
Laura;
Ull,
Dominik;
Wunderlich,
Hans-Joachim;
Abelein,
Ulrich;
Engelke,
Piet
Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures
Proceedings of 51st Design Automation Conference (DAC), Seite 8
51st Design Automation Conference (DAC)
San Francisco, U.S.A.
Juni 2014
Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures
Proceedings of 51st Design Automation Conference (DAC), Seite 8
51st Design Automation Conference (DAC)
San Francisco, U.S.A.
Juni 2014
DOI: | 10.1145/2593069.2602971 |
65.
Schlichtmann,
Ulf;
Kleeberger,
Veit B.;
Abraham,
Jacob A.;
Evans,
Adrian;
Gimmler-Dimont,
Christina;
Glaß,
Michael;
Herkersdorf,
Andreas;
Nassif,
Sani R.;
Wehn,
Norbert
Connecting Different Worlds - Technology Abstraction for Reliability-Aware Design and Test
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 8
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
Connecting Different Worlds - Technology Abstraction for Reliability-Aware Design and Test
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 8
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
DOI: | 10.7873/DATE.2014.265 |
64.
Wildermann,
Stefan;
Glaß,
Michael;
Teich,
Jürgen
Multi-Objective Distributed Run-time Resource Management for Many-Cores
In Proceedings of Design, Automation and Test in Europe (DATE 2014), Seite 6
Design, Automation and Test in Europe (DATE 2014)
Dresden, Germany
März 2014
Multi-Objective Distributed Run-time Resource Management for Many-Cores
In Proceedings of Design, Automation and Test in Europe (DATE 2014), Seite 6
Design, Automation and Test in Europe (DATE 2014)
Dresden, Germany
März 2014
DOI: | 10.7873/DATE2014.234 |
63.
Graf,
Sebastian;
Glaß,
Michael;
Teich,
Jürgen;
Lauer,
Christoph
Multi-Variant-based Design Space Exploration for Automotive Embedded Systems
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
Multi-Variant-based Design Space Exploration for Automotive Embedded Systems
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
DOI: | 10.7873/DATE.2014.020 |
62.
Abelein,
Ulrich;
Cook,
Alejandro;
Engelke,
Piet;
Glaß,
Michael;
Reimann,
Felix;
Rodrguez Gmez,
Laura;
Russ,
Thomas;
Teich,
Jürgen;
Ull,
Dominik;
Wunderlich,
Hans-Joachim
Non-Intrusive Integration of Advanced Diagnosis Features in Automotive E/E-Architectures
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
Non-Intrusive Integration of Advanced Diagnosis Features in Automotive E/E-Architectures
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
DOI: | 10.7873/DATE.2014.373 |
61.
Seyler,
Jan;
Streichert,
Thilo;
Warkentin,
Juri;
Spägele,
Matthias;
Glaß,
Michael;
Teich,
Jürgen
A Self-Propagating Wakeup Mechanism for Point-to-Point Networks with Partial Network Support
In Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
A Self-Propagating Wakeup Mechanism for Point-to-Point Networks with Partial Network Support
In Proceedings of Design, Automation, and Test in Europe (DATE), Seite 6
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2014
DOI: | 10.7873/DATE2014.019 |
60.
Rosales,
Rafael;
Glaß,
Michael;
Teich,
Jürgen
Mahler: Sketch-Based Model-Driven Virtual Prototyping
Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Seite 85-97
International Conference on Architecture of Computing Systems (ARCS)
Lübeck, Germany
Februar 2014
Mahler: Sketch-Based Model-Driven Virtual Prototyping
Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Seite 85-97
International Conference on Architecture of Computing Systems (ARCS)
Lübeck, Germany
Februar 2014
DOI: | 10.1007/978-3-319-04891-8_8 |
59.
Aliee,
Hananeh;
Glaß,
Michael;
Wanka,
Rolf;
Teich,
Jürgen
Automatic Graph-based Success Tree Construction and Analysis
Proceedings of the 60th Annual Reliability and Maintainability Symposium (RAMS), Seite 563-569
60th Annual Reliability and Maintainability Symposium (RAMS)
Colorado Spring, U.S.A.
Januar 2014
Automatic Graph-based Success Tree Construction and Analysis
Proceedings of the 60th Annual Reliability and Maintainability Symposium (RAMS), Seite 563-569
60th Annual Reliability and Maintainability Symposium (RAMS)
Colorado Spring, U.S.A.
Januar 2014
DOI: | 10.1109/RAMS.2014.6798487 |
2013
58.
Glock,
Stefan;
Rosales,
Rafael;
Reutelhuber,
Franz;
Glaß,
Michael;
Teich,
Jürgen;
Fischer,
Georg;
Weigel,
Robert;
Ussmueller,
Thomas
Scenario-Based Energy Estimation of Heterogeneous Integrated Systems at System Level
Proceedings of the 43rd European Microwave Conference (EuMC), Seite 342-345
43rd European Microwave Conference (EuMC)
Nuremberg, Germany
Oktober 2013
Scenario-Based Energy Estimation of Heterogeneous Integrated Systems at System Level
Proceedings of the 43rd European Microwave Conference (EuMC), Seite 342-345
43rd European Microwave Conference (EuMC)
Nuremberg, Germany
Oktober 2013
ISBN: | 978-2-87487-031-6 |
57.
Graf,
Sebastian;
Glaß,
Michael;
Wintermann,
Dominic;
Teich,
Jürgen;
Lauer,
Christoph
IVaM: Implicit Variant Modeling and Management for Automotive Embedded Systems
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Montreal, Canada
September 2013
IVaM: Implicit Variant Modeling and Management for Automotive Embedded Systems
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Montreal, Canada
September 2013
DOI: | 10.1109/CODES-ISSS.2013.6659011 |
56.
Zhang,
Liyuan;
Glaß,
Michael;
Teich,
Jürgen;
Ballmann,
Nils
Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation
Proceedings of Forum on Specification & Design Languages (FDL)
Forum on Specification & Design Languages (FDL)
Paris, France
September 2013
Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation
Proceedings of Forum on Specification & Design Languages (FDL)
Forum on Specification & Design Languages (FDL)
Paris, France
September 2013
ISBN: | 978-2-9530504-8-6 |
55.
Andres,
Benjamin;
Gebser,
Martin;
Schaub,
Torsten;
Haubelt,
Christian;
Reimann,
Felix;
Glaß,
Michael
Symbolic System Synthesis Using Answer Set Programming
Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Seite 79-91
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
Corunna, Spain
September 2013
Symbolic System Synthesis Using Answer Set Programming
Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Seite 79-91
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
Corunna, Spain
September 2013
DOI: | 10.1007/978-3-642-40564-8_9 |
54.
Reimann,
Felix;
Graf,
Sebastian;
Streit,
Fabian;
Glaß,
Michael;
Teich,
Jürgen
Timing Analysis of Ethernet AVB-based Automotive E/E Architectures
Proceedings of IEEE International Conference on Emerging Technology & Factory Automation (ETFA), Seite 8
IEEE International Conference on Emerging Technology & Factory Automation (ETFA)
Cagliari, Italy
September 2013
Timing Analysis of Ethernet AVB-based Automotive E/E Architectures
Proceedings of IEEE International Conference on Emerging Technology & Factory Automation (ETFA), Seite 8
IEEE International Conference on Emerging Technology & Factory Automation (ETFA)
Cagliari, Italy
September 2013
DOI: | 10.1109/ETFA.2013.6648024 |
53.
Glaß,
Michael;
Graf,
Sebastian;
Reimann,
Felix;
Teich,
Jürgen
Design and Evaluation of Future Ethernet AVB-based ECU Networks
In Sangiovanni-Vincentelli, Alberto and Zeng, Haibo and Di Natale, Marco and Marwedel, Peter, Editor, Embedded Systems Development: From Functional Models to Implementations
Seite 205-220
Juli 2013
205-220
Design and Evaluation of Future Ethernet AVB-based ECU Networks
In Sangiovanni-Vincentelli, Alberto and Zeng, Haibo and Di Natale, Marco and Marwedel, Peter, Editor, Embedded Systems Development: From Functional Models to Implementations
Seite 205-220
Juli 2013
205-220
DOI: | 10.1007/978-1-4614-3879-3_12 |
52.
Lukasiewycz,
Martin;
Glaß,
Michael;
Teich,
Jürgen;
Chakraborty,
Samarjit
Exploration of Distributed Automotive Systems using Compositional Timing Analysis
In Sangiovanni-Vincentelli, Alberto and Zeng, Haibo and Di Natale, Marco and Marwedel, Peter, Editor, Embedded Systems Development: From Functional Models to Implementations
Seite 189-204
Juli 2013
189-204
Exploration of Distributed Automotive Systems using Compositional Timing Analysis
In Sangiovanni-Vincentelli, Alberto and Zeng, Haibo and Di Natale, Marco and Marwedel, Peter, Editor, Embedded Systems Development: From Functional Models to Implementations
Seite 189-204
Juli 2013
189-204
DOI: | 10.1007/978-1-4614-3879-3_11 |
51.
Herkersdorf,
Andreas;
Engel,
Michael;
Glaß,
Michael;
Henkel,
Jörg;
Kleeberger,
Veit B.;
Kochte,
Michael A.;
Kühn,
Johannes M.;
Nassif,
Sani R.;
Rauchfuss,
Holm;
Rosenstiel,
Wolfgang;
Schlichtmann,
Ulf;
Shafique,
Muhammad;
Tahoori,
Mehdi B.;
Teich,
Jürgen;
Wehn,
Norbert;
Weiss,
Christian;
Wunderlich,
Hans-Joachim
Cross-Layer Dependability Modeling and Abstraction in System on Chip
Proceedings of the 9th Workshop on Silicon Errors in Logic - System Effects (SELSE)
9th Workshop on Silicon Errors in Logic - System Effects (SELSE)
Stanford, U.S.A.
März 2013
Cross-Layer Dependability Modeling and Abstraction in System on Chip
Proceedings of the 9th Workshop on Silicon Errors in Logic - System Effects (SELSE)
9th Workshop on Silicon Errors in Logic - System Effects (SELSE)
Stanford, U.S.A.
März 2013