Các bài viết có thể truy cập công khai - A FehnkerTìm hiểu thêm
Có tại một số nơi: 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
Các cơ quan ủy nhiệm: 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
Các cơ quan ủy nhiệm: 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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: Australian Research Council
Lazy model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
Software and Systems Modeling 23 (2), 369-401, 2024
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