Kai Lampka
According to our database1,
Kai Lampka
authored at least 36 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
8
1
1
1
2
2
1
1
1
6
1
2
2
4
2
2
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
2019
Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
2017
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 Distributed 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
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
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 Syst., 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.
Int. J. Softw. Tools Technol. Transf., 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
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013
2012
Trans. Petri Nets Other Model. Concurr., 2012
ACM Trans. Embed. 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
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
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 Syst. Des., 2010
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.
Des. Autom. Embed. Syst., 2010
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
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
Proceedings of the Second Workshop on Reachability Problems in Computational Models, 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
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
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004