| Publication | Date of Publication | Type |
|---|
| Materials of "Smart Contract Fuzzing Towards Profitable Vulnerabilities" | 2025-02-12 | Dataset |
Formally understanding Rust's ownership and borrowing system at the memory level
Formal Methods in System Design | 2025-01-13 | Paper |
| A parametric rely-guarantee reasoning framework for concurrent reactive systems | 2024-03-14 | Paper |
| Towards efficient data-flow test data generation | 2024-02-28 | Paper |
Formal analysis of composable DeFi protocols
(available as arXiv preprint) | 2022-06-01 | Paper |
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving
IEEE Transactions on Computers | 2022-03-23 | Paper |
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
Journal of Automated Reasoning | 2021-06-09 | Paper |
Compositional reasoning for shared-variable concurrent programs
(available as arXiv preprint) | 2021-05-04 | Paper |
| Compositional reasoning for shared-variable concurrent programs | 2021-05-04 | Paper |
CSimpl: a rely-guarantee-based framework for verifying concurrent programs
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
A distributed method to avoid higher-order deadlocks in multi-robot systems
Automatica | 2020-01-20 | Paper |
Trace-length independent runtime monitoring of quantitative policies in LTL
FM 2015: Formal Methods | 2019-12-19 | Paper |
Model checking with fairness assumptions using PAT
Frontiers of Computer Science | 2019-05-28 | Paper |
A distributed approach to robust control of multi-robot systems
Automatica | 2019-02-05 | Paper |
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Formal Aspects of Computing | 2018-10-23 | Paper |
| Proof tactics for assertions in separation logic | 2018-01-04 | Paper |
\textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
Journal of Artificial Intelligence Research | 2017-01-11 | Paper |
Refinement checking based on simulation relations
Journal of Software | 2016-10-06 | Paper |
Towards verification of computation orchestration
Formal Aspects of Computing | 2016-08-05 | Paper |
PeCAn: compositional verification of Petri nets made easy
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Parameter synthesis for hierarchical concurrent real-time systems
Real-Time Systems | 2015-01-23 | Paper |
Event Analytics
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
State space reduction for sensor networks using two-level partial order reduction
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Model checking approach to automated planning
Formal Methods in System Design | 2014-06-30 | Paper |
| scientific article; zbMATH DE number 6300098 (Why is no real title available?) | 2014-06-03 | Paper |
Complexity of the soundness problem of workflow nets
Fundamenta Informaticae | 2014-05-12 | Paper |
Towards a combination of CafeOBJ and PAT
Specification, Algebra, and Software | 2014-03-25 | Paper |
SeVe: automatic tool for verification of security protocols
Frontiers of Computer Science | 2012-11-15 | Paper |
Improved BDD-based discrete analysis of timed systems
FM 2012: Formal Methods | 2012-11-08 | Paper |
Complexity of the soundness problem of bounded workflow nets
Lecture Notes in Computer Science | 2012-09-04 | Paper |
An efficient algorithm for learning event-recording automata
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
