| Publication | Date of Publication | Type |
|---|
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning
Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics | 2023-11-22 | Paper |
Tactical theorem proving in program verification
| 2023-04-28 | Paper |
Towards fully automated inspection of large components with UAVs: offline path planning and view angle dependent optimization strategies
| 2022-12-06 | Paper |
Flashix: modular verification of a concurrent and crash-safe flash file system
| 2022-03-22 | Paper |
MiniBrass: soft constraints for MiniZinc
Constraints | 2019-10-25 | Paper |
Partial valuation structures for qualitative soft constraints
Software, Services, and Systems | 2015-06-22 | Paper |
RGITL: a temporal logic framework for compositional reasoning about interleaved programs
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
Formal verification of a lock-free stack with hazard pointers
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Proving linearizability with temporal logic
Formal Aspects of Computing | 2011-05-27 | Paper |
Automated flaw detection in algebraic specifications
Journal of Automated Reasoning | 2011-01-12 | Paper |
Temporal Logic Verification of Lock-Freedom
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Interactive verification of concurrent systems using symbolic execution
AI Communications | 2010-06-17 | Paper |
Verification of Java Programs with Generics
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Automating Algebraic Specifications of Non-freely Generated Data Types
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Bounded Relational Analysis of Free Data Types
Tests and Proofs | 2008-04-24 | Paper |
Reuse of proofs in software verification
Sādhanā | 2004-01-27 | Paper |
Verifying Concurrent Systems with Symbolic Execution
Journal Of Logic And Computation | 2002-09-11 | Paper |
scientific article; zbMATH DE number 1765705 (Why is no real title available?)
| 2002-07-10 | Paper |
scientific article; zbMATH DE number 1678385 (Why is no real title available?)
| 2001-12-04 | Paper |
Theorem proving in large theories
| 2001-11-06 | Paper |
Correctness of efficient real-time model checking
Journal of Universal Computer Science | 2001-08-13 | Paper |
scientific article; zbMATH DE number 1552508 (Why is no real title available?)
| 2001-01-15 | Paper |
scientific article; zbMATH DE number 1552511 (Why is no real title available?)
| 2001-01-15 | Paper |
scientific article; zbMATH DE number 827984 (Why is no real title available?)
| 1995-12-20 | Paper |
scientific article; zbMATH DE number 512875 (Why is no real title available?)
| 1995-11-23 | Paper |
