Publikationen
2011
107.
Albers,
Karsten
Approximative Real-Time Analysis
Dissertation
Dissertation
Universität Ulm
2011
Approximative Real-Time Analysis
Dissertation
Dissertation
Universität Ulm
2011
| Datei: |  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
| Datei: | 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), Seite 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), Seite 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
| Datei: | 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
| Datei: | 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), Seite 135-144
8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Scottsdale, USA
Oktober 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), Seite 135-144
8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Scottsdale, USA
Oktober 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, Seite 397-411
Herausgeber: Springer Verlag, Berlin, Heidelberg
Oktober 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, Seite 397-411
Herausgeber: Springer Verlag, Berlin, Heidelberg
Oktober 2010
| Datei: | 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
| Datei: | 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
| Datei: | 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,
Juli 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,
Juli 2010
| Datei: | 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), Seite 234-239
2010 ACM/EDAC/IEEE Design Automation Conference (DAC)
Anaheim, USA
Juni 2010
Towards Scalable System-Level Reliability Analysis
Proceedings of the 2010 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 234-239
2010 ACM/EDAC/IEEE Design Automation Conference (DAC)
Anaheim, USA
Juni 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), Seite 1578-583
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2010
Robust Design of Embedded Systems
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 1578-583
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 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, Seite 67-76
Februar 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, Seite 67-76
Februar 2010
| Datei: | 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
Februar 2010
SEIS - Security in Embedded IP-based Systems
ATZelektronik worldwide, 5 (1) :36-40
Februar 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), Seite 17-22
IEEE International Workshop on Reliability Aware System Design and Test (RASDAT)
Bangalore, India
Januar 2010
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT), Seite 17-22
IEEE International Workshop on Reliability Aware System Design and Test (RASDAT)
Bangalore, India
Januar 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
Oktober 2009
Zuverlässigkeitsuntersuchung von PBGA Lotverbindungen für Automobilanwendungen
Proceedings of IMAPS Germany Herbstkonferenz
IMAPS Germany Herbstkonferenz
Munich, Germany
Oktober 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), Seite 229-238
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
Oktober 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), Seite 229-238
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
Oktober 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), Seite 363-372
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
Oktober 2009
FlexRay Schedule Optimization of the Static Segment
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seite 363-372
7th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Grenoble, France
Oktober 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), Seite 43-46
2009 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
Juli 2009
Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis
Proceedings of the 2009 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 43-46
2009 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
Juli 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), Seite 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), Seite 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), Seite 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), Seite 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, Seite 102-114
2009
<prt>An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems</prt>
Proceedings of the International Embedded Systems Symposium, Seite 102-114
2009
| Datei: | 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 |
| Datei: | /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
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKAS2009.pdf |