- Formal Analysis and Verification in Temporal and Symbolic Systems.- On the Existence of Unions of Timed Scenarios.- SMTQuery: Analysing SMT-LIB String Benchmarks.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.- Formal Semantics and Verification of UML Models.- A CSP semantics for UML state machines aiming at hidden formal methods verification.- Verifying integrated designs of UML state machines and activities using CSP.- An integrated framework for analysing, simulating and testing UML models.

- Formal Verification and Proof Techniques in Algorithms and Logics.- Computer-Assisted Proof of Brzozowski's Algorithm.- Soundness-Preserving Fusion of Modal Logics in Coq.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.- Formal Methods for Security and Privacy.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.- Formal Privacy Analyses for Open Banking.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.