Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Contract Aware Components, 10 years after
Contracting the Facebook API
Control software analysis, Part I Open-loop properties
Control software analysis, part II: Closed-loop analysis
Correctness is not enough
Course on System Design (structural approach)
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
CRM 2.0 within E-Health Systems: Towards Achieving Health Literacy & Customer Satisfaction
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography