Kai Lampka

36 papers A* 2A 5B 4Misc 5Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2022 B conf
Safety Certification with the Open Source Microkernel-Based Operating System L4Re.
SAFECOMP
Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel
2019 — conf
Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles.
ICECS
Kai Lampka, Adam Lackorzynski
2017 A* conf
Generalized finitary real-time calculus.
INFOCOM
Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi
2016 B conf
Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains.
MASCOTS
Kai Lampka, Steffen Bondorf, Jens B. Schmitt
2016 — conf
An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact.
ESTIMedia
Björn Forsberg, Kai Lampka, Vasileios Spiliopoulos
2016 A conf
Improving performance by monitoring while maintaining worst-case guarantees.
DATE
Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi
2016 J jnl
Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems.
J. Parallel Distributed Comput.
Kai Lampka, Björn Forsberg, Vasileios Spiliopoulos
2016 A conf
Keep it slow and in time: Online DVFS with hard real-time workloads.
DATE
Kai Lampka, Björn Forsberg
2016 A conf
Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers.
RTAS
Yonghui Li, Benny Akesson, Kai Lampka, Kees Goossens
2016 — conf
Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.
MMB/DFT
Kai Lampka, Adam Lackorzynski
2014 J jnl
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.
Real Time Syst.
Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov
2014 — conf
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks.
SIES
Jonas Flodin, Kai Lampka, Wang Yi
2013 J jnl
Component-based system design: analytic real-time interfaces for state-based component implementations.
Int. J. Softw. Tools Technol. Transf.
Kai Lampka, Simon Perathoner, Lothar Thiele
2013 Misc conf
Multi-mode monitoring for mixed-criticality real-time systems.
CODES+ISSS
Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst
2013 B conf
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures.
RV
Kai Lampka
2012 A* conf
A hybrid approach to cyber-physical systems verification.
DAC
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele
2012 J jnl
Conformance testing for cyber-physical systems.
ACM Trans. Embed. Comput. Syst.
Matthias Woehrle, Kai Lampka, Lothar Thiele
2012 J jnl
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr.
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012 Misc conf
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.
EMSOFT
Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele
2011 A conf
Composing heterogeneous components for system-wide performance analysis.
DATE
Simon Perathoner, Kai Lampka, Lothar Thiele
2011 Misc conf
Dynamic counters and the efficient and effective online power management of embedded real-time systems.
CODES+ISSS
Kai Lampka, Kai Huang, Jian-Jia Chen
2011 Misc conf
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.
CASES
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele
2011 — conf
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.
FORMATS
Matthias Woehrle, Kai Lampka, Lothar Thiele
2010 J jnl
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.
Des. Autom. Embed. Syst.
Kai Lampka, Simon Perathoner, Lothar Thiele
2010 A conf
Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis.
ICCAD
Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen
2010 B conf
Modeling structured event streams in system level performance analysis.
LCTES
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox
2010 J jnl
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
Formal Methods Syst. Des.
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
2009 Misc conf
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.
EMSOFT
Kai Lampka, Simon Perathoner, Lothar Thiele
2009 — conf
Exploiting Timed Automata for Conformance Testing of Power Measurements.
FORMATS
Matthias Woehrle, Kai Lampka, Lothar Thiele
2008 — conf
A New Algorithm for Partitioned Symbolic Reachability Analysis.
RP
Kai Lampka
2007 — —
A symbolic approach to the state graph based analysis of high-level Markov reward models.
Kai Lampka
2007 — conf
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.
VALUETOOLS
Kai Lampka, S. Harwarth, Markus Siegle
2006 — conf
Activity-local symbolic state graph generation for high-level stochastic models.
MMB
Kai Lampka, Markus Siegle
2006 — conf
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.
FMICS/PDMC
Kai Lampka, Markus Siegle, Max Walter
2006 — conf
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.
VALUETOOLS
Kai Lampka, Markus Siegle
2004 — conf
Probabilistic Methods in State Space Analysis.
Validation of Stochastic Systems
Matthias Kuntz, Kai Lampka