Search results for: Kai Lampka
Journal of Parallel and Distributed Computing > 2016 > 95 > C > 79-91
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 4: Verification and Testing > 193-208
Lecture Notes in Computer Science > Validation of Stochastic Systems > Representing Large State Spaces > 339-383
Real-Time Systems > 2014 > 50 > 5-6 > 736-773
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 3 > 155-170
DAC Design Automation Conference 2012 > 688 - 696
Formal Methods in System Design > 2010 > 36 > 3 > 198-222
Design Automation for Embedded Systems > 2010 > 14 > 3 > 193-227
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 137-151