Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kai Lampka
@inproceedings{DBLP:conf/safecomp/LampkaTLH22,
author = {Kai Lampka and
Joel Thurlby and
Adam Lackorzynski and
Marcus H{\"{a}}hnel},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Safety Certification with the Open Source Microkernel-Based Operating
System L4Re},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {31--45},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_3},
doi = {10.1007/978-3-031-14835-4\_3},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LampkaTLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/LampkaL19,
author = {Kai Lampka and
Adam Lackorzynski},
title = {Using Hypervisor Technology for Safe and Secure Deployment of High-Performance
Multicore Platforms in Future Vehicles},
booktitle = {26th {IEEE} International Conference on Electronics, Circuits and
Systems, {ICECS} 2019, Genoa, Italy, November 27-29, 2019},
pages = {783--786},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECS46596.2019.8964912},
doi = {10.1109/ICECS46596.2019.8964912},
timestamp = {Mon, 03 Feb 2020 12:19:05 +0100},
biburl = {https://dblp.org/rec/conf/icecsys/LampkaL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/LampkaBSGY17,
author = {Kai Lampka and
Steffen Bondorf and
Jens B. Schmitt and
Nan Guan and
Wang Yi},
title = {Generalized finitary real-time calculus},
booktitle = {2017 {IEEE} Conference on Computer Communications, {INFOCOM} 2017,
Atlanta, GA, USA, May 1-4, 2017},
pages = {1--9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INFOCOM.2017.8056981},
doi = {10.1109/INFOCOM.2017.8056981},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/LampkaBSGY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/LampkaFS16,
author = {Kai Lampka and
Bj{\"{o}}rn Forsberg and
Vasileios Spiliopoulos},
title = {Keep it cool and in time: With runtime monitoring to thermal-aware
execution speeds for deadline constrained systems},
journal = {J. Parallel Distributed Comput.},
volume = {95},
pages = {79--91},
year = {2016},
url = {https://doi.org/10.1016/j.jpdc.2016.03.002},
doi = {10.1016/J.JPDC.2016.03.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/LampkaFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AbdullahL016,
author = {Syed Md Jakaria Abdullah and
Kai Lampka and
Wang Yi},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Improving performance by monitoring while maintaining worst-case guarantees},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {257--260},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459316/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/AbdullahL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LampkaF16,
author = {Kai Lampka and
Bj{\"{o}}rn Forsberg},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Keep it slow and in time: Online {DVFS} with hard real-time workloads},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {385--390},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459341/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/LampkaF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/ForsbergLS16,
author = {Bj{\"{o}}rn Forsberg and
Kai Lampka and
Vasileios Spiliopoulos},
editor = {Muhammad Shafique and
Sander Stuijk and
Hyunok Oh and
Todor P. Stefanov},
title = {An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation
of its Thermal Impact},
booktitle = {Proceedings of the 14th {ACM/IEEE} Symposium on Embedded Systems for
Real-Time Multimedia, ESTIMedia 2016, Pittsburgh, PA, USA, October
6-7, 2016},
pages = {104--113},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2993568},
timestamp = {Thu, 17 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/estimedia/ForsbergLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/LampkaBS16,
author = {Kai Lampka and
Steffen Bondorf and
Jens B. Schmitt},
title = {Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus
on Compact Domains},
booktitle = {24th {IEEE} International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2016, London,
United Kingdom, September 19-21, 2016},
pages = {313--318},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/MASCOTS.2016.9},
doi = {10.1109/MASCOTS.2016.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/LampkaBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/LampkaL16,
author = {Kai Lampka and
Adam Lackorzynski},
editor = {Anne Remke and
Boudewijn R. Haverkort},
title = {Resolving Contention for Networks-on-Chips: Combining Time-Triggered
Application Scheduling with Dynamic Budgeting of Memory Bus Use},
booktitle = {Measurement, Modelling and Evaluation of Dependable Computer and Communication
Systems - 18th International {GI/ITG} Conference, {MMB} {\&} {DFT}
2016, M{\"{u}}nster, Germany, April 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9629},
pages = {137--152},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31559-1\_12},
doi = {10.1007/978-3-319-31559-1\_12},
timestamp = {Sat, 19 Oct 2019 20:11:41 +0200},
biburl = {https://dblp.org/rec/conf/mmb/LampkaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LiALG16,
author = {Yonghui Li and
Benny Akesson and
Kai Lampka and
Kees Goossens},
title = {Modeling and Verification of Dynamic Command Scheduling for Real-Time
Memory Controllers},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {85--96},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461341},
doi = {10.1109/RTAS.2016.7461341},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/LiALG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LampkaGPWS14,
author = {Kai Lampka and
Georgia Giannopoulou and
Rodolfo Pellizzoni and
Zheng Wu and
Nikolay Stoimenov},
title = {A formal approach to the {WCRT} analysis of multicore systems with
memory contention under phase-structured task sets},
journal = {Real Time Syst.},
volume = {50},
number = {5-6},
pages = {736--773},
year = {2014},
url = {https://doi.org/10.1007/s11241-014-9211-y},
doi = {10.1007/S11241-014-9211-Y},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LampkaGPWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/FlodinLY14,
author = {Jonas Flodin and
Kai Lampka and
Wang Yi},
title = {Dynamic budgeting for settling {DRAM} contention of co-running hard
and soft real-time tasks},
booktitle = {Proceedings of the 9th {IEEE} International Symposium on Industrial
Embedded Systems, {SIES} 2014, Pisa, Italy, June 18-20, 2014},
pages = {151--159},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SIES.2014.6871199},
doi = {10.1109/SIES.2014.6871199},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/FlodinLY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LampkaPT13,
author = {Kai Lampka and
Simon Perathoner and
Lothar Thiele},
title = {Component-based system design: analytic real-time interfaces for state-based
component implementations},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {3},
pages = {155--170},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0257-7},
doi = {10.1007/S10009-012-0257-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LampkaPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/NeukirchnerQEL13,
author = {Moritz Neukirchner and
Kai Lampka and
Sophie Quinton and
Rolf Ernst},
title = {Multi-mode monitoring for mixed-criticality real-time systems},
booktitle = {Proceedings of the International Conference on Hardware/Software Codesign
and System Synthesis, {CODES+ISSS} 2013, Montreal, QC, Canada, September
29 - October 4, 2013},
pages = {34:1--34:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CODES-ISSS.2013.6659021},
doi = {10.1109/CODES-ISSS.2013.6659021},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/codes/NeukirchnerQEL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Lampka13,
author = {Kai Lampka},
editor = {Axel Legay and
Saddek Bensalem},
title = {With Real-Time Performance Analysis and Monitoring to Timing Predictable
Use of Multi-core Architectures},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {400--402},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_30},
doi = {10.1007/978-3-642-40787-1\_30},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/Lampka13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/WoehrleLT12,
author = {Matthias Woehrle and
Kai Lampka and
Lothar Thiele},
title = {Conformance testing for cyber-physical systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {4},
pages = {84:1--84:23},
year = {2012},
url = {https://doi.org/10.1145/2362336.2362351},
doi = {10.1145/2362336.2362351},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/WoehrleLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Kai Lampka and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Yann Thierry{-}Mieg and
Harro Wimmel},
title = {Report on the Model Checking Contest at Petri Nets 2011},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {169--196},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_8},
doi = {10.1007/978-3-642-35179-2\_8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KumarGCALT12,
author = {Pratyush Kumar and
Dip Goswami and
Samarjit Chakraborty and
Anuradha Annaswamy and
Kai Lampka and
Lothar Thiele},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {A hybrid approach to cyber-physical systems verification},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {688--696},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228484},
doi = {10.1145/2228360.2228484},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KumarGCALT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/GiannopoulouLST12,
author = {Georgia Giannopoulou and
Kai Lampka and
Nikolay Stoimenov and
Lothar Thiele},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {Timed model checking with abstractions: towards worst-case response
time analysis in resource-sharing manycore systems},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {63--72},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380372},
doi = {10.1145/2380356.2380372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/GiannopoulouLST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/SimalatsarRLPPT11,
author = {Alena Simalatsar and
Yusi Ramadian and
Kai Lampka and
Simon Perathoner and
Roberto Passerone and
Lothar Thiele},
editor = {Rajesh K. Gupta and
Vincent John Mooney},
title = {Enabling parametric feasibility analysis in real-time calculus driven
performance evaluation},
booktitle = {Proceedings of the 14th International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh
Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14,
2011},
pages = {155--164},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038698.2038723},
doi = {10.1145/2038698.2038723},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cases/SimalatsarRLPPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LampkaHC11,
author = {Kai Lampka and
Kai Huang and
Jian{-}Jia Chen},
editor = {Robert P. Dick and
Jan Madsen},
title = {Dynamic counters and the efficient and effective online power management
of embedded real-time systems},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {267--276},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039412},
doi = {10.1145/2039370.2039412},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/LampkaHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PerathonerLT11,
author = {Simon Perathoner and
Kai Lampka and
Lothar Thiele},
title = {Composing heterogeneous components for system-wide performance analysis},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {842--847},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763143},
doi = {10.1109/DATE.2011.5763143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/PerathonerLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WoehrleLT11,
author = {Matthias Woehrle and
Kai Lampka and
Lothar Thiele},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Segmented State Space Traversal for Conformance Testing of Cyber-Physical
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {193--208},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_14},
doi = {10.1007/978-3-642-24310-3\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/WoehrleLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/LampkaPT10,
author = {Kai Lampka and
Simon Perathoner and
Lothar Thiele},
title = {Analytic real-time analysis and timed automata: a hybrid methodology
for the performance analysis of embedded real-time systems},
journal = {Des. Autom. Embed. Syst.},
volume = {14},
number = {3},
pages = {193--227},
year = {2010},
url = {https://doi.org/10.1007/s10617-010-9055-1},
doi = {10.1007/S10617-010-9055-1},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/LampkaPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LampkaSOB10,
author = {Kai Lampka and
Markus Siegle and
J{\"{o}}rn Ossowski and
Christel Baier},
title = {Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms
and applications},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {3},
pages = {198--222},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0095-8},
doi = {10.1007/S10703-010-0095-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/LampkaSOB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PerathonerLSTC10,
author = {Simon Perathoner and
Kai Lampka and
Nikolay Stoimenov and
Lothar Thiele and
Jian{-}Jia Chen},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Combining optimistic and pessimistic {DVS} scheduling: An adaptive
scheme and analysis},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {131--138},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5654109},
doi = {10.1109/ICCAD.2010.5654109},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/PerathonerLSTC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/PerathonerRTLR10,
author = {Simon Perathoner and
Tobias Rein and
Lothar Thiele and
Kai Lampka and
Jonas Rox},
editor = {Jaejin Lee and
Bruce R. Childers},
title = {Modeling structured event streams in system level performance analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2010 conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2010, Stockholm,
Sweden, April 13-15, 2010},
pages = {37--46},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755888.1755895},
doi = {10.1145/1755888.1755895},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/PerathonerRTLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LampkaPT09,
author = {Kai Lampka and
Simon Perathoner and
Lothar Thiele},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Analytic real-time analysis and timed automata: a hybrid method for
analyzing embedded real-time systems},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {107--116},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629351},
doi = {10.1145/1629335.1629351},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LampkaPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WoehrleLT09,
author = {Matthias Woehrle and
Kai Lampka and
Lothar Thiele},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Exploiting Timed Automata for Conformance Testing of Power Measurements},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {275--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_21},
doi = {10.1007/978-3-642-04368-0\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/WoehrleLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lampka08,
author = {Kai Lampka},
editor = {Vesa Halava and
Igor Potapov},
title = {A New Algorithm for Partitioned Symbolic Reachability Analysis},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {137--151},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.036},
doi = {10.1016/J.ENTCS.2008.12.036},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lampka08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Lampka2007,
author = {Kai Lampka},
title = {A symbolic approach to the state graph based analysis of high-level
Markov reward models},
school = {University of Erlangen-Nuremberg, Germany},
year = {2007},
url = {http://www.opus.ub.uni-erlangen.de/opus/volltexte/2007/675/index.html},
urn = {urn:nbn:de:bvb:29-opus-6753},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Lampka2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/LampkaHS07,
author = {Kai Lampka and
S. Harwarth and
Markus Siegle},
editor = {Peter W. Glynn},
title = {Can matrix-layout-independent numerical solvers be efficient?: implementing
the Moebius state-level abstract functional interface for ZDDs},
booktitle = {Proceedings of the 2nd International Conference on Performance Evaluation
Methodolgies and Tools, {VALUETOOLS} 2007, Nantes, France, October
22-27, 2007},
series = {{ACM} International Conference Proceeding Series},
pages = {78},
publisher = {{ICST/ACM}},
year = {2007},
url = {https://doi.org/10.4108/smctools.2007.1918},
doi = {10.4108/SMCTOOLS.2007.1918},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/LampkaHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LampkaSW06,
author = {Kai Lampka and
Markus Siegle and
Max Walter},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of
Telecommunication Equipment},
booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
{FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
August 26-27, and August 31, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {35--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_3},
doi = {10.1007/978-3-540-70952-7\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/LampkaSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/LampkaS06,
author = {Kai Lampka and
Markus Siegle},
editor = {Reinhard German and
Armin Heindl},
title = {Activity-local symbolic state graph generation for high-level stochastic
models},
booktitle = {Proceedings 13th {GI/ITG} Conference on Measuring, Modelling and Evaluation
of Computer and Communication Systems, {MMB} 2006, March 27-29, 2006,
N{\"{u}}rnberg, Germany},
pages = {245--264},
publisher = {{VDE} Verlag},
year = {2006},
timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
biburl = {https://dblp.org/rec/conf/mmb/LampkaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/LampkaS06,
author = {Kai Lampka and
Markus Siegle},
editor = {Luciano Lenzini and
Rene L. Cruz},
title = {Analysis of Markov reward models using zero-suppressed multi-terminal
BDDs},
booktitle = {Proceedings of the 1st International Conference on Performance Evaluation
Methodolgies and Tools, {VALUETOOLS} 2006, Pisa, Italy, October 11-13,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {180},
pages = {35},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1190095.1190139},
doi = {10.1145/1190095.1190139},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/LampkaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voss/KuntzL04,
author = {Matthias Kuntz and
Kai Lampka},
editor = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen and
Markus Siegle},
title = {Probabilistic Methods in State Space Analysis},
booktitle = {Validation of Stochastic Systems - {A} Guide to Current Research},
series = {Lecture Notes in Computer Science},
volume = {2925},
pages = {339--383},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24611-4\_10},
doi = {10.1007/978-3-540-24611-4\_10},
timestamp = {Sat, 30 Sep 2023 09:58:24 +0200},
biburl = {https://dblp.org/rec/conf/voss/KuntzL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
