Alice Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Online Model Checking for Anomaly Detection in Industrial Control Systems. | Douglas Fraser, Alice Miller, Marco M. Cook, Dimitrios Pezaros |
| 2015 | CP | Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. | Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser |
| 2013 | IJCAI | Breaking Symmetries in Graph Representation. | Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey |
| 2006 | ATVA | Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. | Alastair F. Donaldson, Alice Miller |
| 2006 | FM | Exact and Approximate Strategies for Symmetry Reduction in Model Checking. | Alastair F. Donaldson, Alice Miller |
| 2006 | ISoLA | Model Checking Medium Access Control for Sensor Networks. | Paolo Ballarini, Alice Miller |
| 2005 | FM | Automatic Symmetry Detection for Model Checking Using Computational Group Theory. | Alastair F. Donaldson, Alice Miller |
| 2004 | ISoLA | Verifying parametrized, featured networks by abstraction. | Muffy Calder, Alice Miller |