Searching for authors named "Alice Miller" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Why is my Search-space so Big, and What Can I Do About it?
- …Why is my Search-space so Big, and What Can I Do About it? Muy Calder and Alice Miller…
- Add To MetaCart
-
Model Checking for Feature Interaction Analysis: controlling state-explosion
- … Miller Department of Computing Science University of Glasgow Glasgow, Scotland. August 25, 2000…
- Add To MetaCart
-
Generalising feature interactions in email
- …Generalising Feature Interactions in Email 1 Introduction Muffy CALDER and Alice MILLER Department…
- Cited by 4 (2 self) – Add To MetaCart
-
Automatic Verification of Any Number of Concurrent, Communicating Processes
- … Miller Department of Computing Science University of Glasgow Glasgow, Scotland. E-mail: muffy…
- Cited by 4 (2 self) – Add To MetaCart
-
Feature interaction detection by pairwise analysis of LTL properties. Submitted to FMSD - Formal Methods in Software Development; still unpublished at the time of writing
- …Calder, M. and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL…
- Cited by 4 (1 self) – Add To MetaCart
-
Model Checking Networks of Telecommunications Services using SPIN
- …Model Checking Networks of Telecommunications Services using SPIN Muffy Calder and Alice Miller…
- Cited by 1 (1 self) – Add To MetaCart
-
Symmetry in temporal logic model checking
- …Miller, A. and Donaldson, A.F. and Calder, M. (2006) Symmetry in temporal logic model checking…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
