| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Three-valued abstraction for probabilistic systems.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A linear process-algebraic format with data for probabilistic automata. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen |
Minimal Critical Subsystems for Discrete-Time Markov Models. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart D. Theelen, Joost-Pieter Katoen, Hao Wu |
Model checking of Scenario-Aware Dataflow with CADP. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer |
Quantitative Timed Analysis of Interactive Markov Chains. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen |
Robust PCTL model checking. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-bounded reachability in tree-structured QBDs by abstraction. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The ins and outs of the probabilistic model checker MRMC. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
Safety, Dependability and Performance Analysis of Extended AADL Models. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Barbara König (eds.) |
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arpit Sharma, Joost-Pieter Katoen |
Weighted Lumpability on Markov Chains. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll |
A Local Greibach Normal Form for Hyperedge Replacement Grammars. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Model Checking: One Can Do Much More Than You Think! |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Efficient CTMC Model Checking of Linear Real-Time Objectives. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
New Results on Abstract Probabilistic Automata. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen |
Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. |
NEW2AN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Towards Trustworthy Aerospace Systems: An Experience Report. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
Hierarchical Counterexamples for Discrete-Time Markov Chains. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Reachability probabilities in Markovian Timed Automata. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Observing Continuous-Time MDPs by 1-Clock Timed Automata. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative automata model checking of autonomous stochastic hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
Abstract Probabilistic Automata. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongfei Fu, Joost-Pieter Katoen |
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Learning Communicating Automata from MSCs. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Software engineering/requirements/specifications/elicitation methods, software engineering/design/design concepts, computing methodologies/artificial intelligence/learning/induction, theory of computation/computation by abstract devices/models of computation/automata |
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
SMA - The Smyle Modeling Approach. |
Computing and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Computing Optimal Schedules for battery Usage in Embedded Systems. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performance evaluation and model checking join forces. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performability assessment by model checking of Markov reward models. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A Linear Process-Algebraic Format for Probabilistic Systems with Data. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, data-dependent probabilistic choice, symbolic transformations, linearisation |
| 1 | Haidi Yue, Joost-Pieter Katoen |
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. |
ASMTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
libalf: The Automata Learning Framework. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
DTMC Model Checking by SCC Reduction. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
Quantitative Verification in Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
Analyzing Energy Consumption in a Gossiping MAC Protocol. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Advances in Probabilistic Model Checking. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen |
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Joost-Pieter Katoen, Berteun Damman |
Counterexample Generation in Probabilistic Model Checking. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Codesign of dependable systems: A component-based modeling language. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
Maximizing system lifetime by battery scheduling. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer |
Compositional Abstraction for Stochastic Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
LTL Model Checking of Time-Inhomogeneous Markov Chains. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen |
The How and Why of Interactive Markov Chains. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The Ins and Outs of the Probabilistic Model Checker MRMC. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
none |
| 1 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Applications, Abstraction, Probabilistic model checking, Infinite-state systems |
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev |
Simulation-Based CTMC Model Checking: An Empirical Evaluation. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
model checking, tools, Discrete event simulation, probabilistic systems, experimental comparison |
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Verification and performance evaluation of aadl models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
| 1 | Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen |
Delayed Nondeterminism in Continuous-Time Markov Decision Processes. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
How to model and analyze gossiping protocols? |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen |
Principles of model checking. |
|
2008 |
RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Abstraction for Stochastic Systems by Erlang's Method of Stages. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Alexandru Mereacre |
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, Joost-Pieter Katoen |
Symmetry reduction for stochastic hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
SMA - The Smyle Modeling Approach. |
CEE-SET |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen |
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Reachability in continuous-time Markov reward decision processes. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Berteun Damman, Tingting Han, Joost-Pieter Katoen |
Regular Expressions for PCTL Counterexamples. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Perspectives in Probabilistic Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
| 1 | Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink |
Model checking mobile stochastic logic. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin R. Neuhäußer, Joost-Pieter Katoen |
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen |
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
motor: The modestTool Environment. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Joost-Pieter Katoen |
Counterexamples in Probabilistic Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Abstraction of Probabilistic Systems. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (eds.) |
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Executive Summary -- Quantitative Aspects of Embedded Systems. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tingting Han, Joost-Pieter Katoen |
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Three-Valued Abstraction for Continuous-Time Markov Chains. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev |
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen |
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism |
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Bisimulation and Simulation Relations for Markov Chains. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen |
YMCA: - Why Markov Chain Algebra? - . |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
Towards a Logic for Performance and Mobility. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef |
Guest editors' introduction: quantitative analysis of real-time embedded systems. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen |
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev |
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort |
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf |
Comparative branching-time semantics for Markov chains. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Joost-Pieter Katoen |
A theory of Stochastic systems. Part II: Process algebra. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Joost-Pieter Katoen |
A theory of stochastic systems part I: Stochastic automata. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model checking meets performance evaluation. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen |
Performance and verification. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan |
Model Checking Markov Reward Models with Impulse Rewards. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) |
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] |
Model-Based Testing of Reactive Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
Safety and Liveness in Concurrent Pointer Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev |
A Markov Reward Model Checker. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen |
Probabilistic weak simulation is decidable in polynomial time. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")