The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joost-Pieter Katoen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Howard Bowman, Joost-Pieter Katoen
    A True Concurrency Semantics for ET-LOTOS. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:228-238 [Conf]
  2. Joost-Pieter Katoen
    Causal Behaviours and Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:258-277 [Conf]
  3. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model Checking Continuous-Time Markov Chains by Transient Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:358-372 [Conf]
  4. Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas
    Code Generation = A* + BURS. [Citation Graph (0, 0)][DBLP]
    CC, 1996, pp:160-176 [Conf]
  5. Joost-Pieter Katoen, Berry Schoenmakers
    A Parallel program for the recognition of P-Invariant segments. [Citation Graph (0, 0)][DBLP]
    Algorithms and Parallel VLSI Architectures, 1991, pp:79-84 [Conf]
  6. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
    Comparative Branching-Time Semantics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:482-497 [Conf]
  7. Christel Baier, Joost-Pieter Katoen, Holger Hermanns
    Approximate Symbolic Model Checking of Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:146-161 [Conf]
  8. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
    Simulation for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:338-354 [Conf]
  9. Holger Hermanns, Joost-Pieter Katoen
    Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:59-81 [Conf]
  10. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
    Causal Ambiguity and Partial Orders in Event Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:317-331 [Conf]
  11. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
    The Modest Modeling Tool and Its Implementation. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2003, pp:116-133 [Conf]
  12. Joost-Pieter Katoen
    Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:615-616 [Conf]
  13. Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
    Model Checking Markov Reward Models with Impulse Rewards. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:722-731 [Conf]
  14. Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
    On Integrating the MÖBIUS and MODEST Modeling Tools. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:671- [Conf]
  15. Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen
    Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:704-709 [Conf]
  16. Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
    Model Checking Performability Properties. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:103-112 [Conf]
  17. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    ETMCC: Model Checking Performability Properties of Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:673-0 [Conf]
  18. Mieke Massink, Joost-Pieter Katoen, Diego Latella
    Model Checking Dependability Attributes of Wireless Group Communication. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:711-720 [Conf]
  19. Joost-Pieter Katoen, Pedro R. D'Argenio
    General Distributions in Process Algebra. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:375-430 [Conf]
  20. Joost-Pieter Katoen, Lennard Lambert
    Pomsets for MSC. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:197-207 [Conf]
  21. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    Safety and Liveness in Concurrent Pointer Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:280-312 [Conf]
  22. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    On a Temporal Logic for Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:285-304 [Conf]
  23. Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    Discrete-Time Rewards Model-Checked. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:88-104 [Conf]
  24. Joost-Pieter Katoen, Rom Langerak, Diego Latella
    Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:253-268 [Conf]
  25. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    Who is Pointing When to Whom? [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:250-262 [Conf]
  26. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
    A Probabilistic Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:355-374 [Conf]
  27. Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
    On Specifying Real-Time Systems in a Causality-Based Setting. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:385-404 [Conf]
  28. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Logical Characterisation of Performability Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:780-792 [Conf]
  29. Christel Baier, Joost-Pieter Katoen, Diego Latella
    Metric Semantics for True Concurrent Real Time. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:568-579 [Conf]
  30. Dino Distefano, Arend Rensink, Joost-Pieter Katoen
    Model Checking Birth and Death. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:435-447 [Conf]
  31. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    Towards Model Checking Stochastic Process Algebra. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:420-439 [Conf]
  32. Joost-Pieter Katoen
    A Semi-Markov Model of a Home Network Access Protocol. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:293-298 [Conf]
  33. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
    MoDeST - A Modelling and Description Language for Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:87-104 [Conf]
  34. Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Faster and Symbolic CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:23-38 [Conf]
  35. Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
    Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:57-70 [Conf]
  36. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Automated Performance and Dependability Evaluation Using Model Checking. [Citation Graph (0, 0)][DBLP]
    Performance, 2002, pp:261-289 [Conf]
  37. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    An algebraic approach to the specification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:126-147 [Conf]
  38. Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen
    Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:311-322 [Conf]
  39. Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev
    A Markov Reward Model Checker. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:243-244 [Conf]
  40. Joost-Pieter Katoen, Ivan S. Zapreev
    Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:301-310 [Conf]
  41. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:104-114 [Conf]
  42. Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
    Embedded Software Analysis with MOTOR. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:268-294 [Conf]
  43. Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Use of Model Checking Techniques for Dependability Evaluation. [Citation Graph (0, 0)][DBLP]
    SRDS, 2000, pp:228-237 [Conf]
  44. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:61-76 [Conf]
  45. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
    The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:416-431 [Conf]
  46. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A Markov Chain Model Checker. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:347-362 [Conf]
  47. Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:220-235 [Conf]
  48. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
    A QoS-Oriented Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:76-91 [Conf]
  49. Albert Nymeyer, Joost-Pieter Katoen
    Code Generation Based on Formal BURS Therory and Heuristic Search. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:8, pp:597-635 [Journal]
  50. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    A Stochastic Causality-Based Process Algebra. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:552-565 [Journal]
  51. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    Partial Order Models for Quantitative Extensions of LOTOS. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:9-10, pp:925-950 [Journal]
  52. Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen
    A Design Model for Open Distributed Processing Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1995, v:27, n:8, pp:1263-1285 [Journal]
  53. Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
    Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1996, v:9, n:4, pp:157-171 [Journal]
  54. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    On Generative Parallel Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  55. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Towards a Logic for Performance and Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:161-175 [Journal]
  56. Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
    YMCA: - Why Markov Chain Algebra? - . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:107-112 [Journal]
  57. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
    Bisimulation and Simulation Relations for Markov Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:73-78 [Journal]
  58. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:550-575 [Journal]
  59. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
    A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:189-216 [Journal]
  60. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
    Comparative branching-time semantics for Markov chains. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:2, pp:149-214 [Journal]
  61. Pedro R. D'Argenio, Joost-Pieter Katoen
    A theory of stochastic systems part I: Stochastic automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:1, pp:1-38 [Journal]
  62. Pedro R. D'Argenio, Joost-Pieter Katoen
    A theory of Stochastic systems. Part II: Process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:1, pp:39-74 [Journal]
  63. Christel Baier, Holger Hermanns, Joost-Pieter Katoen
    Probabilistic weak simulation is decidable in polynomial time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:89, n:3, pp:123-130 [Journal]
  64. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
    Model-checking large structured Markov chains. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:69-97 [Journal]
  65. Holger Hermanns, Joost-Pieter Katoen
    Guest editors' introduction: Model checking in a nutshell. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:1-5 [Journal]
  66. C. Hemerik, Joost-Pieter Katoen
    Bottom-Up Tree Acceptors. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:13, n:1, pp:51-72 [Journal]
  67. Holger Hermanns, Joost-Pieter Katoen
    Automated compositional Markov chain generation for a plain-old telephone system. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:97-127 [Journal]
  68. Joost-Pieter Katoen, Berry Schoenmakers
    Systolic Arrays for the Recognition of Permutation-Invariant Segments. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:27, n:2, pp:119-137 [Journal]
  69. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model checking meets performance evaluation. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:10-15 [Journal]
  70. Boudewijn R. Haverkort, Joost-Pieter Katoen
    Performance and verification. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:3- [Journal]
  71. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A tool for model-checking Markov chains. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:153-172 [Journal]
  72. Joost-Pieter Katoen, Perdita Stevens
    Guest editors' introduction: Advancements and extensions of verification techniques. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:99-101 [Journal]
  73. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
    Guest editors' introduction: quantitative analysis of real-time embedded systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:605-606 [Journal]
  74. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
    Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:2-26 [Journal]
  75. Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
    Process algebra for performance evaluation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:43-87 [Journal]
  76. Joost-Pieter Katoen
    Real-Time and Probabilistic Systems - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:1-3 [Journal]
  77. Joost-Pieter Katoen, Christel Baier, Diego Latella
    Metric semantics for true concurrent real time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:501-542 [Journal]
  78. Joost-Pieter Katoen, Albert Nymeyer
    Pattern-matching algorithms based on term rewrite systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:439-464 [Journal]
  79. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model-Checking Algorithms for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:524-541 [Journal]
  80. Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
    Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:529-530 [Journal]
  81. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:10, pp:812-830 [Journal]
  82. Tingting Han, Joost-Pieter Katoen
    Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:331-346 [Conf]
  83. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
    Three-Valued Abstraction for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:311-324 [Conf]
  84. Martin R. Neuhäußer, Joost-Pieter Katoen
    Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:412-427 [Conf]
  85. Joost-Pieter Katoen
    Abstraction of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:1-3 [Conf]
  86. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
    Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:435-450 [Conf]
  87. Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
    Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:87-101 [Conf]
  88. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
    motor: The modestTool Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:500-504 [Conf]
  89. Tingting Han, Joost-Pieter Katoen
    Counterexamples in Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:72-86 [Conf]
  90. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
    Model checking mobile stochastic logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:42-70 [Journal]

  91. LTL Model Checking of Time-Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]


  92. libalf: The Automata Learning Framework. [Citation Graph (, )][DBLP]


  93. A Model Checker for AADL. [Citation Graph (, )][DBLP]


  94. Abstraction for Stochastic Systems by Erlang's Method of Stages. [Citation Graph (, )][DBLP]


  95. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. [Citation Graph (, )][DBLP]


  96. 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. [Citation Graph (, )][DBLP]


  97. 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. [Citation Graph (, )][DBLP]


  98. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. [Citation Graph (, )][DBLP]


  99. Maximizing system lifetime by battery scheduling. [Citation Graph (, )][DBLP]


  100. Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]


  101. Compositional Abstraction for Stochastic Systems. [Citation Graph (, )][DBLP]


  102. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. [Citation Graph (, )][DBLP]


  103. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. [Citation Graph (, )][DBLP]


  104. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]


  105. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. [Citation Graph (, )][DBLP]


  106. An industrial-strength formal method -- A Modest survey. [Citation Graph (, )][DBLP]


  107. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. [Citation Graph (, )][DBLP]


  108. Analyzing Energy Consumption in a Gossiping MAC Protocol. [Citation Graph (, )][DBLP]


  109. Regular Expressions for PCTL Counterexamples. [Citation Graph (, )][DBLP]


  110. The Ins and Outs of the Probabilistic Model Checker MRMC. [Citation Graph (, )][DBLP]


  111. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. [Citation Graph (, )][DBLP]


  112. Simulation-Based CTMC Model Checking: An Empirical Evaluation. [Citation Graph (, )][DBLP]


  113. Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. [Citation Graph (, )][DBLP]


  114. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]


  115. Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. [Citation Graph (, )][DBLP]


  116. Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]


  117. Advances in Probabilistic Model Checking. [Citation Graph (, )][DBLP]


  118. Perspectives in Probabilistic Verification. [Citation Graph (, )][DBLP]


  119. Time-Abstracting Bisimulation for Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  120. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. [Citation Graph (, )][DBLP]


  121. Symmetry reduction for stochastic hybrid systems. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002