Artikel dengan mandat akses publik - Klaus DrägerPelajari lebih lanjut
Tersedia di suatu tempat: 7
Permissive controller synthesis for probabilistic systems
K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma
Logical Methods in Computer Science 11, 2015
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Symposium on Fundamentals of Software Engineering …, 2007
Mandat: German Research Foundation
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
Mandat: German Research Foundation
Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking
S Kupferschmid, K Dräger, J Hoffmann, B Finkbeiner, H Dierks, ...
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
Mandat: German Research Foundation
Subsequence invariants
K Dräger, B Finkbeiner
International Conference on Concurrency Theory, 172-186, 2008
Mandat: German Research Foundation
of SFB/TR 14 AVACS
K Dräger, B Finkbeiner
Mandat: German Research Foundation
Slicing Abstractions
F Arbab, M Sirjani, I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
Mandat: German Research Foundation
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer