The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Alice Miller Alice A. Miller ( http://dblp.L3S.de/Authors/Alice_Miller )

Publication years (Num. hits)
2001-2006 (16) 2007-2012 (15) 2013-2016 (18) 2017-2019 (3)
Publication types (Num. hits)
article(27) inproceedings(24) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 35 occurrences of 17 keywords

Results
Found 53 publication records. Showing 52 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey Constraints for symmetry breaking in graph representation. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman Strategy Synthesis for Autonomous Agents Using PRISM. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timo Kehrer, Alice Miller (eds.) Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001 Towards the Automated Verification of Weibull Distributions for System Failure Rates. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres Autonomous Agent Behaviour Modelled in PRISM - A Case Study. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ryan F. Kirwan, Alice Miller, Bernd Porr Model checking learning agent systems using Promela with embedded C code and abstraction. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres Autonomous Agent Behaviour Modelled in PRISM - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller Uncertainty analysis of phased mission systems with probabilistic timed automata. Search on Bibsonomy ICPHM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Lu 0001, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Formal modelling and quantitative analysis of satellite navigation systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Zhaoguang Peng, Tingdi Zhao Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. Search on Bibsonomy CSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ryan F. Kirwan, Alice Miller, Bernd Porr, Paolo di Prodi Formal Modeling of Robot Behavior with Learning. Search on Bibsonomy Neural Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. Search on Bibsonomy EMS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey Breaking Symmetries in Graph Representation. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Alice Miller, Patrick Prosser Diamond-free Degree Sequences Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shamim Ripon, Alice Miller Verification of Symmetry Detection using PVS. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth An Introduction to Pervasive Interface Automata. Search on Bibsonomy FACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Douglas Graham, Muffy Calder, Alice Miller An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alice Miller, Muffy Calder Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller On the constructive orbit problem. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher 0001, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan 0001, Sven Schewe, Chris Unsworth, Rehana Yasmin Towards the Verification of Pervasive Systems. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller, David Parker 0001 Language-Level Symmetry Reduction for Probabilistic Model Checking. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counter abstraction, probabilistic model checking, Symmetry reduction
1Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
1Muffy Calder, Alice Miller An automatic abstraction technique for verifying featured, parameterised systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller Automatic Symmetry Detection for Promela. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, Automatic verification, Symmetry reduction, Promela
1Christopher Power, Alice Miller Prism2Promela. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alice Miller, Muffy Calder, Alastair F. Donaldson A template-based approach for the generation of abstractable and reducible models of featured networks. Search on Bibsonomy Computer Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller, David Parker 0001 GRIP: Generic Representatives in PRISM. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Alice Miller Feature interaction detection by pairwise analysis of LTL properties - A case study. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed systems, Model checking, Feature interaction, Communicating processes, Communications services
1Alice Miller, Alastair F. Donaldson, Muffy Calder Symmetry in temporal logic model checking. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quotient graph, Model checking, symmetry
1Alastair F. Donaldson, Alice Miller A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paolo Ballarini, Alice Miller Model Checking Medium Access Control for Sensor Networks. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller Exact and Approximate Strategies for Symmetry Reduction in Model Checking. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Promela/Spin, computational group theory, model checking, symmetry, Gap
1Alastair F. Donaldson, Alice Miller Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller, Muffy Calder Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller, Muffy Calder Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller Automatic Symmetry Detection for Model Checking Using Computational Group Theory. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
1Alice Miller, Muffy Calder A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. Search on Bibsonomy FIW The full citation details ... 2005 DBLP  BibTeX  RDF
1Muffy Calder, Alice Miller Verifying parametrized, featured networks by abstraction. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1Muffy Calder, Alice Miller Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model checking, Formal verification, SPIN
1Muffy Calder, Alice Miller Detecting Feature Interactions: How Many Components Do We Need? Search on Bibsonomy Objects, Agents, and Features The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Alice Miller Generalising Feature Interactions in Email. Search on Bibsonomy FIW The full citation details ... 2003 DBLP  BibTeX  RDF
1Muffy Calder, Alice Miller Automatic Verification of any Number of Concurrent, Communicating Processes. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Alice Miller Using SPIN for Feature Interaction Analysis - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
Displaying result #1 - #52 of 52 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license