# Kai Lampka

According to our database

Collaborative distances:

^{1}, Kai Lampka authored at least 34 papers between 2004 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Generalized finitary real-time calculus.

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

2016

Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems.

J. Parallel Distrib. Comput., 2016

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers.

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains.

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact.

Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

Keep it slow and in time: Online DVFS with hard real-time workloads.

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Improving performance by monitoring while maintaining worst-case guarantees.

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.

Real-Time Systems, 2014

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks.

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

2013

Component-based system design: analytic real-time interfaces for state-based component implementations.

STTT, 2013

With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures.

Proceedings of the Runtime Verification - 4th International Conference, 2013

Multi-mode monitoring for mixed-criticality real-time systems.

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Report on the Model Checking Contest at Petri Nets 2011.

Trans. Petri Nets and Other Models of Concurrency, 2012

Conformance testing for cyber-physical systems.

ACM Trans. Embedded Comput. Syst., 2012

Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.

Proceedings of the 12th International Conference on Embedded Software, 2012

A hybrid approach to cyber-physical systems verification.

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Composing heterogeneous components for system-wide performance analysis.

Proceedings of the Design, Automation and Test in Europe, 2011

Dynamic counters and the efficient and effective online power management of embedded real-time systems.

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.

Proceedings of the 14th International Conference on Compilers, 2011

2010

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.

Formal Methods in System Design, 2010

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

Modeling structured event streams in system level performance analysis.

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis.

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009

Exploiting Timed Automata for Conformance Testing of Power Measurements.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

A New Algorithm for Partitioned Symbolic Reachability Analysis.

Electr. Notes Theor. Comput. Sci., 2008

2007

A symbolic approach to the state graph based analysis of high-level Markov reward models.

PhD thesis, 2007

Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2006

Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Activity-local symbolic state graph generation for high-level stochastic models.

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.

Proceedings of the Formal Methods: Applications and Technology, 2006

2004

Probabilistic Methods in State Space Analysis.

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004