UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Dr Alice A Miller' ordered by Year. (11)

2012 2011 2010 2008 2007 2006 2003 2002 2001 2000

2012

A collection of Linear Spaces of order 16 with block size 4, with diamond-free complement graphs
Miller,A. DCS Technical Report Series pp 1-40 Dept of Computing Science, University of Glasgow [More Details].

2011

Proceedings of the 18th Workshop on Automated Reasoning
Miller,A. Kirwan,R. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

2010

Diamond-free Degree Sequences
Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details].

2008

Property Preservation in Quotient Structures
Miller,A. Donaldson,A. DCS Technical Report Series pp 1-34 Dept of Computing Science, University of Glasgow [More Details].

2007

Triangle-free Linear Spaces on 13 points with line sizes 2,3, and 4
Miller,A. DCS Technical Report Series pp 1-12 Dept of Computing Science, University of Glasgow [More Details].

2006

Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol
Miller,A. Calder,M. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

2003

Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network
Miller,A. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2002

Feature Validation for any Number of Processes
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties
Calder,M. Miller,A. DCS Tech Report [More Details].

2001

Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2000

Model Checking Networks of Telecommunications Services using SPIN
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].