Publications

2011

108.
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/BodmannMS2011.pdf
107.
Albers, Karsten
Approximative Real-Time Analysis
Dissertation
Dissertation
Universität Ulm
2011
File:pdfhttp://vts.uni-ulm.de/docs/2011/7804/vts_7804_11263.pdf
106.

13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011
In Natalio Krasnogor and Pier Luca Lanzi, Editor
Publisher: ACM
2011
ISBN:978-1-4503-0557-0

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
DOI:10.1109/ICCAD.2010.5654134
104.
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/BundMKS2010.pdf
103.
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPKSTBB2010.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
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
File:pdfhttp://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
File:pdfhttp://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
File:pdfhttp://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
File:pdfhttp://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
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
DOI:10.1109/DATE.2010.5457062
95.
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
DOI:10.1007/BF03242255
94.
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannPS2010.pdf
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

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
91.
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
DOI:10.1145/1629435.1629485
90.
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
DOI:10.1145/1629435.1629468
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
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
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
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersS2009.pdf
85.
Lipskoch, Henrik; Slomka, Frank
<prt>Task-Dependent Processor Shutdown for Hard Real-Time Systems</prt>
Proceedings of the International Embedded Systems Symposium
2009
84.
Menhorn, Benjamin; Slomka, Frank
<prt>Project Management Through States</prt>
IEMS 2009: International Conference on Engineering Management and Service Sciences
2009
ISBN:978-1-4244-4639-1
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2009.pdf