| 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 |
A neurodynamic approach for nonsmooth optimal power consumption of intelligent and connected vehicles
Neural Networks | 2023-10-26 | Paper |
A subgradient-based neurodynamic algorithm to constrained nonsmooth nonconvex interval-valued optimization
Neural Networks | 2023-10-18 | Paper |
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring
Formal Aspects of Computing | 2023-08-31 | Paper |
N-PAT: A Nested Model-Checker
Automated Reasoning | 2022-11-09 | Paper |
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
Journal of Automated Reasoning | 2021-06-09 | 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 |
Model checking with fairness assumptions using PAT
Frontiers of Computer Science | 2019-05-28 | 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 |
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 |
Semantic Web Languages – Towards an Institutional Perspective
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
scientific article; zbMATH DE number 2090159 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1982648 (Why is no real title available?)
| 2003-09-16 | Paper |
scientific article; zbMATH DE number 1949611 (Why is no real title available?)
| 2003-07-15 | Paper |
scientific article; zbMATH DE number 1949595 (Why is no real title available?)
| 2003-07-15 | Paper |
scientific article; zbMATH DE number 1949596 (Why is no real title available?)
| 2003-07-15 | Paper |
A formal object approach to the design of ZML
Annals of Software Engineering | 2003-02-19 | Paper |
Deep semantic links of TCSP and Object-Z: TCOZ approach.
Formal Aspects of Computing | 2002-09-09 | Paper |
scientific article; zbMATH DE number 1487728 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1487734 (Why is no real title available?)
| 2000-08-10 | Paper |
