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 801–900 of 1,001

  1. From Concurrency Models to Numbers: Performancd and Dependability
    Holger Hermanns, Lijun Zhang · 2011
  2. Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
    Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn · 2009 · Electronic Notes in Theoretical Computer Science
  3. Comparing CTL and PCTL on Labeled Markov Chains
    Michael Huth, Marta Kwiatkowska · 1998 · Springer eBooks
  4. Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs
    Marta Kwiatkowska, Gethin Norman, Roberto Segala C, Jeremy Sproston · 2000
  5. Reasoning about efficiency within a probabilistic μ-calculus
    Annabelle K. McIver · 1999 · Electronic Notes in Theoretical Computer Science
  6. A Formalization of Linkage Analysis
    Anna Ingolfsdottir A, Anders Lyhne Christensen, Jens Alsted Hansen, Jacob Johnsen, John Knudsen, Jacob Illum Rasmussen · 2002 · BRICS Report Series
  7. 1 Quantitative Analysis for Authentication of Low-cost RFID Tags
    Ioannis Paparrizos, Stylianos Basagiannis, Sophia G. Petridou · 2011
  8. Directed Diagnostics of System Dependability Models
    Husain Aljazzar · 2009
  9. A Dynamic Assurance Framework for an Autonomous Survey Drone
    Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy · 2024 · Lecture notes in computer science
  10. Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games
    Abdelhakim Baouya, Brahim Hamid, Otmane Aı̈t Mohamed, Saddek Bensalem · 2024 · Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
  11. Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
    Aaron Bohy, Véronique Bruyère, Jean-François Raskin · 2014 · Electronic Proceedings in Theoretical Computer Science
  12. Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking
    Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang · 2015 · IEEE Transactions on Human-Machine Systems
  13. Smart Water Distribution System Communication Architecture Risk Analysis Using Formal Methods
    Stefana Krivokuca, Branka Stojanović, Katharina Hofer-Schmitz, Natasa J. Neskovic, Aleksandar Nešković · 2020 · Telecommunications Forum (TELFOR)
  14. AITIA-PM: Discovering the true causes of events in a process mining context
    Greg Van Houdt, Niels Martin, Benoît Depaire · 2023 · Engineering Applications of Artificial Intelligence
  15. Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer
    Mi Chen, Lynda Mokdad, Jalel Ben‐Othman, Jean-Michel Fourneau · 2023 · Globecom
  16. Learning Branching-Time Properties in CTL and ATL via Constraint Solving
    Benjamin Bordais, Daniel Neider, Rajarshi Roy · 2024 · Lecture notes in computer science
  17. Synthesis for Probabilistic Environments
    Sven Schewe · 2006 · Lecture notes in computer science
  18. Abstraction of Probabilistic Systems
    Joost-Pieter Katoen · 2007 · Lecture notes in computer science
  19. Belief Bisimulation for Hidden Markov Models
    David N. Jansen, Flemming Nielson, Lijun Zhang · 2012 · Lecture notes in computer science
  20. Causal analysis of probabilistic counterexamples
    Hichem Debbi, Mustapha Bourahla · 2013 · Formal Methods
  21. Adaptive REST applications via model inference and probabilistic model checking
    Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli · 2013
  22. Branching-Time Model-Checking of Probabilistic Pushdown Automata
    Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt · 2009 · Electronic Notes in Theoretical Computer Science
  23. Probabilistic Petri Net and its Logical Semantics
    Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li · 2011 · IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA)
  24. New results for Constraint Markov Chains
    Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel Lykke Pedersen, Andrzej Wąsowski · 2011 · Performance Evaluation
  25. Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation
    José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier Calleja, Fernando Royo · 2015 · International Journal of Distributed Sensor Networks
  26. Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics
    Sucheendra K. Palaniappan, P. S. Thiagarajan · 2012 · Lecture notes in computer science
  27. Generalized Quantitative Analysis of Metric Transition Systems
    Uli Fahrenberg, Axel Legay · 2013 · Lecture notes in computer science
  28. Detecting Evolution of Concepts based on Cause-Effect Relationships in Online Reviews
    Yating Zhang, Adam Jatowt, Katsumi Tanaka · 2016 · International World Wide Web Conference (WWW)
  29. On the Complexity of Modal Logic Variants and their Fragments
    Gottfried Wilhelm · 2011
  30. Software Formal Modeling and Verification Method Based on Time STM
    Gang Hou, Kuanjiu Zhou, Junwang Chang, Jie Wang, Mingchu Li · 2015
  31. Baire Category Quantifier in Monadic Second Order Logic
    Henryk Michalewski, Matteo Mio · 2015 · Lecture notes in computer science
  32. On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination
    Vincenzo Ciancia, Diego Latella, Mieke Massink · 2016 · Lecture notes in computer science
  33. Probabilistic Model Checking of Incomplete Models
    Shiraj Arora, M. V. Panduranga Rao · 2016 · Lecture notes in computer science
  34. Debugging of probabilistic systems using structural equation modelling
    Hichem Debbi, Aimad Eddine Debbi, Mustapha Bourahla · 2016 · International Journal of Critical Computer-Based Systems
  35. Learning to share: Engineering adaptive decision-support for online social networks
    Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gül Çalıklı, Blaine A. Price, Bashar Nuseibeh · 2017 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  36. Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
    Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Elizabeth Hillston, Glenn Marion · 2017 · Lecture notes in computer science
  37. Probabilistic Activity Recognition for Serious Games with Applications in Medicine
    Elisabetta DE MARIA, Thibaud L’Yvonnet, Sabine Moisan, Jean‐Paul Rigault · 2020 · Communications in computer and information science
  38. Dynamic incentive mechanism design for regulation‐aware systems
    Sixuan Dang, Sheng Cao, Jingwei Li, Xiaosong Zhang · 2021 · International Journal of Intelligent Systems
  39. Fast Parametric Model Checking With Applications to Software Performability Analysis
    Xinwei Fang, Radu Călinescu, Simos Gerasimou, Faisal Alhwikem · 2023 · IEEE Transactions on Software Engineering
  40. Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers
    Andr ́s Horv ́th, Marco Paolieri, Lorenzo Ridi, Enrico Vicario · 2011 · International Conference on the Quantitative Evaluation of Systems (QEST)
  41. Riesz modal logic for Markov processes
    Matteo Mio, Robert Furber, Radu Mardare · 2017 · Logic in Computer Science
  42. Probabilistic programming for Java using symbolic execution and model counting
    Willem Visser, Corina S. Păsăreanu · 2017 · South African Institute of Computer Scientists and Information Technologists
  43. All roads lead to Rome: Commuting strategies for product-line reliability analysis
    Thiago Castro, André Luiz Peron Martins Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre‐Yves Schobbens · 2017 · Science of Computer Programming
  44. Model checking: recent improvements and applications
    Dragan Bošnački, Anton Wijs · 2018 · International Journal on Software Tools for Technology Transfer
  45. Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
    Viraj B. Wijesuriya, Alessandro Abate · 2019 · Lecture notes in computer science
  46. Deciding probabilistic bisimilarity over infinite-state probabilistic systems
    Tomǎš Brázdil, Antonı́n Kučera, Oldřich Stražovský · 2007 · Acta Informatica
  47. A two-step scheme for approximate model checking of stochastic hybrid systems
    Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini · 2011 · IFAC Proceedings Volumes
  48. Quantitative analysis for authentication of low-cost RFID tags
    Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou · 2011 · Conference on Local Computer Networks
  49. PCTL model checking of symbolic probabilistic systems
    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston · 2003
  50. Systematic simplicity-accuracy tradeoffs in parameterised contract models
    Ian Peake, Heinz W. Schmidt · 2011
  51. AVACS -- Automatic Verification and Analysis of Complex Systems.
    Bernd Becker · 2007 · MBMV
  52. An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
    Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang · 2016 · Lecture notes in computer science
  53. Uncertainty analysis of phased mission systems with probabilistic timed automata
    Zhaoguang Peng, Yu Lu, Alice Ann Miller · 2016 · IEEE Conference on Prognostics and Health Management
  54. A machine learning approach for generating temporal logic classifications of complex model behaviours
    Daniele Maccagnola, Enza Messina, Qian Gao, David Gilbert · 2012 · Winter Simulation Conference
  55. Tools and Techniques for Evaluating Reliability Trade-Offs for Nano-Architectures
    Debayan Bhaduri, Sandeep K. Shukla · 2006 · Kluwer Academic Publishers eBooks
  56. Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures
    Jane Jayaputera, Iman Poernomo, Heinrich Schmidt · 2003
  57. Metric Semantics for Reactive Probabilistic Processes
    Gethin Norman · 1997
  58. Finite Horizon Analysis of Markov Chains with the Murϕ Verifier
    Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli · 2003 · Lecture notes in computer science
  59. Analytic and locally approximate solutions to properties of probabilistic processes
    Chris Tofts · 1995 · Lecture notes in computer science
  60. Investigating Causal Relationships in Stock Returns with Temporal Logic Based Methods
    Samantha Kleinberg, Petter N. Kolm, Bud Mishra · 2010 · RePEc: Research Papers in Economics
  61. Quantitative program logic and expected time bounds in probabilistic distributed algorithms
    Annabelle K. McIver · 2002 · Theoretical Computer Science
  62. Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems
    Khalid Sultan · 2015 · Spectrum Research Repository (Concordia University)
  63. Applied Formal Methods in Wireless Sensor Networks
    Frank M. Werner · 2009 · Repository KITopen (Karlsruhe Institute of Technology)
  64. Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
    Antonia Bertolino, Silvano Chiaradonna, Gabriele Costa, Félicita Di Giandomenico, Antinisca Di Marco, Paul Grace, Valérie Issarny, Marta Kwiatkowska, Fabio Martinelli, Paolo M. Masci et al. · 2010 · HAL
  65. Scenario-Based Verification of Uncertain MDPs
    Murat Cubuktepe · 2021
  66. Quantitative verification of Kalman filters
    Alexandros Evangelidis, David Parker · 2021 · Formal Aspects of Computing
  67. A Debugging Game for Probabilistic Models
    Hichem Debbi · 2022 · Formal Aspects of Computing
  68. Security Countermeasure Selection for Component-Based Software-Intensive Systems
    Charilaos Skandylas, Narges Khakpour, Javier Cámara · 2022 · IEEE International Conference on Software Quality, Reliability and Security (QRS)
  69. $$\textsf{ATM}$$: A Logic for Quantitative Security Properties on Attack Trees
    Stefano Maria Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle I. A. Stoelinga · 2023 · Lecture notes in computer science
  70. Probabilistic performance evaluation of the class-A device in LoRaWAN protocol on the MAC layer
    Mi Chen, Lynda Mokdad, Jalel Ben‐Othman, Jean-Michel Fourneau · 2024 · Performance Evaluation
  71. Modelling Real-time Systems with Bigraphs
    Maram Albalwe, Blair Archibald, Michele Sevegnani · 2025 · Electronic Proceedings in Theoretical Computer Science
  72. Probabilistic Models for the Verification of Human-Computer Interaction
    Bernhard Beckert, Markus Wagner · 2009 · Lecture notes in computer science
  73. Latency analysis of a contention based MAC protocol for Sensor Networks
    Paolo Ballarini · 2010 · IEEE Symposium on Computers and Communications (ISCC)
  74. Complexity of verification of nondeterministic probabilistic multiagent systems
    Mars K. Valiev, М И Дехтярь · 2011 · Automatic Control and Computer Sciences
  75. QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
    Nagaoka Takeshi, Akihiko ITO, Kozo Okano, Shinji Kusumoto · 2011 · IEICE Transactions on Information and Systems
  76. Database Encryption and Confirmation Mechanism Research
    Yuyan Jiang, Xiao-yan Pi, Guo-zheng Xing · 2010 · International Conference on Multimedia Technology (ICMT)
  77. Statistical Model Checking of Opportunistic Network Protocols
    Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao · 2015 · Asian Internet Engineering Conference
  78. A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs
    Khalid Sultan, Jamal Bentahar, Omar Ibrahim Marey · 2014 · Frontiers in artificial intelligence and applications
  79. Method for Combining Paraconsistency and Probability in Temporal Reasoning
    Norihiro Kamide, Daiki Koizumi · 2016 · Journal of Advanced Computational Intelligence and Intelligent Informatics
  80. Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
    Andreas Gittis, Eric Vin, Daniel J. Fremont · 2022 · Lecture notes in computer science
  81. Quantitative Verification and Strategy Synthesis for BDI Agents
    Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu · 2023 · Lecture notes in computer science
  82. Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
    Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini · 2023 · SN Computer Science
  83. Probabilistic Mu-Calculus: Decidability and Complete Axiomatization
    Kim G. Larsen, Radu Mardare, Bingtian Xue · 2016 · VBN Forskningsportal (Aalborg Universitet)
  84. Computing Branching Distances Using Quantitative Games
    Uli Fahrenberg, Axel Legay, Karin Quaas · 2019 · Lecture notes in computer science
  85. Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications
    Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck · 2020 · IEEE International Conference on Smart Internet of Things (SmartIoT)
  86. Multivariate QoS Monitoring in Mobile Edge Computing based on Bayesian Classifier and Rough Set
    Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin · 2020 · IEEE International Conference on Web Services (ICWS)
  87. Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
    Fujun Wang, Zining Cao, Lixing Tan, Zhen Li · 2022 · International Journal of Software Engineering and Knowledge Engineering
  88. A Probabilistic Logic for Verifying Continuous-time Markov Chains
    Ji Guan, Nengkun Yu · 2022 · Lecture notes in computer science
  89. Temporal logic with recursion
    Florian Bruse, Martin Lange · 2021 · Information and Computation
  90. Quantitative Analysis of Interval Markov Chains
    Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard · 2021 · Lecture notes in computer science
  91. COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
    Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson C, Simon Prucker, Lutz Schröder · 2023 · Lecture notes in computer science
  92. Model Checking of Infinite State Space Markov Chains by Stochastic Bounds
    Mouad Ben Mamoun, Nihal Pekergin · 2008 · Springer eBooks
  93. Agents, actions and goals in dynamic environments
    Peter Novák, Wojciech Jamroga · 2011
  94. An Experimental Evaluation of Probabilistic Simulation
    Jonathan Bogdoll, Holger Hermanns, Lijun Zhang · 2008 · Lecture notes in computer science
  95. Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
    Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano · 2015 · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
  96. DEPENDABILITY ANALYSIS OF NETWORKED AUTOMATION SYSTEMS BY PROBABILISTIC DELAY TIME ANALYSIS
    Jürgen Greifeneder, Georg Frey · 2006 · IFAC Proceedings Volumes
  97. Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning
    Kenneth R. Johnson, Yuanzhi Wang, Radu Călinescu, Ian Sommerville, Gordon D. Baxter, John Vivian Tucker · 2013 · IEEE International Conference on Cloud Computing Technology and Science
  98. Efficient optimization of large probabilistic models
    Simon Struck, Matthias Güdemann, Frank Ortmeier · 2013 · Journal of Systems and Software
  99. Formal Analysis of Streaming Downloading Protocol for System Upgrading
    Miaomiao Zhang, Dang Van Hung · 2006 · Electronic Notes in Theoretical Computer Science
  100. Generating counterexamples for quantitative safety specifications in probabilistic B
    Ukachukwu Ndukwu · 2011 · The Journal of Logic and Algebraic Programming