Friedrich-Alexander-Universität DruckenUnivisEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Codesign
Lehrstuhl für Informatik 12
Michael Glaß
CV
Research
Open Source
Education
Open Theses
Publications
Misc.
Thesis
Herpetology
Department Informatik  >  Informatik 12  >  Personal  >  Michael Glaß

Michael Glaß
Dr.-Ing.

Michael Glaß
Zamenis longissimus (Switzerland) 1 / 9
Address:
Department of Computer Science 12
(Hardware-Software-Co-Design)
University of Erlangen-Nuremberg
Cauerstraße 11
D-91058 Erlangen
Germany
Office: 02.117
Phone: +49 9131 85-25154
Fax: +49 9131 85-25149
Email: michael.glass[at]cs.fau.de
PGP/GPG-Key: FD9D0304

Curriculum Vitæ

February 25, 1983 born in Rodewisch, Germany (former German Democratic Republic)
09/2006 Diploma degree (Dipl.-Inf. Univ.) in Computer Science, University of Erlangen-Nuremberg, Germany
2006 - 2009 Researcher at the Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Germany
since 2010 Project leader for automotive projects in the System-Level Design Automation Group, Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Germany
03/2011 Doctorate degree (Dr.-Ing.) in Computer Science, University of Erlangen-Nuremberg, Germany
since 07/2011 Head of the System-Level Design Automation Group, Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Germany

Research Projects

Ongoing
SEIS - Security in IP-based Embedded Systems
DIANA - Extended Diagnostic Capabilities to Improve the Analyzability of Electrical Deficiencies in Automotive Systems
CRAU - Compositional Reliability Analysis in the Presence of Uncertainties
High-Level Modeling of Bus Controllers and Systems from the Industrial Automation Domain
SystemCoDesigner - Automatic System Level Design for Embedded Systems
Completed
SFB 694 Project B5 - Production-Aware Design Methodology for Software Embedded in Components of Mobile Systems

Open Source Projects

JReliability - The Java-based Reliability Library
Opt4J - Meta-heuristic Optimization Framework for Java

Education

Ereignisgesteuerte Systeme
Verifikation digitaler Systeme
Praktikum: Entwicklung von interaktiven eingebetteten Systemen
Hauptseminar: Systems- and Networks-on-a-Chip
Hauptseminar: Nature-Inspired Optimization
Hauptseminar: Qualitätsmanagement und Zuverlässigkeitsmanagement

Open Theses

Kompositionelle Zuverlässigkeitsanalyse von MPSoCs

Publications  Google scholar

