Publikationen

2014

182.
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)
Februar 2014
Herausgeber: ACM
DOI:10.1145/2560033
181.
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
DOI:10.1109/RAMS.2014.6798487
180.
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
Herausgeber: IEEE

2013

179.
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
Dezember 2013
Herausgeber: ACM
DOI:10.1145/2583687.2583701
178.
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)
Oktober 2013
177.
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
ISBN:978-2-87487-031-6
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,
Oktober 2013
Datei:http://dl.acm.org/citation.cfm?id=2516835
175.
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),
Herausgeber: Montreal / Canada
Oktober 2013
174.
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
DOI:10.1109/CODES-ISSS.2013.6659011
173.
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
172.
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
DOI:10.1007/978-3-642-40564-8_9
171.
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
DOI:10.1109/ETFA.2013.6648024
170.
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
DOI:10.1007/978-1-4614-3879-3_12
169.
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
DOI:10.1007/978-1-4614-3879-3_11
168.
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),
Juli 2013
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.050/publications/HausnerS2013.pdf
167.
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), Seite 1-11
Herausgeber: Paris / France
Juli 2013
166.
Menhorn, Benjamin; Slomka, Frank
Confirming the Design Gap
Proceedings of the third international conference on computional science, engineering and information thechnology 2013,
Juni 2013
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2013_2.pdf
165.
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,
Juni 2013
ISBN:978-1-4799-0658-1
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2013_3.pdf
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
Datei:pdf/fileadmin/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
Datei:pdf/fileadmin/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.
März 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), Seite 1621-1626
Design, Automation, and Test in Europe (DATE)
Grenoble, France
März 2013
DOI:10.7873/DATE.2013.329
160.
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
159.
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
158.
Bund, Tobias; Menhorn, Benjamin; Slomka, Frank
Event Density Analysis for Event Triggered Control Systems
Proceedings of the Design Automation and Test Conference in Europe (DATE),
Grenoble
März 2013
Datei:http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6513679