Publikationen
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>
aus Internal Report:
Dokument Nummer: 289-vts-67242
Ulm University
2009
<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: |  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
| Datei: | 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 |
| Datei: | /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), Seite 237-242
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Atlanta GA, USA
Oktober 2008
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
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
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
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
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
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
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
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
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.
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
<prt>Advanced Hierarchical Event-Stream Model and The Real-Time Calculus</prt>
aus Internal Report:
Dokument Nummer: 289-vts-63281
Ulm University
2008
| Datei: | 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
| Datei: | 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, GermanyausDATE '08, Seite 1045-1050
Herausgeber: 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, GermanyausDATE '08, Seite 1045-1050
Herausgeber: ACM, New York, NY, USA
2008
| Datei: | 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
| Datei: | 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
| Datei: | 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
Oktober 2007
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
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
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
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
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
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 |
58.
Slomka,
Frank;
Bodmann,
Frank;
Albers,
Karsten
<prt>Analytische Transaktionsmodellierung</prt>
EDA Workshop,
Herausgeber: VDI Verlag, Hannover
2007
<prt>Analytische Transaktionsmodellierung</prt>
EDA Workshop,
Herausgeber: VDI Verlag, Hannover
2007
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/SlomkaBA2007.pdf |