| Publication | Date of Publication | Type |
|---|
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis
Theoretical Computer Science | 2023-11-17 | Paper |
Collaborative models for autonomous systems controller synthesis
Formal Aspects of Computing | 2020-09-09 | Paper |
Constraints for symmetry breaking in graph representation
Constraints | 2019-10-25 | Paper |
| Graphs with girth at least 5 with orders between 20 and 32 | 2017-08-22 | Paper |
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
Constraints | 2017-08-16 | Paper |
Model checking learning agent systems using Promela with embedded C code and abstraction
Formal Aspects of Computing | 2016-10-28 | Paper |
An inductive technique for parameterised model checking of degenerative distributed randomised protocols
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Extending symmetry reduction techniques to a realistic model of computation
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Diamond-free degree sequence
(available as arXiv preprint) | 2014-07-09 | Paper |
| \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models | 2013-10-02 | Paper |
| Finding symmetry in models of concurrent systems by static channel diagram analysis | 2013-09-26 | Paper |
On the constructive orbit problem
Annals of Mathematics and Artificial Intelligence | 2010-06-16 | Paper |
Automatic symmetry detection for Promela
Journal of Automated Reasoning | 2009-11-25 | Paper |
An automatic abstraction technique for verifying featured, parameterised systems
Theoretical Computer Science | 2008-10-07 | Paper |
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
A template-based approach for the generation of abstractable and reducible models of featured networks
Computer Networks | 2006-12-14 | Paper |
Feature interaction detection by pairwise analysis of LTL properties -- A case study
Formal Methods in System Design | 2006-11-17 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
Formal Aspects of Computing | 2003-08-27 | Paper |
| scientific article; zbMATH DE number 1744963 (Why is no real title available?) | 2002-05-23 | Paper |
Line-closed subsets of Steiner triple systems and classical linear spaces
Journal of Statistical Planning and Inference | 1997-10-26 | Paper |
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes
Journal of Algebraic Combinatorics | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 13861 (Why is no real title available?) | 1992-06-25 | Paper |
