Safety Certification with the Open Source Microkernel-Based Operating System L4Re.

Kai Lampka Kai Lampka Joel Thurlby Adam Lackorzynski Marcus Hähnel Safety Certification with the Open Source Microkernel-Based Operating System L4Re. 31-45 2022 SAFECOMP https://doi.org/10.1007/978-3-031-14835-4_3 conf/safecomp/2022 db/conf/safecomp/safecomp2022.html#LampkaTLH22 Kai Lampka Adam Lackorzynski Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles. 783-786 2019 ICECS https://doi.org/10.1109/ICECS46596.2019.8964912 conf/icecsys/2019 db/conf/icecsys/icecsys2019.html#LampkaL19 Kai Lampka Steffen Bondorf Jens B. Schmitt Nan Guan Wang Yi 0001 Generalized finitary real-time calculus. 1-9 2017 INFOCOM https://doi.org/10.1109/INFOCOM.2017.8056981 conf/infocom/2017 db/conf/infocom/infocom2017.html#LampkaBSGY17

Kai Lampka Björn Forsberg Vasileios Spiliopoulos 0001 Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. 79-91 2016 95 J. Parallel Distributed Comput. https://doi.org/10.1016/j.jpdc.2016.03.002 db/journals/jpdc/jpdc95.html#LampkaFS16

Syed Md Jakaria Abdullah Kai Lampka Wang Yi 0001 Improving performance by monitoring while maintaining worst-case guarantees. 257-260 2016 DATE https://ieeexplore.ieee.org/document/7459316/ conf/date/2016 db/conf/date/date2016.html#AbdullahL016 Kai Lampka Björn Forsberg Keep it slow and in time: Online DVFS with hard real-time workloads. 385-390 2016 DATE https://ieeexplore.ieee.org/document/7459341/ conf/date/2016 db/conf/date/date2016.html#LampkaF16 Björn Forsberg Kai Lampka Vasileios Spiliopoulos 0001 An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. 104-113 2016 ESTIMedia http://dl.acm.org/citation.cfm?id=2993568 conf/estimedia/2016 db/conf/estimedia/estimedia2016.html#ForsbergLS16 Kai Lampka Steffen Bondorf Jens B. Schmitt Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains. 313-318 2016 MASCOTS https://doi.org/10.1109/MASCOTS.2016.9 https://doi.ieeecomputersociety.org/10.1109/MASCOTS.2016.9 conf/mascots/2016 db/conf/mascots/mascots2016.html#LampkaBS16 Kai Lampka Adam Lackorzynski Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use. 137-152 2016 MMB/DFT https://doi.org/10.1007/978-3-319-31559-1_12 conf/mmb/2016 db/conf/mmb/mmb2016.html#LampkaL16 Yonghui Li 0002 Benny Akesson Kai Lampka Kees Goossens Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. 85-96 2016 RTAS https://doi.org/10.1109/RTAS.2016.7461341 https://doi.ieeecomputersociety.org/10.1109/RTAS.2016.7461341 conf/rtas/2016 db/conf/rtas/rtas2016.html#LiALG16

Kai Lampka Georgia Giannopoulou Rodolfo Pellizzoni Zheng Wu Nikolay Stoimenov A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. 736-773 2014 50 Real Time Syst. 5-6 https://doi.org/10.1007/s11241-014-9211-y db/journals/rts/rts50.html#LampkaGPWS14

Jonas Flodin Kai Lampka Wang Yi 0001 Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. 151-159 2014 SIES https://doi.org/10.1109/SIES.2014.6871199 conf/sies/2014 db/conf/sies/sies2014.html#FlodinLY14

Kai Lampka Simon Perathoner Lothar Thiele Component-based system design: analytic real-time interfaces for state-based component implementations. 155-170 2013 15 Int. J. Softw. Tools Technol. Transf. 3 https://doi.org/10.1007/s10009-012-0257-7 db/journals/sttt/sttt15.html#LampkaPT13

Moritz Neukirchner Kai Lampka Sophie Quinton Rolf Ernst Multi-mode monitoring for mixed-criticality real-time systems. 34:1-34:10 2013 CODES+ISSS https://doi.org/10.1109/CODES-ISSS.2013.6659021 http://dl.acm.org/citation.cfm?id=2555726 conf/codes/2013 db/conf/codes/codes2013.html#NeukirchnerQEL13 Kai Lampka With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. 400-402 2013 RV https://doi.org/10.1007/978-3-642-40787-1_30 conf/rv/2013 db/conf/rv/rv2013.html#Lampka13

Matthias Woehrle Kai Lampka Lothar Thiele Conformance testing for cyber-physical systems. 84:1-84:23 2012 11 ACM Trans. Embed. Comput. Syst. 4 https://doi.org/10.1145/2362336.2362351 db/journals/tecs/tecs11.html#WoehrleLT12

Fabrice Kordon Alban Linard Didier Buchs Maximilien Colange Sami Evangelista Kai Lampka Niels Lohmann Emmanuel Paviot-Adet Yann Thierry-Mieg Harro Wimmel Report on the Model Checking Contest at Petri Nets 2011. 169-196 2012 6 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-642-35179-2_8 journals/topnoc/2012-6 db/journals/topnoc/topnoc6.html#KordonLBCELLPTW12

Pratyush Kumar Dip Goswami Samarjit Chakraborty Anuradha Annaswamy Kai Lampka Lothar Thiele A hybrid approach to cyber-physical systems verification. 688-696 2012 DAC https://doi.org/10.1145/2228360.2228484 conf/dac/2012 db/conf/dac/dac2012.html#KumarGCALT12 Georgia Giannopoulou Kai Lampka Nikolay Stoimenov Lothar Thiele Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. 63-72 2012 EMSOFT https://doi.org/10.1145/2380356.2380372 conf/emsoft/2012 db/conf/emsoft/emsoft2012.html#GiannopoulouLST12 Alena Simalatsar Yusi Ramadian Kai Lampka Simon Perathoner Roberto Passerone Lothar Thiele Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. 155-164 2011 CASES https://doi.org/10.1145/2038698.2038723 conf/cases/2011 db/conf/cases/cases2011.html#SimalatsarRLPPT11 Kai Lampka Kai Huang 0001 Jian-Jia Chen Dynamic counters and the efficient and effective online power management of embedded real-time systems. 267-276 2011 CODES+ISSS https://doi.org/10.1145/2039370.2039412 conf/codes/2011 db/conf/codes/codes2011.html#LampkaHC11 Simon Perathoner Kai Lampka Lothar Thiele Composing heterogeneous components for system-wide performance analysis. 842-847 2011 DATE https://doi.org/10.1109/DATE.2011.5763143 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763143 conf/date/2011 db/conf/date/date2011.html#PerathonerLT11 Matthias Woehrle Kai Lampka Lothar Thiele Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. 193-208 2011 FORMATS https://doi.org/10.1007/978-3-642-24310-3_14 conf/formats/2011 db/conf/formats/formats2011.html#WoehrleLT11

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. 193-227 2010 14 Des. Autom. Embed. Syst. 3 https://doi.org/10.1007/s10617-010-9055-1 db/journals/dafes/dafes14.html#LampkaPT10

Kai Lampka Markus Siegle Jörn Ossowski Christel Baier Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. 198-222 2010 36 Formal Methods Syst. Des. 3 https://doi.org/10.1007/s10703-010-0095-8 db/journals/fmsd/fmsd36.html#LampkaSOB10

Simon Perathoner Kai Lampka Nikolay Stoimenov Lothar Thiele Jian-Jia Chen Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. 131-138 2010 ICCAD https://doi.org/10.1109/ICCAD.2010.5654109 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2010.5654109 http://dl.acm.org/citation.cfm?id=2133455 conf/iccad/2010 db/conf/iccad/iccad2010.html#PerathonerLSTC10 Simon Perathoner Tobias Rein Lothar Thiele Kai Lampka Jonas Rox Modeling structured event streams in system level performance analysis. 37-46 2010 LCTES https://doi.org/10.1145/1755888.1755895 https://doi.org/10.1145/1755951.1755895 conf/lctrts/2010 db/conf/lctrts/lctes2010.html#PerathonerRTLR10 Kai Lampka Simon Perathoner Lothar Thiele Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. 107-116 2009 EMSOFT https://doi.org/10.1145/1629335.1629351 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#LampkaPT09 Matthias Woehrle Kai Lampka Lothar Thiele Exploiting Timed Automata for Conformance Testing of Power Measurements. 275-290 2009 FORMATS https://doi.org/10.1007/978-3-642-04368-0_21 conf/formats/2009 db/conf/formats/formats2009.html#WoehrleLT09 Kai Lampka A New Algorithm for Partitioned Symbolic Reachability Analysis. 137-151 2008 conf/rp/2008 RP https://doi.org/10.1016/j.entcs.2008.12.036 db/journals/entcs/entcs223.html#Lampka08 Kai Lampka A symbolic approach to the state graph based analysis of high-level Markov reward models. 2007 University of Erlangen-Nuremberg, Germany 1-173 http://www.opus.ub.uni-erlangen.de/opus/volltexte/2007/675/index.html https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-6753 https://d-nb.info/985513926 https://d-nb.info/985577002 Kai Lampka S. Harwarth Markus Siegle Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. 78 2007 VALUETOOLS https://doi.org/10.4108/smctools.2007.1918 https://dl.acm.org/citation.cfm?id=1345364 conf/valuetools/2007 db/conf/valuetools/valuetools2007.html#LampkaHS07 Kai Lampka Markus Siegle Max Walter An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. 35-50 2006 conf/fmics/2006 FMICS/PDMC https://doi.org/10.1007/978-3-540-70952-7_3 db/conf/fmics/fmics2006.html#LampkaSW06 Kai Lampka Markus Siegle Activity-local symbolic state graph generation for high-level stochastic models. 245-264 2006 MMB conf/mmb/2006 db/conf/mmb/mmb2006.html#LampkaS06 Kai Lampka Markus Siegle Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. 35 2006 conf/valuetools/2006 VALUETOOLS https://doi.org/10.1145/1190095.1190139 http://eudl.eu/doi/10.1145/1190095.1190139 db/conf/valuetools/valuetools2006.html#LampkaS06 Matthias Kuntz Kai Lampka Probabilistic Methods in State Space Analysis. 339-383 https://doi.org/10.1007/978-3-540-24611-4_10 2004 conf/voss/2004 Validation of Stochastic Systems db/conf/voss/voss2004.html#KuntzL04 Syed Md Jakaria Abdullah Benny Akesson Anuradha M. AnnaswamyAnuradha Annaswamy Christel Baier Steffen Bondorf Didier Buchs Samarjit Chakraborty Jian-Jia Chen Maximilien Colange Rolf Ernst Sami Evangelista Jonas Flodin Björn Forsberg Georgia Giannopoulou Kees Goossens Dip Goswami Nan Guan Marcus Hähnel S. Harwarth Kai Huang 0001 Fabrice Kordon Pratyush Kumar Matthias Kuntz Adam Lackorzynski Yonghui Li 0002 Alban Linard Niels Lohmann Moritz Neukirchner Jörn Ossowski Roberto Passerone Emmanuel Paviot-Adet Rodolfo Pellizzoni Simon Perathoner Sophie Quinton Yusi Ramadian Tobias Rein Jonas Rox Jens B. Schmitt Markus Siegle Alena Simalatsar Vasileios Spiliopoulos 0001 Nikolay Stoimenov Lothar Thiele Yann Thierry-Mieg Joel Thurlby Max Walter Harro Wimmel Matthias Woehrle Zheng Wu Wang Yi 0001