PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Miller, Alice"

Author of the publication

copydeleteadd this publication to your clipboard
Risk Assessment of Railway Transportation Systems using Timed Fault Trees.

, , , , and . Quality and Reliability Eng. Int., 32 (1): 181-194 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eva Miller University of Stuttgart

Markus Miller University of Stuttgart

Alice Hierholz University of Stuttgart

Anna Alice Glassmann University of Stuttgart

 

Other publications of authors with the same name

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification., , , , and . Rel. Eng. & Sys. Safety, (2015)Risk Assessment of Railway Transportation Systems using Timed Fault Trees., , , , and . Quality and Reliability Eng. Int., 32 (1): 181-194 (2016)Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking., , , and . CoRR, (2015)Symmetry in temporal logic model checking., , and . ACM Comput. Surv., 38 (3): 8 (2006)Strategy Synthesis for Autonomous Agents Using PRISM., , , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 220-236. Springer, (2018)Extending Symmetry Reduction Techniques to a Realistic Model of Computation., and . Electron. Notes Theor. Comput. Sci., (2007)An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols., , and . Electron. Notes Theor. Comput. Sci., 250 (1): 87-103 (2009)Language-Level Symmetry Reduction for Probabilistic Model Checking., , and . QEST, page 289-298. IEEE Computer Society, (2009)Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites., , , , and . Quality and Reliability Eng. Int., 32 (2): 345-361 (2016)Formal modelling and quantitative analysis of satellite navigation systems., , , , and . CoRR, (2014)