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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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: |  /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
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
Confirming the Design Gap
Proceedings of the third international conference on computional science, engineering and information thechnology 2013,
Juni 2013
| Datei: | /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
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: | /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
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: | /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
Quantitative analysis of software code by states
Proceedings of the eighth IASTED International Conference on Advances in Computer Science 2013,
April 2013
| Datei: | /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
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
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
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
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
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 |