|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 9 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul Milbredt, Michael Glaß, Martin Lukasiewycz, Andreas Steininger, Jürgen Teich |
Designing FlexRay-based automotive architectures: A holistic OEM approach.  |
DATE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Paul Milbredt |
FlexRay Static Segment Scheduling. |
Advances in Real-Time Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß |
Dependability-Aware System-Level Design for Embedded Systems. |
|
2011 |
RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Felix Reimann, Jürgen Teich |
Opt4J: a modular framework for meta-heuristic optimization. |
GECCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Angermeier, Daniel Ziener, Michael Glaß, Jürgen Teich |
Stress-Aware Module Placement on Reconfigurable Devices. |
FPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Angermeier, Daniel Ziener, Michael Glaß, Jürgen Teich |
Runtime stress-aware replica placement on reconfigurable devices under safety constraints. |
FPT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Symbolic system synthesis in the presence of stringent real-time constraints. |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich |
Towards scalable system-level reliability analysis. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
SAT-assisted simulation, early quantification, reliability analysis |
| 1 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich |
Robust design of embedded systems. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic system level reliability analysis. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, Jürgen Teich |
Improving platform-based system synthesis by satisfiability modulo theories solving. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Jürgen Teich, Unmesh D. Bordoloi, Samarjit Chakraborty |
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
design space exploration, timing analysis, automotive |
| 1 | Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, Jürgen Teich |
Combined system synthesis and communication architecture exploration for MPSoCs. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich |
Incorporating graceful degradation into embedded system design. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich |
Exploiting data-redundancy in reliability-aware networked embedded system design. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
reliability, design space exploration, networked embedded systems |
| 1 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Paul Milbredt |
FlexRay schedule optimization of the static segment. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
scheduling, optimization, FlexRay |
| 1 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich |
A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, Jürgen Teich |
Multi-objective routing and topology optimization in networked embedded systems. |
ICSAMOS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thilo Streichert, Michael Glaß, Rolf Wanka, Christian Haubelt, Jürgen Teich |
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks. |
ARCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
A feasibility-preserving local search operator for constrained discrete optimization problems. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich, Richard Regler, Bardo Lang |
Concurrent topology and routing optimization in automotive network integration. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
network integration, optimization, automotive |
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Efficient symbolic multi-objective design space exploration. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic Reliability Analysis and Optimization of ECU Networks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thilo Streichert, Michael Glaß, Christian Haubelt, Jürgen Teich |
Design space exploration of reliable networked embedded systems. |
Journal of Systems Architecture |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Solving Multi-objective Pseudo-Boolean Problems. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich |
Interactive presentation: Reliability-aware system synthesis. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Symbolic Archive Representation for a Fast Nondominance Test. |
EMO |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")