Publications

2020
arXiv:2007.06327 [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Stefan Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020.
DOI fulltext PDF [bibtex] [issue] Florent Delgrange, Joost-Pieter Katoen, Mickael Randour, Tim Quatmann. Simple Strategies in Multi-Objective MDPs, Tools and Algorithms for the Construction and Analysis of Systems 2020 (TACAS 2020), Volume 12078 of Theoretical Computer Science and General Issues, 346-364, Springer, 2020.
arXiv:2004.14835 [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Philipp Schröer, Sebastian Junges. PrIC3, 2020. https://arxiv.org/abs/2004.14835
DOI fulltext PDF [bibtex] [issue] Bohua Zhan, Jie An, Miaomiao Zhang, Mingshuai Chen, Naijun Zhan. Learning One-Clock Timed Automata, The 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078 of LNCS, 444-462, Springer, 2020.
DOI [bibtex] [issue] Christel Baier, Christian Hensel, Joachim Klein, Joost-Pieter Katoen, Lisa Hutschenreiter, Sebastian Junges. Parametric Markov chains, Information and computation 272, pages 104504, Elsevier, 2020.
DOI [bibtex] [issue] Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 12078 of Theoretical Computer Science and General Issues, 287-305, Springer, 2020.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions, IEEE transactions on automatic control, Institute of Electrical and Electronics Engineers, 2020.
DOI fulltext PDF [bibtex] [issue] Bai Xue, Mingshuai Chen, Naijun Zhan, Shenghua Feng, Sriram Sankaranarayanan. Unbounded-Time Safety Verification of Stochastic Differential Dynamics, The 32nd International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 327-348, Springer, 2020.
DOI fulltext PDF [bibtex] [issue] Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Volume 152 of Leibniz international proceedings in informatics, 31:1-31:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2020.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Jürgen Giesl, Marcel Hark. Aiming low is harder, Proceedings of the ACM on programming languages 4 (POPL), pages 1-28, ACM, 2020.
DOI fulltext PDF [bibtex] [issue] Martin Fränzle, Mingshuai Chen, Naijun Zhan, Peter N. Mosaad, Yangjia Li. Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control, Acta informatica, 32 Seiten, Springer, 2020.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Martin Grohe, Peter Lindner. Generative Datalog with Continuous Distributions, 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), 347-360, ACM, 2020.
arXiv:2006.09040 [bibtex] [issue] Christopher Brix, Thomas Noll. Debona, 2020. https://arxiv.org/abs/2006.09040
DOI [bibtex] [issue] Joost-Pieter Katoen, Krishnendu Chatterjee, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, International Conference on Computer Aided Verification (CAV20), Volume 12225 of LNCS, 398-420, Springer, 2020.
DOI [bibtex] [issue] Andreas Gerndt, Liana Mikaelyan, Sascha Müller, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees, Science of computer programming 196, pages 102478, Elsevier Science, 2020.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Marc Bouissou, Pavel Krcal, Shahid Khan. Various Ways to Quantify BDMPs, The 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pages 1-14, NICTA, 2020.
DOI [bibtex] [issue] Jan Křetínský, Krishnendu Chatterjee, Maximilian Weininger, Pranav Ashok, Tobias Winkler. Approximating Values of Generalized-Reachability Stochastic Games, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS20), ACM New York, NY, USA, 2020.
DOI [bibtex] [issue] Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 31st International Conference on Concurrency Theory (CONCUR 2020), 44:1-44:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2019
DOI [bibtex] [issue] Andreas Gerndt, Liana Mikaelyan, Sascha Müller, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees, 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Volume 1008 of Communications in computer and information science, 37-54, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, David Parker, Enno Ruijters, Ernst Moritz Hahn, Hans Christian Hensel, Jan Křetínský, Joachim Klein, Marcel Steinmetz, Michaela Klauck, Tim Quatmann. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11429 of LNCS, 69-92, Springer, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Marc Bouissou, Matthias Volk, Shahid Khan. Synergizing Reliability Modeling Languages, 24th Pacific Rim International Symposium on Dependable Computing (PRDC), 266-275, IEEE, 2019.
DOI [bibtex] [issue] Hans Christian Hensel, Joost-Pieter Katoen, Milan Češka, Sebastian Junges. Counterexample-Driven Synthesis for Probabilistic Program Sketches, 3rd World Congress on Formal Methods (FM 2019), Volume 11800 of LNCS, 101-120, Springer, 2019.
DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen, Mingzhang Huang. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, Elsevier, 2019.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. On the hardness of analyzing probabilistic programs, Acta informatica 56 (3), pages 255–285, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Milan Češka, Nils Jansen, Sebastian Junges. Shepherding Hordes of Markov Chains, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11428 of LNCS, 172-190, Springer, 2019.
DOI [bibtex] [issue] Jip Josephine Spel, Joost-Pieter Katoen, Sebastian Junges. Are Parametric Markov Chains Monotonic?, 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Volume 11781 of LNCS, 479-496, Springer, 2019.
arXiv:1906.00763 [bibtex] [issue] Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 23 Seiten, 2019. https://arxiv.org/abs/1906.00763
DOI arXiv:1910.11666 fulltext PDF [bibtex] [issue] Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 25 Seiten, 2019. https://arxiv.org/abs/1910.11666
DOI [bibtex] [issue] Joost-Pieter Katoen, Majdi Ghadhab, Matthias Kuntz, Matthias Volk, Sebastian Junges. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, Elsevier Science, 2019.
DOI fulltext PDF [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Thomas Noll. Quantitative separation logic, Proceedings of the ACM on programming languages 3 (POPL), pages 34, ACM, 2019.
DOI fulltext PDF [bibtex] [issue] Guillermo A. Pérez, Joost-Pieter Katoen, Sebastian Junges, Tobias Winkler. On the Complexity of Reachability in Parametric Markov Decision Processes, CONCUR 2019, Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Jun Sun, Nan Guan. Dependable software engineering, Volume 11951 of LNCS, viii, 138 Seiten : Illustrationen, Springer, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer, Thomas Noll, Tim Felix Lange. IC3 software model checking, International journal on software tools for technology transfer, 1-27, Springer, 2019.
DOI [bibtex] [issue] Christian Dehnert, Joost-Pieter Katoen, Milan Češka, Nils Jansen, Sebastian Junges. Model Repair Revamped, Volume 11500 of LNCS, 107-125, Springer, 2019.
DOI [bibtex] [issue] Armando Tacchella, Arthur Bit-Monnot, Francesco Leofante, Luca Pulina. SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2019), Volume 11606 of LNCS, 674-686, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, David Parker, Enno Ruijters, Michaela Klauck, Tim Quatmann. The Quantitative Verification Benchmark Set, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11427 of LNCS, 344-350, Springer, 2019.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Correct-by-construction policies for POMDPs, 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week) (SNR '19), 6-8, ACM Press, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Nils Nießen, Norman Weik. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, 24th International Conference On Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 40-58, Springer, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Osman Hasan, Sofiène Tahar, Yassmeen Elderhalli. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17th International Conference on Software Engineering and Formal Methods (SEFM), Volume 11724 of LNCS, 513-531, Springer, 2019.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Multiple Analyses, Requirements Once, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
DOI [bibtex] [issue] Armando Tacchella, Claudio Castellini, Dario Guidotti, Francesco Leofante. Repairing Learned Controllers with Convex Optimization, 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Volume 11494 of Theoretical Computer Science and General Issues, 364-373, Springer, 2019.
DOI [bibtex] [issue] Armando Tacchella, Claudio Castellini, Dario Guidotti, Francesco Leofante. Improving Reliability of Myocontrol Using Formal Verification, IEEE transactions on neural systems and rehabilitation engineering 27 (4), pages 564-571, IEEE, 2019.
DOI [bibtex] [issue] Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking, Volume 10000 of LNCS, 420-451, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Peter Rossmanith, Pinar Heggernes. 44th International Symposium on Mathematical Foundations of Computer Science, Volume 138 of Leibniz international proceedings in informatics, 1 Online-Ressource : Illustrationen, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.
2018
DOI [bibtex] [issue] Joost-Pieter Katoen, Mary Hayhoe, Nils Jansen, Ruohan Zhang, Sebastian Junges, Ufuk Topcu. Model Checking for Safe Navigation Among Humans, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, 207-222, Springer, 2018.
DOI [bibtex] [issue] Andreas Gerndt, Sascha Müller, Thomas Noll. Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees, Journal of Aerospace Information Systems, 2018.
DOI [bibtex] [issue] Christoph Matheja, Florian Zuleger, Jens Katelaan, Thomas Noll. Harrsh, 13th International Workshop on the Implementation of Logics (IWIL 2018), Kalpa Publications in Computing, 23-36, 2018.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Rebecca Haehn. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018.
DOI [bibtex] [issue] Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Synthesis in pMDPs, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Volume 11138 of LNCS, 160-176, Springer, 2018.
fulltext PDF [bibtex] [issue] Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, 32nd AAAI Conference on Artificial Intelligence, 8020-8021, 2018.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Silvia Lizeth Taipa Tarifa. Proceedings of the PhD Symposium at iFM'18 on Formal Methods, Volume 483 of Research report / University of Oslo, 2018.
fulltext PDF [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, AUAI Press, 2018.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Maurice van Keulen. Rule-Based Conditioning of Probabilistic Data, 12th International Conference on Scalable Uncertainty Management (SUM 2018), Volume 11142 of Lecture Notes in Artificial Intelligence, 290-305, Springer, 2018.
fulltext PDF [bibtex] [issue] Elisabetta Di Nitto, Erika Ábrahám, Raffaela Mirandola. 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering (GE 2018), IEEE, 2018.
arXiv:1805.09938 [bibtex] [issue] Armando Tacchella, Francesco Leofante, Luca Pulina, Nina Narodytska. Automated Verification of Neural Networks, 8 Seiten : Tabellen, Diagramme, 2018. https://arxiv.org/abs/1805.09938
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante. Task Planning with OMT, 14th International Conference on Integrated Formal Methods (IFM 2018), Volume 11023 of Programming and Software Engineering, 316-325, Springer, 2018.
DOI [bibtex] [issue] Borzoo Bonakdarpour, Erika Ábrahám. HyperPCTL, 15th International Conference on Quantitative Evaluation of Systems (QEST 2018), LNCS, Springer, 2018.
fulltext PDF [bibtex] [issue] Erika Ábrahám. Symbolic Computation Techniques in SMT Solving, Volume 10900 of LNCS, XII-XII, Springer, 2018.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante, Gerhard Lakemeyer, Tim Dieter Niemüller. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information systems frontiers 21 (1), pages 87-107, Kluwer, 2018.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Stefan Schupp. The HyDRA Tool, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
DOI fulltext PDF [bibtex] [issue] Bican Xia, Haokun Li, Joost-Pieter Katoen, Naijun Zhan, Yijun Feng. Monitoring CTMCs by Multi-clock Timed Automata, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 507-526, Springer, 2018.
DOI [bibtex] [issue] Frederick Prinz, Joost-Pieter Katoen, Martin R. Neuhäußer, Thomas Noll, Tim Lange. Improving Generalization in Software IC3, 23rd International Symposium on Model Checking Software (Spin 2018), LNCS, 85-102, Springer, 2018.
DOI [bibtex] [issue] Christina Jansen, Christoph Matheja, Hannah Arndt, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness, International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 271-286, Springer, 2018.
DOI [bibtex] [issue] Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li. Positive root isolation for poly-powers by exclusion and differentiation, Journal of symbolic computation 85, pages 148-169, Elsevier, 2018.
DOI [bibtex] [issue] Annabelle Mciver, Benjamin Lucien Kaminski, Federico Olmedo, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Conditioning in Probabilistic Programming, ACM transactions on programming languages and systems 40 (1), pages 4, Association for Computing Machinery, 2018.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, IEEE transactions on industrial informatics 14 (1), pages 370-379, IEEE, 2018.
[bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, Curran Associates, Inc., 2018.
DOI [bibtex] [issue] Francesco Leofante. Optimal Multi-robot Task Planning, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 5771-5772, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Justin Winkens, Stefan Schupp. Context-Dependent Reachability Analysis for Hybrid Systems, 2018 IEEE International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Stefan Schupp. Spread the Work, 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Stefan Schupp. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806, Part 2 of LNCS, 287-302, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Reachability in MDP, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806 of LNCS, 320-339, Springer, 2018.
DOI [bibtex] [issue] Ana Sokolova, Ezio Bartocci, Joost-Pieter Katoen, Krishnendu Chatterjee, Sebastian Arming. Parameter-Independent Strategies for pMDPs via POMDPs, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, 53-70, Springer, 2018.
DOI [bibtex] [issue] Annabelle McIver, Benjamin Lucien Kaminski, Carroll Morgan, Joost-Pieter Katoen. A new proof rule for almost-sure termination, Proceedings of the ACM on Programming Languages 2, pages 33:1-33:28, ACM, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Thomas Rambow. Formal Verification of Automotive Simulink Controller Models, 22nd International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz. How long, O Bayesian network, will I sample thee?, 27th European Symposium on Programming (ESOP 2018), LNCS, 186-213, Springer, 2018.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo, Joost-Pieter Katoen. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM 65 (5), pages 30:1-30:68, 2018.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Tim Quatmann. Sound Value Iteration, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 643-661, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Daniel Schemmel, Julian Büning, Klaus Wehrle, Oscar Soria Dustmann, Thomas Noll. Symbolic Liveness Analysis of Real-World Software, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, 447-466, Springer, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Verifying Auto-generated C Code from Simulink, 22nd International Symposium of Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
DOI [bibtex] [issue] Christina Jansen, Christoph Matheja, Hannah Arndt, Joost-Pieter Katoen, Thomas Noll. Let this Graph Be Your Witness!, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, 3-11, Springer, 2018.
DOI [bibtex] [issue] Gaoang Liu, Hao Wu, Huimin Lin, Joost-Pieter Katoen, Xiaoxiao Yang. Branching Bisimulation and Concurrent Object Verification, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), 267-278, IEEE, 2018.
arXiv:1802.10467 [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Thomas Noll. Quantitative Separation Logic, 159 Seiten, 2018. https://arxiv.org/abs/1802.10467
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk, Sebastian Junges. One Net Fits All, 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018), Volume 10877 of LNCS, 272-293, Springer, 2018.
2017
DOI [bibtex] [issue] A. Cimatti, A. Griggio, A. M. Bigatti, B. Becker, B. Buchberger, D. Kroening, Erika Ábrahám, J. Abbott, J. H. Davenport, M. Brain, M. England, P. Fontaine, S. Forrest, T. Sturm, W. M. Seiler. Satisfiability checking and symbolic computation, ACM Communications in computer algebra 50 (4), pages 145-147, ACM, 2017.
DOI [bibtex] [issue] Arend Rensink, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga, Sebastian Junges. Fault trees on a diet, Formal aspects of computing 29 (4), pages 651-703, Springer, 2017.
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Ilya Tkachev, Joost-Pieter Katoen. Quantitative model-checking of controlled discrete-time Markov processes, Information and Computation 253 (Part 1), pages 1-35, Elsevier, 2017.
DOI fulltext PDF [bibtex] [issue] Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, embeddedworld Exibition & Conference, 5 Seiten, Zenodo, 2017.
[bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Symposium on Logic in Computer Science (LICS), 1-12, IEEE, 2017.
arXiv:1702.04311 [bibtex] [issue] Christian Dehnert, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. A storm is Coming, 14 Seiten : Tabellen, Diagramme, 2017. https://arxiv.org/abs/1702.04311
fulltext PDF [bibtex] [issue] Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie, Bits en Chips 1, pages 38-39, Techwatch bv, 2017.
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. A Storm is Coming, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, 592-600, Springer, 2017.
DOI [bibtex] [issue] Christina Jansen, Christoph Matheja, Florian Zuleger, Jens Katelaan, Thomas Noll. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, 26th European Symposium on Programming (ESOP 2017), Volume 10201 of LNCS, 611-638, Springer, 2017.
fulltext PDF [bibtex] [issue] Alessandro Cimatti, Harold Yorick Bruintjes, Joost-Pieter Katoen, Marco Bozzano, Stefano Tonetta, Thomas Noll. The COMPASS 3.0 Toolset, 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 2 Seiten, 2017.
DOI [bibtex] [issue] Hasan A. Poonawala, Ivan Papusha, Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, 133-150, Springer, 2017.
DOI [bibtex] [issue] Andrea Turrini, Arnd Hartmanns, Carlos E. Budde, E. Moritz Hahn, Hans Christian Dehnert, Sebastian Junges. JANI, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, 151-168, Springer, 2017.
DOI [bibtex] [issue] Andreas Gerndt, Sascha Müller, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees, AIAA Space and Astronautics Forum and Exposition 2017, 1140-1149, Curran Associates, Inc., 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Majdi Ghadhab, Matthias Kuntz, Matthias Volk, Sebastian Junges. Model-based Safety Analysis for Vehicle Guidance Systems, 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Volume 10488 of LNCS, 3-19, Springer, 2017.
DOI [bibtex] [issue] Arne Storjohann, Borzoo Bonakdarpour, Joost-Pieter Katoen, Matthias Volk, Saba Aflaki. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 36th International Symposium on Reliable Distributed Systems (SRDS 2017), 94-103, IEEE, 2017.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu. Motion planning under partial observability using game-based abstraction, IEEE 56th Annual Conference on Decision and Control (CDC), 2201-2208, IEEE, 2017.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen. Modal Stochastic Games, KiMfest, Volume 10460 of LNCS, 426-448, Springer, 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, 368-389, Springer, 2017.
DOI [bibtex] [issue] Arend Rensink, Joost-Pieter Katoen, Rom Langerak. ModelEd, TestEd, TrustEd, Volume 10500 of LNCS, XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017.
DOI [bibtex] [issue] Alessandro Cimatti, Harold Yorick Bruintjes, Joost-Pieter Katoen, Marco Bozzano, Stefano Tonetta, Thomas Noll. Formal Methods for Aerospace Systems, Springer eBook Collection : Computer Science, 133-159, Springer, 2017.
DOI [bibtex] [issue] Alexander Perucci, Antinisca Di Marco, Javier Ciamara, Joost-Pieter Katoen, Marco Autili, Marta Kwiatkowska, Massimo Tivoli, Nils Jansen, Ole J. Mengshoel, Paola Inverardi, Radu Calinescu, Romina Spalazzese, Simos Gerasimou. Synthesis and Verification of Self-aware Computing Systems, Springer eBook Collection : Computer Science, 337-373, Springer, 2017.
[bibtex] [issue] Makoto Tatsuta, Marieke Huisman, Thomas Noll. Analysis and Verification of Pointer Programs, Volume 2017-04 of NII Shonan Meeting Report, 15 Seiten, National Institute of Informatics, 2017.
arXiv:1705.03754 [bibtex] [issue] Christina Jansen, Christoph Matheja, Hannah Arndt, Thomas Noll. Heap Abstraction Beyond Context-Freeness, 44 Seiten, 2017. https://arxiv.org/abs/1705.03754
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen. Tweaking The Odds, Volume 10580 of LNCS, [XVI]-XVII, Springer, 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Markov Automata with Multiple Objectives, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, 140-159, Springer, 2017.
2016
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Hans Christian Dehnert, Joost-Pieter Katoen, Lukas Westhofen, Nils Jansen. Bounded Model Checking for Probabilistic Programs, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 9938 of LNCS, 68-85, Springer, 2016.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Sebastian Junges. Uncovering Dynamic Fault Trees, 299-310, IEEE, 2016.
DOI [bibtex] [issue] Erika Ábrahám, Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis, IMA journal of mathematical control and information 33 (3), pages 723-756, Univ. Press, 2016.
DOI fulltext PDF [bibtex] [issue] Anton Wijs, Dragan Bošnački, Joost-Pieter Katoen. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components, Formal methods in system design 48 (3), pages 274-300, Springer, 2016.
arXiv:1607.06945 [bibtex] [issue] A. Cimatti, A. Griggio, A. M. Bigatti, B. Becker, B. Buchberger, D. Kroening, Erika Ábrahám, J. Abbott, J. H. Davenport, M. Brain, M. England, P. Fontaine, S. Forrest, T. Sturm, W. M. Seiler. Satisfiability checking and symbolic computation, 3 Seiten : Illustrationen, 2016. https://arxiv.org/abs/1607.06945
DOI fulltext PDF [bibtex] [issue] Anton J. Wijs, Dragan Bošnački. Many-core on-the-fly model checking of safety properties using GPUs, International journal on software tools for technology transfer 18 (2), pages 169-185, Springer, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 31-45, ACM Press, 2016.
arXiv:1610.07041 [bibtex] [issue] Christina Jansen, Christoph Matheja, Florian Zuleger, Jens Katelaan, Thomas Noll. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, 115 Seiten, 2016. https://arxiv.org/abs/1610.07041
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Ufuk Topcu. Probabilistic Verification for Cognitive Models, Volume FS-16-03 of AAAI Technical Reports, 185-188, AAAI Press, 2016.
DOI [bibtex] [issue] Harold Yorick Bruintjes, Stefano Tonetta, Victor Bos. Catalogue of System and Software Properties, Volume 9922 of LNCS, 88-101, Springer, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, Volume 9922 of LNCS, 253-265, Springer, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. On the Satisfiability of Some Simple Probabilistic Logics, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 56-65, ACM Press, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo Beron, Joost-Pieter Katoen. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Volume 9632 of LNCS, 364-389, Springer, 2016.
DOI fulltext PDF [bibtex] [issue] Christian Dehnert, Erika Ábrahám, Florian Corzilius, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), 72-74, Albert-Ludwigs-Universität, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Inferring Covariances for Probabilistic Programs, 13th International Conference on Quantitative Evaluation of Systems (QEST 2016), Volume 9826 of LNCS, 191-206, Springer, 2016.
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Ufuk Topcu. Safety-constrained Reinforcement Learning for MDPs, Volume 9636 of LNCS, 130-146, Springer, 2016.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen, Xiaoxiao Yang. Performance Evaluation of Concurrent Data Structures, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, 38-49, Springer, 2016.
fulltext PDF [bibtex] [issue] Benjamin Lucien Kaminski, Federico Olmedo Beron, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. On the Semantic Intricacies of Conditioning, 2 Seiten, 2016.
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Tim Quatmann. Parameter Synthesis for Markov Models, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, 50-67, Springer, 2016.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, ACM Transactions on Embedded Computing Systems 22 (1), pages 15, ACM Press, 2016.
DOI [bibtex] [issue] Christian Dombrowski, James Gross, Joost-Pieter Katoen, Sebastian Junges. Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks, 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) (SRDS 2016), 307-316, IEEE, 2016.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Mariëlle Stoelinga, Mark Timmer. Confluence reduction for Markov automata, Theoretical computer science 655, pages 193-219, Elsevier, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo Beron, Joost-Pieter Katoen. Reasoning about Recursive Probabilistic Programs, The 31st Annual ACM/IEEE Symposium, 672-681, ACM Press, 2016.
2015
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer, Tim Quatmann. Counterexamples for Expected Rewards, Volume 9109 of LNCS, 435-452, Springer, 2015.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Logical methods in computer science 11 (1), pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen, Martin Strelec, Souymodip Chakraborty. Modelling and statistical model checking of a microgrid, International journal on software tools for technology transfer 17 (4), pages 537-554, Springer, 2015.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, Science of computer programming 97 (1), pages 157-162, Elsevier, 2015.
DOI [bibtex] [issue] Benedikt Wolters, Dirk Abel, Erika Ábrahám, Janosch Fuchs, Johanna Nellen, Lukas Netz, Martina Josevski, Sascha Geulen, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles, 2015 IEEE Conference on Control Applications (CCA), 1722-1728, IEEE, 2015.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. P-Automata for Markov Decision Processes, 3rd International Workshop on Strategic Reasoning (SR2015), 2-18, 2015.
fulltext PDF [bibtex] [issue] Martin R. Neuhäußer, Thomas Noll, Tim Lange. IC3 Software Model Checking on Control Flow Automata, 15th Conference on Formal Methods in Computer - Aided Design (FMCAD 2015), 97-104, FMCAD Inc, 2015.
[bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo, Joost-Pieter Katoen, Nils Jansen. Probabilistic Programs - A Natural Model for Approximate Computations, Workshop on Approximate Computing (AC15), 2015.
[bibtex] [issue] Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications, International Workshop on MILS: Architecture and Assurance for Secure Systems, 25 Folien, 2015.
DOI [bibtex] [issue] Alessandro Abate, Joost-Pieter Katoen, Martin Fränzle, Paul Kröger, Sebastian Gerwinn. Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Volume 9268 of LNCS, 93-107, Springer, 2015.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. Model Checking of Open Interval Markov Chains, Volume 9081 of LNCS, 30-42, Springer, 2015.
[bibtex] [issue] Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications, International Workshop on MILS: Architecture and Assurance for Secure Systems, 10 Seiten, 2015.
DOI fulltext PDF [bibtex] [issue] Annabelle McIver, Benjamin Lucien Kaminski, Federico Olmedo, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Conditioning in Probabilistic Programming, Electronic notes in theoretical computer science 319, pages 199-216, Elsevier Science, 2015.
DOI [bibtex] [issue] Joost-Pieter Katoen. Probabilistic Programming, 13rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Volume 9364 of LNCS, 1-3, Springer, 2015.
arXiv:1503.06974 [bibtex] [issue] Achim Streit, Costas Bekas, Einar Broch Johnsen, Erika Ábrahám, Ivan Kondov, Ivona Brandic, Sabri Pllana, Samir Genaim. Challenges and Recommendations for Preparing HPC Applications for Exascale, 6 Seiten, 2015. https://arxiv.org/abs/1503.06974
[bibtex] [issue] Benedikt Wolters, Dirk Abel, Erika Ábrahám, Janosch Fuchs, Johanna Nellen, Lukas Netz, Martina Joševski, Sascha Geulen, Walter Unger. Online Lernen als Kontrollstrategie in Hybridfahrzeugen, 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren (AUTOREG'15), Volume 2233 of VDI-Berichte, 101-112, VDI-Verl., 2015.
DOI [bibtex] [issue] Achim Streit, Costas Bekas, Einar Broch Johnsen, Erika Ábrahám, Ivan Kondov, Ivona Brandic, Sabri Pllana, Samir Genaim. Preparing HPC Applications for Exascale, 18th International Conference on Network-Based Information Systems (NBiS 2015), 401-406, IEEE, 2015.
DOI [bibtex] [issue] David Lesens, Harold Yorick Bruintjes, Joost-Pieter Katoen. A Statistical Approach for Timed Reachability in AADL Models, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), 81-88, IEEE, 2015.
DOI [bibtex] [issue] Erika Ábrahám, Goran Frehse, Ibtissem Ben Makhlouf, Sriram Sankaranarayanan, Stefan Kowalewski, Stefan Schupp, Xin Chen. Current Challenges in the Verification of Hybrid Systems, 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost–Sure Termination, 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Volume 9234 of LNCS, 308-318, Springer, 2015.
DOI [bibtex] [issue] Arend Rensink, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga, Sebastian Junges. Fault Trees on a Diet, First International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, 3-18, Springer, 2015.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut, Formal methods in system design 47 (2), pages 159-203, Springer, 2015.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Federico Olmedo Beron, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Understanding Probabilistic Programs, Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Volume 9360 of LNCS, 15-32, Springer, 2015.
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Hans Christian Dehnert, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. PROPhESY, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
DOI [bibtex] [issue] Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll, Viet Yen Nguyen. Compositional Analysis Using Component-Oriented Interpolation, International Symposium on Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, 69-85, Springer, 2015.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Shashank Pathak. A Greedy Approach for the Efficient Repair of Stochastic Models, 7th NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
DOI [bibtex] [issue] Christina Jansen, Christoph Matheja, Thomas Noll. Tree-Like Grammars and Separation Logic, 13th Asian Symposium on Programming Languages and Systems (APLAS 2015) (APLAS 2015), Volume 9458 of LNCS, 90-108, Springer, 2015.
[bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen. Flow* 1.2, 1st and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Volume 34 of EPiC Series in Computer Science, 152-159, EasyChair, 2015.
2014
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
DOI [bibtex] [issue] Antonín Kucera, Joost-Pieter Katoen, Petr Novotný, Stefan Kiefer, Tomáš Brázdil. Zero-Reachability in Probabilistic Multi-Counter Automata, Article No. 22, 10 S., ACM, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Fast Debugging of PRISM Models, Volume 8837 of LNCS, 146-162, Springer, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Martin Steffen, Thi Mai Thuong Tran. Observable Interface Behaviour and Inheritance, Mathematical structures in computer science 26 (Special Issue 03), pages 561-605, Cambridge Univ. Press, 2014.
DOI [bibtex] [issue] Alessandro Cimatti, Bart Postma, Joost-Pieter Katoen, Konstantinos Mokos, Marco Bozzano, Marco Roveri, Panagiotis Katsaros, Thomas Noll, Viet Yen Nguyen. Spacecraft early design validation using formal methods, Reliability engineering & system safety 132, pages 20-35, Elsevier, 2014.
DOI [bibtex] [issue] Barna Zajzon, Bernd Becker, Erika Ábrahám, Johann Schuster, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Symbolic counterexample generation for large discrete-time Markov chains, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models, Volume 8483 of LNCS, 65-121, Springer, 2014.
DOI [bibtex] [issue] Daniel Gebler, David N. Jansen, Hans Christian Dehnert, Michele Volpato. On Abstraction of Probabilistic Systems, Volume 8453 of LNCS, 87-116, Springer, 2014.
DOI [bibtex] [issue] Catuscia Palamidessi, Erika Ábrahám. Formal techniques for distributed objects, components, and systems, Volume 8461 of LNCS, XII, 299 S., Springer, 2014.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. Parametric LTL on Markov Chains, Volume 8705 of LNCS, 207-222, Springer, 2014.
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, Performance evaluation 73 Special (SI), pages 110-132, Elsevier, 2014.
DOI [bibtex] [issue] Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Volume 8412 of LNCS, 73-87, Springer, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
DOI [bibtex] [issue] Anton J. Wijs, Radu Mateescu. Property-dependent reductions adequate with divergence-sensitive branching bisimilarity, Science of computer programming 96 (3), pages 354-376, Elsevier Science, 2014.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, 21-31, IEEE, 2014.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories, Volume 8348 of LNCS, 1-19, Springer, 2014.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Thomas Noll, Viet Yen Nguyen. Formal Validation Methods in Model-Based Spacecraft Systems Engineering, 340-375, Taylor and Francis, 2014.
DOI [bibtex] [issue] Anton J. Wijs, Dragan Bosnacki, Joost-Pieter Katoen. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Volume 8559 of LNCS, 309-325, Springer, 2014.
DOI [bibtex] [issue] Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Volume 476 of Communications in Computer and Information Science, 17-31, Springer, 2014.
DOI [bibtex] [issue] Alfons Laarman, Anton J. Wijs. Partial Order Reduction for Multi-Core LTL Model Checking, Volume 8855 of LNCS, 267-283, Springer, 2014.
DOI [bibtex] [issue] Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata, Logical methods in computer science 10 (3), pages Paper 17, Department of Theoretical Computer Science, Technical University of Braunschweig, 2014.
DOI [bibtex] [issue] Falak Sher Vira, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata, Volume 8704 of LNCS, 576-592, Springer, 2014.
DOI [bibtex] [issue] Dimitri Bohlender, Harold Yorick Bruintjes, Jens Katelaan, Sebastian Junges, Thomas Noll, Viet Yen Nguyen. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Volume 8803 of LNCS, 177-192, Springer, 2014.
DOI [bibtex] [issue] Dirk Seifert, Hao Wu, Joost-Pieter Katoen, Thomas Noll, Thomas Santen. Performance Analysis of Computing Servers, Volume 8376 of LNCS, 57-72, Springer, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Pieter Collins, Xin Chen. Counterexample Generation for Hybrid Automata, Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of Communications in Computer and Information Science, 88-106, Springer, 2014.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Judi Romijn, Marielle Stoelinga, Ted Luiten. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Volume 104 of Civil-Comp Proceedings : CCP, Paper 299, 16 S., Civil-Comp Press, 2014.
DOI [bibtex] [issue] Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, LNCS, 49-64, Springer, 2014.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen. Exponentially timed SADF, Article No. 1, 10 S., ACM, 2014.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Volume 8702 of LNCS, XV-XVII, Springer, 2014.
DOI [bibtex] [issue] Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, Article No. 55, 10 S., ACM, 2014.
2013
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. PRINSYS, Volume 8054 of LNCS, 172-187, Springer, 2013.
DOI [bibtex] [issue] Bernhard Ern, Thomas Noll, Viet Yen Nguyen. Characterization of Failure Effects on AADL Models, Volume 8153 of LNCS, 241-252, Springer, 2013.
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Ilya Tkachev, Joost-Pieter Katoen. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems, Proceedings of the 16th International Conference on Hybrid Systems, 293-303, ACM, 2013.
[bibtex] [issue] Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction, SOFSEM 2013, Institute of Computer Science AS CR, 2013.
DOI [bibtex] [issue] Arnd Hartmanns, Ernst Moritz Hahn, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems, Formal methods in system design 43 (2), pages 191-232, Springer, 2013.
DOI [bibtex] [issue] Andreas Vorpahl, Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Volume 8054 of LNCS, 39-54, Springer, 2013.
DOI [bibtex] [issue] Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata, Volume 8054 of LNCS, 34-50, Springer, 2013.
arXiv:1312.3979 [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
DOI [bibtex] [issue] Doron Peled, Joost-Pieter Katoen. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems, Volume 7792 of LNCS, 411-430, Springer, 2013.
DOI [bibtex] [issue] Joost-Pieter Katoen. Model Checking Meets Probability, NATO Science for Peace and Security Series - D: Information and Communication Security, 177-205, IOS Press, 2013.
DOI [bibtex] [issue] Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN, Volume 7927 of LNCS, 90-109, Springer, 2013.
arXiv:1106.1850 [bibtex] [issue] B. Srivathsan, Frédéric Herbreteau. Coarse abstractions make Zeno behaviours difficult to detect, 2013. https://arxiv.org/abs/1106.1850
DOI [bibtex] [issue] B. Srivathsan, Frédéric Herbreteau, Igor Walukiewicz. Lazy abstractions for timed automata, Volume 8044 of LNCS, 990-1005, Springer, 2013.
DOI [bibtex] [issue] Joost-Pieter Katoen. Concurrency meets Probability, Volume 8052 of LNCS, 44-45, Springer, 2013.
DOI [bibtex] [issue] David Parker, Hans Christian Dehnert, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Volume 7737 of LNCS, 28-47, Springer, 2013.
[bibtex] [issue] Dirk Seifert, Hao Wu, Joost-Pieter Katoen, Thomas Noll, Thomas Santen. Model-Based Energy Optimization of Automotive Control Systems, Proceedings of the Conference on Design, Automation and Test in Europe, 761-766, EDA Consortium, 2013.
DOI [bibtex] [issue] Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata, Proceedings of the 16th International Conference on Hybrid Systems, 323-332, ACM, 2013.
DOI fulltext PDF [bibtex] [issue] B. Srivathsan, Frédéric Herbreteau. Coarse abstractions make Zeno behaviours difficult to detect, Logical methods in computer science 9 (1), pages 06, Department of Theoretical Computer Science, Technical University of Braunschweig, 2013.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, E. Moritz Hahn, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability, Mathematical structures in computer science 23 (Special Issue 04), pages 751-795, Cambridge Univ. Press, 2013.
DOI [bibtex] [issue] Theo C. Ruys, Viet Yen Nguyen. Selected Dynamic Issues in Software Model Checking, International journal on software tools for technology transfer 15 (4), pages 337-362, Springer, 2013.
DOI [bibtex] [issue] Andrzej Wasowski, Axel Legay, Benoit Delahaye, Falak Sher, Joost-Pieter Katoen, Kim G. Larsen, Mikkel Pedersen. Abstract Probabilistic Automata, Information and computation 232, pages 66-116, Academic Press [u.a.], 2013.
DOI [bibtex] [issue] Martin R. Neuhäußer, Thomas Noll, Tim Lange. Speeding Up the Safety Verification of Programmable Logic Controller Code, Volume 8244 of LNCS, 44-60, Springer, 2013.
DOI [bibtex] [issue] Christina Jansen, Markus Bals, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars, Proceedings, 165-168, IEEE Computer Society, 2013.
2012
DOI [bibtex] [issue] Ernst-Rüdiger Olderog, Joost-Pieter Katoen, Mani Swaminathan. Layered Reasoning for Randomized Distributed Algorithms, Formal aspects of computing 24 (4/6), pages 477-496, 2012.
DOI [bibtex] [issue] Joost-Pieter Katoen. GSPNs Revisited, 6-12, IEEE, 2012.
[bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, 169-180, Kovač, 2012.
DOI [bibtex] [issue] Etienne Lozes, Florent Jacquemard, Jules Villard, Ralf Treinen. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus, Theory of security and applications (TOSCA 2011), Volume 6993 of LNCS, 166-185, Springer, 2012.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems (TACAS 2012), Volume 7214 of LNCS, 299-314, Springer, 2012.
DOI [bibtex] [issue] Balaguru Srivathsan, Frédéric Herbreteau, Igor Walukiewicz. Better abstractions for timed automata, 375-384, IEEE Computer Society, 2012.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Martin R. Neuhäußer, Tingting Han. Quantitative Timed Analysis of Interactive Markov Chains, NASA formal methods (NFM 2012), Volume 7226 of LNCS, 8-23, Springer, 2012.
DOI [bibtex] [issue] Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus, IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, 253-256, IEEE, 2012.
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 168-177, IEEE CS Press, 2012.
DOI [bibtex] [issue] Etienne Lozes, Rémi Brochenin, Stéphane Demri. On the almighty wand, Information and computation 211, pages 106-137, Elsevier, 2012.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata, Theoretical computer science (TCS 2012), Volume 7604 of LNCS, 325-341, Springer, 2012.
DOI [bibtex] [issue] Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems, pages 42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012.
DOI [bibtex] [issue] Bart Postma, Joost-Pieter Katoen, Marie-Aude Esteve, Viet Yen Nguyen, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite, 2012 34th International Conference on Software Engineering (ICSE 2012), ICSE 2012, 1022-1031, IEEE, 2012.
DOI [bibtex] [issue] Alessandro Abate, Alessandro D'Innocenzo, Joost-Pieter Katoen. Robust PCTL Model Checking, Proceedings of the 15th International Conference on Hybrid Systems, 275-286, ACM, 2012.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Marielle Stoelinga, Mark Timmer. Efficient Modelling and Generation of Markov Automata, CONCUR 2012 - concurrency theory (CONCUR 2012), Volume 7454 of LNCS, 364-379, Springer, 2012.
DOI [bibtex] [issue] Christina Jansen, Henrik Barthels, Jonathan Heinen. Juggrnaut - An Abstract JVM, Formal verification of object-oriented software, Volume 7421 of LNCS, 142-159, Springer, 2012.
fulltext PDF [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes, Volume 88 of Reports of SFB/TR 14 AVACS, 2012.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, The journal of logic and algebraic programming 2012, pages 1-55, North-Holland, 2012.
DOI [bibtex] [issue] Balaguru Srivathsan, Igor Walukiewicz. An alternate proof of Statman's finite completeness theorem, Information processing letters 112 (14/15), pages 612-616, Elsevier, 2012.
DOI [bibtex] [issue] Balaguru Srivathsan, Frédéric Herbreteau, Igor Walukiewicz. Efficient emptiness check for timed Büchi automata, Formal methods in system design 40 (2), pages 122-146, Springer, 2012.
DOI [bibtex] [issue] Hongfei Fu. Computing Game Metrics on Markov Decision Processes, Automata, languages, and programming (ICALP 2012), Volume 7392 of LNCS, 227-238, Springer, 2012.
DOI [bibtex] [issue] Joost-Pieter Katoen. Model Checking, Fundamentals of software engineering (FSEN 2011), Volume 7141 of LNCS, 1-14, Springer, 2012.
DOI [bibtex] [issue] Arpit Sharma. Weighted probabilistic equivalence preserves omega-regular properties, Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance, Volume 7201 of LNCS, 121-135, Springer, 2012.
fulltext PDF [bibtex] [issue] Bart Theelen, Hao Wu, Joost-Pieter Katoen. Model checking of scenario-aware dataflow with cadp, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), 653-658, IEEE, 2012.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains, Perspectives of system informatics (PSI 2011), Volume 7162 of LNCS, 322-339, Springer, 2012.
2011
DOI [bibtex] [issue] Hongfei Fu. Model Checking EGF on Basic Parallel Processes, Automated technolgoy for verification and analysis (ATVA 2011), Volume 6996 of LNCS, 120-134, Springer, 2011.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Language and automata theory and applications (LATA 2011), Volume 6638 of LNCS, 323-335, Springer, 2011.
DOI [bibtex] [issue] Andrzej Wasowski, Axel Legay, Benoit Delahaye, Falak Sher, Joost-Pieter Katoen, Kim G. Larsen, Mikkel Pedersen. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation (VMCAI 2011), Volume 6538 of LNCS, 324-339, Springer, 2011.
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Joost-Pieter Katoen. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, HSCC'11, 83-92, ACM Press, 2011.
DOI [bibtex] [issue] Erika Ábrahám, Ulrich Loup. GiNaCRA, NASA formal methods (NFM 2011), Volume 6617 of LNCS, 512-517, Springer, 2011.
[bibtex] [issue] Gustavo Quirós, Liyong Yu, Sabrina von Styp. Automatic Test-Case Derivation and Execution in Industrial Control, iATPA 2011, Volume 821 of CEUR Workshop proceedings, RWTHA achen, 2011.
DOI [bibtex] [issue] Alessandro Abate, John Lygeros, Joost-Pieter Katoen, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, [Proceedings 18th IFAC World Congress 2011, 4519-4524, 2011.
DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) [Elektronische Ressource] / Indian Association for Research in Computing Science (IARCS). Hrsg., Volume 13 of Leibniz International Proceedings in Informatics, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
[bibtex] [issue] Christina Jansen, Jonathan Heinen. Juggrnaut - An Abstract JVM, Volume 26 of Karlsruhe Reports in Informatics, 226-243, Karlsruhe Institute of Technology, 2011.
[bibtex] [issue] Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, Public service review 11, pages 204-205, PS, PublicService.co.uk Ltd, 2011.
DOI [bibtex] [issue] Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen, Malte Kampschulte. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Smart spaces and next generation wired/wireless networking, Volume 6869 of LNCS, 197-208, Springer, 2011.
DOI [bibtex] [issue] Joost-Pieter Katoen. Towards trustworthy aerospace systems, Formal methods for industrial critical systems (FMICS 2011), Volume 6959 of LNCS, 1-4, Springer, 2011.
DOI [bibtex] [issue] B. Koenig, Joost-Pieter Katoen. CONCUR 2011 - concurrency theory, Volume 6901 of LNCS, XIV, 560 S. : graph. Darst., Springer, 2011.
DOI fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Logical methods in computer science 7 (1/2), pages 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011.
DOI [bibtex] [issue] David N. Jansen, Ernst Moritz Hahn, Holger Hermanns, Ivan S. Zapreev, Joost-Pieter Katoen. The Ins and Outs of the Probabilistic Model Checker MRMC, Performance evaluation 68 (2), pages 90-104, Elsevier, 2011.
DOI [bibtex] [issue] Bastian Schlich, Jörg Brauer, Lucas Brutschy, Thomas Noll. Reduction of Interrupt Handler Executions for Model Checking Embedded Software, Hardware and software, Volume 6405 of LNCS, Springer, 2011.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Observing Continuous-Time MDPs by 1-Clock Timed Automata, Reachability problems (RP 2011), Volume 6945 of LNCS, 2-25, Springer, 2011.
DOI [bibtex] [issue] Anne Remke, Boudewijn R. Haverkort, Daniel Klink, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, Performance evaluation 68 (2), pages 105-125, Elsevier, 2011.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen, Xavier Olive, Yuri Yushtein. System-Software Co-Engineering, Proceedings, Fourth IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2011), 18-25, IEEE CS Press, 2011.
DOI [bibtex] [issue] Alexandru Mereacre, Benoit Barbot, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Efficient CTMC Model Checking of Linear Real-Time Objectives, Tools and algorithms for the construction and analysis of systems (TACAS 2011), Volume 6605 of LNCS, 128-142, Springer, 2011.
DOI [bibtex] [issue] J. Hayman. Granularity and concurrent separation logic, CONCUR 2011 - concurrency theory (CONCUR 2011), Volume 6901 of LNCS, 219-234, Springer, 2011.
DOI [bibtex] [issue] A. W. Roscoe, Hristina Palikareva, James Worrell, Joël Ouaknine. Static livelock analysis in csp, CONCUR 2011 - concurrency theory (CONCUR 2011), Volume 6901 of LNCS, 389-403, Springer, 2011.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata, Theoretical computer science 413 (1), pages 36-57, Elsevier, 2011.
DOI [bibtex] [issue] Hakjoo Oh, Kwangkeun Yi, Lucas Brutschy. Access Analysis-based Tight Localization of Abstract Memories, Verification, model checking, and abstract interpretation (VMCAI 2011), Volume 6538 of LNCS, 356-370, Springer, 2011.
DOI [bibtex] [issue] Bernd Becker, Bettina Braitling, Erika Ábrahám, Nils Jansen, Ralf Wimmer. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, Formal techniques for distributed systems (FORTE 2011), Volume 6722 of LNCS, 75-89, Springer, 2011.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Jens Katelaan, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis (ATVA 2011), Volume 6996 of LNCS, 443-452, Springer, 2011.
[bibtex] [issue] Florian Corzilius, Johanna Nellen, Nadine Bergner, Nils Jansen, Philipp Brauner, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder. On collaboratively conveying computer science to pupils, 11th Koli Calling International Conference on Computing Education Research (KOLI'11), 132-137, ACM, 2011.
DOI [bibtex] [issue] Erika Ábrahám, Ulrich Loup. I-RiSC, Algebraic informatics (CAI 2011), Volume 6742 of LNCS, 230-246, Springer, 2011.
DOI [bibtex] [issue] A. Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Reachability probabilities in markovian timed automata, 2011 50th IEEE Conference on Decision and Control and European Control Conference, 7075-7080, IEEE, 2011.
[bibtex] [issue] Bernd Becker, Bettina Braitling, Erika Ábrahám, Nils Jansen, Ralf Wimmer. SMT-based Counterexample Generation for Markov Chains, 19-28, OFFIS, 2011.
2010
DOI [bibtex] [issue] Lijun Zhang, Martin R. Neuhäußer. Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes, Proceedings / Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010), 209-218, IEEE Computer Society, 2010.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, Communications of the ACM 53 (9), pages 76-85, Association for Computing Machinery, 2010.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Lucia Cloth. Performability Assessment by Model Checking of Markov Reward Models, Formal methods in system design 36 (1), pages 1-36, Springer, 2010.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Computing Maximum Reachability Probabilities in Markovian Timed Automata, Volume 2010.06 of Aachener Informatik Berichte, 40 S., RWTH Aachen, Department of Computer Science, 2010.
DOI [bibtex] [issue] Alessandro Abate, John Lygeros, Joost-Pieter Katoen, Maria Prandini. Approximate model checking of stochastic hybrid systems, European journal of control 16 (6), pages 624-641, Hermes [u.a.], 2010.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. SMA, Computing and informatics 29, pages 45-72, VEDA, Slov. Akad. Vied, 2010.
DOI [bibtex] [issue] Bastian Schlich, Jörg Brauer, Thomas Noll. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software, SCOPES '10 Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, ACM Digital Library, ACM, 2010.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Ralf Wimmer, Thomas Noll, Viet Yen Nguyen. A Model Checker for AADL, Computer aided verification (CAV 2010), Volume 6174 of LNCS, 562-565, Springer, 2010.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. DTMC Model Checking by SCC Reduction, Proceedings / Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010), 37-46, IEEE Computer Society, 2010.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Learning Communicating Automata from MSCs, IEEE transactions on software engineering 36 (3), pages 390-408, IEEE, 2010.
fulltext PDF [bibtex] [issue] Jörg Brauer, Stefan Kowalewski, Thomas Noll, Volker Kamin. Loop Refinement using Octagons and Satisfiability, SSV'10, 9 S., ACM, 2010.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Safety, Dependability, and Performance Analysis of Extended AADL Models, Computer journal 51, Univ. Press, 2010.
DOI [bibtex] [issue] Alexandru Mereacre, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen, Marijn R. Jongerden. Computing Optimal Schedules for Battery Usage in Embedded Systems, IEEE transactions on industrial informatics 6 (3), pages 276-286, IEEE, 2010.
DOI [bibtex] [issue] Henrik Bohnenkamp, Julien Schmaltz, Sabrina von Styp. A Conformance Testing Relation for Symbolic Timed Automata, Formal modeling and analysis of timed systems (FORMATS 2010), Volume 6246 of LNCS, 243-255, Springer, 2010.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Daniel Neider, David R. Piegdon, Joost-Pieter Katoen. libalf, Computer aided verification (CAV 2010), Volume 6174 of LNCS, 360-364, Springer, 2010.
DOI [bibtex] [issue] Holger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains, Formal methods for components and objects (FMCO 2009), Volume 6286 of LNCS, 311-337, Springer, 2010.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data, Tenth International Conference on Application of Concurrency to System Design (ACSD 2010), 213-222, IEEE Computer Soc., 2010.
DOI [bibtex] [issue] Angelika Mader, David N. Jansen, Henrik Bohnenkamp, Holger Hermanns, Johann Hurink, Yaroslav S. Usenko. Synthesis and Stochastic Assessment of Cost-Optimal Schedules, International journal on software tools for technology transfer 12 (5), pages 305-318, Springer, 2010.
DOI [bibtex] [issue] Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods, Computer performance engineering (EPEW 2010), Volume 6342 of LNCS, 115-130, Springer, 2010.
DOI [bibtex] [issue] Lijun Zhang, Martin R. Neuhäußer. Model Checking Interactive Markov Chains, Tools and algorithms for the construction and analysis of systems (TACAS 2010), Volume 6015 : Advanced research in computing and software science of LNCS, 53-68, Springer, 2010.
DOI [bibtex] [issue] Haidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks, Analytical and stochastic modeling techniques and applications (ASMTA 2010), Volume 6148 of LNCS, 247-261, Springer, 2010.
DOI [bibtex] [issue] Joost-Pieter Katoen. Advances in Probabilistic Model Checking, Verification, model checking, and abstract interpretation (VMCAI 2010), Volume 5944 of LNCS, 25, Springer, 2010.
DOI [bibtex] [issue] Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol, Measurement, modelling and evaluation of computing systems and dependability in fault tolerance, Volume 5987 of LNCS, 107-119, Springer, 2010.
DOI [bibtex] [issue] Annabelle McIver, Carroll Morgan, Joost-Pieter Katoen, Larissa Meinicke. Linear-Invariant Generation for Probabilistic Programs, Static analysis (SAS 2010), Volume 6337 : Advanced Research in Computing and Software Science of LNCS, 390-406, Springer, 2010.
2009
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga, Martin R. Neuhäußer. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Volume 5504 of LNCS, 364-379, Springer, 2009.
DOI [bibtex] [issue] Theo C. Ruys, Viet Yen Nguyen. Memoised Garbage Collection for Software Model Checking, Volume 5505 of LNCS, 232-249, Springer, 2009.
DOI [bibtex] [issue] André Kolbe, Carsten Weise, Henrik Bohnenkamp, Norbert Berzen, Ralf Mitsching. Towards an industrial strength process for timed testing, International Conference on Software Testing, Verification and Validation Workshops, 2009, 29-38, IEEE, 2009.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 5813 of LNCS, 195-211, Springer, 2009.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), 309-318, IEEE, 2009.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Quantitative model checking of continuous-time Markov chains against timed automata specifications, Volume 2009,2 of Aachener Informatik-Berichte, 50 S., RWTH Aachen, Department of Computer Science, 2009.
DOI [bibtex] [issue] Anne Remke, Boudewijn R. Haverkort, Daniel Klink, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, International Conference on Quantitative Evaluation of Systems-QEST, 133-142, IEEE, 2009.
DOI [bibtex] [issue] Berteun Damman, Joost-Pieter Katoen, Tingting Han. Counterexample Generation in Probabilistic Model Checking, IEEE transactions on software engineering 35 (2), pages 241-257, IEEE, 2009.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Codesign of Dependable Systems, Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 121-130, IEEE, 2009.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Carsten Kern, Martin Leucker, Peter Habermehl. Angluin-Style Learning of NFA, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, 1004-1009, AAAI Press [u.a.], 2009.
[bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Model-Based Codesign of Critical Embedded Systems, Workshop Proceedings / ACES-MB 2009, Volume 507 of CEUR Workshop Proceedings, 87-91, RWTH Aachen, 2009.
[bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09, 285-286, ACM, 2009.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen, Marijn R. Jongerden. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 63-72, IEEE, 2009.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. LTL model checking of time-inhomogeneous Markov chains, Volume 5799 of LNCS, 104-119, Springer, 2009.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen. Simulation-based CTMC Model Checking, QUEST 2009, 31-40, IEEE, 2009.
fulltext PDF [bibtex] [issue] Sabrina von Styp. Towards a theory for timed symbolic testing, Proceedings of Formal Methods 2009, Volume 09-15 of Computing science reports, 39-45, TU, 2009.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 2009,15 of Aachener Informatik-Berichte, 32 S., RWTH Aachen, Department of Computer Science, 2009.
fulltext PDF [bibtex] [issue] Lijun Zhang, Martin R. Neuhäußer. Time-Bounded Reachability in Continuous-Time Markov Decision Processes, Volume 2009,12 of Aachener Informatik-Berichte, 25 S., RWTH Aachen, Department of Computer Science, 2009.
DOI [bibtex] [issue] Jian Lu, Taolue Chen, Tingting Han. On metrics for probabilistic systems, Computers and mathematics with applications 57 (6), pages 991-999, Pergamon Press, 2009.
DOI [bibtex] [issue] Niels H. M. Aan de Brugh, Theo C. Ruys, Viet Yen Nguyen. MoonWalker, Volume 5505 of LNCS, 170-173, Springer, 2009.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. The COMPASS Approach, Volume 5775 of LNCS, 173-186, Springer, 2009.
DOI [bibtex] [issue] David N. Jansen, Ernst Moritz Hahn, Holger Hermanns, Ivan S. Zapreev, Joost-Pieter Katoen. The Ins and Outs of The Probabilistic Model Checker MRMC, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, International Conference on Quantitative Evaluation of Systems-QEST, 167-176, IEEE, 2009.
2008
DOI [bibtex] [issue] Berteun Damman, Joost-Pieter Katoen, Tingting Han. Regular Expressions for PCTL Counterexamples, Quantitative evaluation of systems (QEST 2008), 179-188, IEEE, 2008.
DOI [bibtex] [issue] B. Neumann, Holger Blume, T. von Sydow, Tobias G. Noll. Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs, Journal of signal processing systems for signal, image, and video technology 53 (1/2), pages 129-143, Springer, 2008.
DOI [bibtex] [issue] Bastian Schlich, Thomas Noll. Delayed nondeterminism in model checking embedded systems assembly code, Volume 4899 of LNCS, 185-201, Springer, 2008.
DOI [bibtex] [issue] Bastian Schlich, Carsten Weise, Gerlind Herberich, Thomas Noll. Proving correctness of an efficient abstraction for interrupt handling, Electronic notes in theoretical computer science 217, pages 133-150, Elsevier Science, 2008.
DOI [bibtex] [issue] Helga Velroyen, Philipp Rummer. Non-termination checking for imperative programs, Tests and proofs (TAP 2008), Volume 4966 of LNCS, 154-170, Springer, 2008.
fulltext PDF [bibtex] [issue] Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, Volume 2008,2 of Aachener Informatik-Berichte, 27 S., RWTH Aachen, Department of Computer Science, 2008.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Carsten Kern, Martin Leucker, Peter Habermehl. Angluin-Style Learning of NFA, Volume LSV-08-28 of Research Report, 32 S., Ecole Normale Supérieure, 2008.
[bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. SMA - the Smyle modeling approach, 26 S., TU, 2008.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages, Volume 2008,12 of Aachener Informatik-Berichte, 27 S., RWTH Aachen, Department of Computer Science, 2008.
fulltext PDF [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Volume 2 of Texts in logic and games, 53-72, Amsterdam Univ. Pr., 2008.
DOI [bibtex] [issue] Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories, Electronic notes in theoretical computer science 238 (3), pages 139-154, Elsevier, 2008.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, 162-166, Springer, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Volume 4981 of LNCS, 244-258, Springer, 2008.
DOI [bibtex] [issue] David N. Jansen, Ivan S. Zapreev, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Volume 4899 of LNCS, 69-85, Springer, 2008.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, 279-294, Springer, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Volume 5215 of LNCS, 203-217, Springer, 2008.
DOI [bibtex] [issue] Theo C. Ruys, Viet Yen Nguyen. Incremental Hashing for SPIN, Volume 5156 of LNCS, 232-249, Springer, 2008.
DOI [bibtex] [issue] Stefan Rieger, Thomas Noll. Verifying Dynamic Pointer-Manipulating Threads, Volume 5014 of LNCS, 84-99, Springer, 2008.
DOI [bibtex] [issue] David N. Jansen, Friedrich Eisenbrand, Holger Hermanns, Lijun Zhang. Flow Faster, Logical methods in computer science 4 (4), pages 43 S., Department of Theoretical Computer Science, TU, 2008.
DOI [bibtex] [issue] Stefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement, Graph transformations (ICGT 2008), Volume 5214 of LNCS, 69-83, Springer, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Approximate parameter synthesis for probabilistic time-bounded reachability, Proceedings / 2008 Real-Time Systems Symposium, RTSS 2008, 173-182, IEEE, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen, Mani Swaminathan, Martin Fränzle. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift, Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 (TC 1), Volume 273 of IFIP, 537-553, Springer, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. How to model and analyze gossiping protocols?, SIGMETRICS'08, 3-6, ACM, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. Perspectives in Probabilistic Verification, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 3-10, IEEE, 2008.
[bibtex] [issue] Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, Embedded Systems Week 2008, 227-236, ACM, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen, Manuela Bujorianu. Symmetry reduction for stochastic hybrid systems, 2008 47th IEEE Conference on Decision and Control, 233-238, IEEE, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design, Design, automation and test in Europe, 2008, Design Automation and Test in Europe Conference and Expo, 86-87, IEEE Service Center, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen, Taolue Chen, Tingting Han. Time-Abstracting Bisimulation for Probabilistic Timed Automata, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 177-184, IEEE, 2008.
[bibtex] [issue] Christel Baier, Joost-Pieter Katoen. Principles of model checking, Computer science, XVII, 975 S.. : graph. Darst., MIT Press, 2008.
2007
DOI [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Providing evidence of likely being on time, Volume 4762 of LNCS, 331-346, Springer, 2007.
DOI [bibtex] [issue] Bernd Becker, Christian Herde, Erika Ábrahám, Marc Herbstritt. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata, 2007 IEEE design and diagnostics of electronic circuits and systems, 391-396, IEEE Service Center, 2007.
[bibtex] [issue] Joost-Pieter Katoen. Stochastic model checking, Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Compositional modeling and minimization of time-inhomogeneous Markov chains, Volume 2007,21 of Aachener Informatik-Berichte, 39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
DOI [bibtex] [issue] David N. Jansen, Ivan S. Zapreev, Joost-Pieter Katoen, Tim Kemna. Bisimulation minimisation mostly speeds up probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 87-101, Springer, 2007.
DOI [bibtex] [issue] Diego Latella, Joost-Pieter Katoen, Michele Loreti, Mieke Massink, Rocco de Nicola. Model checking mobile stochastic logic, Theoretical computer science 382.2007 (1), pages 42-70, Elsevier, 2007.
DOI [bibtex] [issue] Martin R. Neuhäußer, Thomas Noll. Abstraction and model checking of core Erlang programs in Maude, Electronic notes in theoretical computer science 176 (4), pages 147-163, Elsevier, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Stefan Rieger, Thomas Noll. Verifying concurrent list-manipulating programs by LTL model checking, HAV 2007, 94-113, 2007.
DOI [bibtex] [issue] Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 500-504, Springer, 2007.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems, Volume 2007,20 of Aachener Informatik-Berichte, 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007.
DOI [bibtex] [issue] G. Kappen, O. Priebe, S. el Bahri, Tobias G. Noll. Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers, 2007 IEEE International Conference on Application-Specific Systems, Architectures and Processors, 296-301, IEEE, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen. Abstraction of probabilistic systems, Volume 4763 of LNCS, 1-3, Springer, 2007.
DOI [bibtex] [issue] Bernd Becker, Christian Herde, Erika Ábrahám, Martin Fränzle, Tobias Schubert. Parallel SAT solving in bounded model checking, Volume 4346 of LNCS, 301-315, Springer, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Stefan Rieger, Thomas Noll. Verifying concurrent list-manipulating programs by LTL model checking, Volume 2007,6 of Aachener Informatik-Berichte, 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
fulltext PDF [bibtex] [issue] Axel Belinfante, Henrik Bohnenkamp. Timed model-based testing, 115-128, Embedded Systems Institute, The Netherlands, 2007.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Replaying play in and play out, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 435-450, Springer, 2007.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Volume 4590 of LNCS, 311-324, Springer, 2007.
DOI [bibtex] [issue] David N. Jansen, Friedrich Eisenbrand, Holger Hermanns, Lijun Zhang. Flow faster, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 155-169, Springer, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 4703 of LNCS, 412-427, Springer, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 2007,10 of Aachener Informatik-Berichte, 26 S., RWTH, Department of Computer Science, 2007.
DOI [bibtex] [issue] Stefan Rieger, Thomas Noll. Composing Transformations to Optimize Linear Code, Volume 4711 of LNCS, 425-439, Springer, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Counterexamples in probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 72-86, Springer, 2007.
2006
fulltext PDF [bibtex] [issue] Angelika Mader, David N. Jansen, Henrik Bohnenkamp, Holger Hermanns, Johann Hurink, Yaroslav S. Usenko. Synthesis and stochastic assessment of cost-optimal schedules, 2006.
DOI [bibtex] [issue] Andreas Grüner, Erika Ábrahám, Martin Steffen. Dynamic heap-abstraction for open, object-oriented systems with thread classes, Logical approaches to computational barriers, Volume 3988 of LNCS, 1-10, Springer, 2006.
[bibtex] [issue] Bernd Becker, Erika Ábrahám, Marc Herbstritt, Martin Steffen. Memory-aware bounded model checking for linear hybrid systems, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 153-162, Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, 2006.
DOI [bibtex] [issue] Andreas Grüner, Erika Ábrahám, Martin Steffen. Abstract interface behavior of object-oriented languages with monitors, Formal methods for open object-based distributed systems, Volume 4037 of LNCS, 218-232, Springer, 2006.
DOI [bibtex] [issue] Chanchal Kumar Roy, Thomas Noll. Towards automatic verification of Erlang programs by pi-calculus translation, Proceedings of the ACM SIGPLAN Workshop on Generic Programming 2006 (WGP 06), 38-50, ACM, 2006.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz. MSCan, Volume 3920 of LNCS, 455-458, Springer, 2006.
DOI [bibtex] [issue] Arend Rensink, Dino Distefano, Joost-Pieter Katoen. Safety and liveness in concurrent pointer programs, Volume 4111 of LNCS, 280-312, Springer, 2006.
DOI [bibtex] [issue] Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Pedro R. D'Argenio. MoDeST, IEEE transactions on software engineering 32 (10), pages 812-830, IEEE, 2006.
DOI [bibtex] [issue] Eric Bodden, Volker Stolz. Tracechecks, Software Composition, Volume 4089 of LNCS, 147-162, SPIE [u.a.], 2006.
DOI [bibtex] [issue] Klaus Indermark, Thomas Noll. Algebraic correctness proofs for compiling recursive function definitions with strictness information, Acta informatica 43 (1), pages 1-43, Springer, 2006.
DOI [bibtex] [issue] Holger Hermanns, Joost-Pieter Katoen, Mario Bravetti. YMCA, Electronic notes in theoretical computer science 162, pages 107-112, Elsevier, 2006.
DOI [bibtex] [issue] Diego Latella, Joost-Pieter Katoen, Mieke Massink, Rocco de Nicola. Towards a logic for performance and mobility, Electronic notes in theoretical computer science 153 (2), pages 161-175, Elsevier, 2006.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen. Safe on-the-fly steady-state detection for time-bounded reachability, IEEE transactions on software engineering 32.2006 (8), pages 301-310, IEEE, 2006.
DOI [bibtex] [issue] Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski. Automated Termination Analysis for Haskell, Term rewriting and applications (RTA 2006), Volume 4098 of LNCS, 297-312, Springer, 2006.
[bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Replaying play in and play out, Volume 2006,12 of Aachener Informatik-Berichte, 26 Bl. : graph. Darst., 2006.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Counterexamples in probabilistic model checking, Volume 2006,9 of Aachener Informatik-Berichte, 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006.
DOI [bibtex] [issue] David N. Jansen, Jasper Berendsen, Joost-Pieter Katoen. Probably on time and within budget, IEEE transactions on software engineering 32.2006 (8), pages 311-322, IEEE, 2006.
fulltext PDF [bibtex] [issue] Stefan Rieger, Thomas Noll. Optimization of straight-line code revisited, Softwaretechnik-Trends 26 (2), GI, 2006.
DOI [bibtex] [issue] Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside. Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST), IEEE transactions on software engineering 32 (8), pages 529-530, IEEE, 2006.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Marc Herbstritt, Martin Steffen. Bounded model checking with parametric data structures, Electronic notes in theoretical computer science 174 (3), pages 3-16, Elsevier, 2006.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. Message-passing automata are expressively equivalent to EMSO logic, Theoretical computer science 358 (2/3), pages 150-172, Elsevier, 2006.
DOI [bibtex] [issue] Jian Lu, Taolue Chen, Tingting Han. On the Markovian randomized strategy of controller for Markov decision processes, Fuzzy systems and knowledge discovery (FSKD 2006), Volume 4223 of LNCS, 149-158, Springer, 2006.
2005
DOI [bibtex] [issue] Joost-Pieter Katoen, Pedro R. D'Argenio. A theory of stochastic systems. Part I, Information and computation 203 (1), pages 1-38, Elsevier, 2005.
DOI [bibtex] [issue] Martin Leucker, Michael Weber, Perdita Stevens, Thomas Noll. Functional programming languages for verification tools, International journal on software tools for technology transfer 7 (2), pages 184-194, Springer, 2005.
DOI [bibtex] [issue] Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf. Comparative branching-time semantics for Markov chains, Information and computation 200 (2), pages 149-214, Elsevier, 2005.
DOI [bibtex] [issue] Joost-Pieter Katoen, Pedro R. D'Argenio. A theory of stochastic systems. Part II, Information and computation 200 (1), pages 39-74, Elsevier, 2005.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, Performance evaluation review 32 (4), pages 10-15, Association for Computing Machinery, 2005.
DOI [bibtex] [issue] Erika Ábrahám, Frank S. de Boer, Martin Steffen, Willem-Paul de Roever. An Assertion-Based Proof System for Multithreaded Java, Theoretical computer science 331 (2/3), pages 251-290, Elsevier, 2005.
fulltext PDF [bibtex] [issue] Carsten Kern. Analysis and imlementations of MSC specifications, Volume 05-29 of Technische universiteit eindhoven: Computer Science-Report, 55-61, TU, 2005.
DOI [bibtex] [issue] Benedikt Bollig. On the expressiveness of asynchronous cellular automata, Fundamentals of computation theory (FCT 2005), Volume 3623 of LNCS, 528-539, Springer, 2005.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. A hierarchy of implementable MSC languages, Formal techniques for networked and distributed systems - FORTE 2005, Volume 3731 of LNCS, 53-67, Springer, 2005.
DOI [bibtex] [issue] Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes, Theoretical aspects of computing - ICTAC 2004, Volume 3407 of LNCS, 37-51, Springer, 2005.
DOI [bibtex] [issue] Axel Belinfante, Henrik Bohnenkamp. Timed testing with TorX, Volume 3582 of LNCS, 173-188, Springer, 2005.
DOI [bibtex] [issue] . Equational abstractions for model checking Erlang programs, 145-162, Elsevier Science, 2005.
DOI [bibtex] [issue] Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker. Model-based testing of reactive systems, Volume 3472 of LNCS, VIII, 659 S.. : graph. Darst., Springer, 2005.
[bibtex] [issue] Andreas Grüner, Erika Ábrahám, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes, COSMICAH 2005, Volume RR-05-04 of Research report / Queen Mary, University of London, Department of Computer Science, 47-61, Queen Mary, University of London, Department of Computer Science, 2005.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Felix Klaedtke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems, Verification, model checking, and abstract interpretation (VMCAI 2005), Volume 3385 of LNCS, 396-412, Springer, 2005.
DOI [bibtex] [issue] Henrik Bohnenkamp, Jarno Guidi, Johan Gorter, Joost-Pieter Katoen. Are you still there?, Proceedings / 2005 International Conference on Dependable Systems and Networks, 704-709, IEEE Computer Society, 2005.
DOI [bibtex] [issue] Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Martin Steffen. A Fully Abstract Trace Semantics for UML Components, Formal methods for components and objects (FMCO 2004), Volume 3657 : Tutorial of LNCS, 49-69, Springer, 2005.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen, Maneesh Khattri. A Markov reward model checker, Proceedings / Second International Conference on the Quantitative Evaluation of Systems, 243-244, IEEE Computer Society, 2005.
[bibtex] [issue] Chanchal Kumar Roy, Thomas Noll. Modeling Erlang in the pi-Calculus, Erlang 05, 72-77, ACM Press, 2005.
[bibtex] [issue] Chanchal Kumar Roy, Thomas Noll. Towards automatic verification of Erlang programs by pi-calculus translation, Erlang 05, 38-50, ACM Press, 2005.
DOI [bibtex] [issue] Erika Ábrahám, Frank S. de Boer, Martin Steffen, Willem-Paul de Roever. Inductive Proof Outlines for Exceptions in Multithreaded Java, Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005), Volume 159 of Electronic notes in theoretical computer science, 281-297, Elsevier, 2005.
DOI [bibtex] [issue] Joost-Pieter Katoen, Lucia Cloth, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, Proceedings / 2005 International Conference on Dependable Systems and Networks, 722-731, IEEE Computer Society, 2005.
DOI [bibtex] [issue] Andreas Grüner, Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes, Formal methods for components and objects (FMCO 2004), Volume 3657 : Tutorial of LNCS, 296-316, Springer, 2005.
2003
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Data & knowledge engineering 44 (2), North-Holland, 2003.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. Model checking probabilistic distributed systems, Advances in computing science - ASIAN 2003, Volume 2896 of LNCS, 291-304, Springer, 2003.
2002
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, Performance evaluation of complex systems, Volume 2459 of LNCS, 261-289, Springer, 2002.
DOI [bibtex] [issue] Markus Mohnen. A graph-free approach to data-flow analysis, Compiler construction (CC 2002), Volume 2304 of LNCS, 46-61, Springer, 2002.
[bibtex] [issue] Frank Günter Huch. Model checking Erlang programs, Implementation of functional languages, Volume 2312 of LNCS, Springer, 2002.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Gianfranco Ciardo, Reinhard German. Introduction to the special section on Petri Nets and Performance Models, IEEE transactions on software engineering 28 (10), pages 913-914, IEEE, 2002.
[bibtex] [issue] Frank Günter Huch, Volker Stolz. Implementation of port-based distributed Haskell, Implementation of functional languages, Volume 2312 of LNCS, Springer, 2002.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker, Philipp Lucas. Extending compositional message sequence graphs, Logic for programming, artificial intelligence, and reasoning, Volume 2514 of LNCS, 68-85, Springer, 2002.
DOI [bibtex] [issue] Markus Mohnen, Thomas Arts. Implementation of functional languages, Volume 2312 of LNCS, VI, 185 S. : graph. Darst., Springer, 2002.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker, Thomas Noll. Generalised regular MSC languages, Foundations of software science and computation structures, Volume 2303 of LNCS, 52-66, Springer, 2002.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Lucia Cloth. Model checking performability properties, Proceedings / International Conference on Dependable Systems and Networks, 103-112, IEEE Computer Society, 2002.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Katinka Wolter, Kave Eshghi, Pankaj K. Garg, Thomas Gschwind. Enabling network caching of dynamic Web objects, Computer performance evaluation, Volume 2324 of LNCS, 329-338, Springer, 2002.
2001
[bibtex] [issue] Frank Günter Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Implementation of functional languages, Volume 2011 of LNCS, 107-121, Springer, 2001.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. Modelling, specifying, and verifying message passing systems, Proceedings / Eighth International Symposium on Temporal Representation and Reasoning, TIME 2001, 240-247, IEEE Computer Soc., 2001.
DOI [bibtex] [issue] Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Proceedings / Eighth International Symposium on Temporal Representation and Reasoning, TIME 2001, 189-197, IEEE Computer Soc., 2001.
[bibtex] [issue] D. Gurov, L.-A. Fredlund, Thomas Noll. The Erlang verification tool, Tools and algorithms for the construction and analysis of systems, Volume 2031 of LNCS, 582-585, Springer, 2001.
DOI [bibtex] [issue] Frank Günter Huch, Michael Hanus, Philipp Niederau. ObjectCurry, Implementation of functional languages, Volume 2011 of LNCS, 89-106, Springer, 2001.
[bibtex] [issue] Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, Implementation of functional languages, Volume 2011 of LNCS, 37-52, Springer, 2001.
DOI [bibtex] [issue] Dilian Gurov, Lars-Åke Fredlund, Thomas Noll. Semi-automated verification of Erlang code, Proceedings / 16th Annual International Conference on Automated Software Engineering (ASE 2001), 319-323, IEEE Computer Society, 2001.
[bibtex] [issue] Martin Leucker, Thomas Noll. Truth/SLC, Computer aided verification (CAV 2001), Volume 2102 of LNCS, 255-259, Springer, 2001.
[bibtex] [issue] Mark Borning, Roland Büschkes, Thomas Noll. Transaction-based anomaly detection in communication networks, 9th International Conference on Telecommunication Systems - Modeling and Analysis, March, 15 - 18, 2001, Dallas, Texas, USA / sponsored by Edwin L. Cox School of Business, Southern Methodist University ... Conference general chair, 2001.
fulltext PDF [bibtex] [issue] Klaus Indermark, Thomas Noll. Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg), Volume 2001,11 of Aachener Informatik-Berichte, 128 Bl.. : graph. Darst., RWTH, Department of Computer Science, 2001.
DOI [bibtex] [issue] Frank Günter Huch. Model checking Erlang programs, Electronic notes in theoretical computer science 55 (3), pages 18 S., Elsevier Science, 2001.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Martin Leucker, Michael Weber. Local parallel model checking for the alternation free mu-calculus, Volume 2001,4 of Aachener Informatik-Berichte, 38 Bl.. : graph. Darst.., RWTH, Department of Computer Science, 2001.
DOI [bibtex] [issue] Markus Mohnen. Implementation of functional languages, Volume 2011 of LNCS, VIII, 265 S. : graph. Darst., Springer, 2001.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Volume 2001,2 of Aachener Informatik-Berichte, 26 Bl.. : graph. Darst.., RWTH, 2001.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC languages, Volume 2001,5 of Aachener Informatik-Berichte, RWTH, 2001.
[bibtex] [issue] Frank Günter Huch, V. Stolz. Distributed programming in Haskell, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, Volume 2018 of Bericht / Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Inst. für Informatik und Praktische Mathematik, 2001.
DOI [bibtex] [issue] Thomas Noll. A rewriting logic implementation of Erlang, Electronic notes in theoretical computer science 44 (2), pages 206-224, Elsevier Science, 2001.
[bibtex] [issue] Benedikt Bollig, Martin Leucker, Michael Weber. Parallel model checking for the alternation free mu-calculus, Tools and algorithms for the construction and analysis of systems, Volume 2031 of LNCS, 543-558, Springer, 2001.
2000
[bibtex] [issue] Mads Dam, Thomas Noll. Context-representable processes, Volume 271 of Dagstuhl-Seminar-Report, 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000.
[bibtex] [issue] F. Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Volume 2000-7 of Aachener Informatik-Berichte, 87-99, RWTH, Fachgruppe Informatik, 2000.
fulltext PDF [bibtex] [issue] M. Leucker, Thomas Noll. Truth - a real-world application in Haskell, Proceedings of the 12. International Workshop on Implementation of Functional Languages, Volume 2000,07 of Aachener Informatik-Berichte, 363-380, RWTH Aachen, 2000.
DOI [bibtex] [issue] Jörg Köller, Markus Mohnen. Efficient abstract interpretation using component-wise homomorphisms, Proceedings of the 2. International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 226-234, ACM Press, 2000.
[bibtex] [issue] Martin Leucker. Parallel model checking for the alternation free mu-calculus, Volume 2000,7 of Ulmer Informatik-Berichte, 135-140, Univ., Fak. für Informatik, 2000.
[bibtex] [issue] Benedikt Bollig, J. Henriksen, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Theorietag 2000, Techn. Universität, 2000.
[bibtex] [issue] Olaf Chitil. Deforestation of functional programs through type inference, Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten, Volume 2007 of Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 121-130, Inst. für Informatik und Praktische Mathematik, 2000.
[bibtex] [issue] Olaf Chitil. Type-inference based short cut deforestation (nearly) without inlining, Implementation of functional languages, Volume 1868 of LNCS, 17-32, Springer, 2000.
[bibtex] [issue] A. Simon, F. Huch, Olaf Chitil. Typeview, Proceedings of the 12. International Workshop on Implementation of Functional Languages, Volume 2000-7 of Aachener Informatik-Berichte, 63-69, RWTH, Fachgruppe Informatik, 2000.
[bibtex] [issue] Markus Mohnen. Interfaces with skeletal implementations in Java, Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten, Volume 2007 of Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Inst. für Informatik und Praktische Mathematik, 2000.
[bibtex] [issue] Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations, Proceedings of the 12. International Workshop on Implementation of Functional Languages, Volume 2000,07 of Aachener Informatik-Berichte, 387-402, RWTH, Fachgruppe Informatik, 2000.
[bibtex] [issue] Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, Volume 2000,08 of Aachener Informatik-Berichte, 26 Bl., RWTH, Fachgruppe Informatik, 2000.
[bibtex] [issue] Markus Mohnen, P. Koopmann. Proceedings of the 12. International Workshop on Impementation of Functional Languages, Volume 2000,07 of Aachener Informatik-Berichte, 402 S. : Ill., graph. Darst., RWTH, 2000.
fulltext PDF [bibtex] [issue] F. Huch, M. Hanus, P. Niederau. Objectcurry, Proceedings of the 12. International Workshop on Implementation of Functional Languages, Volume 2000-7 of Aachener Informatik-Berichte, 331-337, RWTH, Fachgruppe Informatik, 2000.
[bibtex] [issue] Martin Leucker. On model checking synchronised hardware circuits, Advances in computing science - ASIAN 2000, Volume 1961 of LNCS, 182-198, Springer, 2000.
DOI [bibtex] [issue] H. Vogler, T. Noll. The universality of higher-order attributed tree transducers, Theory of computing systems 34, pages 45-75, Springer, 2000.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Ramin Sadre. FiFiQueues, Computer performance evaluation, Volume 1786 of LNCS, 324-327, Springer, 2000.
DOI [bibtex] [issue] Thomas Georg Richert. Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons, Euro-Par 2000 parallel processing, Volume 1900 of LNCS, 325-328, Springer, 2000.
[bibtex] [issue] Thomas Georg Richert. Using skeletons to implement a parallel multigrid method with overlapping adaptive grids, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, CSREA Press, 2000.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming, Volume 1853 of LNCS, 780-792, Springer, 2000.
1999
DOI [bibtex] [issue] Germán Vidal, María Alpuente, Michael Hanus, Salvador Lucas. Specialization of inductively sequential functional logic programs, SIGPLAN notices 34 (9), pages 273-283, ACM, Association for Computing Machinery Press, 1999.
[bibtex] [issue] T. Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme, 9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen', Volume 99,12 of Mathematische Schriften Kassel, 52-52, GhK, 1999.
[bibtex] [issue] T. Richert. Management of distributed dynamic data with algorithmic skeletons, Parallel Computing, Imperial College Press, 1999.
DOI [bibtex] [issue] Martin Leucker, Thomas Noll. Rapid prototyping of specification language implementations, Proceedings / IEEE International Workshop on Rapid Systems Prototyping, IEEE / IFIP International Symposium on Rapid System Prototyping. Proceedings, 60-65, IEEE Computer Soc., 1999.
[bibtex] [issue] M. Lange, M. Leucker, S. Tobies, T. Noll. Truth - a verification platform for concurrent systems, tool support for system specification, development and verification, Advances in Computing Science - ASIAN '99, Volume 1742 of LNCS, 150-159, Springer, 1999.
[bibtex] [issue] H. Vogler, T. Noll. On the universality of higher-order attribute grammars, Volume 99/01 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, Techn. Univ., Fakultät Informatik, 1999.
[bibtex] [issue] T. Noll. On coherence properties in term rewriting models of concurrency, CONCUR '99 - Concurrency Theory, Volume 1664 of LNCS, 478-493, Springer, 1999.
[bibtex] [issue] J. Henriksen, M. Leucker. Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten, 9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen', Volume 99,12 of Mathematische Schriften Kassel, 46-46, GhK, 1999.
DOI [bibtex] [issue] O. Chitil. Typer inference builds a short cut to deforestation, SIGPLAN notices 34 (9), pages 249-260, ACM, 1999.
[bibtex] [issue] J. Henriksen, M. Leucker. The automata-theoretic approach works for global trace logics, Proceedings of the 11. Nordic Workshop on Programming Theory, Uppsala University, 1999.
[bibtex] [issue] F. Huch. Erlang-style distributed Haskell, Implementation of Functional Languages, Volume 1868 of LNCS, 103-116, Springer, 1999.
[bibtex] [issue] O. Chitil. Denotational semantics for teaching lazy functional programming, Volume TR99-346 of Computer Science Technical Report, 27-27, Univ., 1999.
[bibtex] [issue] Heiko Vogler, Thomas Noll. On the universality of higher-order attributed tree transducers, Volume 99/05 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, 23 S. : graph. Darst., TU, Fak. Informatik, 1999.
[bibtex] [issue] K. Indermark. Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik, Forschung, Vieweg, 1999.
[bibtex] [issue] K. Indermark. Semantik rekursiver Funktionsdefinitionen, Forschung, Vieweg, 1999.
[bibtex] [issue] Klaus Indermark. Fundamenta Informaticae, IOS Press, 1999.
DOI [bibtex] [issue] Michael Hanus, Salvador Lucas. A semantics for program analysis in narrowing-based functional logic languages, Functional and logic programming, Volume 1722 of LNCS, 353-368, Springer, 1999.
DOI [bibtex] [issue] Michael Hanus. Distributed programming in a multi-paradigm declarative language, Principles and practice of declarative programming, Volume 1702 of LNCS, 188-205, Springer, 1999.
[bibtex] [issue] Frank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking - extended version, Volume 99-02 of Aachener Informatik-Berichte, RWTH, 1999.
DOI [bibtex] [issue] Frank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking, SIGPLAN notices 34 (9), pages 261-272, ACM, 1999.
[bibtex] [issue] F. Huch. Abstract interpretation of Erlang programs, 63-77, ISTec, 1999.
[bibtex] [issue] J. Köller, Markus Mohnen. A new class of functions for abstract interpretation, Static Analysis, Volume 1694 of LNCS, 248-263, Springer, 1999.
[bibtex] [issue] Markus Mohnen. Fixed points in metrified quasi ordered sets, Informatik '99, Informatik aktuell, Springer, 1999.
[bibtex] [issue] M. Leucker. Model checking games for the alternation free mu-calculus and alternating automata, Logic for programming and automated reasoning, Volume 1705 : Lecture notes in artificial intelligence of LNCS, 77-91, Springer, 1999.
1996
DOI [bibtex] [issue] George Horatiu Botorog, Herbert Kuchen. Skil, 243-252, IEEE Computer Society Press, 1996.
DOI [bibtex] [issue] Herbert Kuchen, Katia Gladitz. Shared memory implementation of the gamma-operation, Journal of symbolic computation 21 (4/6), pages 577-591, Elsevier, 1996.
1995
DOI [bibtex] [issue] Rita Loogen, Stephan Winkler. Dynamic detection of determinism in functional logic languages, Theoretical computer science 142 (1), pages 59-87, Elsevier, 1995.
1994
[bibtex] [issue] H. Kuchen, H. Stoltze. A data-parallel functional language for multicomputers, Parallele Datenverarbeitung aktuell, 139-148, IOS Press [u.a.], 1994.
[bibtex] [issue] M. Raus, W. Ameling. Parallel backpropagation implementation with mimd systems, Parallele Datenverarbeitung aktuell, 407-418, IOS Press [u.a.], 1994.
1993
[bibtex] [issue] F. Sáenz, S. Winkler, W. Hans. A VHDL specification of a shared memory parallel machine for Babel, Volume 93,19 of Aachener Inform.-Ber., 1993.
[bibtex] [issue] G. Hogen, R. Loogen. A new stack technique for the management of runtime structures in distributed implementations, Volume 93,3 of Aachener Inform.-Ber., 1993.
[bibtex] [issue] H. Kuchen. Distributed memory implementation of a data parallel functional language, Volume 76 of Programm. methodol. group. Rep., 1993.
[bibtex] [issue] L. Staiger, O. Maler. On syntactic congruences for -languages, Volume 93,13 of Aachener Inform.-Ber., 1993.
DOI [bibtex] [issue] Frank Herrmann, Heiko Vogler, Sandor Vagvolgyi, Z. Fülöp. Tree-transducers with external functions, Theoretical computer science 108 (2), pages 185-236, Elsevier, 1993.
DOI [bibtex] [issue] Guido Hogen, Rita Loogen. Stack management of runtime structures in distributed implementations, Volume 714 of Lect. notes in comput. sci., 416-417, 1993.
[bibtex] [issue] H. Kuchen, S. Winkler, W. Hans. Full indexing for lazy narrowing, Volume 93,18 of Aachener Inform.-Ber., 1993.
[bibtex] [issue] H. Stoltze. Parallele funktionale Programmierung mit algorithmischen Skleletten, Volume 93,7 of Aachener Inform.-Ber., 367-382, 1993.
[bibtex] [issue] H. Kuchen, H. Stoltze. Parallel functional programming using algorithmic skeletons, 1993.
[bibtex] [issue] B. Steffen, O. Burkart. Pushdown processes, Volume 93,10 of Aachener Inform.-Ber., 1993.
DOI [bibtex] [issue] Herbert Kuchen, Juan José Moreno-Navarro, Julio Mariño-Carballo, Stephan Winkler, Werner Hans. Efficient lazy narrowing using demandedness analysis, Volume 714 of Lect. notes in comput. sci., 167-183, 1993.
[bibtex] [issue] L. Staiger, W. Merzenich. Fractals, dimension, and formal languages, Volume 93,04 of Informatik-Berichte, Univ.-GH, Fachbereich Elektrotechnik und Informatik, 1993.
DOI [bibtex] [issue] Francisco López Fraguas, Mario Rodríguez Artalejo, Rita Loogen. A demand-driven computation strategy for lazy narrowing, Volume 714 of LNCS, 184-200, Springer, 1993.
[bibtex] [issue] H. Kuchen, H. Stoltze, R. Plasmeijer. Efficient distributed memory implementation of functional languages, 5th International Workshop on Implementation of Functional Languages, Volume 93,21 of Tech. rep., 69-86, 1993.
[bibtex] [issue] Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén. Concurrent functional processes, 5th International Workshop on Implementation of Functional Languages, Volume 93,21 of Tech. rep., 1993.
[bibtex] [issue] K. Gladitz. Implementierung von Bags, Volume 9309 of Univ. d. Bundeswehr München, Fak. Inform. Ber., Univ. der Bundeswehr, 1993.
[bibtex] [issue] C. Weise, T. Margaria. Continuous real time models in practice, 1993.
DOI [bibtex] [issue] Bernhard Steffen, Joachim Parrow, Rance Cleaveland. The concurrency workbench - a semantics-based tool for the verification of concurrent systems, ACM transactions on programming languages and systems 15 (1), pages 36-72, Association for Computing Machinery, 1993.
DOI [bibtex] [issue] Ludwig Staiger. Recursive automata on infinite words, Volume 665 of Lect. notes in comput. sci., 629-639, Springer, 1993.
[bibtex] [issue] A. Kindler, B. Steffen, T. Noll. Hierarchical parallelization of imperative programs, 178-184, 1993.
[bibtex] [issue] H. Kuchen, K. Gladitz. Parallel implementation of bags, 299-307, 1993.
[bibtex] [issue] L. Staiger. Kolmogorov complexity and Hausdorff dimension, Information and computation 103, pages 159-194, Elsevier, 1993.
[bibtex] [issue] T. Noll. On the first-order equivalence of call-by-name and call-by-value, Volume 9309 of Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 175-186, Univ. der Bundeswehr, 1993.
[bibtex] [issue] M. Mohnen. Proving the correctness of the static link technique using evolving algebras, Volume 9309 of Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 15-28, Univ. der Bundeswehr, 1993.
DOI [bibtex] [issue] Bernhard Steffen, Tiziana Margaria. Distinguishing formulas for free, 105-110, 1993.
[bibtex] [issue] H. Kuchen, K. Gladitz. Parallel implementation of bags, Tech. Ber. d. Univ. Koblenz, 1993.
DOI [bibtex] [issue] Ludwig Staiger, Oded Maler. On syntactic congruences for ω—languages, STACS 93, Volume 665 of LNCS, 586-594, Springer, 1993.
1992
[bibtex] [issue] H. Kuchen, K. Gladitz. Implementing bags on a shared memory MIMD-machine, Volume 92,19 of Aachener Informat.-Ber., RWTH Aachen, Department of Computer Science [u.a.], 1992.
DOI [bibtex] [issue] Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing, Volume 631 of LNCS, 24-38, Springer, 1992.
[bibtex] [issue] Tiziana Margaria. Efficient RT-level verification by theorem proving, Volume 1 of IFIP transactions / A, Computer science and technology, 696-702, North-Holland, 1992.
[bibtex] [issue] B. Steffen, J. Knoop, O. Rüthing. Lazy code motion, 1992.
DOI [bibtex] [issue] Bernhard Steffen, Jens Knoop. The interprocedural coincidence theorem, Volume 641 of LNCS, 125-140, 1992.
DOI [bibtex] [issue] Rita Loogen, Stephan Winkler, Werner Hans. On the interaction of lazy evaluation and backtracking, Volume 631 of Lect. notes in comput. sci., 355-369, 1992.
DOI [bibtex] [issue] Werner Hans. A complete indexing scheme for WAM-based abstract machines, Volume 631 of Lect. notes in comput. sci., 232-244, 1992.
DOI [bibtex] [issue] Bernhard Steffen, Olaf Burkart. Model checking for context-free processes, Volume 630 of Lect. notes in comput. sci., 123-137, Springer, 1992.
[bibtex] [issue] W. Hans. Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen, Volume 10/92 of Interner Bericht / Universität Karlsruhe, Fakultät für Informatik, Univ., Fak. für Informatik, Bibliothek, 1992.
DOI [bibtex] [issue] A. Kindler, G. Hogen, R. Loogen. Automatic parallelization of lazy functional programs, Volume 582 of Lect. notes in comput. sci., 254-268, Springer, 1992.
[bibtex] [issue] G. Hogen, R. Loogen. PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures, Volume 92,19 of Aachener Informat.-Ber., RWTH Aachen, Department of Computer Science [u.a.], 1992.
[bibtex] [issue] S. Winkler, W. Hans. Aliasing and groundness analysis of logic programs through abstract interpretation and its safety, Volume 92,27 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] F. Lücking, H. Kuchen, H. Stoltze. Candela - eine Sprache zur Beschreibung von Topologien, 1992.
[bibtex] [issue] H. Vogler, T. Noll. Top-down parsing with simultaneous evaluation of noncircular attribute grammars, Volume 92,14 of Aachener Informatik-Berichte, 1992.
DOI [bibtex] [issue] A. Maassen. Parallel programming with data structures and higher order functions, Science of computer programming 18, pages 38 S., Elsevier, 1992.
[bibtex] [issue] T. Margaria. Hierarchical mixed-mode verification of complex FSMs described at the RT level, 59-75, 1992.
[bibtex] [issue] R. Loogen. Implementierung funktional-logischer Programmiersprachen, 1992.
[bibtex] [issue] Francisco López Fraguas, Herbert Kuchen, J. J. Moreno Navarro, Mario Rodríguez Artalejo. Implementing disequality in a lazy functional logic language, 207-224, 1992.
[bibtex] [issue] R. Loogen. Implementierung von lazy narrowing - Vergleich weier Strategien, Volume 10/92 of Interner Bericht / Universität Karlsruhe, Fakultät für Informatik, Univ., Fak. für Informatik, Bibliothek, 1992.
[bibtex] [issue] H. Stoltze. Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme, Volume 92,16 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] B. Steffen, S. A. Smolka. Priority as extremal probability, Volume 92,4 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] B. Steffen, T. Margaria. Distinguishing formulas for free, Volume 92,23 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] B. Steffen, O. Burkart. Model checking for context-free processes, Volume 92,6 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing, Volume 92,22 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] Francisco López Fraguas, Herbert Kuchen, J. J. Moreno Navarro, Mario Rodríguez Artalejo. Implementing disequality in a lazy functional logic language, Volume 92,20 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] Francisco López Fraguas, Herbert Kuchen. Result directed computing in a functional logic language, Volume 92,21 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] Herbert Kuchen, Juan José Moreno-Navarro, Mario Rodríguez Artalejo, Rita Loogen. Graph-narrowing to implement a functional logic language, Volume 68.1/LyS/92 of Rep. FIM, Departamento de Informatica y Automatica, UCM, 1992.
[bibtex] [issue] P. Koch. Intelligentes backtracking bei der Auswertung funktional-logischer Programme, Volume 92,39 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] S. Winkler, W. Hans. Abstract interpretation of functional logic languages, Volume 92,43 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] R. Loogen, S. Winkler, W. Hans. On the interaction of lazy evaluation and backtracking, Volume 92,12 of Aachener Informatik-Berichte, 1992.
[bibtex] [issue] W. Hans. A complete indexing scheme for WAM-based abstract machines, Volume 92,11 of Aachener Informatik-Berichte, 1992.
DOI [bibtex] [issue] Friedrich Lücking, Herbert Kuchen, Holger Stoltze. Candela - a topology description language, Parallel processing, Volume 634 of LNCS, 777-778, Springer, 1992.
1989
[bibtex] [issue] F. Hinz, J. Dassow. An undecidability result for regular languages and its applications to regulated rewriting, Bulletin of the European Association for Theoretical Computer Science 38, pages 168-173, EATCS, 1989.