Axel Legay

• Automated Technology for Verification and Analysis
• Formal Modeling and Analysis of Timed Systems
• From Programs to Systems - The Systems Perspective in Computing
• Hardware and Software : Verification and Testing
• Model Checking Software
• Models, Algorithms, Logics and Tools
• Risks and Security of Internet and Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Runtime Verification