Kai Lampka

According to our database1, 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


  Loading...