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 701–800 of 1,001

  1. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans
    Colin Paterson, Radu Călinescu, Suresh Manandhar, Di Wang · 2019 · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
  2. Raiders of the lost equivalence: Probabilistic branching bisimilarity
    Valentina Castiglioni, Simone Tini · 2020 · Information Processing Letters
  3. Quantitative Verification of Certificate Transparency Gossip Protocols
    Michael Oxford, David Parker, Mark Dermot Ryan · 2020 · IEEE Conference on Communications and Network Security
  4. Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems
    Wei Wan, Jamal Bentahar, A. Ben Hamza · 2011 · Lecture notes in computer science
  5. Twenty Years of Rewriting Logic
    José Meseguer · 2010 · Lecture notes in computer science
  6. Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
    Michael Huth, Nir Piterman, Daniel Wägner · 2009 · Lecture notes in computer science
  7. Tools and techniques for evaluating reliability of defect-tolerant nano architectures
    Debayan Bhaduri, Sandeep K. Shukla · 2005 · International Joint Conference on Neural Networks (IJCNN)
  8. Modular Games for Coalgebraic Fixed Point Logics
    Corina Ĉırstea, Mehrnoosh Sadrzadeh · 2008 · Electronic Notes in Theoretical Computer Science
  9. Backward stochastic bisimulation in CSL model checking
    Jeremy Sproston, Susanna Donatelli · 2004 · International Conference on the Quantitative Evaluation of Systems (QEST)
  10. Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties
    Alberto Puggelli · 2014 · eScholarship (California Digital Library)
  11. The Probabilistic Model Checker Storm (Extended Abstract)
    Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk · 2016 · arXiv (Cornell University)
  12. Towards energy consumption evaluation of the SSL handshake protocol in mobile communications
    Sophia G. Petridou, Stylianos Basagiannis · 2012 · Annual Conference on Wireless On-demand Network Systems and Services (WONS)
  13. Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters
    Guoxin Su, David S. Rosenblum · 2014 · Lecture notes in computer science
  14. Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic
    Yan Ma, Zining Cao, Yang Liu · 2016 · International Journal of Software Engineering and Knowledge Engineering
  15. Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process
    Redouane Bouchekir, Mohand Cherif Boukala · 2018 · Innovations in Systems and Software Engineering
  16. Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
    Tatjana Petrov, Matej Hajnal, Julia Klein, David Šafránek, Morgane Nouvian · 2022 · PLoS Computational Biology
  17. A Markovian model for the spread of the SARS-CoV-2 virus
    Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri · 2023 · Automatica
  18. Rigorous Evaluation of Computer Processors with Statistical Model Checking
    Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajić, Daniel J. Sorin · 2023 · IEEE/ACM International Symposium on Microarchitecture (MICRO)
  19. Sound Abstract Nonexploitability Analysis
    Francesco Parolini, Antoine Miné · 2023 · Lecture notes in computer science
  20. Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
    Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen · 2024 · Lecture notes in computer science
  21. Formal Methods for Multi-Agent Feedback Control Systems
    Lars Lindemann, Dimos V. Dimarogonas · 2025 · The MIT Press eBooks
  22. Towards Verifying Safety Properties of Real-Time Probabilistic Systems
    Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt · 2014 · Electronic Proceedings in Theoretical Computer Science
  23. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
    Vahid Hashemi, Hassan Hatefi, Jan Krčál · 2014 · Electronic Proceedings in Theoretical Computer Science
  24. Pebble Weighted Automata and Weighted Logics
    Benedikt Bollig, Paul B. Gastin, Benjamin Monmege, Marc Zeitoun · 2014 · ACM Transactions on Computational Logic
  25. An algorithmic enquiry concerning causality
    Bud Mishra, Samantha Kleinberg · 2010
  26. Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
    Alessio R. Lomuscio, Edoardo Pirovano · 2018 · International Joint Conference on Artificial Intelligence
  27. Logical characterization of branching metrics for nondeterministic probabilistic transition systems
    Valentina Castiglioni, Simone Tini · 2019 · Information and Computation
  28. Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
    Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini · 2021 · Lecture notes in computer science
  29. Six Software Engineering Principles for Smarter Cyber-Physical Systems
    Danny Weyns, Tomáš Bureš, Radu Călinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin et al. · 2021 · IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)
  30. Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
    Gricel Vázquez, Radu Călinescu, Javier Cámara · 2022 · Electronic Proceedings in Theoretical Computer Science
  31. Formal verification confirms the role of p53 protein in cell fate decision mechanism
    Eman Abdelaziz Mahmoud, Mostafa Herajy, Ibrahim Ziedan, Hazem Ibrahim Shehata · 2022 · Theory in Biosciences
  32. Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games
    Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem · 2024 · Internet of Things
  33. Computing Behavioral Relations for Probabilistic Concurrent Systems
    Daniel Gebler, Vahid Hashemi, Andrea Turrini · 2014 · Lecture notes in computer science
  34. On-the-fly Fluid Model Checking via Discrete Time Population Models
    Diego Latella, Michele Loreti, Mieke Massink · 2015 · Lecture notes in computer science
  35. CEGAR for Qualitative Analysis of Probabilistic Systems
    Krishnendu Chatterjee, Martin Chmelík, Przemysław Daca · 2014 · Lecture notes in computer science
  36. A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking
    Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao · 2015 · International Journal of Software Innovation
  37. Towards Light-Weight Probabilistic Model Checking
    Savas Konur · 2014 · Journal of Applied Mathematics
  38. MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
    Rutger Kuyper, Sebastiaan A. Terwijn · 2013 · The Review of Symbolic Logic
  39. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
    Haidi Yue, Joost-Pieter Katoen · 2010 · Lecture notes in computer science
  40. Expression caching for runtime verification based on parameterized probabilistic models
    Hiroyuki Nakagawa, Toyama Hiromu, Tatsuhiro Tsuchiya · 2019 · Journal of Systems and Software
  41. Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors
    Ivan Ruchkin, Oleg V. Sokolsky, James E. Weimer, Tushar Hedaoo, Insup Lee · 2020 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  42. Modelling Accuracy and Trustworthiness of Explaining Agents
    Alberto Termine, Giuseppe Primiero, Fabio Aurelio D’Asaro · 2021 · Lecture notes in computer science
  43. Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems
    Joshua Riley, Radu Călinescu, Colin Paterson, Daniel Kudenko⋆, Alec Banks · 2022 · Lecture notes in computer science
  44. Curry and Howard Meet Borel
    Melissa Antonelli, Ugo Dal Lago, Paolo Pistone · 2022 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  45. Prediction and Explanation over DL-Lite Data Streams
    Szymon Klarman, Thomas Andreas Meyer · 2013 · Lecture notes in computer science
  46. Vector Autoregressive POMDP Model Learning and Planning for Human–Robot Collaboration
    Wei Zheng, Hai Lin · 2019 · IEEE Control Systems Letters
  47. M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information
    Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song · 2019 · IEEE Transactions on Services Computing
  48. Model checking of robustness properties in trust and reputation systems
    Seyed Asgary Ghasempouri, Behrouz Tork Ladani · 2020 · Future Generation Computer Systems
  49. Riesz Modal logic for Markov processes
    Matteo Mio, Robert Furber, Radu Mardare · 2017 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  50. Exact, analytic, and locally approximate solutions to discrete event-simulation problems
    Chris Tofts · 1998 · Simulation Practice and Theory
  51. A uniform framework for weighted decision diagrams and its implementation
    Jörn Ossowski, Christel Baier A · 2008 · International Journal on Software Tools for Technology Transfer
  52. Modelling Interactive Real-time Applications on Service Oriented Infrastructures
    Matthew Addis, Zlatko Zlatev, William F. Mitchell, Michael Boniface · 2009 · ePrints Soton (University of Southampton)
  53. Lightweight Monte Carlo Algorithm for Markov Decision Processes.
    Axel Legay, Sean Sedwards · 2013 · arXiv (Cornell University)
  54. Abstraction Framework for Markov Decision Processes and PCTL via Games
    Mark Kattenbelt · 2009 · Oxford University Research Archive (ORA) (University of Oxford)
  55. A Simple Probabilistic Extension of Modal Mu-calculus
    Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang · 2015 · arXiv (Cornell University)
  56. Evaluating probabilistic model checking tools for verification of robot control policies
    Shashank Pathak, Luca Pulina, Armando Tacchella · 2016 · AI Communications
  57. How Good is Weak-Stabilization?
    Narges Fallahi, Borzoo Bonakdarpour · 2013 · Lecture notes in computer science
  58. Temporal Causality of Social Support in an Online Community for Cancer Survivors
    Ngot Bui, John Yen, Vasant Honavar · 2015 · Lecture notes in computer science
  59. A formal approach to spatio-temporal modeling of game systems
    Vlada Vladimirovna Kugurakova · 2024 · Učenye zapiski Kazanskogo gosudarstvennogo universiteta. Seriâ Fiziko-matematičeskie nauki/Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
  60. Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
    Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić, Aarti Gupta · 2012 · Lecture notes in computer science
  61. Probabilization of Logics: Completeness and Decidability
    Pedro Baltazar · 2013 · Logica Universalis
  62. p-Automata: New foundations for discrete-time probabilistic verification
    Michael Huth, Nir Piterman, Daniel Wägner · 2012 · Performance Evaluation
  63. A Model-checking Approach to Reduce Spiking Neural Networks
    Elisabetta DE MARIA, Daniel Gaffé, Cédric Girard-Riboulleau, Annie Ressouche · 2018 · International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC)
  64. Probabilistic Preference Planning Problem for Markov Decision Processes
    Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang · 2020 · IEEE Transactions on Software Engineering
  65. The satisfiability problem for a quantitative fragment of PCTL
    Miroslav Chodil, Antonı́n Kučera · 2023 · Journal of Computer and System Sciences
  66. Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking
    Hichem Debbi · 2021 · Informatica
  67. STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL
    Vashti C. Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin · 2018 · Winter Simulation Conference
  68. Probabilistic Hyperproperties with Rewards
    Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour · 2022 · Lecture notes in computer science
  69. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
    Tomǎš Brázdil, Antonı́n Kučera, Oldřich Stražovský · 2004 · Lecture notes in computer science
  70. Strict Divergence for Probabilistic Timed Automata
    Jeremy Sproston · 2009 · Lecture notes in computer science
  71. From software verification to ‘everyware’ verification
    Marta Kwiatkowska · 2013 · Computer Science - Research and Development
  72. Where logic and agents meet
    Jürgen Dix, Michael Fisher · 2011 · Annals of Mathematics and Artificial Intelligence
  73. Stochastic modeling of codon bias with PRISM
    Tessa E. Pronk, de Ep Erik Vink, Dragan Bošnački, Timo M. Breit · 2007 · TU/e Research Portal
  74. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
    Radu Mateescu, José Ignacio Requeno · 2016 · Lecture notes in computer science
  75. Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking
    Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao · 2016 · IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA)
  76. Formal specification and dependability analysis of optical communication networks
    Umair Siddique, Khaza Anuarul Hoque, Taylor Thomas Johnson · 2017 · Design, Automation, and Test in Europe
  77. Computing Conditional Probabilities: Implementation and Evaluation
    Steffen Märcker, Christel Baier A, Joachim Klein, Sascha Klüppelholz · 2017 · Lecture notes in computer science
  78. Computation tree measurement language (CTML)
    Yaping Jing, Andrew S. Miner · 2018 · Formal Aspects of Computing
  79. Solving Large Markov Models Described with Standard Programming Language
    Piotr Pecka, Mateusz P. Nowak, Artur Rataj, Sławomir Nowak · 2018 · Communications in computer and information science
  80. Approximation Techniques for Stochastic Analysis of Biological Systems
    Thakur Neupane, Zhen Zhang, Curtis K. Madsen, Hao Zheng, Chris John Myers · 2019 · Computational biology
  81. Symbolic Model Checking of Weighted PCTL Using Dependency Graphs
    Mathias Claus Jensen, Anders Mariegaard, Kim G. Larsen · 2019 · Lecture notes in computer science
  82. Qualitative Logics and Equivalences for Probabilistic Systems
    Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay · 2009 · Logical Methods in Computer Science
  83. A logical characterization of differential privacy
    Valentina Castiglioni, Konstantinos Chatzikokolakis A, Catuscia Palamidessi A · 2020 · Science of Computer Programming
  84. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
    Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena · 2009 · Lecture notes in computer science
  85. Dependency graphs with applications to verification
    Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jǐŕı Srba · 2020 · International Journal on Software Tools for Technology Transfer
  86. Embeddings between state and action labeled probabilistic systems
    Susmoy Das, Arpit Sharma · 2021 · ACM Symposium on Applied Computing
  87. Enforcement FSMs
    Khalil Esper, Stefan Wildermann, Jürgen Teich · 2021 · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
  88. The temporal logic of token causes
    Samantha Kleinberg, Bud Mishra · 2010
  89. Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
    Nishanthan Kamaleson, David Parker, Jonathan E. Rowe · 2016 · Lecture notes in computer science
  90. Reactive Control Improvisation
    Daniel J. Fremont, Sanjit Arunkumar Seshia · 2018 · Lecture notes in computer science
  91. Quantitative Verification of Numerical Stability for Kalman Filters
    Alexandros Evangelidis, David Parker · 2019 · Lecture notes in computer science
  92. Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL
    Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Elizabeth Hillston, Glenn Marion · 2019 · ACM Transactions on Modeling and Computer Simulation
  93. Fully Abstract Characterization of Probabilistic May Testing
    Bengt Jönsson, Wang Yi · 1999 · Lecture notes in computer science
  94. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
    Tomǎš Brázdil, Vojtěch Forejt · 2007 · Lecture notes in computer science
  95. An extensible platform for product-line behavioural analysis
    Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre‐Yves Schobbens · 2014 · International Software Product Line Conference (SPLC)
  96. Foreword
    2004 · International Conference of the Chilean Computer Science Society (SCCC)
  97. On the Expressivity of RoCTL*
    John Christopher McCabe-Dansted, Tim French, Mark A Reynolds, Sophie Pinchinat · 2009 · International Symposium on Temporal Representation and Reasoning
  98. Symbolic Reasoning with Weighted and Normalized Decision Diagrams
    Jörn Ossowski, Christel Baier A · 2006 · Electronic Notes in Theoretical Computer Science
  99. Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing
    Alberto Puggelli, Alberto Luigi Sangiovanni-Vincentelli, Sanjit Arunkumar Seshia · 2014 · ACM International Conference on Embedded Software (EMSOFT)
  100. Weighted Probabilistic Equivalence Preserves ω-Regular Properties
    Arpit Sharma · 2012 · Lecture notes in computer science