Artikel mit Open-Access-Mandaten - A FehnkerWeitere Informationen
Verfügbar: 5
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
A Fehnker, R Huuck
Innovations in systems and software engineering 9 (1), 45-56, 2013
Mandate: Australian Research Council
Topology-based mobility models for wireless networks
A Fehnker, P Höfner, M Kamali, V Mehta
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
Mandate: Australian Research Council
The quest for precision: a layered approach for data race detection in static analysis
J Mund, R Huuck, A Fehnker, C Artho
Automated Technology for Verification and Analysis: 11th International …, 2013
Mandate: Australian Research Council
Be lazy and don’t care: faster CTL model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
International Conference on Software Engineering and Formal Methods, 332-350, 2021
Mandate: Deutsche Forschungsgemeinschaft
Lazy model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
Software and Systems Modeling 23 (2), 369-401, 2024
Mandate: Netherlands Organisation for Scientific Research
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt