Publications
2009
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
<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: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2009.pdf |
81.
Pollex,
Victor;
Kollmann,
Steffen;
Slomka,
Frank
<prt>Modeling and Analyzing Asynchronous Real-Time Systems</prt>
3rd Junior Researcher Workshop on Real-Time Computing
2009
<prt>Modeling and Analyzing Asynchronous Real-Time Systems</prt>
3rd Junior Researcher Workshop on Real-Time Computing
2009
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKS2009.pdf |
80.
Menhorn,
Benjamin;
Slomka,
Frank
<prt>Project Management Through States</prt>
IEMS 2009: International Conference on Engineering Management and Service Sciences
2009
<prt>Project Management Through States</prt>
IEMS 2009: International Conference on Engineering Management and Service Sciences
2009
| ISBN: | 978-1-4244-4639-1 |
| File: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2009.pdf |
79.
Lipskoch,
Henrik;
Slomka,
Frank
<prt>Task-Dependent Processor Shutdown for Hard Real-Time Systems</prt>
Proceedings of the International Embedded Systems Symposium
2009
<prt>Task-Dependent Processor Shutdown for Hard Real-Time Systems</prt>
Proceedings of the International Embedded Systems Symposium
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
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
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
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
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
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
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
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
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
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.
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
<prt>Advanced Hierarchical Event-Stream Model and The Real-Time Calculus</prt>
from Internal Report:
Document Number: 289-vts-63281
Ulm University
2008
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersKBS2008.pdf |
68.
Albers,
Karsten;
Bodmann,
Frank;
Slomka,
Frank
<prt>Advanced Hierarchical Event-Stream Model</prt>
ECRTS'08: 20th Euromicro Conference on Real-Time Systems
2008
<prt>Advanced Hierarchical Event-Stream Model</prt>
ECRTS'08: 20th Euromicro Conference on Real-Time Systems
2008
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersBS2008.pdf |
67.
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
<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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/DiederichsMSW2008.pdf |
66.
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
<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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2008.pdf |
65.
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
<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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KollmannAS2008_2.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
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
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
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
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
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
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 |
58.
Slomka,
Frank;
Bodmann,
Frank;
Albers,
Karsten
<prt>Analytische Transaktionsmodellierung</prt>
EDA Workshop,
Publisher: VDI Verlag, Hannover
2007
<prt>Analytische Transaktionsmodellierung</prt>
EDA Workshop,
Publisher: VDI Verlag, Hannover
2007
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/SlomkaBA2007.pdf |