A logic for reasoning about time and reliability

Hansson, Hans, Jonsson, Bengt·1994·Formal Aspects of Computing
DOI 10.1007/bf01211866

Cited by (1,001)

Items 101–200 of 1,001

  1. Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
    Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid D · 2015 · IEEE Systems Journal
  2. Performance evaluation and model checking join forces
    Christel Baier A, Boudewijn R. H. M. Haverkort, Holger Hermanns, Joost-Pieter Katoen · 2010 · Communications of the ACM
  3. Model checking performability properties
    Boudewijn R. H. M. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier A · 2003 · International Conference on Dependable Systems & Networks/Proceedings
  4. Evaluating the reliability of NAND multiplexing with PRISM
    Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep K. Shukla · 2005 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  5. Mining behavior models from user-intensive web applications
    Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli · 2014 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  6. Causality, Probability, and Time
    Samantha Kleinberg · 2012 · Cambridge University Press eBooks
  7. Approximating labeled Markov processes
    Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden · 2002 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  8. Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
    Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio · 2011 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  9. Quality Prediction of Service Compositions through Probabilistic Model Checking
    Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli · 2008 · Lecture notes in computer science
  10. Faster and Symbolic CTMC Model Checking
    Joost-Pieter Katoen, Marta Kwiatkowska, Gethin Norman, David Parker · 2001 · Lecture notes in computer science
  11. Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
    Moshe Y. Vardi · 1999 · Lecture notes in computer science
  12. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
    Alberto Puggelli, Wenchao Li, Alberto Luigi Sangiovanni-Vincentelli, Sanjit Arunkumar Seshia · 2013 · Lecture notes in computer science
  13. Reasoning about partial goal satisfaction for requirements and design engineering
    Emmanuel Letier, Axel van Lamsweerde · 2004 · ACM SIGSOFT Software Engineering Notes
  14. Model-Checking ω-Regular Properties of Interval Markov Chains
    Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger · 2008 · Springer eBooks
  15. Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach
    Lixing Li, Zhi Gang Jin, Ge Li, Liwei Zheng, Qiang Wei · 2012 · IEEE International Conference on Web Services (ICWS)
  16. UPPAAL - Now, Next, and Future
    Tobias Amnell, Gerd Behrmann, Johan E. Bengtsson, Pedro R. D’Argenio, Alexandre David, Ansgar Fehnker, Thomas S. Hune, Bertrand Jeannet, Kim G. Larsen, Marianne Møller et al. · 2001 · Lecture notes in computer science
  17. FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes
    Sadegh Soudjani, Caspar Gevaerts, Alessandro Abate · 2015 · Lecture notes in computer science
  18. MultiVeStA: Statistical Model Checking for Discrete Event Simulators
    Andrea Vandin, Stefano Sebastio · 2014 · International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
  19. The PEPA Plug-in Project
    Mirco Tribastone · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  20. A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
    Matthias Güdemann, Frank Ortmeier · 2010 · IEEE International Symposium on High Assurance Systems Engineering (HASE)
  21. Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems
    Radu Călinescu, Carlo Ghezzi, Kenneth R. Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli · 2015 · IEEE Transactions on Reliability
  22. Parametric probabilistic transition systems for system design and analysis
    Ruggero Lanotte A, Andrea Maggiolo-schettini B, Angelo Troina · 2006 · Formal Aspects of Computing
  23. Advances and challenges of probabilistic model checking
    Marta Kwiatkowska, Gethin Norman, David Parker · 2010 · Allerton Conference on Communication, Control, and Computing
  24. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
    Tomǎš Brázdil, Antonı́n Kučera, Oldřich Stražovský · 2005 · Lecture notes in computer science
  25. Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?
    Marta Kwiatkowska, Gethin Norman, Roberto Segala C · 2001 · Lecture notes in computer science
  26. Using probabilistic model checking for dynamic power management
    Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta · 2005 · Formal Aspects of Computing
  27. Quantitative Verification and Synthesis of Attack-Defence Scenarios
    Zaruhi Aslanyan, Flemming Nielson, David Parker · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
  28. Probabilistic analysis of anonymity
    Vitaly Shmatikov · 2003 · IEEE Computer Security Foundations Workshop (CSFW)
  29. Model checking Markov Chains: Techniques and Tools
    Ivan S. Zapreev · 2008
  30. Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
    Christel Baier A, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich · 2017 · Lecture notes in computer science
  31. Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications
    John Lygeros, Maria Prandini · 2010 · European Journal of Control
  32. Model Checking Markov Chains with Actions and State Labels
    Christel Baier A, Lucia Cloth, Boudewijn R. H. M. Haverkort, Matthias Kuntz, Markus Siegle · 2007 · IEEE Transactions on Software Engineering
  33. Probabilistic Model Checking: Advances and Applications
    Marta Kwiatkowska, Gethin Norman, David Parker · 2017 · Springer eBooks
  34. Stochastic Multiplayer Games : Theory and Algorithms
    Michael Ummels · 2010 · Amsterdam University Press eBooks
  35. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
    David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle I. A. Stoelinga, Ivan S. Zapreev · 2008 · Springer eBooks
  36. Verification and control of partially observable probabilistic systems
    Gethin Norman, David Parker, Xueyi Zou · 2017 · Real-Time Systems
  37. Incremental quantitative verification for Markov decision processes
    Marta Kwiatkowska, David Parker, Hongyang Qu B · 2011 · International Conference on Dependable Systems & Networks/Proceedings
  38. Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking
    Brambilla, Manuele, Brutschy, Arne, Dorigo, Marco, Birattari, Mauro · 2015 · ACM Transactions on Autonomous and Adaptive Systems
  39. Model checking mobile stochastic logic
    Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink · 2007 · Theoretical Computer Science
  40. Synthesis of probabilistic models for quality-of-service software engineering
    Simos Gerasimou, Radu Călinescu, Giordano Tamburrelli · 2018 · Automated Software Engineering
  41. Analysis of a gossip protocol in PRISM
    Marta Kwiatkowska, Gethin Norman, David Parker · 2008 · ACM SIGMETRICS Performance Evaluation Review
  42. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living
    Tommaso Magherini, Alessandro Fantechi, Chris Nugent, Enrico Vicario · 2013 · IEEE Transactions on Human-Machine Systems
  43. Quantum Computation and Information
    Amı́lcar Sernadas, Paulo Mateus, Yasser Omar · 2007 · Springer eBooks
  44. Beyond 2014
    Wojciech Wideł, Maxime Audinot, Barbara Fila, Sophie Pinchinat · 2019 · ACM Computing Surveys
  45. Reduction and Refinement Strategies for Probabilistic Analysis
    Pedro R. D’Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim G. Larsen · 2002 · Lecture notes in computer science
  46. Extensions of Statecharts with probability, time, and stochastic timing
    David N. Jansen · 2003
  47. Reasoning About Imperative Quantum Programs
    Rohit Chadha, Paulo Mateus, Amı́lcar Sernadas · 2006 · Electronic Notes in Theoretical Computer Science
  48. Analysis of probabilistic contract signing1
    Gethin Norman, Vitaly Shmatikov · 2006 · Journal of Computer Security
  49. An Introduction to Probabilistic Automata.
    Mariëlle I. A. Stoelinga · 2002
  50. Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
    Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Luigi Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Arunkumar Seshia · 2014 · eScholarship (California Digital Library)
  51. Results on the quantitative μ-calculus qM μ
    Annabelle K. McIver, Carroll Morgan · 2007 · ACM Transactions on Computational Logic
  52. Formal Cell Biology in Biocham
    François Fages, Sylvain Soliman · 2008 · Springer eBooks
  53. Model Checking Probabilistic Timed Automata with One or Two Clocks
    Marcin Jurdziński, François Laroussinie, Jeremy Sproston · 2008 · Logical Methods in Computer Science
  54. Belief and truth in hypothesised behaviours
    Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy · 2016 · Artificial Intelligence
  55. Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol
    Matthias Fruth · 2006 · Leveraging Applications of Formal Methods
  56. Probabilistic Model-Checking Support for FMEA
    Lars Grunske, Robert J. Colvin, Kirsten Winter · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  57. An Innovative Risk Assessment Methodology for Medical Information Systems
    Antonio Coronato, Alfredo Cuzzocrea · 2020 · IEEE Transactions on Knowledge and Data Engineering
  58. Scalable Verification of Markov Decision Processes
    Axel Legay, Sean Sedwards, Louis‐Marie Traonouez · 2015 · Lecture notes in computer science
  59. Probabilistic Logical Characterization
    Holger Hermanns, Augusto Parma, Roberto Segala C, Björn Wachter, Lijun Zhang · 2010 · Information and Computation
  60. Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
    Husain Aljazzar, Stefan Leue · 2009 · IEEE Transactions on Software Engineering
  61. Model checking probabilistic pushdown automata
    Javier Esparza, Antonı́n Kučera, Richard Mayr · 2004 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  62. Smart sampling for lightweight verification of Markov decision processes
    Pedro R. D’Argenio, Axel Legay, Sean Sedwards, Louis‐Marie Traonouez · 2015 · International Journal on Software Tools for Technology Transfer
  63. Coalgebraic semantics of modal logics: An overview
    Clemens Kupke, Dirk Pattinson C · 2011 · Theoretical Computer Science
  64. An overview of the competitive and adversarial approaches to designing dynamic power management strategies
    Sandy Irani, Gaurav Kumar Singh, Sandeep K. Shukla, Rajesh K. Gupta · 2005 · IEEE Transactions on Very Large Scale Integration (VLSI) Systems
  65. PEPS2007 - Stochastic Automata Networks Software Tool
    Léonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  66. Bounded Probabilistic Model Checking with the Murφ Verifier
    Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli · 2004 · Lecture notes in computer science
  67. Partial Order Reduction for Probabilistic Branching Time
    Christel Baier A, Pedro R. D’Argenio, Marcus Größer · 2006 · Electronic Notes in Theoretical Computer Science
  68. Performance modelling and verification of cloud-based auto-scaling policies
    Alexandros Evangelidis, David Parker, Rami Bahsoon A · 2018 · Future Generation Computer Systems
  69. Model checking nondeterministic and randomly timed systems
    Martin R. Neuhäußer · 2009
  70. Abstraction and refinement in probabilistic systems
    Annabelle K. McIver, Carroll C. Morgan · 2005 · ACM SIGMETRICS Performance Evaluation Review
  71. Constraint Markov Chains
    Benoît Caillaud A, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel Lykke Pedersen, Andrzej Wąsowski · 2011 · Theoretical Computer Science
  72. Methods and Tools for Policy Analysis
    Amani Abu Jabal, Maryam Davari, Elisa Bertino, Christian Makaya, Seraphin B. Calo, Dinesh Chandra Verma, Alessandra Russo, Christopher Bryant Williams · 2019 · ACM Computing Surveys
  73. A stochastic games framework for verification and control of discrete time stochastic hybrid systems
    Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros, Claire Jennifer Tomlin · 2013 · Automatica
  74. Formally Reasoning About Quality
    Shaull Almagor, Udi Boker, Orna Kupferman · 2016 · Journal of the ACM
  75. Polynomial time algorithms for testing probabilistic bisimulation and simulation
    Christel Baier A · 1996 · Lecture notes in computer science
  76. Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm
    Taolue Chen, Jian Jiang Lu · 2007 · International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)
  77. Model-checking large structured Markov chains
    Peter Buchholz, Joost-Pieter Katoen, Peter F. Kemper, Carsten Tepper · 2003 · The Journal of Logic and Algebraic Programming
  78. Statistical Model Checking Using Perfect Simulation
    Diana El Rabih, Nihal Pekergin · 2009 · Lecture notes in computer science
  79. The Temporal Logic of Causal Structures
    Samantha Kleinberg, Bud Mishra · 2012 · arXiv (Cornell University)
  80. Symbolic Model Checking for Probabilistic Timed Automata
    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang · 2004 · Lecture notes in computer science
  81. Towards Model Checking Stochastic Process Algebra
    Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle · 2000 · Lecture notes in computer science
  82. Automated Learning of Probabilistic Assumptions for Compositional Reasoning
    Lu Feng, Marta Kwiatkowska, David Parker · 2011 · Lecture notes in computer science
  83. Symbolic Representations and Analysis of Large Probabilistic Systems
    Andrew S. Miner, David Parker · 2004 · Lecture notes in computer science
  84. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre · 2011 · Logical Methods in Computer Science
  85. Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications
    Nakul Gopalan, Dilip Arumugam, Lawson L. S. Wong, Stefanie Tellex · 2018 · Robotics: Science and Systems
  86. Property-driven design for swarm robotics
    Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, Marco Dorigo · 2012 · Adaptive Agents and Multi-Agents Systems
  87. A Greedy Approach for the Efficient Repair of Stochastic Models
    Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen · 2015 · Lecture notes in computer science
  88. Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking
    Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep K. Shukla · 2004 · International Conference on VLSI Design
  89. Probabilistic Reachability for Parametric Markov Models
    Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang · 2009 · Lecture notes in computer science
  90. Statistical Verification of Hyperproperties for Cyber-Physical Systems
    Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajić · 2019 · ACM Transactions on Embedded Computing Systems
  91. Quantifying opacity
    Béatrice Bérard, John Mullins, Mathieu Sassolas · 2014 · Mathematical Structures in Computer Science
  92. Error Control for Probabilistic Model Checking
    Håkan L. S. Younes · 2005 · Lecture notes in computer science
  93. Rethinking the Use of Models in Software Architecture
    Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola · 2008 · Lecture notes in computer science
  94. Probabilistic verification of Herman’s self-stabilisation algorithm
    Marta Kwiatkowska, Gethin Norman, David Parker · 2012 · Formal Aspects of Computing
  95. Statistical Verification of Probabilistic Properties with Unbounded Until
    Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani · 2011 · Lecture notes in computer science
  96. Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
    Gabriel G. Infante-lopez, Holger Hermanns, Joost-Pieter Katoen · 2001 · Lecture notes in computer science
  97. Probabilistic Model Checking
    Christel Baier A · 2016 · NATO science for peace and security series. D, Information and communication security
  98. Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
    Conrado Daws, Marta Kwiatkowska, Gethin Norman · 2004 · International Journal on Software Tools for Technology Transfer
  99. Analyzing probabilistic pushdown automata
    Tomǎš Brázdil, Javier Esparza, Stefan Kiefer, Antonı́n Kučera · 2012 · Formal Methods in System Design
  100. Computing Conditional Probabilities in Markovian Models Efficiently
    Christel Baier A, Joachim Klein, Sascha Klüppelholz, Steffen Märcker · 2014 · Lecture notes in computer science