| 2014 |
| DOI | Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki.
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components,
Volume 8559 of LNCS, pages 309-325, Springer, 2014. |
| DOI | Dimitri Bohlender, Harold Yorick Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll.
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models,
Volume 8803 of LNCS, pages 177-192, Springer, 2014. |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer.
Analysis of Timed and Long-Run Objectives in Markov Automata,
pages Paper 17, Department of Theoretical Computer Science, Technical University of Braunschweig, 2014. |
| DOI | Radu Mateescu, Anton J. Wijs.
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity,
pages 354-376, Elsevier Science, 2014. |
| Full Text | Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll.
Formal Validation Methods in Model-Based Spacecraft Systems Engineering,
pages 340-375, Taylor and Francis, 2014. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Accelerating Parametric Probabilistic Verification,
Volume 8657 of LNCS, pages 404-420, Springer, 2014. |
| DOI | .
Formal techniques for distributed objects, components, and systems: 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014,
Volume 8461 of LNCS, pages XII, 299 S., Springer, 2014. |
| DOI | Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins.
Counterexample Generation for Hybrid Automata,
Volume 419 of Communications in Computer and Information Science, pages 88-106, Springer, 2014. |
| DOI | Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen.
Observable Interface Behaviour and Inheritance,
pages 561-605, Cambridge Univ. Press, 2014. |
| 2013 |
| Full Text | Haidi Yue.
Analyzing energy consumption of wireless networks,
pages 169 S. : Ill., graph. Darst., Publikationsserver der RWTH Aachen University, 2013. |
| DOIFull Text | Frédéric Herbreteau, B. Srivathsan.
Coarse abstractions make Zeno behaviours difficult to detect,
pages 06, Department of Theoretical Computer Science, Technical University of Braunschweig, 2013. |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer.
Modelling, Reduction and Analysis of Markov Automata,
Volume 8054 of LNCS, pages 34-50, Springer, 2013. |
| DOI | Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang.
A Semantics for Every GSPN,
Volume 7927 of LNCS, pages 90-109, 2013. |
| DOI | Hans Christian Dehnert, David Parker, Joost-Pieter Katoen.
SMT-based Bisimulation Minimisation of Markov Models,
Volume 7737 of LNCS, pages 28-47, Springer, 2013. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu.
Model-Based Energy Optimization of Automotive Control Systems,
pages 761-766, IEEE, 2013. |
| DOI | Joost-Pieter Katoen, Doron Peled.
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems,
Volume 7792 of LNCS, pages 411-430, Springer, 2013. |
| DOI | Hongfei Fu.
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata,
pages 323-332, ACM, 2013. |
| DOI | Joost-Pieter Katoen.
Concurrency meets Probability,
Volume 8052 of LNCS, pages 44-45, Springer, 2013. |
| DOI | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
High-level Counterexamples for Probabilistic Automata,
Volume 8054 of LNCS, pages 39-54, Springer, 2013. |
| Arpit Sharma.
A Two Step Perspective for Kripke Structure Reduction,
Institute of Computer Science AS CR, 2013. |
| DOI | Bernhard Ern, Viet Yen Nguyen, Thomas Noll.
Characterization of Failure Effects on AADL Models,
Volume 8153 of LNCS, pages 241-252, Springer, 2013. |
| DOI | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz.
Lazy abstractions for timed automata,
Volume 8044 of LNCS, pages 990-1005, Springer, 2013. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver.
PRINSYS,
Volume 8054 of LNCS, pages 172-187, Springer, 2013. |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate.
Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems,
pages 293-303, ACM, 2013. |
| DOI | Markus Bals, Christina Jansen, Thomas Noll.
Incremental Construction of Greibach Normal Form for Context-Free Grammars,
pages 165-168, IEEE Computer Society, 2013. |