| Publication | Date of Publication | Type |
|---|
Sequential schemes for frequentist estimation of properties in statistical model checking
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Concolic testing heap-manipulating programs
| 2024-03-14 | Paper |
Distributed parametric model checking timed automata under non-zenoness assumption
Formal Methods in System Design | 2023-06-29 | Paper |
Verifying Neural Networks Against Backdoor Attacks
| 2022-12-07 | Paper |
A decidable fragment in separation logic with inductive predicates and arithmetic
| 2022-08-12 | Paper |
Compositional reasoning for shared-variable concurrent programs
| 2021-05-04 | Paper |
Global PAC bounds for learning discrete time Markov chains
| 2021-02-09 | Paper |
Parametric Timed Model Checking for Guaranteeing Timed Opacity
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Automated verification of timed security protocols with clock drift
| 2020-01-03 | Paper |
Sequential schemes for frequentist estimation of properties in statistical model checking
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Frame inference for inductive entailment proofs in separation logic
| 2019-09-16 | Paper |
Model checking with fairness assumptions using PAT
Frontiers of Computer Science | 2019-05-28 | Paper |
Satisfiability modulo heap-based programs
Computer Aided Verification | 2019-05-03 | Paper |
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Formal Aspects of Computing | 2018-10-23 | Paper |
Towards verification of computation orchestration
Formal Aspects of Computing | 2016-08-05 | Paper |
Regular symmetry patterns
Lecture Notes in Computer Science | 2016-03-23 | 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 |
A formal framework for modeling and validating simulink diagrams
Formal Aspects of Computing | 2009-11-13 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 1949611 (Why is no real title available?)
| 2003-07-15 | Paper |
