| Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems K Lampka, S Perathoner, L Thiele Proceedings of the seventh ACM international conference on Embedded software …, 2009 | 107 | 2009 |
| A hybrid approach to cyber-physical systems verification P Kumar, D Goswami, S Chakraborty, A Annaswamy, K Lampka, L Thiele Proceedings of the 49th Annual Design Automation Conference, 688-696, 2012 | 95 | 2012 |
| Analytic real-time analysis and timed automata: A hybrid methodology for the performance analysis of embedded real-time systems K Lampka, S Perathoner, L Thiele Design Automation for Embedded Systems 14, 193-227, 2010 | 55 | 2010 |
| Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems G Giannopoulou, K Lampka, N Stoimenov, L Thiele Proceedings of the tenth ACM international conference on Embedded software …, 2012 | 53 | 2012 |
| Report on the model checking contest at Petri nets 2011 F Kordon, A Linard, D Buchs, M Colange, S Evangelista, K Lampka, ... Transactions on Petri Nets and Other Models of Concurrency VI, 169-196, 2012 | 50 | 2012 |
| Multi-mode monitoring for mixed-criticality real-time systems M Neukirchner, K Lampka, S Quinton, R Ernst 2013 International Conference on Hardware/Software Codesign and System …, 2013 | 43 | 2013 |
| A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets K Lampka, G Giannopoulou, R Pellizzoni, Z Wu, N Stoimenov Real-Time Systems 50, 736-773, 2014 | 41 | 2014 |
| Dynamic counters and the efficient and effective online power management of embedded real-time systems K Lampka, K Huang, JJ Chen Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011 | 40 | 2011 |
| Conformance testing for cyber-physical systems M Woehrle, K Lampka, L Thiele ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013 | 36 | 2013 |
| Exploiting timed automata for conformance testing of power measurements M Woehrle, K Lampka, L Thiele Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009 | 25 | 2009 |
| Generalized finitary real-time calculus K Lampka, S Bondorf, JB Schmitt, N Guan, W Yi IEEE INFOCOM 2017-IEEE Conference on Computer Communications, 1-9, 2017 | 24 | 2017 |
| Modeling structured event streams in system level performance analysis S Perathoner, T Rein, L Thiele, K Lampka, J Rox Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010 | 24 | 2010 |
| Achieving efficiency without sacrificing model accuracy: Network calculus on compact domains K Lampka, S Bondorf, J Schmitt 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation …, 2016 | 22 | 2016 |
| Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks J Flodin, K Lampka, W Yi Proceedings of the 9th IEEE international symposium on industrial embedded …, 2014 | 22 | 2014 |
| Component-based system design: analytic real-time interfaces for state-based component implementations K Lampka, S Perathoner, L Thiele International Journal on Software Tools for Technology Transfer 15, 155-170, 2013 | 22 | 2013 |
| Combining optimistic and pessimistic dvs scheduling: An adaptive scheme and analysis S Perathoner, K Lampka, N Stoimenov, L Thiele, JJ Chen 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 131-138, 2010 | 22 | 2010 |
| Probabilistic methods in state space analysis M Kuntz, K Lampka Validation of Stochastic Systems: A Guide to Current Research, 339-383, 2004 | 22 | 2004 |
| Composing heterogeneous components for system-wide performance analysis S Perathoner, K Lampka, L Thiele 2011 Design, Automation & Test in Europe, 1-6, 2011 | 21 | 2011 |
| Modeling and verification of dynamic command scheduling for real-time memory controllers Y Li, B Akesson, K Lampka, K Goossens 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016 | 19 | 2016 |
| Activity-local symbolic state graph generation for high-level stochastic models K Lampka, M Siegle 13th GI/ITG Conference-Measuring, Modelling and Evaluation of Computer and …, 2006 | 18 | 2006 |
Lothar ThieleProfessor of Computer Engineering, ETH Zurich在 ethz.ch 的电子邮件经过验证
