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 301–400 of 1,001

  1. Developing self-verifying service-based systems
    Radu Călinescu, Kenneth R. Johnson, Yasmin Rafiq · 2013 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  2. On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
    Diego Latella, Michele Loreti, Mieke Massink · 2015 · Science of Computer Programming
  3. A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties
    Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera · 2005 · Lecture notes in computer science
  4. Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
    Marta Kwiatkowska, Rashid Mehmood · 2002 · Lecture notes in computer science
  5. Advances in Probabilistic Model Checking
    Marta Kwiatkowska, Parker David · 2012 · NATO science for peace and security series. D, Information and communication security
  6. Deductive Proofs of Almost Sure Persistence and Recurrence Properties
    Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan · 2016 · Lecture notes in computer science
  7. Improving active Mealy machine learning for protocol conformance testing
    Fides Aarts, Harco C. Kuppens, Jan Tretmans, Frits Vaandrager, Sicco Verwer · 2013 · Machine Learning
  8. Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract)
    Tomǎš Brázdil, Javier Esparza, Antonı́n Kučera · 2005 · Annual Symposium on Foundations of Computer Science
  9. Practical Applications of Probabilistic Model Checking to Communication Protocols
    Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet D, Claudine Picaronny, Jeremy Sproston · 2012 · Formal Methods for Industrial Critical Systems
  10. Model checking epistemic–probabilistic logic using probabilistic interpreted systems
    Wei Wan, Jamal Bentahar, A. Ben Hamza · 2013 · Knowledge-Based Systems
  11. On hypothesis testing for statistical model checking
    Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn R. H. M. Haverkort · 2014 · International Journal on Software Tools for Technology Transfer
  12. Synthesis and Verification of Self-aware Computing Systems
    Radu Călinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska et al. · 2017 · Springer eBooks
  13. The COMICS Tool – Computing Minimal Counterexamples for DTMCs
    Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker · 2012 · Lecture notes in computer science
  14. Decision Problems for Interval Markov Chains
    Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel Lykke Pedersen, Andrzej Wąsowski · 2011 · Lecture notes in computer science
  15. Probabilistic Model-Based Safety Analysis
    Matthias Güdemann, Frank Ortmeier · 2010 · Electronic Proceedings in Theoretical Computer Science
  16. Probabilistic verification and approximation
    Richard Lassaigne, Sylvain Peyronnet D · 2007 · Annals of Pure and Applied Logic
  17. Permissive Controller Synthesis for Probabilistic Systems
    Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma · 2015 · Logical Methods in Computer Science
  18. Dynamic Logic
    David Harel, Dexter C. Kozen, Jerzy Tiuryn · 2001 · Springer eBooks
  19. Compositional performance analysis
    Chris Tofts · 1997 · Lecture notes in computer science
  20. A Monte Carlo model checker for probabilistic LTL with numerical constraints
    David Gilbert, Robin A. Donaldson · 2008 · Brunel University Research Archive (BURA) (Brunel University London)
  21. Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
    Christel Baier A, Bettina Engelen · 1999 · MADOC (University of Mannheim)
  22. A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking
    Xia Wang, Jun Liu, Samuel J. Moore, Chris Nugent, Yang Xu · 2023 · Information Fusion
  23. How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification
    Yu Lu, Zhaoguang Peng, Alice Ann Miller, Tingdi Zhao, Christopher W. Johnson · 2015 · Reliability Engineering & System Safety
  24. Logic and Model Checking for Hidden Markov Models
    Lijun Zhang, Holger Hermanns, David N. Jansen · 2005 · Lecture notes in computer science
  25. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design
    Pierluigi Nuzzo, Jiwei Li, Alberto Luigi Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li · 2019 · ACM Transactions on Embedded Computing Systems
  26. Probabilistic Model Checking Modulo Theories
    Björn Wachter, Lijun Zhang, Holger Hermanns · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  27. Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems
    Sadegh Soudjani · 2014 · Data Archiving and Networked Services (DANS)
  28. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
    Tomǎš Brázdil, Vojtěch Forejt, Antonı́n Kučera · 2008 · Lecture notes in computer science
  29. Formal Verification of Probabilistic Swarm Behaviours
    Savas Konur, Clare Dixon, Michael Fisher · 2010 · Lecture notes in computer science
  30. Approximate Verification of the Symbolic Dynamics of Markov Chains
    Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan · 2015 · Journal of the ACM
  31. Game Refinement Relations and Metrics
    Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle I. A. Stoelinga · 2008 · Logical Methods in Computer Science
  32. Finite horizon analysis of Markov Chains with the Murϕ verifier
    Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli · 2006 · International Journal on Software Tools for Technology Transfer
  33. Quantifying Opacity
    Béatrice Bérard, John Mullins, Mathieu Sassolas · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  34. Approximate Verification of Probabilistic Systems
    Richard Lassaigne, Sylvain Peyronnet D · 2002 · Lecture notes in computer science
  35. Analysing Randomized Distributed Algorithms
    Gethin Norman · 2004 · Lecture notes in computer science
  36. Quantitative verification
    Marta Kwiatkowska · 2007 · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  37. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
    Benoît Delahaye, Benoît Caillaud A, Axel Legay · 2010 · Formal Methods in System Design
  38. Shepherding Hordes of Markov Chains
    Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen · 2019 · Lecture notes in computer science
  39. Probabilistic modelling and verification using RoboChart and PRISM
    Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock · 2021 · Software & Systems Modeling
  40. Probabilistic Graph Transformation Systems
    Christian Krause, Holger Giese · 2012 · Lecture notes in computer science
  41. Approximate probabilistic analysis of biopathway dynamics
    Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng‐Fai Wong, P. S. Thiagarajan · 2012 · Bioinformatics
  42. Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification
    Savas Konur, Michael Fisher · 2011 · IEEE Vehicular Technology Conference
  43. Safety-Aware Apprenticeship Learning
    Weichao Zhou, Wenchao Li · 2018 · Lecture notes in computer science
  44. The 10,000 Facets of MDP Model Checking
    Christel Baier A, Holger Hermanns, Joost-Pieter Katoen · 2019 · Lecture notes in computer science
  45. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System
    Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang · 2012 · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
  46. A logic for causal inference in time series with discrete and continuous variables
    Samantha Kleinberg · 2011 · International Joint Conference on Artificial Intelligence
  47. Verifying Team Formation Protocols with Probabilistic Model Checking
    Taolue Chen, Marta Kwiatkowska, David Parker, Aistis Šimaitis · 2011 · Lecture notes in computer science
  48. Model Checking Linear-Time Properties of Probabilistic Systems
    Christel Baier A, Marcus Größer, Frank Ciesinski · 2009 · Monographs in theoretical computer science
  49. Establishing Qualitative Properties for Probabilistic Lossy Channel Systems
    Christel Baier A, Bettina Engelen · 1999 · Lecture notes in computer science
  50. Shielded Decision-Making in MDPs.
    Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem · 2018 · arXiv (Cornell University)
  51. KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
    Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi · 2011 · Lecture notes in computer science
  52. Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
    Jonathan Blakes, Jamie Twycross, Savas Konur, Francisco J. Romero–Campero, Natalio Krasnogor, Marian Gheorghe · 2013 · Emergence, complexity and computation
  53. Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows
    Luke Thomas Herbert, Robin Sharp · 2013 · Journal of Computing and Information Science in Engineering
  54. Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
    Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal · 2013 · Mathematical Structures in Computer Science
  55. A bounded statistical approach for model checking of unbounded until properties
    Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu · 2010 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  56. Monitoring of Probabilistic Timed Property Sequence Charts
    Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske · 2011 · Software Practice and Experience
  57. An architecture modeling framework for probabilistic prediction
    Pontus Johnson, Johan Ullberg, Markus Buschle, Ulrik Franke, Khurram Shahzad · 2014 · Information Systems and e-Business Management
  58. A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System
    Zhaoguang Peng, Yu Lu, Alice Ann Miller, Chris Johnson, Tingdi Zhao · 2013 · UKSim European Symposium on Computer Modeling and Simulation (EMS)
  59. Synthesis of distributed systems
    Sven Schewe · 2008
  60. Quantitative Kleene coalgebras
    Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten · 2010 · Information and Computation
  61. A Logic of Probability with Decidable Model-Checking
    Danièle Beauquier, Alexander Rabinovich, Anatol Slissenko · 2002 · Lecture notes in computer science
  62. Regular Expressions for PCTL Counterexamples
    Berteun Damman, Tingting Han, Joost-Pieter Katoen · 2008 · International Conference on the Quantitative Evaluation of Systems (QEST)
  63. Automatic Verification of Real-Time Systems with Discrete Probability Distributions
    Marta Kwiatkowska, Gethin Norman, Roberto Segala C, Jeremy Sproston · 1999 · Lecture notes in computer science
  64. Model Checking Quantum Systems
    Mingsheng Ying, Yuan Feng · 2021 · Cambridge University Press eBooks
  65. Characterising probabilistic processes logically
    Yuxin Deng, Rob van Glabbeek · 2009
  66. Probabilistic model checking for the quantification of DoS security threats
    Stylianos Basagiannis, Panagiotis Katsaros, A. Pombortsis, Νικόλαος Αλεξίου · 2009 · Computers & Security
  67. Language-Level Symmetry Reduction for Probabilistic Model Checking
    Alastair F. Donaldson, Alice Ann Miller, David Parker · 2009 · International Conference on the Quantitative Evaluation of Systems (QEST)
  68. Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
    L. Lindemann, Yi-Qi Zhao, Xin-Yi Yu, G. Pappas, Jyotirmoy V. Deshmukh · 2025 · IEEE Control Systems
  69. Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM
    Jun Pang, Wan J. Fokkink · 2020 · Zenodo (CERN European Organization for Nuclear Research)
  70. Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
    Radu Călinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Păsăreanu, Misael Alpizar Santana, Gricel Vázquez · 2024 · IEEE Transactions on Software Engineering
  71. Simplifying Itai-Rodeh Leader Election for Anonymous Rings
    Wan J. Fokkink, Jun Pang · 2005 · Electronic Notes in Theoretical Computer Science
  72. MODELING AND ANALYSIS OF BIOPATHWAYS DYNAMICS
    Bing Liu, P. S. Thiagarajan · 2012 · Journal of Bioinformatics and Computational Biology
  73. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals
    Radu Călinescu, Kenneth R. Johnson, Colin Paterson · 2016 · Lecture notes in computer science
  74. Markov Chains and Markov Decision Processes in Isabelle/HOL
    Johannes Hölzl · 2016 · Journal of Automated Reasoning
  75. Temporal Logics and Model Checking for Fairly Correct Systems
    Daniele Varacca, Hagen Völzer · 2006 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  76. Model Checking Probabilistic and Stochastic Extensions of the π-Calculus
    Gethin Norman, Catuscia Palamidessi A, David Parker, Peng Wu · 2008 · IEEE Transactions on Software Engineering
  77. Control of Markov decision processes from PCTL specifications
    Morteza Lahijanian, Sean B. Andersson, Calin A. Belta · 2011 · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference
  78. Probabilistic Timed Behavior Trees
    Robert J. Colvin, Lars Grunske, Kirsten Winter · 2007 · Lecture notes in computer science
  79. Efficient modelling, generation and analysis of Markov Automata
    Mark Timmer · 2013
  80. Cyber Attribution: An Argumentation-Based Approach
    Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Simon Parsons · 2015 · Advances in information security
  81. A temporal logic for Markov chains
    Wojciech Jamroga · 2008
  82. Annotated Probabilistic Temporal Logic
    Paulo Shakarian, Gerardo I. Simari, V. S. Subrahmanian · 2012 · ACM Transactions on Computational Logic
  83. Self-Adaptive Role-Based Access Control for Business Processes
    Carlos Eduardo da Silva, Jose Diego Saraiva da Silva, Colin Paterson, Radu Călinescu · 2017 · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
  84. Automated compositional importance splitting
    Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns · 2019 · Science of Computer Programming
  85. Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
    Alessandro Abate, Marta Kwiatkowska, Gethin Norman, David Parker · 2014 · Lecture notes in computer science
  86. Model checking meets performance evaluation
    Christel Baier A, Boudewijn R. H. M. Haverkort, Holger Hermanns, Joost-Pieter Katoen · 2005 · ACM SIGMETRICS Performance Evaluation Review
  87. Decision algorithms for probabilistic simulations
    Lijun Zhang · 2009 · Publications of the UdS (Saarland University)
  88. Safe Reinforcement Learning via Probabilistic Shields
    Nils Jansen, Bettina Könighofer, Sebastian Junges, Serban, Alexandru C., Roderick Bloem · 2018 · arXiv (Cornell University)
  89. Fast Parametric Model Checking through Model Fragmentation
    Xinwei Fang, Radu Călinescu, Simos Gerasimou, Faisal Alhwikem · 2021 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  90. On-the-fly Fast Mean-Field Model-Checking
    Diego Latella, Michele Loreti, Mieke Massink · 2014 · Lecture notes in computer science
  91. In the quantitative automata zoo
    Arnd Hartmanns, Holger Hermanns · 2015 · Science of Computer Programming
  92. Model Checking Durational Probabilistic Systems
    François Laroussinie, Jeremy Sproston · 2005 · Lecture notes in computer science
  93. Symbolic counterexample generation for large discrete-time Markov chains
    Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster · 2014 · Science of Computer Programming
  94. What Agents Can Probably Enforce
    Nils Bulling, Wojciech Jamroga · 2009 · Fundamenta Informaticae
  95. Temporal Causality Analysis of Sentiment Change in a Cancer Survivor Network
    Ngot Bui, John Yen, Vasant Honavar · 2016 · IEEE Transactions on Computational Social Systems
  96. Bisimulations Meet PCTL Equivalences for Probabilistic Automata
    Lei Song, Lijun Zhang, Jens Chr. Godskesen, Flemming Nielson · 2013 · Logical Methods in Computer Science
  97. Model checking probabilistic social commitments for intelligent agent communication
    Khalid Sultan, Jamal Bentahar, Mohamed El-menshawy A · 2014 · Applied Soft Computing
  98. Probabilistic model checking of biological systems with uncertain kinetic rates
    Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena · 2011 · Theoretical Computer Science
  99. Scenario-Based Verification of Uncertain MDPs
    Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu · 2020 · Lecture notes in computer science
  100. An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
    Stephen T. Gilmore, Mirco Tribastone, Andrea Vandin · 2014 · Lecture notes in computer science