Alice Miller

Available identifiers

zbMath Open miller.alice-annWikidataQ60721732 ScholiaQ60721732MaRDI QIDQ1312994

List of research outcomes

Publication	Date of Publication	Type
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis	2023-11-17	Paper
Collaborative models for autonomous systems controller synthesis	2020-09-09	Paper
Constraints for symmetry breaking in graph representation	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	2017-08-16	Paper
Model checking learning agent systems using Promela with embedded C code and abstraction	2016-10-28	Paper
An inductive technique for parameterised model checking of degenerative distributed randomised protocols	2016-06-06	Paper
Extending symmetry reduction techniques to a realistic model of computation	2015-03-18	Paper
Diamond-free degree sequence	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	2010-06-16	Paper
Automatic symmetry detection for Promela	2009-11-25	Paper
An automatic abstraction technique for verifying featured, parameterised systems	2008-10-07	Paper
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives	2008-09-04	Paper
A template-based approach for the generation of abstractable and reducible models of featured networks	2006-12-14	Paper
Feature interaction detection by pairwise analysis of LTL properties -- A case study	2006-11-17	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Objects, Agents, and Features	2005-12-27	Paper
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4531757	2002-05-23	Paper
Line-closed subsets of Steiner triple systems and classical linear spaces	1997-10-26	Paper
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q3978113	1992-06-25	Paper

Research outcomes over time

This page was built for person: Alice Miller