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 201–300 of 1,001

  1. Analyzing the Next Generation Airborne Collision Avoidance System
    Christian von Essen, Dimitra Giannakopoulou · 2014 · Lecture notes in computer science
  2. Compositional Design Methodology with Constraint Markov Chains
    Benoît Caillaud A, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel Lykke Pedersen, Andrzej Wąsowski · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  3. Model Checking Probabilistic Timed Automata with One or Two Clocks
    Marcin Jurdziński, François Laroussinie, Jeremy Sproston · 2007 · Springer eBooks
  4. Algebraic theory of probabilistic processes
    Manuel A. Nunez · 2003 · The Journal of Logic and Algebraic Programming
  5. Abstract interpretation of programs as Markov decision processes
    David P. Monniaux, École Normale Supérieure · 2005
  6. Formalizing and Reasoning about Quality
    Shaull Almagor, Udi Boker, Orna Kupferman · 2013 · Lecture notes in computer science
  7. Three-valued abstraction for probabilistic systems
    Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf · 2012 · The Journal of Logic and Algebraic Programming
  8. Probabilistic Verification at Runtime for Self-Adaptive Systems
    Antonio Filieri, Giordano Tamburrelli · 2013 · Lecture notes in computer science
  9. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T)
    Simos Gerasimou, Giordano Tamburrelli, Radu Călinescu · 2015 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  10. Requirements monitoring frameworks: A systematic review
    Michael Vierhauser, Rick Rabiser, Paul Grünbacher · 2016 · Information and Software Technology
  11. Stochastic analysis of BPMN with time in rewriting logic
    Francisco Durán, Camilo Rocha, Gwen Salaün · 2018 · Science of Computer Programming
  12. Computing Quantiles in Markov Reward Models
    Michael Ummels, Christel Baier A · 2013 · Lecture notes in computer science
  13. Adaptive model learning for continual verification of non-functional properties
    Radu Călinescu, Yasmin Rafiq, Kenneth R. Johnson, Mehmet E. Bakir · 2014 · ACM/SPEC International Conference on Performance Engineering (ICPE)
  14. PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
    Marta Kwiatkowska, David Parker, Clemens Wiltsche · 2017 · International Journal on Software Tools for Technology Transfer
  15. Games, Probability, and the Quantitative μ-Calculus qMμ
    Annabelle K. McIver, Carroll C. Morgan · 2002 · Lecture notes in computer science
  16. Parallel probabilistic model checking on general purpose graphics processors
    Dragan Bošnački, Stefan Edelkamp, Damian Sulewski, Anton Wijs · 2010 · International Journal on Software Tools for Technology Transfer
  17. Combined model checking for temporal, probabilistic, and real-time logics
    Savas Konur, Michael Fisher, Sven Schewe · 2013 · Theoretical Computer Science
  18. Mining past-time temporal rules from execution traces
    David Lo, Siau‐Cheng Khoo, Chao Liu · 2008
  19. The Complexity of Nash Equilibria in Stochastic Multiplayer Games
    Michael Ummels, Dominik Wojtczak · 2011 · Logical Methods in Computer Science
  20. Backward Bisimulation in Markov Chain Model Checking
    Jeremy Sproston, Susanna Donatelli · 2006 · IEEE Transactions on Software Engineering
  21. Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
    Monika Heiner A, Sebastian Lehrack, David Gilbert, Wolfgang Marwan · 2009 · Lecture notes in computer science
  22. Survey on Directed Model Checking
    Stefan Edelkamp, Viktor Schuppan, Dragan Bošnački, Anton Wijs, Ansgar Fehnker, Husain Aljazzar · 2009 · Lecture notes in computer science
  23. Taming the complexity of biological pathways through parallel computing
    Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi · 2008 · Briefings in Bioinformatics
  24. Reasoning about MDPs as Transformers of Probability Distributions
    Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  25. Model checking fuzzy computation tree logic
    Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma · 2014 · Fuzzy Sets and Systems
  26. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
    Erika Ábrahám, Borzoo Bonakdarpour · 2018 · Lecture notes in computer science
  27. Performance Analysis of Probabilistic Timed Automata Using Digital Clocks
    Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston · 2004 · Lecture notes in computer science
  28. DTMC Model Checking by SCC Reduction
    Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker · 2010 · International Conference on the Quantitative Evaluation of Systems (QEST)
  29. Reasoning about probabilistic sequential programs
    Rohit Chadha, Luı́s Cruz-Filipe, Paulo Mateus, Amı́lcar Sernadas · 2007 · Theoretical Computer Science
  30. Probabilistic Verification for “Black-Box” Systems
    Håkan L. S. Younes · 2005 · Lecture notes in computer science
  31. Model Checking Medium Access Control for Sensor Networks
    Paolo Ballarini, Alice Ann Miller · 2006 · Leveraging Applications of Formal Methods
  32. Stochastic Games with Branching-Time Winning Objectives
    Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt, Antonı́n Kučera · 2006 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  33. The Satisfiability Problem for Probabilistic CTL
    Tomǎš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonı́n Kučera · 2008 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  34. Model Checking One-clock Priced Timed Automata
    Patricia Bouyer, Kim G. Larsen, Nicolas Markey · 2008 · Logical Methods in Computer Science
  35. On the verification of qualitative properties of probabilistic processes under fairness constraints
    Christel Baier A, Marta Kwiatkowska · 1998 · Information Processing Letters
  36. Weighted versus Probabilistic Logics
    Benedikt Bollig, Paul B. Gastin · 2009 · Lecture notes in computer science
  37. Model Checking Quantitative Linear Time Logic
    Marco Faella, Axel Legay, Mariëlle I. A. Stoelinga · 2008 · Electronic Notes in Theoretical Computer Science
  38. Probabilistic Model Checking and Autonomy
    Marta Kwiatkowska, Gethin Norman, David Parker · 2021 · Annual Review of Control Robotics and Autonomous Systems
  39. Quantitative automata model checking of autonomous stochastic hybrid systems
    Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre · 2011 · International Conference on Hybrid Systems: computation and control
  40. Generation of Counterexamples for Model Checking of Markov Decision Processes
    Husain Aljazzar, Stefan Leue · 2009 · International Conference on the Quantitative Evaluation of Systems (QEST)
  41. Automatic Verification of Competitive Stochastic Systems
    Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Šimaitis · 2012 · Lecture notes in computer science
  42. Probabilistic Mobile Ambients
    Marta Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti · 2009 · Theoretical Computer Science
  43. Diagnosis, synthesis and analysis of probabilistic models
    Tingting Han · 2009
  44. Deep Statistical Model Checking
    Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz · 2020 · Lecture notes in computer science
  45. Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
    Alastair F. Donaldson, Alice Ann Miller · 2006 · Lecture notes in computer science
  46. Testing preorders for probabilistic processes can be characterized by simulations
    Bengt Jönsson, Wang Yi · 2002 · Theoretical Computer Science
  47. Colored Petri Nets for Systems Biology
    Doktor der Naturwissenschaften · 2012
  48. Lazy Probabilistic Model Checking without Determinisation
    Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang · 2013 · arXiv (Cornell University)
  49. On the connections between PCTL and dynamic programming
    Federico Ramponi, Debasish Chatterjee A, Sean Summers, John Lygeros · 2010 · ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
  50. Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
    Ralf Wimmer, Bettina Braitling, Bernd Becker · 2008 · Lecture notes in computer science
  51. Annotated probabilistic temporal logic
    Paulo Shakarian, Austin Parker, Gerardo I. Simari, Venkatramana V. S. Subrahmanian · 2011 · ACM Transactions on Computational Logic
  52. Formal analysis of PIN block attacks
    Graham Steel · 2006 · Theoretical Computer Science
  53. Model checking action- and state-labelled Markov chains
    Christel Baier A, Lucia Cloth, Boudewijn R. H. M. Haverkort, M. Kuntz, Markus Siegle · 2004 · International Conference on Dependable Systems & Networks/Proceedings
  54. On the complexity of model checking interval-valued discrete time Markov chains
    Taolue Chen, Tingting Han, Marta Kwiatkowska · 2013 · Information Processing Letters
  55. Model Checking of Biological Systems
    Luboš Brim, Milan Češka, David Šafránek · 2013 · Lecture notes in computer science
  56. Comparative Branching-Time Semantics for Markov Chains
    Christel Baier A, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf · 2003 · Lecture notes in computer science
  57. Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
    Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini · 2007 · Lecture notes in computer science
  58. Monitoring probabilistic properties
    Lars Grunske, Pengcheng Zhang · 2009 · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  59. A survey on temporal logics for specifying and verifying real-time systems
    Savas Konur · 2013 · Frontiers of Computer Science
  60. GRIP: Generic Representatives in PRISM
    Alastair F. Donaldson, Alice Ann Miller, David Parker · 2007 · International Conference on the Quantitative Evaluation of Systems (QEST)
  61. Counting LTL
    François Laroussinie, Antoine Meyer, Eudes Petonnet · 2010 · International Symposium on Temporal Representation and Reasoning
  62. Extended Directed Search for Probabilistic Timed Reachability
    Husain Aljazzar, Stefan Leue · 2006 · Lecture notes in computer science
  63. Formal analysis and validation of continuous-time Markov chain based system level power management strategies
    Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta · 2003 · Proceedings
  64. A Probabilistic Extension of UML Statecharts
    David N. Jansen, Holger Hermanns, Joost-Pieter Katoen · 2002 · Lecture notes in computer science
  65. Hierarchical Counterexamples for Discrete-Time Markov Chains
    Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker · 2011 · Lecture notes in computer science
  66. Using observation ageing to improve markovian model learning in QoS engineering
    Radu Călinescu, Kenneth R. Johnson, Yasmin Rafiq · 2011 · ACM/SPEC International Conference on Performance Engineering (ICPE)
  67. Probabilistic model checking for systems biology
    Marta Kwiatkowska, Gethin Norman, David Parker · 2011
  68. Weak Probabilistic Anonymity
    Yuxin Deng, Catuscia Palamidessi A, Jun Pang · 2007 · Electronic Notes in Theoretical Computer Science
  69. Formal Analysis Techniques for Gossiping Protocols
    Joost-pieter Katoen, Joost N. Kok, Jaco Pol, Marc J. van Kreveld, Bettina Speckmann, Rena Bakhshi, François Bonnet, Wan J. Fokkink, Boudewijn R. H. M. Haverkort · 2010
  70. Gossiping Models : Formal Analysis of Epidemic Protocols
    Rena Bakhshi · 2011 · Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)
  71. One step forward
    Aline Carneiro Viana, Stéphane Maag, Fatiha Zaïdi · 2011 · ACM Computing Surveys
  72. Model checking expected time and expected reward formulae with random time bounds
    Marta Kwiatkowska, Gethin Norman, António Pacheco · 2006 · Computers & Mathematics with Applications
  73. Formal Techniques in Real-Time and Fault-Tolerant Systems
    Jansen, D.N., Hermanns, H., Katoen, Joost P., Damm, W., Olderog, E.-R. · 2002 · Lecture notes in computer science
  74. Formal Methods @ Runtime
    Radu Călinescu, Shinji Kikuchi · 2011 · Lecture notes in computer science
  75. Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories
    Gul Agha, Michael B. Greenwald, Carl A. Gunter, Sanjeev Khanna, José Meseguer, Koushik Sen, Prasannaa Thati · 2005
  76. On the Controller Synthesis for Finite-State Markov Decision Processes
    Antonı́n Kučera, Oldřich Stražovský · 2005 · Lecture notes in computer science
  77. Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
    Genaína Nunes Rodrigues, Vander Alves, Renato Silveira, Luiz A.F. Laranjeira · 2011 · Journal of Systems and Software
  78. Permissive Controller Synthesis for Probabilistic Systems
    Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma · 2014 · Lecture notes in computer science
  79. Architecting dynamic cyber-physical spaces
    Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi · 2016 · Computing
  80. Automatic verification of concurrent stochastic systems
    Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos · 2021 · Formal Methods in System Design
  81. P2AMF: Predictive, Probabilistic Architecture Modeling Framework
    Pontus Johnson, Johan Ullberg, Markus Buschle, Ulrik Franke, Khurram Shahzad · 2013 · Lecture notes in business information processing
  82. Efficient Probabilistic Model Checking on General Purpose Graphics Processors
    Dragan Bošnački, Stefan Edelkamp, Damian Sulewski · 2009 · Lecture notes in computer science
  83. On finite-state approximants for probabilistic computation tree logic
    Michael Huth · 2005 · Theoretical Computer Science
  84. Trade-off analysis meets probabilistic model checking
    Christel Baier A, Clemens Dubslaff, Sascha Klüppelholz · 2014 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  85. Reachability in recursive Markov decision processes
    Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt, Antonı́n Kučera · 2008 · Information and Computation
  86. GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
    Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Raian Ali, Vander Alves, Luciano Baresi · 2016 · Information and Software Technology
  87. Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
    Christel Baier A, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein · 2019 · Information and Computation
  88. Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
    Thom Badings, Licio B. R. R. Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle I. A. Stoelinga, Nils Jansen · 2023 · Journal of Artificial Intelligence Research
  89. Quantitative μ-calculus and CTL defined over constraint semirings
    Alberto Lluch Lafuente, Ugo Montanari · 2005 · Theoretical Computer Science
  90. Robust PCTL model checking
    Alessandro D’Innocenzo, Alessandro Abate, Joost-Pieter Katoen · 2012 · ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
  91. Performability assessment by model checking of Markov reward models
    Christel Baier A, Lucia Cloth, Boudewijn R. H. M. Haverkort, Holger Hermanns, Joost-Pieter Katoen · 2010 · Formal Methods in System Design
  92. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks
    Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth · 2012 · Frontiers in Plant Science
  93. Model Checking Probabilistic Pushdown Automata
    Javier Esparza, Antonı́n Kučera, Richard Mayr · 2006 · Logical Methods in Computer Science
  94. Comparing Reliability-Redundancy Tradeoffs for Two von Neumann Multiplexing Architectures
    Debayan Bhaduri, Sandeep K. Shukla, Paul Graham, Maya B. Gokhale · 2007 · IEEE Transactions on Nanotechnology
  95. Scalable automated methods for dynamic program analysis
    Gul Agha, Koushik Sen · 2006
  96. Controller Synthesis for Probabilistic Systems (Extended Abstract)
    Christel Baier A, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski · 2006 · Kluwer Academic Publishers eBooks
  97. From Qualitative to Quantitative Analysis of Timed Systems
    Patricia Bouyer · 2009
  98. Debugging of Dependability Models Using Interactive Visualization of Counterexamples
    Husain Aljazzar, Stefan Leue · 2008 · International Conference on the Quantitative Evaluation of Systems (QEST)
  99. Probability and hiding in concurrent processes
    Sonja Georgievska · 2011 · TU/e Research Portal
  100. Parameter synthesis in Markov models
    Sebastian Junges · 2020 · RWTH Publications (RWTH Aachen)