Publications
2013
157.
Pollex,
Victor;
Feld,
Timo;
Slomka,
Frank;
Margull,
Ulrich;
Mader,
Ralph;
Wirrer,
Gerhard
Sufficient Real-Time Analysis for an Engine Control Unit with Constant Angular Velocities
Proceedings of the Design Automation and Test Conference in Europe (DATE),
Grenoble
March 2013
Sufficient Real-Time Analysis for an Engine Control Unit with Constant Angular Velocities
Proceedings of the Design Automation and Test Conference in Europe (DATE),
Grenoble
March 2013
| File: |  /fileadmin/website_uni_ulm/iui.inst.050/publications/PollexFSMMW2013.pdf |
156.
Reimann,
Felix;
Glaß,
Michael;
Teich,
Jürgen
Migration Strategies for Ethernet-based E/E Architectures
Proceedings of the Embedded World Conference, Page 7
Embedded World Conference
Nuremberg, Germany
February 2013
Migration Strategies for Ethernet-based E/E Architectures
Proceedings of the Embedded World Conference, Page 7
Embedded World Conference
Nuremberg, Germany
February 2013
155.
Reimann,
Felix;
Glaß,
Michael;
Teich,
Jürgen;
Abelein,
Ulrich
Szenarienbasierte Integration von Diagnosefunktionalitt in E/E Architekturen
Proceedings of Automotive meets Electronics (AmE), Page 15-20
Automotive meets Electronics (AmE)
Dortmund, Germany
February 2013
Szenarienbasierte Integration von Diagnosefunktionalitt in E/E Architekturen
Proceedings of Automotive meets Electronics (AmE), Page 15-20
Automotive meets Electronics (AmE)
Dortmund, Germany
February 2013
154.
Chang,
Che-Wei;
Chen,
Jian-Jia;
Kuo,
Tei-Wei;
Falk,
Heiko
Real-Time Partitioned Scheduling on Multi-Core Systems with Local and Global Memories
Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC), Page 467-472
Publisher: Yokohama / Japan
January 2013
Real-Time Partitioned Scheduling on Multi-Core Systems with Local and Global Memories
Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC), Page 467-472
Publisher: Yokohama / Japan
January 2013
153.
Davis,
Robert I.;
Kollmann,
Steffen;
Pollex,
Victor;
Slomka,
Frank
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways
Real-Time Systems, 49 (1) :73-116
January 2013
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways
Real-Time Systems, 49 (1) :73-116
January 2013
2012
152.
Moser,
Steffen;
Eckert,
Simon;
Slomka,
Frank
An Approach for the Integration of Smart Antennas in the Design and Simulation of Vehicular Ad-Hoc Networks
Proceedings of the International Conference on Future Generation Communication Technology (FGCT), London, UK,
December 2012
An Approach for the Integration of Smart Antennas in the Design and Simulation of Vehicular Ad-Hoc Networks
Proceedings of the International Conference on Future Generation Communication Technology (FGCT), London, UK,
December 2012
| File: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MoserES2012.pdf |
151.
Falk,
Heiko;
Hammond,
Kevin;
Larsen,
Kim G.;
Lisper,
Björn;
Petters,
Stefan M.
Code-Level Timing Analysis of Embedded Software
Proceedings of the International Conference on Embedded Software (EMSOFT), Page 163-164
Publisher: Tampere / Finland
October 2012
Code-Level Timing Analysis of Embedded Software
Proceedings of the International Conference on Embedded Software (EMSOFT), Page 163-164
Publisher: Tampere / Finland
October 2012
150.
Chang,
Che-Wei;
Chen,
Jian-Jia;
Munawar,
Waqaas;
Kuo,
Tei-Wei;
Falk,
Heiko
Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs
Proceedings of the International Conference on Embedded Software (EMSOFT), Page 153-162
Publisher: Tampere / Finland
October 2012
Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs
Proceedings of the International Conference on Embedded Software (EMSOFT), Page 153-162
Publisher: Tampere / Finland
October 2012
149.
Falk,
Heiko
Reconciling Compilation and Timing Analysis
Invited Talk at the International Conference on Embedded Software (EMSOFT),
Publisher: Tampere / Finland
October 2012
Reconciling Compilation and Timing Analysis
Invited Talk at the International Conference on Embedded Software (EMSOFT),
Publisher: Tampere / Finland
October 2012
148.
Glaß,
Michael;
Yu,
Heng;
Reimann,
Felix;
Teich,
Jürgen
Cross-Level Compositional Reliability Analysis for Embedded Systems
Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Page 111-124
International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Magdeburg, Germany
September 2012
Cross-Level Compositional Reliability Analysis for Embedded Systems
Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Page 111-124
International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Magdeburg, Germany
September 2012
| DOI: | 10.1007/978-3-642-33678-2_10 |
147.
Glaß,
Michael;
Teich,
Jürgen;
Zhang,
Liyuan
A Co-simulation Approach for System-Level Analysis of Embedded Control Systems
Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), Page 355-362
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
July 2012
A Co-simulation Approach for System-Level Analysis of Embedded Control Systems
Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), Page 355-362
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
July 2012
| DOI: | 10.1109/SAMOS.2012.6404200 |
146.
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
Publisher: Uppsala University, Department of Information Technology, Uppsala / Sweden
July 2012
Building Timing Predictable Embedded Systems
Publisher: Uppsala University, Department of Information Technology, Uppsala / Sweden
July 2012
145.
Eberl,
Michael;
Glaß,
Michael;
Teich,
Jürgen;
Abelein,
Ulrich
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks
Proceedings of the 2012 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 205-213
2012 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
June 2012
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks
Proceedings of the 2012 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 205-213
2012 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
June 2012
| DOI: | 10.1145/2228360.2228400 |
144.
Montoya,
Diego;
Menhorn,
Benjamin;
Slomka,
Frank
Disparity Calculation: A Probabilistic Approach
Proceedings of the IASTED International Conference Computer Graphics and Imaging (CGIM 2012)
June 2012
Disparity Calculation: A Probabilistic Approach
Proceedings of the IASTED International Conference Computer Graphics and Imaging (CGIM 2012)
June 2012
| File: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MontoyaMS2012.pdf |
143.
Falk,
Heiko;
Marwedel,
Peter
Introduction to the Special Section on SCOPES'09
ACM Transactions on Embedded Computing Systems (TECS), 115 (1) :17:1-17:3
June 2012
Publisher: ACM
Introduction to the Special Section on SCOPES'09
ACM Transactions on Embedded Computing Systems (TECS), 115 (1) :17:1-17:3
June 2012
Publisher: ACM
| DOI: | 10.1145/2180887.2180894 |
142.
Falk,
Heiko;
Yi,
Wang
Proceedings of the 13th International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
Publisher: Beijing / China
June 2012
Proceedings of the 13th International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
Publisher: Beijing / China
June 2012
141.
Bund,
Tobias;
Moser,
Steffen;
Kollmann,
Steffen;
Slomka,
Frank
Jitter Considerations for Worst-Case Performance Generation in Digital Controller Design
CPMNS Tagungsband,
April 2012
Jitter Considerations for Worst-Case Performance Generation in Digital Controller Design
CPMNS Tagungsband,
April 2012
| ISBN: | 978-3-8396-0398-7 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/2012_bund_worstCaseJitterControl.pdf |
140.
Graf,
Sebastian;
Russ,
Thomas;
Glaß,
Michael;
Teich,
Jürgen
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures
Proceedings of the Automotive meets Electronics (AmE), GMM Fachbericht 72, Page 116-121
Automotive meets Electronics (AmE)
Dortmund, Germany
April 2012
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures
Proceedings of the Automotive meets Electronics (AmE), GMM Fachbericht 72, Page 116-121
Automotive meets Electronics (AmE)
Dortmund, Germany
April 2012
| ISBN: | 978-3-8007-3433-7 |
139.
Moser,
Steffen;
Weiß,
Jochen;
Slomka,
Frank
<prt>Towards Real-Time Media Access in Vehicular Ad-Hoc Networks</prt>
Proceedings of the Workshop on Wireless Vehicular Communications and Networks of IEEE Wireless Communications and Networking Conference (WCNC), Paris, France,
April 2012
<prt>Towards Real-Time Media Access in Vehicular Ad-Hoc Networks</prt>
Proceedings of the Workshop on Wireless Vehicular Communications and Networks of IEEE Wireless Communications and Networking Conference (WCNC), Paris, France,
April 2012
| File: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MoserWS2012.pdf |
138.
Chattopadhyay,
Sudipta;
Chong,
Lee Kee;
Roychoudhury,
Abhik;
Kelter,
Timon;
Falk,
Heiko;
Marwedel,
Peter
A Unified WCET Analysis Framework for Multi-core Platforms
Proceedings of the 18th Real-Time and Embedded Technology and Applications Symposium (RTAS), Page 99-108
Publisher: Beijing / China
April 2012
A Unified WCET Analysis Framework for Multi-core Platforms
Proceedings of the 18th Real-Time and Embedded Technology and Applications Symposium (RTAS), Page 99-108
Publisher: Beijing / China
April 2012
137.
Plazar,
Sascha;
Falk,
Heiko;
Kleinsorge,
Jan C.;
Marwedel,
Peter
WCET-aware Static Locking of Instruction Caches
Proceedings of the International Symposium on Code Generation and Optimization (CGO), Page 44-52
Publisher: San Jose / United States
April 2012
WCET-aware Static Locking of Instruction Caches
Proceedings of the International Symposium on Code Generation and Optimization (CGO), Page 44-52
Publisher: San Jose / United States
April 2012
136.
Milbredt,
Paul;
Glaß,
Michael;
Lukasiewycz,
Martin;
Steininger,
Andreas;
Teich,
Jürgen;
Chakraborty,
Samarjit
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Proceedings of Design, Automation, and Test in Europe (DATE), Page 276-279
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
March 2012
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Proceedings of Design, Automation, and Test in Europe (DATE), Page 276-279
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
March 2012
| DOI: | 10.1109/DATE.2012.6176477 |
135.
Zhang,
Liyuan;
Glaß,
Michael;
Streubühr,
Martin;
Teich,
Jürgen;
v. Schwerin,
Andreas;
Liu,
Kai
Actor-oriented Modeling and Simulation of Cut-through Communication in Network Controllers
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Page 193-204
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
March 2012
Actor-oriented Modeling and Simulation of Cut-through Communication in Network Controllers
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Page 193-204
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
March 2012
134.
Graf,
Sebastian;
Glaß,
Michael;
Teich,
Jürgen
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Page 13-24
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
March 2012
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Page 13-24
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
March 2012
133.
Kollmann,
Steffen
A Context-Sensitive Real-Time Analysis with Event Streams
Dissertation
Dissertation
Ulm University
March 2012
A Context-Sensitive Real-Time Analysis with Event Streams
Dissertation
Dissertation
Ulm University
March 2012