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 501–600 of 1,001

  1. Performance Modelling and Verification of Cloud-Based Auto-Scaling Policies
    Alexandros Evangelidis, David Parker, Rami Bahsoon A · 2017 · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
  2. Efficient Verification for Stochastic Mixed Monotone Systems
    Maxence Dutreix, Samuel Coogan · 2018 · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
  3. Multi-valued Verification of Strategic Ability
    Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek · 2020 · Fundamenta Informaticae
  4. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
    Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám · 2011 · Lecture notes in computer science
  5. Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis
    Vinicius Nunes, Paula Fernandes, Vander Alves, Genaína Nunes Rodrigues · 2012 · Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS)
  6. Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation
    Alex E. Şuşu, Michele Magno, Andrea Acquaviva, David Atienza, Giovanni De Micheli · 2007 · Lecture notes in computer science
  7. Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
    Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Königsbuch · 2014 · Proceedings of the AAAI Conference on Artificial Intelligence
  8. Causal data science for financial stress testing
    Gelin Gao, Bud Mishra, Daniele Ramazzotti · 2018 · Journal of Computational Science
  9. Probabilistic logics based on Riesz spaces
    Robert Furber, Radu Mardare, Matteo Mio · 2020 · Logical Methods in Computer Science
  10. High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators
    Shamik Kundu, Ahmet Soyyigit, Khaza Anuarul Hoque, Kanad Basu · 2020 · IEEE International On-Line Testing Symposium (IOLTS)
  11. Probabilistic model checking for comparative analysis of automated air traffic control systems
    Yang Zhao, Kristin Yvonne Rozier · 2014 · International Conference on Computer Aided Design
  12. Stochastic Model Checking with Stochastic Comparison
    Nihal Pekergin, Sana Younès · 2005 · Lecture notes in computer science
  13. Deriving Syntax and Axioms for Quantitative Regular Behaviours
    Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva · 2009 · Lecture notes in computer science
  14. Extending Classical Logic for Reasoning About Quantum Systems
    Rohit Chadha, Paulo Mateus, Amı́lcar Sernadas, Cristina Sernadas · 2009 · Elsevier eBooks
  15. A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans
    Fernando D. Raverta, Ramiro Demasi, Pablo G. Madoery, Juan A. Fraire, Jorge M. Finochietto, Pedro R. D’Argenio · 2018 · IEEE International Conference on Wireless for Space and Extreme Environments (WiSEE)
  16. On Abstraction of Probabilistic Systems
    Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen · 2014 · Lecture notes in computer science
  17. Truth or dare : quantitative security risk analysis via attack trees
    Rajesh Kumar · 2018
  18. Bounded Satisfiability for PCTL
    Nathalie Bertrand, John Fearnley, Sven Schewe · 2012 · arXiv (Cornell University)
  19. On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
    Benoît Barbot, Marta Kwiatkowska · 2015 · Lecture notes in computer science
  20. Using Stochastic Model Checking to Provision Complex Business Services
    Luke Thomas Herbert, Robin Sharp · 2012 · IEEE International Symposium on High Assurance Systems Engineering (HASE)
  21. Almost-Sure Model-Checking of Reactive Timed Automata
    Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński, Quentin Menet · 2012 · International Conference on the Quantitative Evaluation of Systems (QEST)
  22. Towards Automatic Decision Support for Bike-Sharing System Design
    Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink · 2015 · Lecture notes in computer science
  23. A Formal Framework for End-to-End DNS Resolution
    Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, Adrian Perrig · 2023 · ACM SIGCOMM Conference (SIGCOMM)
  24. A Branching Time Logic with Two Types of Probability Operators
    Zoran Ognjanović, Dragan Doder, Zoran Marković · 2011 · Lecture notes in computer science
  25. Approximate Model Checking of PCTL Involving Unbounded Path Properties
    Samik Basu, Arka P. Ghosh, Ru He · 2009 · Lecture notes in computer science
  26. Security analysis of the Bootstrap protocol for deny-by-default Mobile Ad-hoc Networks
    Honggang Zhang, O. Patrick Kreidl, Brian T. DeCleene, Jim Kurose, Xiaoyu Ni · 2009 · IEEE Military Communications Conference (MILCOM)
  27. Model Checking for a Class of Weighted Automata
    Peter Buchholz, Peter F. Kemper · 2009 · Discrete Event Dynamic Systems
  28. Probabilistic verification and synthesis of the next generation airborne collision avoidance system
    Christian von Essen, Dimitra Giannakopoulou · 2015 · International Journal on Software Tools for Technology Transfer
  29. Two-stage agent program verification
    Louise A. Dennis, Michael Fisher, Matt Webster · 2015 · Journal of Logic and Computation
  30. Probabilistic Model Checking for Biology
    Marta Kwiatkowska, Chris Thachuk · 2014 · NATO science for peace and security series. D, Information and communication security
  31. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking
    Ovidiu Pârvu, David Gilbert · 2016 · PLoS ONE
  32. A Simple Algorithm for Solving Qualitative Probabilistic Parity Games
    Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang · 2016 · Lecture notes in computer science
  33. Verification of Probabilistic Recursive Sequential Programs
    Tomǎš Brázdil · 2007
  34. Transient and Steady-State Statistical Analysis for Discrete Event Simulators
    Stephen T. Gilmore, Daniël Reijsbergen, Andrea Vandin · 2017 · Lecture notes in computer science
  35. Probabilistic model checking for human activity recognition in medical serious games
    Thibaud L’Yvonnet, Elisabetta DE MARIA, Sabine Moisan, Jean‐Paul Rigault · 2021 · Science of Computer Programming
  36. Minimal probabilistic P systems for modelling ecological systems
    Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini · 2015 · Theoretical Computer Science
  37. A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
    Lucian Bentea, Peter Csaba Ölveczky · 2013 · Lecture notes in computer science
  38. Characterising Probabilistic Processes Logically
    Yuxin Deng, Rob van Glabbeek · 2010 · Lecture notes in computer science
  39. Improved Probabilistic Models for 802.11 Protocol Verification
    Amitabha Roy, Kanchi Gopinath · 2005 · Lecture notes in computer science
  40. Time-Abstracting Bisimulation for Probabilistic Timed Automata
    Taolue Chen, Tingting Han, Joost-Pieter Katoen · 2008 · International Symposium on Theoretical Aspects of Software Engineering (TASE)
  41. Bisimulation and Simulation Relations for Markov Chains
    Christel Baier A, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf · 2006 · Electronic Notes in Theoretical Computer Science
  42. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
    Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen · 2007 · Springer eBooks
  43. Probabilistic resource failure in real-time process algebra
    Anna Philippou, Rance Cleaveland Y, Insup Lee, Scott A. Smolka, Oleg V. Sokolsky · 1998 · Lecture notes in computer science
  44. Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains
    Serge Haddad, Nihal Pekergin · 2009 · International Conference on the Quantitative Evaluation of Systems (QEST)
  45. Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains
    Holger Hermanns, Joost-Pieter Katoen · 2001 · Lecture notes in computer science
  46. Probabilistic model checking : a comparison of tools
    H. A. Oldenkamp · 2007
  47. Analyse de programmes probabilistes par interprétation abstraite
    David P. Monniaux · 2001 · HAL
  48. Model Checking
    Doron Peled, Patrizio Pelliccione, Paola Spoletini · 2009 · Wiley eBooks
  49. Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
    Dalrymple, David "davidad, Skalse, Joar, Bengio, Yoshua, Russell, Stuart, Tegmark, Max, Seshia, Sanjit, Omohundro, Steve, Szegedy, Christian, Goldhaber, Ben, Ammann, Nora et al. · 2024 · arXiv
  50. Design and Implementation of Self-Protecting systems: A Formal Approach
    Charilaos Skandylas, Narges Khakpour · 2020 · Future Generation Computer Systems
  51. Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
    A. I. Medina Ayala, Sean B. Andersson, Calin A. Belta · 2011 · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
  52. Model Checking Exact Cost for Attack Scenarios
    Zaruhi Aslanyan, Flemming Nielson · 2017 · Lecture notes in computer science
  53. Overview of Formal Methods
    Gerard O’Regan · 2017 · Undergraduate topics in computer science
  54. An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors
    Pierre El Mqirmi, Francesco Belardinelli, Borja G. León · 2021 · Adaptive Agents and Multi-Agents Systems
  55. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
    Simos Gerasimou, Javier Cámara, Radu Călinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang · 2021 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  56. Analyzing neural network behavior through deep statistical model checking
    Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz · 2022 · International Journal on Software Tools for Technology Transfer
  57. QMaude: Quantitative Specification and Verification in Rewriting Logic
    Rubén Rubio, Narciso Martı́-Oliet, Isabel Pita, Alberto Verdejo B · 2023 · Lecture notes in computer science
  58. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
    Elisabetta DE MARIA, François Fages, Sylvain Soliman · 2009 · Lecture notes in computer science
  59. A propositional linear time logic with time flow isomorphic to ω 2
    Bojan Marinković, Zoran Ognjanović, Dragan Doder, Aleksandar Perović · 2014 · Journal of Applied Logic
  60. Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
    Christel Baier A, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner · 2014 · Lecture notes in computer science
  61. An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
    Ukachukwu Ndukwu, Annabelle K. McIver · 2010 · Electronic Proceedings in Theoretical Computer Science
  62. LTL Model Checking of Time-Inhomogeneous Markov Chains
    Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre · 2009 · Lecture notes in computer science
  63. Probabilistic Model Checking and Reliability of Results
    Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker · 2008 · IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
  64. Towards model-driven safety analysis
    Matthias Güdemann, Frank Ortmeier · 2011 · International Workshop on Dependable Control of Discrete Systems (DCDS)
  65. Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
    Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang · 2016 · ACM Transactions on Software Engineering and Methodology
  66. A stochastically verifiable autonomous control architecture with reasoning
    Paolo Izzo, Hongyang Qu B, Sándor M. Veres · 2016 · IEEE Conference on Decision and Control (CDC)
  67. BFL: a Logic to Reason about Fault Trees
    Stefano Maria Nicoletti, Ernst Moritz Hahn, Mariëlle I. A. Stoelinga · 2022 · International Conference on Dependable Systems & Networks/Proceedings
  68. Statistical guarantees of performance for MIMO designs
    Jayanand Asok Kumar, Shobha Vasudevan · 2010 · International Conference on Dependable Systems & Networks/Proceedings
  69. Model Checking the Ant Colony Optimisation
    Lúcio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth · 2010 · IFIP International Federation for Information Processing/IFIP
  70. Hintikka Games for PCTL on Labeled Markov Chains
    Harald Fecher, Michael Huth, Nir Piterman, Daniel Wägner · 2008 · International Conference on the Quantitative Evaluation of Systems (QEST)
  71. A PROPOSITIONAL LINEAR TIME LOGIC WITH TIME FLOW ISOMORPHIC TO ω2
    Bojan Marinković, Zoran Ognjanović, Dragan Doder, Aleksandar Perović · 2016
  72. Model-Based Multi-objective Safety Optimization
    Matthias Güdemann, Frank Ortmeier · 2011 · Lecture notes in computer science
  73. Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System
    Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu · 2013 · Journal of Computer Science and Technology
  74. Unifying Probability with Nondeterminism
    Yifeng Chen, Jeff W. Sanders · 2009 · Lecture notes in computer science
  75. Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
    Jan Křetínský · 2016 · Lecture notes in computer science
  76. Towards bridging the gap between control and self-adaptive system properties
    Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei · 2020 · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
  77. HaiQ
    Javier Cámara · 2020
  78. Towards Verifying Safety Properties of Real-Time Probabilistic Systems
    Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt · 2014 · Figshare
  79. Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks
    Adam Pacheck, Hadas Kress‐Gazit · 2023 · IEEE Transactions on Robotics
  80. Model checking epistemic and probabilistic properties of multi-agent systems
    Wei Wan, Jamal Bentahar, A. Ben Hamza · 2011
  81. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
    Kenneth R. Johnson, Simon Reed, Radu Călinescu · 2012 · Lecture notes in computer science
  82. Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics
    Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, HARETON K. N. LEUNG · 2013 · Asia-Pacific Conference on Quality Software (APAQS)
  83. iLTLchecker: a probabilistic model checker for multiple DTMCs
    YoungMin Kwon, Gul Agha · 2005 · International Conference on the Quantitative Evaluation of Systems (QEST)
  84. Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness
    Henri Hansen, Marta Kwiatkowska, Hongyang Qu B · 2011 · International Conference on the Quantitative Evaluation of Systems (QEST)
  85. Rare Event Simulation for Highly Dependable Systems with Fast Repairs
    Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn R. H. M. Haverkort · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  86. Symbolic Counterexample Generation for Discrete-Time Markov Chains
    Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker · 2013 · Lecture notes in computer science
  87. Probabilistic Model Checking of Ant-Based Positionless Swarming
    Paul Gainer, Clare Dixon, Ullrich Hustadt · 2016 · Lecture notes in computer science
  88. Trace and Testing Metrics on Nondeterministic Probabilistic Processes
    Valentina Castiglioni · 2018 · Electronic Proceedings in Theoretical Computer Science
  89. Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
    Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi · 2014 · Lecture notes in computer science
  90. Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability
    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston · 2000
  91. Some current topics in model checking
    Michael Huth · 2006 · International Journal on Software Tools for Technology Transfer
  92. The well-designed logical robot: Learning and experience from observations to the Situation Calculus
    Fiora Pirri · 2010 · Artificial Intelligence
  93. A compositional method for reliability analysis of workflows affected by multiple failure modes
    Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola · 2011 · International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)
  94. Stochastic Game Logic
    Christel Baier A, Tomǎš Brázdil, Marcus Größer, Antonı́n Kučera · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  95. A Formal Syntax for Probabilistic Timed Property Sequence Charts
    Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li · 2009 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  96. Compositional Bisimulation Minimization for Interval Markov Decision Processes
    Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Jerzy Wojciechowski · 2016 · Lecture notes in computer science
  97. A fuzzy approach to qualification in design exploration for autonomous robots and systems
    Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur George Richards · 2017 · IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
  98. Interval change-point detection for runtime probabilistic model checking
    Xingyu Zhao, Radu Călinescu, Simos Gerasimou, Valentin Robu, David Flynn · 2020 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  99. Formal methods for Dynamic Power Management
    R.K. Gupta, S. Irani, S.K. Shukla · 2003 · International Conference on Computer Aided Design
  100. Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
    Iman Poernomo, James Jayaputera, Heinz W. Schmidt · 2006 · IEEE International Enterprise Distributed Object Computing Conference (EDOC)