2012
45 M. Glaß, H. Yu, F. Reimann and J. Teich.
Cross-Level Compositional Reliability Analysis for Embedded Systems.
To appear in Proceedings of the 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany, September 25-28, 2012. ©1
44 M. Glaß, J. Teich and L. Zhang.
A Co-simulation Approach for System-Level Analysis of Embedded Control Systems.
To appear in Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2012), Samos, Greece, July 16-19, 2012. Invited Paper. ©1
43 M. Eberl, M. Glaß, J. Teich and U. Abelein.
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks.
To appear in Proceedings of the 49th Design Automation Conference (DAC 2012), San Francisco, USA, Jun. 3-7, 2012. ©1
42 S. Graf, T. Russ, M. Glaß and J. Teich.
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures.
In Proceedings of Automotive meets Electronics (AmE 2012) GMM Fachbericht 72, pp. 116-121, Dortmund, Germany, April 17-18, 2012. ©1
41 P. Milbredt, M. Glaß, M. Lukasiewycz, A. Steininger and J. Teich.
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach.
To appear in Proceedings of Design, Automation and Test in Europe (DATE 2012), Dresden, Germany, March 12-16, 2012. ©1
40 S. Graf, M. Glaß and J. Teich.
Unreliable Data Transmissions and Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes.
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), pp. 13-24, Kaiserslautern, Germany, March 05-07, 2012. ©1
39 L. Zhang, M. Glaß, M. Streubühr, J. Teich, A. v. Schwerin and K. Liu.
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 2012), pp. 193-204,Kaiserslautern, Germany, March 05-07, 2012. ©1
38 L. Zhang, M. Streubühr, M. Glaß, J. Teich, A. v. Schwerin and K. Liu.
System-Level Modeling and Simulation of Networked PROFINET IO Controllers.
Proceedings of the Embedded World Conference, Nuremberg, Germany, February 28 - March 01, 2012. ©1
37 M. Lukasiewycz, M. Glaß, J. Teich and P. Milbredt.
FlexRay Static Segment Scheduling.
In S. Chakraborty and J. Eberspächer (Eds.): Advances in Real-Time Systems, pp. 323-339, Springer Verlag Berlin Heidelberg, 2012. ©1
2011
36 J. Angermeier, D. Ziener, M. Glaß and J. Teich.
Runtime Stress-Aware Replica Placement on Reconfigurable Devices under Safety Constraints.
Proceedings of the International Conference on Field-Programmable Technology (FPT'11), New Delhi, India. Dec. 12-14, 2011. ©1
35 J. Angermeier, D. Ziener, M. Glaß and J. Teich.
Stress-Aware Module Placement on Reconfigurable Devices.
Proceedings of the Conference on Field-Programmable Logic and Applications (FPL 2011), pp. 277-281, Chania, Crete, Greece. Sep 5-7. 2011. ©1
34 M. Lukasiewycz, M. Glaß, F. Reimann and J. Teich.
Opt4J - A Modular Framework for Meta-heuristic Optimization.
Proceedings of the Genetic and Evolutionary Computing Conference (GECCO 2011), pp. 1723-1730, Dublin, Ireland, Jul. 12-16, 2011. ©1
33 F. Reimann, M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
Symbolic System Synthesis in the Presence of Stringent Real-Time Constraints.
Proceedings of the 48th Design Automation Conference (DAC 2011), pp. 393-398, San Diego, USA, Jun. 5-10, 2011. ©1
32 S. Graf, M. Streubühr, M. Glaß and J. Teich.
Analyzing Automotive Networks using Virtual Prototypes.
In Proceedings of Automotive meets Electronics (AmE 2011) GMM Fachbericht 69, pp. 10-15, Dortmund, Germany, May 4-5, 2011. ©1
31 N. Mühleis, M. Glaß, L. Zhang and J. Teich.
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 2011). Volume 8(2): pp. 23-26, 2011. ©1
30 M. Glaß.
Dependability-Aware System-Level Design for Embedded Systems.
Dissertation, University of Erlangen-Nuremberg, ISBN 978-3-86853-857-1, Verlag Dr. Hut, Munich, Germany, Mar., 2011. ©1
29 N. Mühleis, M. Glaß and J. Teich.
Control Performance-Aware System Level Design.
In Proceedings of the 8th Workshop on Cyber-Physical Systems – Enabling Multi-Nature Systems (CPMNS 2011), pp. 15-20, Bremen, Germany, Feb. 23-24, 2011. ©1
2010
28 M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic System Level Reliability Analysis.
In Proceedings of the International Conference on Computer-Aided Design (ICCAD), pp. 185-189, San Jose, USA, November 07-11, 2010. Tutorial Paper. ©1
27 F. Reimann, M. Glaß, C. Haubelt, M. Eberl and J. Teich.
Improving Platform-Based System Synthesis by Satisfiability Modulo Theories Solving.
In Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 135-144, Scottsdale, USA. October 24-29 2010. ©3
26 M. Glaß, M. Lukasiewycz, C. Haubelt and J. Teich.
Towards Scalable System-Level Reliability Analysis.
In Proceedings of the 2010 ACM/EDAC/IEEE Design Automation Conference (DAC 2010), pp. 234-239, Anaheim, CA, U.S.A., June 13-18, 2010. ©1
25 M. Lukasiewycz, M. Glaß and J. Teich.
Robust Design of Embedded Systems.
In Proceedings of Design, Automation and Test in Europe (DATE 2010), pp. 1578-1583, Dresden, Germany, March 08-12, 2010. ©1
24 M. Glaß, D. Herrscher, H. Meier, M. Piastowski and P. Schoo.
SEIS - Sicherheit in Eingebetteten IP-Basierten Systemen.
In ATZelektronik. Volume 5(1), pp. 50-55, February 2010. ©1
23 M. Glaß, M. Lukasiewycz, C. Haubelt and J. Teich.
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach.
Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT '10), pp. 17-22, Bangalore, India, January 07-08, 2010. ©1
2009
22 H. Greve, S. Egelkraut, M. Rösch, M. Glaß, M. März, J. Franke, J. Teich and L. Frey.
Zuverlässigkeitsuntersuchung von PBGA Lotverbindungen für Automobilanwendungen.
In Proceedings of IMAPS 2009, Munich, Germany, October 27-28, 2009. ©1
21 M. Lukasiewycz, M. Glaß, P. Milbredt and J. Teich.
FlexRay Schedule Optimization of the Static Segment.
In Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 363-372, Grenoble, France, October 11-16 2009. ©1
20 M. Lukasiewycz, M. Glaß and J. Teich.
Exploiting Data-Redundancy in Reliability-Aware Networked Embedded System Design.
In Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 229-238, Grenoble, France, October 11-16 2009. ©1
19 M. Glaß, M. Lukasiewycz, J. Teich, U. Bordoloi and S. Chakraborty.
Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis.
In Proceedings of the 2009 ACM/EDAC/IEEE Design Automation Conference (DAC 2009), pp. 43-46, San Francisco, CA, U.S.A., July 26-31, 2009. ©1
18 M. Glaß, M. Lukasiewycz, C. Haubelt and J. Teich.
Incorporating Graceful Degradation into Embedded System Design.
Proceedings of Design, Automation and Test in Europe (DATE 2009), pp. 320-323, IEEE Computer Society, Nice, France, April 20-24, 2009. ©1
17 M. Lukasiewycz, M. Streubühr, M. Glaß, C. Haubelt and J. Teich.
Combined System Synthesis and Communication Architecture Exploration for MPSoCs.
Proceedings of Design, Automation and Test in Europe (DATE 2009), pp. 472-477, IEEE Computer Society, Nice, France, April 20-24, 2009. ©1
2008
16 F. Reimann, M. Glaß, M. Lukasiewycz, J. Keinert, C. Haubelt and J. Teich.
Symbolic Voter Placement for Dependability-Aware System Synthesis.
In Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 237-242, Atlanta, GA USA, October 19-24 2008. ©1
15 M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), pp. 139-152, Newcastle upon Tyne, UK, September 22-25, 2008. ©1
14 M. Lukasiewycz, M. Glaß and J. Teich.
A Feasibility-preserving Crossover and Mutation Operator for Constrained Combinatorial Problems.
In Proceedings of the 10th International Conference on Parallel Problem Solving from Nature (PPSN 2008), pp. 919-928, Dortmund, Germany, September 13-17, 2008. ©1
13 M. Glaß, M. Lukasiewycz, R. Wanka, C. Haubelt and J. Teich.
Multi-Objective Routing and Topology Optimization in Networked Embedded Systems.
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2008), pp. 74-81, Samos, Greece, July 21-24, 2008. ©1
12 M. Lukasiewycz, M. Glaß, C. Haubelt, J. Teich, R. Regler and B. Lang.
Concurrent Topology and Routing Optimization in Automotive Network Integration.
In Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008), pp. 626-629, Anaheim, CA, U.S.A., June 08-13, 2008. ©1
11 M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
A Feasibility-preserving Local Search Operator for Constrained Discrete Optimization Problems.
In Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC 2008), pp. 1968-1975, Hong Kong, China, June 01-06, 2008. ©1
10 M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic Reliability Analysis and Optimization of ECU Networks.
Proceedings of Design, Automation and Test in Europe (DATE 2008), IEEE Computer Society, pp. 158-163, Munich, Germany, March 10-14, 2008. ©1
9 T. Streichert, M. Glaß, R. Wanka, C. Haubelt and J. Teich.
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks.
Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008), pp. 23-37, Dresden, Germany, February 25-28, 2008. ©1
8 M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
Efficient Symbolic Multi–Objective Design Space Exploration.
In Proceedings of the 13th Asia and South Pacific Design Automation Conference (ASP-DAC 2008), pp. 691-696, Seoul, Korea. ©1
2007
7 T. Streichert, M. Glaß, C. Haubelt and J. Teich.
Design space exploration of reliable networked embedded systems.
In Journal on Systems Architecture (JSA). Volume 53(10): 751-763, 2007. ©1
6 M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
SAT-Decoding in Evolutionary Algorithms for Discrete Constrained Optimization Problems.
In Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, Singapore, pp. 935-942, September 25-28, 2007. ©1
5 M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
Solving Multiobjective Pseudo-Boolean Problems.
In Proceedings of Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007), Lisbon, Portugal, pp. 56-69, May 28-31, 2007. ©1
4 M. Glaß, M. Lukasiewycz, T. Streichert, C. Haubelt and J. Teich.
Reliability-Aware System Synthesis.
In Proceedings of Design, Automation and Test in Europe (DATE 2007), IEEE Computer Society, Nice, France, pp. 409-414, April 16-20, 2007. ©1
3 M. Glaß, M. Lukasiewycz, T. Streichert, C. Haubelt and J. Teich.
Synthese zuverlässiger und flexibler Systeme.
In Proceedings of Zuverlässigkeit und Entwurf (ZuD 2007), Munich, Germany, pp. 141-148, March 26-28, 2007. ©1
2 M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
Symbolic Archive Representation for a Fast Nondominance Test.
In Proceedings of the Fourth International Conference on Evolutionary Multi-Criterion Optimization (EMO 2007), Sendai, Japan, pp. 111-125, March 5-8, 2007. ©1
2006
1 M. Glaß.
Designing Low Power Hardware / Software Systems.
In Proceedings of the 1st Chinese-German Summer School. Shanghai, China, pp. 561-567, September 18-28, 2006. ©1

