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 601–700 of 1,001

  1. Three-valued abstraction for stochastic systems
    Daniel Klink, Joost-Pieter Katoen · 2010
  2. An Introduction to Quantum Model Checking
    Andrea Turrini · 2022 · Applied Sciences
  3. Bisimulations Meet PCTL Equivalences for Probabilistic Automata
    Lei Song, Lijun Zhang, Jens Chr. Godskesen · 2011 · Lecture notes in computer science
  4. Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
    Dimitrios Milios, Guido Sanguinetti, David Schnoerr · 2018 · Lecture notes in computer science
  5. Quantitative verification with adaptive uncertainty reduction
    Naif Alasmari, Radu Călinescu, Colin Paterson, Raffaela Mirandola · 2022 · Journal of Systems and Software
  6. Quantitative Verification Techniques for Biological Processes
    Marta Kwiatkowska, Gethin Norman, David Parker · 2009 · Natural computing series
  7. Refinement and Difference for Probabilistic Automata
    Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay · 2014 · Logical Methods in Computer Science
  8. Research in Probabilistic Spatiotemporal Databases: The SPOT Framework
    John Grant, Francesco Parisi, V. S. Subrahmanian · 2013 · Studies in fuzziness and soft computing
  9. Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
    Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns · 2020 · Journal of Artificial Intelligence Research
  10. A Cache-Based Model Abstraction and Runtime Verification for the Internet-of-Things Applications
    Euijong Lee, Young-Duk Seo, Young‐Gab Kim · 2020 · IEEE Internet of Things Journal
  11. Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
    Lei Song, Lijun Zhang, Jens Chr. Godskesen · 2014 · Lecture notes in computer science
  12. Perspectives in Probabilistic Verification
    Joost-Pieter Katoen · 2008 · International Symposium on Theoretical Aspects of Software Engineering (TASE)
  13. Generating Diagnoses for Probabilistic Model Checking Using Causality
    Hichem Debbi, Mustapha Bourahla · 2013 · Journal of Computing and Information Technology
  14. Model checking with probabilistic tabled logic programming
    Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka · 2012 · Theory and Practice of Logic Programming
  15. Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
    Alexandros Nikou, Jana Tůmová, Dimos V. Dimarogonas · 2017 · IFAC-PapersOnLine
  16. A Weakness Measure for GR(1) Formulae
    Davide Giacomo Cavezza, Dalal Alrajeh, András György · 2018 · Lecture notes in computer science
  17. Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement
    Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel · 2018 · IEEE Transactions on Software Engineering
  18. Probabilistic divide & congruence: Branching bisimilarity
    Valentina Castiglioni, Simone Tini · 2019 · Theoretical Computer Science
  19. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction
    Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung · 2012 · Lecture notes in computer science
  20. Model Checking for Probabilistic Timed Systems
    Jeremy Sproston · 2004 · Lecture notes in computer science
  21. A probabilistic logic for reasoning about uncertain temporal information
    Dragan Doder, Zoran Ognjanović · 2015 · Open Repository and Bibliography (University of Luxembourg)
  22. Counterexamples for Model Checking of Markov Decision Processes
    Husain Aljazzar, Stefan Leue · 2007 · KOPS (University of Konstanz)
  23. A probabilistic modal logic for context-aware trust based on evidence
    Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri · 2024 · International Journal of Approximate Reasoning
  24. Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
    Vahid Hashemi, Holger Hermanns, Lei Song · 2015 · Lecture notes in computer science
  25. Logical Characterization of Trace Metrics
    Valentina Castiglioni, Simone Tini · 2017 · Electronic Proceedings in Theoretical Computer Science
  26. Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing
    Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo‐Hwan Bae · 2022 · Information and Software Technology
  27. Analysis of non-Markovian repairable fault trees through rare event simulation
    Carlos E. Budde, Pedro R. D’Argenio, Raúl E. Monti, Mariëlle I. A. Stoelinga · 2022 · International Journal on Software Tools for Technology Transfer
  28. Adaptive Model Verification for Modularized Industry 4.0 Applications
    Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo · 2022 · IEEE Access
  29. Quantitative modelling and analysis of BDI agents
    Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu · 2023 · Software & Systems Modeling
  30. Verifying pCTL Model Checking
    Johannes Hölzl, Tobias Nipkow · 2012 · Lecture notes in computer science
  31. A simple probabilistic extension of modal µ-calculus
    Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang · 2015 · International Conference on Artificial Intelligence
  32. Model Checking Multivariate State Rewards
    Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  33. Locks: Picking key methods for a scalable quantitative analysis
    Christel Baier A, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp · 2014 · Journal of Computer and System Sciences
  34. Performance evaluation of sensor networks by statistical modeling and euclidean model checking
    YoungMin Kwon, Gul Agha · 2013 · ACM Transactions on Sensor Networks
  35. Diagnosability in concurrent probabilistic systems
    Xiaowei Huang · 2013 · Adaptive Agents and Multi-Agents Systems
  36. Approximate Probabilistic Verification of Hybrid Systems
    Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan · 2015 · Lecture notes in computer science
  37. Trust Evidence Logic
    Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri · 2021 · Lecture notes in computer science
  38. On Reduction Criteria for Probabilistic Reward Models
    Marcus Größer, Gethin Norman, Christel Baier A, Frank Ciesinski, Marta Kwiatkowska, David Parker · 2006 · Lecture notes in computer science
  39. Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
    Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang · 2014 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  40. Probably safe or live
    Joost-Pieter Katoen, Lei Song, Lijun Zhang · 2014 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  41. A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis
    Felipe Pontes Guimarães, Pedro Célestin, Daniel Macêdo Batista, Genaína Nunes Rodrigues, Alba Cristina Magalhães Alves de Melo · 2013 · Journal of Grid Computing
  42. Probabilistic Verification and Approximation
    Richard Lassaigne, Sylvain Peyronnet D · 2005 · Electronic Notes in Theoretical Computer Science
  43. A model-checking-based approach to risk analysis in supply chain consolidations
    Li Tan, Shenghan Xu · 2009 · Integrated Computer-Aided Engineering
  44. Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker
    Yu Lu, Alice Ann Miller, Chris Johnson, Zhaoguang Peng, Tingdi Zhao · 2014 · IEEE International Conference on Computational Science and Engineering (CSE)
  45. Model Checking Differentially Private Properties
    Depeng Liu, Bow-Yaw Wang, Lijun Zhang · 2018 · Lecture notes in computer science
  46. Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games
    Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos · 2019 · Lecture notes in computer science
  47. Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems
    Ratan Lal, Pavithra Prabhakar · 2019 · ACM Transactions on Embedded Computing Systems
  48. Probabilistic BDI Agents: Actions, Plans, and Intentions
    Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu · 2021 · Lecture notes in computer science
  49. Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators
    Christian Röhr · 2013 · Lecture notes in computer science
  50. Preference Planning for Markov Decision Processes
    Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang · 2015 · Proceedings of the AAAI Conference on Artificial Intelligence
  51. Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
    Corina Ĉırstea · 2010 · Electronic Notes in Theoretical Computer Science
  52. DesLaNAS - a language for describing Networked Automation Systems
    Jürgen Greifeneder, Georg Frey · 2007 · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
  53. A Temporal Logic for Stochastic Multi-Agent Systems
    Wojciech Jamroga · 2008 · Lecture notes in computer science
  54. CSL Model Checking for Generalized Stochastic Petri Nets
    Jeremy Sproston, András Horváth, Susanna Donatelli, Davide Cerotti · 2006 · International Conference on the Quantitative Evaluation of Systems (QEST)
  55. Exogenous Probabilistic Computation Tree Logic
    Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nickolas K. Papanikolaou · 2007 · Electronic Notes in Theoretical Computer Science
  56. Reasoning About States of Probabilistic Sequential Programs
    Rohit Chadha, Paulo Mateus, Amı́lcar Sernadas · 2006 · Lecture notes in computer science
  57. Cost analysis of games, using program logic
    Carroll C. Morgan, Annabelle K. McIver · 2005 · Asia-Pacific Software Engineering Conference (APSEC)
  58. Runtime verification of timing and probabilistic properties using WMI and .NET
    James Jayaputera, Iman Poernomo, Heinz W. Schmidt · 2004 · EUROMICRO Conference
  59. Fault‐ and Defect‐Tolerant Architectures for Nanocomputing
    Sumit Ahuja, Gaurav Kumar Singh, Debayan Bhaduri, Sandeep K. Shukla · 2009 · Wiley eBooks
  60. Abstraction and Probabilities for Hybrid Logics
    Michael Huth · 2005 · Electronic Notes in Theoretical Computer Science
  61. Model checking stochastic hybrid systems
    Ernst Moritz Hahn · 2012 · Publications of the UdS (Saarland University)
  62. Efficient simulation techniques for stochastic model checking
    Daniël Reijsbergen · 2013
  63. Workflow fault tree generation through model checking
    Luke Thomas Herbert, Robin Sharp · 2013 · CRC Press eBooks
  64. Self-Adaptive Framework With Master–Slave Architecture for Internet of Things
    Euijong Lee, Young-Duk Seo, Young‐Gab Kim · 2022 · IEEE Internet of Things Journal
  65. Modelling and verifying BDI agents under uncertainty
    Blair Archibald, Michele Sevegnani, Mengwei Xu · 2024 · Science of Computer Programming
  66. Combining model checking and testing with an application to reliability prediction and distribution
    Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, Xinyu Wang · 2013 · International Symposium on Software Testing and Analysis
  67. On the Markovian Randomized Strategy of Controller for Markov Decision Processes
    Taolue Chen, Tingting Han, Jian Jiang Lu · 2006 · Lecture notes in computer science
  68. Quantitative Model Checking of Knowledge
    Wei Wan, Jamal Bentahar, A. Ben Hamza · 2012 · Frontiers in artificial intelligence and applications
  69. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
    Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher · 2018 · Lecture notes in computer science
  70. A Specification Logic for Programs in the Probabilistic Guarded Command Language
    Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wąsowski · 2022 · Lecture notes in computer science
  71. $$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees
    Stefano Maria Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle I. A. Stoelinga · 2023 · Lecture notes in computer science
  72. Automatically Finding the Right Probabilities in Bayesian Networks
    Bahare Salmani, Joost-Pieter Katoen · 2023 · Journal of Artificial Intelligence Research
  73. IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
    Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti · 2024 · IFAC-PapersOnLine
  74. Advances in Quantitative Verification for Ubiquitous Computing
    Marta Kwiatkowska · 2013 · Lecture notes in computer science
  75. Probabilistic Modal μ-Calculus with Independent Product
    Matteo Mio · 2011 · Lecture notes in computer science
  76. A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
    Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki · 2011 · Electronic Proceedings in Theoretical Computer Science
  77. CTL-Like Fragments of a Temporal Logic of Robustness
    John Christopher McCabe-Dansted, Clare Dixon · 2010 · International Symposium on Temporal Representation and Reasoning
  78. On-the-fly Probabilistic Model Checking
    Diego Latella, Michele Loreti, Mieke Massink · 2014 · Electronic Proceedings in Theoretical Computer Science
  79. Reasoning about social commitments in the presence of uncertainty
    Khalid Sultan, Mohamed El Menshawy, Jamal Bentahar · 2013 · New Trends in Software Methodologies, Tools and Techniques
  80. Branching-time model-checking of probabilistic pushdown automata
    Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt, Antonı́n Kučera · 2013 · Journal of Computer and System Sciences
  81. Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
    Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli · 2012 · Springer eBooks
  82. Causal Relationship Detection in Archival Collections of Product Reviews for Understanding Technology Evolution
    Yating Zhang, Adam Jatowt, Katsumi Tanaka · 2016 · ACM Transactions on Information Systems
  83. On verification and controller synthesis for probabilistic systems at runtime
    Mateusz Ujma · 2015
  84. Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking
    Anders Mariegaard, Kim G. Larsen · 2017 · Lecture notes in computer science
  85. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
    Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher · 2017 · Lecture notes in computer science
  86. “How Did They Know?”—Model-Checking for Analysis of Information Leakage in Social Networks
    Louise A. Dennis, Marija Slavkovik, Michael Fisher · 2017 · Lecture notes in computer science
  87. Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
    Christel Baier A, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz · 2018 · Lecture notes in computer science
  88. Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary Algorithms
    Khalil Esper, Stefan Wildermann, Jürgen Teich · 2023 · ACM Transactions on Design Automation of Electronic Systems
  89. A Tableau for RoBCTL
    John Christopher McCabe-Dansted · 2008 · Lecture notes in computer science
  90. Dependability Analysis and Verification for Connected Systems
    Félicita Di Giandomenico, Marta Kwiatkowska, Marco Martinucci, Paolo M. Masci, Hongyang Qu B · 2010 · Lecture notes in computer science
  91. Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study
    Genaína Nunes Rodrigues, Vander Alves, Renato Franklin, Luiz A.F. Laranjeira · 2010 · Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS)
  92. Verifying dynamic power management schemes using statistical model checking
    Jayanand Asok Kumar, Shobha Vasudevan · 2012 · Asia and South Pacific Design Automation Conference (ASP-DAC)
  93. DoMAIns: Domain-based modeling for Ambient Intelligence
    Dario Bonino, Fulvio Corno · 2011 · Pervasive and Mobile Computing
  94. Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems
    Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan · 2015
  95. Research Challenges in Modelling Ecosystems
    António Cerone, Marco Scotti · 2015 · Lecture notes in computer science
  96. Abstraction for Stochastic Systems by Erlang’s Method of Stages
    Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf · 2008 · Lecture notes in computer science
  97. Quantifying Uncertainty in Epidemiological Models
    Sumit Kumar Jha, Arvind Ramanathan · 2012 · ASE/IEEE International Conference on BioMedical Computing (BioMedCom)
  98. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
    Anne Remke, Mariëlle I. A. Stoelinga · 2014 · Lecture notes in computer science
  99. Approximate Abstractions of Markov Chains with Interval Decision Processes
    Yuriy Zacchia Lun, Jack Wheatley, Alessandro D’Innocenzo, Alessandro Abate · 2018 · IFAC-PapersOnLine
  100. A Logical Characterization of Differential Privacy via Behavioral Metrics
    Valentina Castiglioni, Konstantinos Chatzikokolakis A, Catuscia Palamidessi A · 2018 · Lecture notes in computer science