Publications

2014

183.
Axer, Philip; Ernst, Rolf; Falk, Heiko; Girault, Alain; Grund, Daniel; Guan, Nan; Jonsson, Bengt; Marwedel, Peter; Reineke, Jan; Rochange, Christine; Sebastian, Maurice; von Hanxleden, Reinhard; Wilhelm, Reinhard; Yi, Wang
Building Timing Predictable Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS), 13 (4)
February 2014
Publisher: ACM
DOI:10.1145/2560033
182.
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), Page 563-569
60th Annual Reliability and Maintainability Symposium (RAMS)
Colorado Spring, U.S.A.
January 2014
DOI:10.1109/RAMS.2014.6798487
181.
Chang, Che-Wei; Chen, Jian-Jia; Kuo, Tei-Wei; Falk, Heiko
Real-Time Task Scheduling on Island-Based Multi-Core Platforms
IEEE Transactions on Parallel and Distributed Systems (TPDS)
2014
Publisher: IEEE

2013

180.
Luppold, Arno; Menhorn, Benjamin; Falk, Heiko; Slomka, Frank
A New Concept for System-Level Design of Runtime Reconfigurable Real-Time Systems
ACM SIGBED Review, 10 (4) :57-60
December 2013
Publisher: ACM
DOI:10.1145/2583687.2583701
179.
Pollex, Victor; Feld, Timo; Slomka, Frank; Margull, Ulrich; Mader, Ralph; Wirrer, Gerhard
Sufficient real-time analysis for an engine control unit
Proceedings of the 21st International conference on Real-Time Networks and Systems (RTNS)
October 2013
178.
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), Page 342-345
43rd European Microwave Conference (EuMC)
Nuremberg, Germany
October 2013
ISBN:978-2-87487-031-6
177.
Kleinsorge, Jan C.; Falk, Heiko; Marwedel, Peter
Simple Analysis of Partial Worst-case Execution Paths on General Control Flow Graphs
Proceedings of the International Conference on Embedded Software (EMSOFT),
Publisher: Montreal / Canada
October 2013
176.
Bund, Tobias; Slomka, Frank
A Delay Density Model for Networked Control Systems
Proceedings of the 21th International Conference on Real-Time and Network Systems,
October 2013
File:http://dl.acm.org/citation.cfm?id=2516835
175.
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), Page 10
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Montreal, Canada
September 2013
DOI:10.1109/CODES-ISSS.2013.6659011
174.
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
ISBN:978-2-9530504-8-6
173.
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), Page 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
172.
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), Page 8
IEEE International Conference on Emerging Technology & Factory Automation (ETFA)
Cagliari, Italy
September 2013
DOI:10.1109/ETFA.2013.6648024
171.
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
Page 205-220
July 2013
205-220
DOI:10.1007/978-1-4614-3879-3_12
170.
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
Page 189-204
July 2013
189-204
DOI:10.1007/978-1-4614-3879-3_11
169.
Hausner, Christian; Slomka, Frank
Abstract Modeling of Embedded Systems Hardware
Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013),
July 2013
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/HausnerS2013.pdf
168.
Kelter, Timon; Harde, Tim; Marwedel, Peter; Falk, Heiko
Evaluation of resource arbitration methods for multi-core real-time systems
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET), Page 1-11
Publisher: Paris / France
July 2013
167.
Menhorn, Benjamin; Brix, Lukas; Slomka, Frank
Digital Hardware Projects: A New Tool for Automated Complexity Analysis
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems 2013,
June 2013
ISBN:978-1-4799-0658-1
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2013_3.pdf
166.
Menhorn, Benjamin; Slomka, Frank
Confirming the Design Gap
Proceedings of the third international conference on computional science, engineering and information thechnology 2013,
June 2013
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2013_2.pdf
165.
Luppold, Arno; Menhorn, Benjamin; Falk, Heiko; Slomka, Frank
A New Concept for System-Level Design of Runtime Reconfigurable Real-Time Systems
Proceedings of the 5th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES),
Philadelphia
Publisher: Philadelphia / United States
April 2013
164.
Bund, Tobias; Slomka, Frank
A new delay specification for cyber-physical systems development
Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13),
Philadelphia
April 2013
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/BundS2013_1.pdf
163.
Menhorn, Benjamin; Slomka, Frank
Quantitative analysis of software code by states
Proceedings of the eighth IASTED International Conference on Advances in Computer Science 2013,
April 2013
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2013.pdf
162.
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.
March 2013
161.
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), Page 1621-1626
Design, Automation, and Test in Europe (DATE)
Grenoble, France
March 2013
DOI:10.7873/DATE.2013.329
160.
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), Page 117-128
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Rostock, Germany
March 2013
ISBN:978-3-86009-147-0
159.
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), Page 35-46
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Rostock, Germany
March 2013
ISBN:978-3-86009-147-0