Misc.

2012
10 F. Reimann, S. Graf, M. Glaß and J. Teich.
Design Space Exploration for Modern Automotive Ethernet-based E/E Architectures.
University Booth at Design, Automation and Test in Europe (DATE 2012), Dresden, Germany, March 13-15, 2012. ©1
2011
9 M. Glaß.
Model-based Design: The Base for Efficient Design Automation of Embedded Systems.
Talk at the Model-based Design Working Group meeting, Nuremberg, Germany, December 8, 2011. ©1
8 T. Klie, N. Mühleis and M. Glaß.
Design Methods for Cyber-physical Systems.
BICC Innovation Forum Embedded Systems, Munich, April 8th 2011. ©1
2010
7 F. Reimann and M. Glaß.
Timing Analysis for Real-Time Ethernet Variants in ECU Network Design.
Talk at the 4th Symtavision News Conference, Braunschweig, Germany, September 29-30,2010. ©1
6 M. Glaß.
Dependability-Aware Embedded System-Level Design.
SIGDA/EDAA PhD forum at DATE 2010, Dresden, Germany, March 8, 2010. ©1
5 M. Glaß.
Dependability-Aware System-Level Design: How to close the Gaps?.
Panel Discussion at the IEEE International Workshop on Reliability Aware System Design and Test (RASDAT '10), Bangalore, India, January 07-08, 2010. ©1
2009
4 M. Glaß.
Dependability-Aware Embedded System-Level Design.
12th SIGDA Ph.D. Forum at DAC, San Francisco, CA, U.S.A., July 28, 2009. ©1
3 M. Glaß and J. Teich.
Electronic System-Level Modeling and Optimization of Reliability.
Workshop on Design of Future Reliable Systems from Unreliable Components, Munich, Germany, July 10, 2009. ©1
2 M. Glaß, M. Lukasiewycz, F. Reimann, M. Streubühr, J. Keinert, C. Haubelt and J. Teich.
Dependability-Aware System Synthesis: SystemCoDesigner, OPT4J and JRELIABILITY.
University Booth at Design, Automation and Test in Europe (DATE 2009), Nice, France, April 20-24, 2009. ©1
2007
1 J. Falk, J. Gladigau, M. Glaß, C. Haubelt, S. Helwig, J. Keinert, M. Lukasiewycz, T. Schlichter, T. Streichert, M. Streubühr and J. Teich.
SystemCoDesigner – The System-Level Hardware-Software-Co-Design Tool.
University Booth at Design, Automation and Test in Europe (DATE 2007), Nice, France, April 16-20, 2007. ©1

Thesis

2006
2 M. Glaß.
Fehlertoleranz- und Verlässlichkeitsanalyse in der Entwurfsraumexploration.
Diplomarbeit, Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, September 2006. ©1
2005
1 M. Glaß.
Mehrstufige Systemsynthese basierend auf der Kombination von Pareto-Front-Arithmetik und Evolutionären Algorithmen.
Studienarbeit, Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, Dezember 2005. ©1

Herpetological Publications

2012
4 M. Glaß and D. Bohle.
Farb- und Zeichnungsvarianten der Kornnatter.
©Vivaria Verlag, 160 S., ISBN-10 3981317661, 2012.

3 M. Glaß and D. Bohle.
Haltungsgrundlagen der Kornnatter.
©Vivaria Verlag, 64 S., ISBN-10 3981317653, 2012.

2007
2 M. Glaß.
Kornnattern und ihre Farb- und Zeichnungsvarianten.
©Vivaria Verlag, 144 S., ISBN-10 3981041267, 2007.
2005
1 M. Glaß and D. Bohle.
Farbvarianten der Kornnatter.
In G. Köhler and P. Berg. Kornnattern: Lebensweise, Pflege, Zucht, Erkrankungen. ©Herpeton Verlag, 142 S., ISBN-10 3936180148, 2005.


"The things you own, they end up owning you." (Tyler Durden)


Copyrights:
©1The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
©2©2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
©3©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
  Impressum Stand: 15 May 2012.   M.G.