|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 8 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Woehrle, Kai Lampka, Lothar Thiele |
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.  |
FORMATS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele |
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. |
CASES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Perathoner, Kai Lampka, Lothar Thiele |
Composing heterogeneous components for system-wide performance analysis. |
DATE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kai Lampka, Kai Huang, Jian-Jia Chen |
Dynamic counters and the efficient and effective online power management of embedded real-time systems. |
CODES+ISSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Simon Perathoner, Lothar Thiele |
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier |
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen |
Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox |
Modeling structured event streams in system level performance analysis. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
event count curves, performance analysis, real-time calculus |
| 1 | Kai Lampka, Simon Perathoner, Lothar Thiele |
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, timed automata, hard real-time systems, real-time calculus |
| 1 | Matthias Woehrle, Kai Lampka, Lothar Thiele |
Exploiting Timed Automata for Conformance Testing of Power Measurements. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka |
A New Algorithm for Partitioned Symbolic Reachability Analysis. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka |
A symbolic approach to the state graph based analysis of high-level Markov reward models. |
|
2007 |
RDF |
|
| 1 | Kai Lampka, S. Harwarth, Markus Siegle |
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle |
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution |
| 1 | Kai Lampka, Markus Siegle, Max Walter |
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
Reliability and Availability Analysis, State Space Explosion Binary Decision Diagram, Reliability Block Diagrams, Markov Reward Model |
| 1 | Kai Lampka, Markus Siegle |
Activity-local symbolic state graph generation for high-level stochastic models. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Matthias Kuntz, Kai Lampka |
Probabilistic Methods in State Space Analysis. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")