Search filters

List of works by Alice Miller

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols

Feature interaction detection by pairwise analysis of LTL properties—A case study

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis

Formal modeling of robot behavior with learning.

scientific article published on 18 June 2013

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models

Symmetry in temporal logic model checking

Paulina is supported by:

About Paulina

Help