Publikationen
2009
82.
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
<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: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/PollexKAS2009.pdf |
81.
Menhorn,
Benjamin;
Slomka,
Frank
<prt>Entwurfsentropie: Ein Maß im Schaltungsentwurf</prt>
7th GI/GMM/ITG-Workshop, Multi-Nature-Systems
2009
<prt>Entwurfsentropie: Ein Maß im Schaltungsentwurf</prt>
7th GI/GMM/ITG-Workshop, Multi-Nature-Systems
2009
| ISBN: | 978-3-00-027064-2 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.050/publications/MenhornS2009_2.pdf |
80.
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
<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
79.
Albers,
Karsten;
Slomka,
Frank
<prt>An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems</prt>
Proceedings of the International Embedded Systems Symposium, Seite 102-114
2009
<prt>An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems</prt>
Proceedings of the International Embedded Systems Symposium, Seite 102-114
2009
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/AlbersS2009.pdf |
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.
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 |
67.
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 |
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.
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 |
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.
Korte,
Mario;
Slomka,
Frank
<prt>C-based System Development of Asynchronous Distributed Systems</prt>
<prt>Proceedings of the Forum on Design Languages</prt>, Seite 134-139
ECSI
2007
<prt>C-based System Development of Asynchronous Distributed Systems</prt>
<prt>Proceedings of the Forum on Design Languages</prt>, Seite 134-139
ECSI
2007
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.050/publications/KorteS2007.pdf |