Publications
2011
107.
Albers,
Karsten
Approximative Real-Time Analysis
Dissertation
Dissertation
Universität Ulm
2011
Approximative Real-Time Analysis
Dissertation
Dissertation
Universität Ulm
2011
| File: |  http://vts.uni-ulm.de/docs/2011/7804/vts_7804_11263.pdf |
106.
Bodmann,
Frank;
Mühleis,
Nina;
Slomka,
Frank
Situation Aware Scheduling for Energy-Efficient Real-Time Systems
Proceedings of the 8th Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems
2011
Situation Aware Scheduling for Energy-Efficient Real-Time Systems
Proceedings of the 8th Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems
2011
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/BodmannMS2011.pdf |
2010
105.
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), Page 185-189
International Conference on Computer-Aided Design (ICCAD)
San Jose, USA
November 2010
Symbolic System Level Reliability Analysis
Proceedings of the International Conference on Computer-Aided Design (ICCAD), Page 185-189
International Conference on Computer-Aided Design (ICCAD)
San Jose, USA
November 2010
| DOI: | 10.1109/ICCAD.2010.5654134 |
104.
Kollmann,
Steffen;
Pollex,
Victor;
Kempf,
Kilian;
Slomka,
Frank;
Traub,
Matthias;
Bone,
Torsten;
Becker,
Jürgen
<prt>Comparative Application of Real-Time Verification Methods to an Automotive Architecture</prt>
Proceedings of the 18th International Conference on Real-Time and Network Systems
November 2010
<prt>Comparative Application of Real-Time Verification Methods to an Automotive Architecture</prt>
Proceedings of the 18th International Conference on Real-Time and Network Systems
November 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPKSTBB2010.pdf |
103.
Bund,
Tobias;
Moser,
Steffen;
Kollmann,
Steffen;
Slomka,
Frank
<prt>Guaranteed Bounds for the Control Performance Evaluation in Distributed System Architectures</prt>
Proceedings of the International Conference on Real-Time and Embedded Systems (RTES)
November 2010
<prt>Guaranteed Bounds for the Control Performance Evaluation in Distributed System Architectures</prt>
Proceedings of the International Conference on Real-Time and Embedded Systems (RTES)
November 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/BundMKS2010.pdf |
102.
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), Page 135-144
8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Scottsdale, USA
October 2010
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), Page 135-144
8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Scottsdale, USA
October 2010
| DOI: | 10.1145/1878961.1878986 |
101.
Kollmann,
Steffen;
Pollex,
Victor;
Kempf,
Kilian;
Slomka,
Frank
<prt>A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems</prt>
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Page 397-411
Publisher: Springer Verlag, Berlin, Heidelberg
October 2010
<prt>A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems</prt>
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Page 397-411
Publisher: Springer Verlag, Berlin, Heidelberg
October 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPKS2010.pdf |
100.
Kollmann,
Steffen;
Pollex,
Victor;
Slomka,
Frank
<prt>Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems</prt>
Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES)
September 2010
<prt>Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems</prt>
Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES)
September 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPS2010_2.pdf |
99.
Pollex,
Victor;
Kollmann,
Steffen;
Slomka,
Frank
<prt>Generalizing Response-Time Analysis</prt>
Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
IEEE Computer Society
August 2010
<prt>Generalizing Response-Time Analysis</prt>
Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
IEEE Computer Society
August 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKS2010.pdf |
98.
Moser,
Steffen;
Slomka,
Frank
<prt>Towards more Realistic Simulations of Ad-hoc Networks - Challenges and Opportunities</prt>
Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), Ottawa, Canada,
July 2010
<prt>Towards more Realistic Simulations of Ad-hoc Networks - Challenges and Opportunities</prt>
Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), Ottawa, Canada,
July 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/MoserS2010.pdf |
97.
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), Page 234-239
2010 ACM/EDAC/IEEE Design Automation Conference (DAC)
Anaheim, USA
June 2010
Towards Scalable System-Level Reliability Analysis
Proceedings of the 2010 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 234-239
2010 ACM/EDAC/IEEE Design Automation Conference (DAC)
Anaheim, USA
June 2010
| DOI: | 10.1145/1837274.1837334 |
96.
Lukasiewycz,
Martin;
Glaß,
Michael;
Teich,
Jürgen
Robust Design of Embedded Systems
Proceedings of Design, Automation, and Test in Europe (DATE), Page 1578-583
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
March 2010
Robust Design of Embedded Systems
Proceedings of Design, Automation, and Test in Europe (DATE), Page 1578-583
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
March 2010
| DOI: | 10.1109/DATE.2010.5457062 |
95.
Kollmann,
Steffen;
Pollex,
Victor;
Slomka,
Frank
<prt>Holistic Real-Time Analysis with an Expressive Event Model</prt>
Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Page 67-76
February 2010
<prt>Holistic Real-Time Analysis with an Expressive Event Model</prt>
Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Page 67-76
February 2010
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPS2010.pdf |
94.
Glaß,
Michael;
Herrscher,
Daniel;
Meier,
Herbert;
Piastowski,
Martin;
Schoo,
Peter
SEIS - Security in Embedded IP-based Systems
ATZelektronik worldwide, 5 (1) :36-40
February 2010
SEIS - Security in Embedded IP-based Systems
ATZelektronik worldwide, 5 (1) :36-40
February 2010
| DOI: | 10.1007/BF03242255 |
93.
Glaß,
Michael;
Lukasiewycz,
Martin;
Haubelt,
Christian;
Teich,
Jürgen
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT), Page 17-22
IEEE International Workshop on Reliability Aware System Design and Test (RASDAT)
Bangalore, India
January 2010
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT), Page 17-22
IEEE International Workshop on Reliability Aware System Design and Test (RASDAT)
Bangalore, India
January 2010
2009
92.
Greve,
Hannes;
Egelkraut,
Sven;
Rösch,
Michael;
Glaß,
Michael;
März,
Martin;
Franke,
Jörg;
Teich,
Jürgen;
Frey,
Lothar
Zuverlässigkeitsuntersuchung von PBGA Lotverbindungen für Automobilanwendungen
Proceedings of IMAPS Germany Herbstkonferenz
IMAPS Germany Herbstkonferenz
Munich, Germany
October 2009
Zuverlässigkeitsuntersuchung von PBGA Lotverbindungen für Automobilanwendungen
Proceedings of IMAPS Germany Herbstkonferenz
IMAPS Germany Herbstkonferenz
Munich, Germany
October 2009
91.
Lukasiewycz,
Martin;
Glaß,
Michael;
Teich,
Jürgen
Exploiting Data-Redundancy in Reliability-Aware Networked Embedded System Design
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Page 229-238
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
October 2009
Exploiting Data-Redundancy in Reliability-Aware Networked Embedded System Design
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Page 229-238
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
October 2009
| DOI: | 10.1145/1629435.1629468 |
90.
Lukasiewycz,
Martin;
Glaß,
Michael;
Milbredt,
Paul;
Teich,
Jürgen
FlexRay Schedule Optimization of the Static Segment
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Page 363-372
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
October 2009
FlexRay Schedule Optimization of the Static Segment
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Page 363-372
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
October 2009
| DOI: | 10.1145/1629435.1629485 |
89.
Glaß,
Michael;
Lukasiewycz,
Martin;
Teich,
Jürgen;
Bordoloi,
Unmesh D.;
Chakraborty,
Samarjit
Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis
Proceedings of the 2009 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 43-46
2009 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
July 2009
Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis
Proceedings of the 2009 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 43-46
2009 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
July 2009
| DOI: | 10.1145/1629911.1629925 |
88.
Lukasiewycz,
Martin;
Streubühr,
Martin;
Glaß,
Michael;
Haubelt,
Christian;
Teich,
Jürgen
Combined System Synthesis and Communication Architecture Exploration for MPSoCs
Proceedings of Design, Automation and Test in Europe (DATE), Page 472-477
Design, Automation and Test in Europe (DATE)
Nice, France
April 2009
Combined System Synthesis and Communication Architecture Exploration for MPSoCs
Proceedings of Design, Automation and Test in Europe (DATE), Page 472-477
Design, Automation and Test in Europe (DATE)
Nice, France
April 2009
| DOI: | 10.1109/DATE.2009.5090711 |
87.
Glaß,
Michael;
Lukasiewycz,
Martin;
Haubelt,
Christian;
Teich,
Jürgen
Incorporating Graceful Degradation into Embedded System Design
Proceedings of Design, Automation and Test in Europe (DATE), Page 320-323
Design, Automation and Test in Europe (DATE)
Nice, France
April 2009
Incorporating Graceful Degradation into Embedded System Design
Proceedings of Design, Automation and Test in Europe (DATE), Page 320-323
Design, Automation and Test in Europe (DATE)
Nice, France
April 2009
| DOI: | 10.1109/DATE.2009.5090681 |
86.
Albers,
Karsten;
Slomka,
Frank
<prt>An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems</prt>
Proceedings of the International Embedded Systems Symposium, Page 102-114
2009
<prt>An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems</prt>
Proceedings of the International Embedded Systems Symposium, Page 102-114
2009
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersS2009.pdf |
85.
König,
Frank;
Boers,
Dave;
Slomka,
Frank;
Margull,
Ulrich;
Niemetz,
Michael;
Wirrer,
Gehard
<prt>Application Specific Performance Indicators for Quantitative Evaluation of the Timing Behavior of Embedded Real-Time Systems</prt>
Proceedings of the Design Automation and Test Conference in Europe (DATE)
2009
<prt>Application Specific Performance Indicators for Quantitative Evaluation of the Timing Behavior of Embedded Real-Time Systems</prt>
Proceedings of the Design Automation and Test Conference in Europe (DATE)
2009
84.
Menhorn,
Benjamin;
Slomka,
Frank
<prt>Entwurfsentropie: Ein Maß im Schaltungsentwurf</prt>
7th GI/GMM/ITG-Workshop, Multi-Nature-Systems
2009
<prt>Entwurfsentropie: Ein Maß im Schaltungsentwurf</prt>
7th GI/GMM/ITG-Workshop, Multi-Nature-Systems
2009
| ISBN: | 978-3-00-027064-2 |
| File: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2009_2.pdf |
83.
Pollex,
Victor;
Kollmann,
Steffen;
Albers,
Karsten;
Slomka,
Frank
<prt>Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions</prt>
Proceedings of the Design Automation and Test Conference in Europe (DATE 09)
2009
<prt>Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions</prt>
Proceedings of the Design Automation and Test Conference in Europe (DATE 09)
2009
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKAS2009.pdf |