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:

Im Sommersemester:

Projekte:

 

Prof. Dr.-Ing. Michael Glaß
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

2013

50.
Aliee, Hananeh; Glaß, Michael; Reimann, Felix; Teich, Jürgen
Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 1621-1626
Design, Automation, and Test in Europe (DATE)
Grenoble, France
März 2013
DOI:10.7873/DATE.2013.329
49.
Graf, Sebastian; Glaß, Michael; Teich, Jürgen
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Seite 117-128
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Rostock, Germany
März 2013
ISBN:978-3-86009-147-0
48.
Andres, Benjamin; Schaub, Torsten; Gebser, Martin; Haubelt, Christian; Reimann, Felix; Glaß, Michael
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Seite 35-46
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Rostock, Germany
März 2013
ISBN:978-3-86009-147-0
47.
Reimann, Felix; Glaß, Michael; Teich, Jürgen
Migration Strategies for Ethernet-based E/E Architectures
Proceedings of the Embedded World Conference, Seite 7
Embedded World Conference
Nuremberg, Germany
Februar 2013
46.
Reimann, Felix; Glaß, Michael; Teich, Jürgen; Abelein, Ulrich
Szenarienbasierte Integration von Diagnosefunktionalitt in E/E Architekturen
Proceedings of Automotive meets Electronics (AmE), Seite 15-20
Automotive meets Electronics (AmE)
Dortmund, Germany
Februar 2013

2012

45.
Glaß, Michael; Yu, Heng; Reimann, Felix; Teich, Jürgen
Cross-Level Compositional Reliability Analysis for Embedded Systems
Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Seite 111-124
International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Magdeburg, Germany
September 2012
DOI:10.1007/978-3-642-33678-2_10
44.
Glaß, Michael; Teich, Jürgen; Zhang, Liyuan
A Co-simulation Approach for System-Level Analysis of Embedded Control Systems
Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), Seite 355-362
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
Juli 2012
DOI:10.1109/SAMOS.2012.6404200
43.
Eberl, Michael; Glaß, Michael; Teich, Jürgen; Abelein, Ulrich
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks
Proceedings of the 2012 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 205-213
2012 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
Juni 2012
DOI:10.1145/2228360.2228400
42.
Graf, Sebastian; Russ, Thomas; Glaß, Michael; Teich, Jürgen
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures
Proceedings of the Automotive meets Electronics (AmE), GMM Fachbericht 72, Seite 116-121
Automotive meets Electronics (AmE)
Dortmund, Germany
April 2012
ISBN:978-3-8007-3433-7
41.
Milbredt, Paul; Glaß, Michael; Lukasiewycz, Martin; Steininger, Andreas; Teich, Jürgen; Chakraborty, Samarjit
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 276-279
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2012
DOI:10.1109/DATE.2012.6176477
40.
Zhang, Liyuan; Glaß, Michael; Streubühr, Martin; Teich, Jürgen; v. Schwerin, Andreas; Liu, Kai
Actor-oriented Modeling and Simulation of Cut-through Communication in Network Controllers
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Seite 193-204
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 2012
39.
Graf, Sebastian; Glaß, Michael; Teich, Jürgen
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Seite 13-24
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 2012
38.
Zhang, Liyuan; Streubühr, Martin; Glaß, Michael; Teich, Jürgen; von Schwerin, Andreas; Liu, Kai
System-Level Modeling and Simulation of Networked PROFINET IO Controllers
Proceedings of the Embedded World Conference,
Embedded World Conference
Nuremberg, Germany
März 2012
37.
Lukasiewycz, Martin; Glaß, Michael; Teich, Jürgen; Milbredt, Paul
FlexRay Static Segment Scheduling
In Chakraborty, Samarjit and Eberspächer, Jörg, Editor, Advances in Real-Time Systems
Seite 323-339
Herausgeber: Springer, Heidelberg
Januar 2012
323-339
DOI:10.1007/978-3-642-24349-3_16

2011

36.
Angermeier, Josef; Ziener, Daniel; Glaß, Michael; Teich, Jürgen
Runtime stress-aware replica placement on reconfigurable devices under safety constraints
Proceedings of the International Conference on Field-Programmable Technology (FPT), Seite 1-6
International Conference on Field-Programmable Technology (FPT)
New Delhi, India
Dezember 2011
DOI:10.1109/FPT.2011.6133247
35.
Angermeier, Josef; Ziener, Daniel; Glaß, Michael; Teich, Jürgen
Stress-Aware Module Placement on Reconfigurable Devices
Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), Seite 277-281
International Conference on Field Programmable Logic and Applications (FPL)
Chania, Crete, Greece
September 2011
DOI:10.1109/FPL.2011.56
34.
Lukasiewycz, Martin; Glaß, Michael; Reimann, Felix; Teich, Jürgen
Opt4J: A Modular Framework for Meta-Heuristic Optimization
Proceedings of the Genetic and Evolutionary Computing Conference (GECCO), Seite 1723-1730
Genetic and Evolutionary Computing Conference (GECCO)
Dublin, Ireland
Juli 2011
DOI:10.1145/2001576.2001808
33.
Reimann, Felix; Lukasiewycz, Martin; Glaß, Michael; Teich, Jürgen
Symbolic System Synthesis in the Presence of Stringent Real-Time Constraints
Proceedings of the 2011 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 393-398
2011 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Diego, USA
Juni 2011
DOI:10.1145/2024724.2024817
32.
Mühleis, Nina; Glaß, Michael; Zhang, Liyuan; Teich, Jürgen
A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems (ICCPS), 8 (2) :23-26
Juni 2011
Herausgeber: ACM
DOI:10.1145/2000367.2000372
31.
Graf, Sebastian; Streubühr, Martin; Glaß, Michael; Teich, Jürgen
Analyzing Automotive Networks using Virtual Prototypes
Proceedings of the Automotive meets Electronics (AmE), Seite 10-15
Automotive meets Electronics (AmE)
Dortmund, Germany
Mai 2011
ISBN:978-3-8007-3345-3
30.
Mühleis, Nina; Glaß, Michael; Teich, Jürgen
Control Performance-Aware System Level Design
Proceedings of the 8th Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems (CPMNS), Seite 15-20
Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems (CPMNS)
Bremen, Germany
April 2011
29.
Glaß, Michael
Dependability-Aware System-Level Design for Embedded Systems
Dissertation
Dissertation
Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander-University Erlangen-Nürnberg, Germany, Verlag Dr. Hut, Munich, Germany
März 2011
ISBN:978-3-86853-857-1

2010

28.
Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen
Symbolic System Level Reliability Analysis
Proceedings of the International Conference on Computer-Aided Design (ICCAD), Seite 185-189
International Conference on Computer-Aided Design (ICCAD)
San Jose, USA
November 2010
DOI:10.1109/ICCAD.2010.5654134
27.
Reimann, Felix; Glaß, Michael; Haubelt, Christian; Eberl, Michael; Teich, Jürgen
Improving Platform-Based System Synthesis by Satisfiability Modulo Theories Solving
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 135-144
8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Scottsdale, USA
Oktober 2010
DOI:10.1145/1878961.1878986
26.
Glaß, Michael; Lukasiewycz, Martin; Haubelt, Christian; Teich, Jürgen
Towards Scalable System-Level Reliability Analysis
Proceedings of the 2010 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 234-239
2010 ACM/EDAC/IEEE Design Automation Conference (DAC)
Anaheim, USA
Juni 2010
DOI:10.1145/1837274.1837334