Publikationen
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
März 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
März 2013
Datei: | /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, Seite 7
Embedded World Conference
Nuremberg, Germany
Februar 2013
Migration Strategies for Ethernet-based E/E Architectures
Proceedings of the Embedded World Conference, Seite 7
Embedded World Conference
Nuremberg, Germany
Februar 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), Seite 15-20
Automotive meets Electronics (AmE)
Dortmund, Germany
Februar 2013
Szenarienbasierte Integration von Diagnosefunktionalitt in E/E Architekturen
Proceedings of Automotive meets Electronics (AmE), Seite 15-20
Automotive meets Electronics (AmE)
Dortmund, Germany
Februar 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), Seite 467-472
Herausgeber: Yokohama / Japan
Januar 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), Seite 467-472
Herausgeber: Yokohama / Japan
Januar 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
Januar 2013
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways
Real-Time Systems, 49 (1) :73-116
Januar 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,
Dezember 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,
Dezember 2012
Datei: | /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), Seite 163-164
Herausgeber: Tampere / Finland
Oktober 2012
Code-Level Timing Analysis of Embedded Software
Proceedings of the International Conference on Embedded Software (EMSOFT), Seite 163-164
Herausgeber: Tampere / Finland
Oktober 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), Seite 153-162
Herausgeber: Tampere / Finland
Oktober 2012
Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs
Proceedings of the International Conference on Embedded Software (EMSOFT), Seite 153-162
Herausgeber: Tampere / Finland
Oktober 2012
149.
Falk,
Heiko
Reconciling Compilation and Timing Analysis
Invited Talk at the International Conference on Embedded Software (EMSOFT),
Herausgeber: Tampere / Finland
Oktober 2012
Reconciling Compilation and Timing Analysis
Invited Talk at the International Conference on Embedded Software (EMSOFT),
Herausgeber: Tampere / Finland
Oktober 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), Seite 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), Seite 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), Seite 355-362
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
Juli 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), Seite 355-362
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
Juli 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
Herausgeber: Uppsala University, Department of Information Technology, Uppsala / Sweden
Juli 2012
Building Timing Predictable Embedded Systems
Herausgeber: Uppsala University, Department of Information Technology, Uppsala / Sweden
Juli 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), Seite 205-213
2012 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
Juni 2012
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks
Proceedings of the 2012 ACM/EDAC/IEEE Design Automation Conference (DAC), Seite 205-213
2012 ACM/EDAC/IEEE Design Automation Conference (DAC)
San Francisco, USA
Juni 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)
Juni 2012
Disparity Calculation: A Probabilistic Approach
Proceedings of the IASTED International Conference Computer Graphics and Imaging (CGIM 2012)
Juni 2012
Datei: | /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
Juni 2012
Herausgeber: ACM
Introduction to the Special Section on SCOPES'09
ACM Transactions on Embedded Computing Systems (TECS), 115 (1) :17:1-17:3
Juni 2012
Herausgeber: 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)
Herausgeber: Beijing / China
Juni 2012
Proceedings of the 13th International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
Herausgeber: Beijing / China
Juni 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 |
Datei: | 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, Seite 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, Seite 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
Datei: | /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), Seite 99-108
Herausgeber: 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), Seite 99-108
Herausgeber: 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), Seite 44-52
Herausgeber: San Jose / United States
April 2012
WCET-aware Static Locking of Instruction Caches
Proceedings of the International Symposium on Code Generation and Optimization (CGO), Seite 44-52
Herausgeber: 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), Seite 276-279
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 2012
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Proceedings of Design, Automation, and Test in Europe (DATE), Seite 276-279
Design, Automation, and Test in Europe (DATE)
Dresden, Germany
März 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), Seite 193-204
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 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), Seite 193-204
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 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), Seite 13-24
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 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), Seite 13-24
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Kaiserslautern, Germany
März 2012
133.
Kollmann,
Steffen
A Context-Sensitive Real-Time Analysis with Event Streams
Dissertation
Dissertation
Ulm University
März 2012
A Context-Sensitive Real-Time Analysis with Event Streams
Dissertation
Dissertation
Ulm University
März 2012