Publikationen

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
Datei: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>
aus Internal Report:
Dokument Nummer: 289-vts-67242
Ulm University
2009
Datei: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
Datei: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
Datei: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), Seite 237-242
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Atlanta GA, USA
Oktober 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), Seite 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), Seite 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), Seite 74-81
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS)
Samos, Greece
Juli 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), Seite 626-629
Design Automation Conference (DAC)
Anaheim, USA
Juni 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), Seite 1968-1975
IEEE Congress on Evolutionary Computation (CEC)
Hong Kong, China
Juni 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), Seite 158-163
Design, Automation and Test in Europe (DATE)
Munich, Germany
März 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), Seite 23-37
International Conference on Architecture of Computing Systems (ARCS)
Dresden, Germany
Februar 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), Seite 691-696
13th Asia and South Pacific Design Automation Conference (ASP-DAC)
Seoul, Korea
Januar 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
Datei: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
Datei: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
Datei: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>
aus Internal Report:
Dokument Nummer: 289-vts-63281
Ulm University
2008
Datei: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, GermanyausDATE '08, Seite 1045-1050
Herausgeber: ACM, New York, NY, USA
2008
Datei: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
Oktober 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), Seite 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), Seite 56-69
Conference on Theory and Applications of Satisfiability Testing (SAT)
Lisbon, Portugal
Mai 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), Seite 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), Seite 141-148
Zuverlässigkeit und Entwurf (ZuE)
Munich, Germany
März 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), Seite 111-125
EMO 2007
Sendai, Japan
März 2007
DOI:10.1007/978-3-540-70928-2_12