Publications

2009

83.
Pollex, Victor; Kollmann, Steffen; Slomka, Frank
<prt>Modeling and Analyzing Asynchronous Real-Time Systems</prt>
3rd Junior Researcher Workshop on Real-Time Computing
2009
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKS2009.pdf
82.
Kollmann, Steffen; Albers, Karsten; Slomka, Frank
<prt>Limiting Event Streams: A General Model to Describe Dependencies in Distributed Hard Real-Time Systems</prt>
from Internal Report:
Document Number: 289-vts-67242
Ulm University
2009
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2009.pdf
81.
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
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKAS2009.pdf
80.
Menhorn, Benjamin; Slomka, Frank
<prt>Entwurfsentropie: Ein Maß im Schaltungsentwurf</prt>
7th GI/GMM/ITG-Workshop, Multi-Nature-Systems
2009
ISBN:978-3-00-027064-2
File:pdffileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2009_2.pdf
79.
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

2008

78.
Reimann, Felix; Glaß, Michael; Lukasiewycz, Martin; Haubelt, Christian; Keinert, Joachim; Teich, Jürgen
Symbolic Voter Placement for Dependability-Aware System Synthesis
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Page 237-242
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Atlanta GA, USA
October 2008
DOI:10.1145/1450135.1450190
77.
Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Page 139-152
International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Newcastle upon Tyne, UK
September 2008
DOI:10.1007/978-3-540-87698-4_14
76.
Lukasiewycz, Martin; Glaß, Michael; Teich, Jrgen
A Feasibility-preserving Crossover and Mutation Operator for Constrained Combinatorial Problems
Proceedings of the 10th International Conference on Parallel Problem Solving from Nature (PPSN), Page 919-928
International Conference on Parallel Problem Solving from Nature (PPSN)
Dortmund, Germany
September 2008
DOI:10.1007/978-3-540-87700-4_91
75.
Glaß, Michael; Lukasiewycz, Martin; Wanka, Rolf; Haubelt, Christian; Teich, Jürgen
Multi-Objective Routing and Topology Optimization in Networked Embedded Systems
Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), Page 74-81
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
July 2008
DOI:10.1109/ICSAMOS.2008.4664849
74.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen; Regler, Richard; Lang, Bardo
Concurrent Topology and Routing Optimization in Automotive Network Integration
Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC), Page 626-629
Design Automation Conference (DAC)
Anaheim, USA
June 2008
DOI:10.1145/1391469.1391629
73.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
A Feasibility-preserving Local Search Operator for Constrained Discrete Optimization Problems
Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC), Page 1968-1975
IEEE Congress on Evolutionary Computation (CEC)
Hong Kong, China
June 2008
DOI:10.1109/CEC.2008.4631058
72.
Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen
Symbolic Reliability Analysis and Optimization of ECU Networks
Proceedings of Design, Automation and Test in Europe (DATE), Page 158-163
Design, Automation and Test in Europe (DATE)
Munich, Germany
March 2008
DOI:10.1109/DATE.2008.4484679
71.
Streichert, Thilo; Glaß, Michael; Wanka, Rolf; Haubelt, Christian; Teich, Jürgen
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks
Proceedings of International Conference on Architecture of Computing Systems (ARCS), Page 23-37
International Conference on Architecture of Computing Systems (ARCS)
Dresden, Germany
February 2008
DOI:10.1007/978-3-540-78153-0_4
70.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
Efficient Symbolic MultiObjective Design Space Exploration
Proceedings of the 13th Asia and South Pacific Design Automation Conference (ASP-DAC), Page 691-696
13th Asia and South Pacific Design Automation Conference (ASP-DAC)
Seoul, Korea
January 2008
DOI:10.1109/ASPDAC.2008.4484040
69.
Kollmann, Steffen; Albers, Karsten; Slomka, Frank
<prt>Relaxing Event Densities by Lower Bounds on Event Streams</prt>
Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems,ECRTS'08
2008
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2008_2.pdf
68.
Kollmann, Steffen; Albers, Karsten; Slomka, Frank
<prt>Effects of Simultaneous Stimulation on the Event Stream Densities of Fixed-Priority Systems</prt>
Proceedings of the International Simulation Multi-Conference, Spects'08:
IEEE
2008
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2008.pdf
67.
Albers, Karsten; Bodmann, Frank; Slomka, Frank
<prt>Advanced Hierarchical Event-Stream Model</prt>
ECRTS'08: 20th Euromicro Conference on Real-Time Systems
2008
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersBS2008.pdf
66.
Albers, Karsten; Kollmann, Steffen; Bodmann, Frank; Slomka, Frank
<prt>Advanced Hierarchical Event-Stream Model and The Real-Time Calculus</prt>
from Internal Report:
Document Number: 289-vts-63281
Ulm University
2008
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersKBS2008.pdf
65.
Diederichs, Claas; Margull, Ulrich; Slomka, Frank; Wirrer, Gehard
<prt>An Application-Based EDF Scheduler for OSEK/VDX</prt>
Proceedings of the conference on Design, automation and test in Europe, DATE 2008, Munich, GermanyfromDATE '08, Page 1045-1050
Publisher: ACM, New York, NY, USA
2008
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/DiederichsMSW2008.pdf

2007

64.
Streichert, Thilo; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
Design space exploration of reliable networked embedded systems
Journal on Systems Architecture, 53 (10) :751-763
October 2007
DOI:10.1016/j.sysarc.2007.01.005
63.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
SAT-Decoding in Evolutionary Algorithms for Discrete Constrained Optimization Problems
Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC), Page 935-942
Congress on Evolutionary Computation (CEC)
Singapore, Singapore
September 2007
DOI:10.1109/CEC.2007.4424570
62.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
Solving Multiobjective Pseudo-Boolean Problems
Proceedings of Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT), Page 56-69
Conference on Theory and Applications of Satisfiability Testing (SAT)
Lisbon, Portugal
May 2007
DOI:10.1007/978-3-540-72788-0_9
61.
Glaß, Michael; Lukasiewycz, Martin; Streichert, Thilo; Haubelt, Christian; Teich, Jürgen
Reliability-Aware System Synthesis
Proceedings of Design, Automation and Test in Europe (DATE), Page 409-414
Design, Automation and Test in Europe (DATE)
Nice, France
April 2007
DOI:10.1109/DATE.2007.364626
ISBN:978-3-9810801-2-4
60.
Glaß, Michael; Lukasiewycz, Martin; Streichert, Thilo; Haubelt, Christian; Teich, Jürgen
Synthese zuverlässiger und flexibler Systeme
Proceedings of Zuverlässigkeit und Entwurf (ZuE), Page 141-148
Zuverlässigkeit und Entwurf (ZuE)
Munich, Germany
March 2007
ISBN:978-3-8007-3023-0
59.
Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
Symbolic Archive Representation for a Fast Nondominance Test
Proceedings of the Fourth International Conference on Evolutionary Multi-Criterion Optimization (EMO 2007), Page 111-125
EMO 2007
Sendai, Japan
March 2007
DOI:10.1007/978-3-540-70928-2_12