Principles of Systems Design Principles of Systems Design
٢٠٢٢
Networked Systems Networked Systems
٢٠٢١
Computer Aided Verification Computer Aided Verification
٢٠١٧
Computer Aided Verification Computer Aided Verification
٢٠١٧
Runtime Verification Runtime Verification
٢٠١٥
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٠