2024 |
[bibtex]
[issue]
|
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs, Proceedings of the ACM on programming languages 8, pages 93, ACM, 2024.
|
[bibtex]
[issue]
|
Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models: covering the parameter space, Formal methods in system design 62 (1/3), pages 181-259, Springer, 2024.
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, Proceedings of the ACM on programming languages 8 (OOPSLA1), pages 127, ACM, 2024.
|
[bibtex]
[issue]
|
Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking, 2024 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2024.
|
[bibtex]
[issue]
|
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 237-257, Springer, 2024.
|
[bibtex]
[issue]
|
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 38. AAAI Conference on Artificial Intelligence (AAAI 2024), Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, 17308-17316, Association for the Advancement of Artificial Intelligence, 2024.
|
[bibtex]
[issue]
|
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 10 Seiten, 2024. https://arxiv.org/abs/2401.12170
|
[bibtex]
[issue]
|
Alexander Nikolai Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr. Learning Explainable and Better Performing Representations of POMDP Strategies, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 299-319, Springer, 2024.
|
2023 |
[bibtex]
[issue]
|
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 Seiten, 2023. https://arxiv.org/abs/2302.00513
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, Proceedings of the ACM on programming languages 7 (POPL), pages 67, ACM, 2023.
|
[bibtex]
[issue]
|
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives, Formal methods in system design, 41 Seiten, Springer, 2023.
|
[bibtex]
[issue]
|
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 410-429, Springer, 2023.
|
[bibtex]
[issue]
|
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA1), pages 99, ACM, 2023.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The probabilistic termination tool amber, Formal methods in system design 61 (1), pages 90-109, Springer, 2023.
|
[bibtex]
[issue]
|
Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu. First three years of the international verification of neural networks competition (VNN-COMP), International journal on software tools for technology transfer 25, pages 329-339, Springer, 2023.
|
[bibtex]
[issue]
|
Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and Explore: Symbiotic Policy Synthesis in POMDPs, 35. International Conference on Computer-Aided Verification (CAV 2023), Volume 13966 of LNCS, 113-135, Springer, 2023.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, Journal of artificial intelligence research 77, pages 1637-1696, AI Access Found., 2023.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13993 of LNCS, 469-488, Springer, 2023.
|
[bibtex]
[issue]
|
Thomas Noll (ed), Ira Justus Fesefeldt (ed). 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Volume AIB-2023-03 of Aachener Informatik-Berichte, 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023.
|
[bibtex]
[issue]
|
Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 391-409, Springer, 2023.
|
[bibtex]
[issue]
|
Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata, 38. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), 13 Seiten, IEEE, 2023.
|
[bibtex]
[issue]
|
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA2), pages 294, ACM, 2023.
|
[bibtex]
[issue]
|
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), [1]-48, 2023. https://arxiv.org/abs/2309.07781
|
[bibtex]
[issue]
|
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Logical methods in computer science 19 (4), pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023.
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023. https://arxiv.org/abs/2307.07314
|
[bibtex]
[issue]
|
Marsha Chechik (ed), Joost-Pieter Katoen (ed), Martin Leucker (ed). Formal Methods, Volume 14000 of LNCS, xvi, 659 Seiten : Diagramme, Springer, 2023.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks, 32. International Joint Conference on Artificial Intelligence (IJCAI 2023), International Joint Conferences on Artificial Intelligence, 2023.
|
[bibtex]
[issue]
|
Suhas Kotha, Christopher Jan-Steffen Brix, Zico Kolter, Krishnamurthy (Dj Dvijotham, Huan Zhang. Provably Bounding Neural Network Preimages, 37. Conference on Neural Information Processing Systems (NeurIPS 2023), Volume 36 of Advances in neural information processing systems, [1]-21, [Verlag nicht ermittelbar], 2023.
|
2022 |
[bibtex]
[issue]
|
Alena Beatrice Cohrs, Jose Miguel Sanchez-Molero Martinez, Maren Paegert, Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. de Doncker, Peter Lürkens, Albert Moser, Aaron Jonathan Praktiknjo, Fabian Roemer, Andreas Ulbig, Rainer Dahlmann, Thomas Fischöder, Stefanie Gottuck, Jürgen Klankermeyer, Felix Kunz, Regina Palkovits, Stefan Sterlepper, Peter Quicker, Matthias Jarke, Max C. Lemme, Saskia K. Nagel, Joost-Pieter Katoen, Rainer Waser, Matthias Brockmann, Melanie Sarah Katharina Buchsbaum, Christian Rüdiger Hinke, Patrick Mattfield, Edgar Dahl, Fabian Kiessling, Holger Jahr, Jonas Gesenhues, Joachim Jankowski, Mare Mechelinck, Heidi Noels, Irene Neuner, Rolf Rossaint, Stefan Uhlig, Tanja Veselinović, Emiel Petrus Carla van der Vorst, Maximilian Alfons Voshage, Dirk Abel, Claus Bonerz, Lutz Eckstein, Bastian Lehrheuer, Micha Lesemann, Tobias Ostermann, René Zweigel, Benjamin Daniels, Frank Lehmkuhl, Michael Leuchner, Frank Lohrberg, Henry Riße, Martina Roß-Nickoll, Thomas Josef Wintgens. Nachhaltigen Wandel gestalten: Innovationsimpulse der RWTH, 145 Seiten : Illustrationen, RWTH Aachen University, 2022.
|
[bibtex]
[issue]
|
Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen. Out of Control: Reducing Probabilistic Models by Control-State Elimination, 23. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 450-472, Springer, 2022.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, Logical methods in computer science 18 (1), pages 29, Department of Theoretical Computer Science, Technical University of Braunschweig, 2022.
|
[bibtex]
[issue]
|
Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, 23. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 127-150, Springer, 2022.
|
[bibtex]
[issue]
|
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Foundations of Software Science and Computation Structures : 25. International Conference (FOSSACS 2022), Volume 13242 of LNCS, 449-469, Springer, 2022.
|
[bibtex]
[issue]
|
Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, 31. European Symposium on Programming (ESOP 2022), Volume 13240 of LNCS, 57-84, Springer, 2022.
|
[bibtex]
[issue]
|
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, International journal on software tools for technology transfer 24 (3), pages 331-350, Springer, 2022.
|
[bibtex]
[issue]
|
Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022.
|
[bibtex]
[issue]
|
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming: a programming paradigm for specifying mathematical models, Proceedings of the ACM on programming languages, pages 66, ACM, 2022.
|
[bibtex]
[issue]
|
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen", Eisenbahntechnische Rundschau 71 (5), pages 33-37, DVV Media Group, Eurailpress, 2022.
|
[bibtex]
[issue]
|
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions, 34. International Conference on Computer Aided Verification (CAV 2022), Volume 13371 of LNCS, 79-101, Springer, 2022.
|
[bibtex]
[issue]
|
Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 338-354, Springer, 2022.
|
[bibtex]
[issue]
|
Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, 33. International Conference on Concurrency Theory (CONCUR 2022), Volume 243 of LIPIcs - Leibniz International Proceedings in Informatics, 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
|
[bibtex]
[issue]
|
Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, [1]-62, 2022. https://arxiv.org/abs/2207.02822
|
[bibtex]
[issue]
|
Helene-Maria Bolke-Hermanns, Klaus Indermark, Joost-Pieter Katoen, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas. 50 Jahre Studiengang Informatik an der RWTH Aachen: Ein Streifzug in Text und Bild, 152 Seiten : Illustrationen, Diagramme, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022.
|
[bibtex]
[issue]
|
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming, Information and computation 289 (A), pages 104965, Elsevier, 2022.
|
[bibtex]
[issue]
|
Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget, 19. International Conference on Quantitative Evaluation of SysTems (QEST 2022), Volume 13479 of LNCS, 107-130, Springer, 2022.
|
[bibtex]
[issue]
|
Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel. Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining, 27. International Conference Formal Methods for Industrial Critical Systems (FMICS 2022), Volume 13487 of LNCS, 121-133, Springer, 2022.
|
[bibtex]
[issue]
|
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs, International journal on software tools for technology transfer 24 (5), pages 803-8019, Springer, 2022.
|
[bibtex]
[issue]
|
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, Journal of the ACM 69 (6), pages 46, ACM, 2022.
|
[bibtex]
[issue]
|
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs, IEEE transactions on automatic control 67 (12), pages 6333-6348, Institute of Electrical and Electronics Engineers, 2022.
|
[bibtex]
[issue]
|
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga. BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 713-732, Springer, 2022.
|
[bibtex]
[issue]
|
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen. Reasoning about distributed reconfigurable systems, Proceedings of the ACM on programming languages 6 (OOPSLA2), pages 145-174, ACM, 2022.
|
[bibtex]
[issue]
|
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis in Markov Models: A Gentle Survey, Volume 13660 of LNCS, 407-437, Springer, 2022.
|
[bibtex]
[issue]
|
Wiebke Lenze, Bastian Kogel, Simon Schotten, Thorsten Büker, Thomas Noll, Philipp Berger, Mario Fietze. Identification of Bottlenecks in Rail Infrastructure, 5. International Conference on Railway Technology: Research, Development and Maintenance, Civil-Comp Conferences, 23.12, Civil-Comp Press, 2022.
|
2021 |
[bibtex]
[issue]
|
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 30. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020), Volume 12561 of Theoretical Computer Science and General Issues, 231-248, Springer, 2021.
|
[bibtex]
[issue]
|
Gilles Barthe (ed), Joost-Pieter Katoen (ed), Alexandra Silva (ed). Foundations of probabilistic programming, xiv, 568 Seiten : Illustrationen, Cambridge University Press, 2021.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Journal of Logical and Algebraic Methods in Programming 119, pages 100633, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler. The complexity of reachability in parametric Markov decision processes, Journal of computer and system sciences 119, pages 183-210, Elsevier, 2021.
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning, Proceedings of the ACM on programming languages 5, pages 39, ACM, 2021.
|
[bibtex]
[issue]
|
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives, Formal methods in system design 60 (1), pages 33-86, Springer, 2021.
|
[bibtex]
[issue]
|
Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata, 16 Seiten, 2021. https://arxiv.org/abs/2104.02438
|
[bibtex]
[issue]
|
Tim Quatmann, Joost-Pieter Katoen. Multi-objective Optimization of Long-run Average and Total Rewards, 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 230-249, Springer, 2021.
|
[bibtex]
[issue]
|
Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Finding Provably Optimal Markov Chains, 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 173-190, Springer, 2021.
|
[bibtex]
[issue]
|
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A pre-expectation calculus for probabilistic sensitivity, Proceedings of the ACM on programming languages 5 (POPL), pages 52, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems, Formal aspects of computing 33 (4/5), pages 637-667, Springer, 2021.
|
[bibtex]
[issue]
|
Ira Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, 14. International Conference on Graph Transformation (ICGT21), Volume 12741 of LNCS, 283-293, Springer, 2021.
|
[bibtex]
[issue]
|
Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, International journal on software tools for technology transfer 24 (4), pages 589-610, Springer, 2021.
|
[bibtex]
[issue]
|
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming, 33. International Conference on Computer-Aided Verification (CAV 2021), Volume 12759, Theoretical Computer Science and General Issues of LNCS, 443-466, Springer, 2021.
|
[bibtex]
[issue]
|
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed $k$-Induction with an Application to Probabilistic Programs, 33. International Conference on Computer-Aided Verification (CAV 2021), Volume 12760 of LNCS, 524-549, Springer, 2021.
|
[bibtex]
[issue]
|
Tobias Winkler, Maximilian Weininger. Stochastic Games with Disjunctions of Multiple Objectives, 12. International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Volume 346 of EPTCS, 85-100, NICTA, 2021.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel. Tweaking the Odds in Probabilistic Timed Automata, 18. International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 39-58, Springer, 2021.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, European Conference on Symbolic and Quantitative Approaches with Uncertainty (ECSQARU), Volume 12897 of LNCS, 268-283, Springer, 2021.
|
[bibtex]
[issue]
|
Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs, 33. International Conference on Computer-Aided Verification (CAV 2021), Volume 12759, Theoretical Computer Science and General Issues of LNCS, 856-869, Springer, 2021.
|
[bibtex]
[issue]
|
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang. On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report, 9. International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Volume 12479 of LNCS, 216-241, Springer, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou. Model Checking the Multi-Formalism Language FIGARO, 51. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 463-470, IEEE, 2021.
|
[bibtex]
[issue]
|
Muhammad Hannan Khan, Osman Hassan, Shahid Khan. Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs, 18. International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Volume 12819, Theoretical computer science and general issues of LNCS, 86-104, Springer, 2021.
|
[bibtex]
[issue]
|
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki. Synthesizing optimal bias in randomized self-stabilization, Distributed computing 35 (1), pages 37-57, Springer, 2021.
|
[bibtex]
[issue]
|
Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll. A Modular Approach to Non-deterministic Dynamic Fault Trees, 40. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), Volume 12852 of Programming and Software Engineering, 243-257, Springer, 2021.
|
[bibtex]
[issue]
|
Alexander Hoppen, Thomas Noll. A Debugger for Probabilistic Programs, 19. International Conference on Software Engineering and Formal Methods (SEFM 2021), Volume 13085 of LNCS, 282-289, Springer, 2021.
|
[bibtex]
[issue]
|
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Probabilistic Data with Continuous Distributions, ACM SIGMOD record 50 (1), pages 69-76, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The Probabilistic Termination Tool Amber, Formal Methods - 24. International Symposium (FM 2021), Volume 13047 of LNCS, 667-675, Springer, 2021.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. Automated Termination Analysis of Polynomial Probabilistic Programs, 30. European Symposium on Programming (ESOP 2021), Volume 12648 of LNCS, 491-518, Springer, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen. Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs, IEEE 26. Pacific Rim International Symposium on Dependable Computing (PRDC), 113-122, IEEE, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, 10. Latin-American Symposium on Dependable Computing (LADC), IEEE, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification, 13. NASA Formal Methods Symposium (NFM 2021), Volume 12673, Programming and software engineering of LNCS, 180-197, Springer, 2021.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, 27 Seiten, 2021. https://arxiv.org/abs/1910.11666v4
|
[bibtex]
[issue]
|
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata, 36. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Conferences, [1]-13, Association for Computing Machinery, 2021.
|
2020 |
[bibtex]
[issue]
|
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan. Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control, Acta informatica 58 (5), pages 497-528, Springer, 2020.
|
[bibtex]
[issue]
|
Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder: induction for lower bounds in probabilistic program verification, Proceedings of the ACM on programming languages 4 (POPL), pages 1-28, ACM, 2020.
|
[bibtex]
[issue]
|
Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 28. 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, January, 2020.
|
[bibtex]
[issue]
|
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang. Learning One-Clock Timed Automata, 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078, Theoretical Computer Science and General Issues of LNCS, 444-462, Springer, 2020.
|
[bibtex]
[issue]
|
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer. PrIC3: Property Directed Reachability for MDPs, 2020. https://arxiv.org/abs/2004.14835
|
[bibtex]
[issue]
|
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour. Simple Strategies in Multi-Objective MDPs, 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078, Theoretical Computer Science and General Issues of LNCS, 346-364, Springer, 2020.
|
[bibtex]
[issue]
|
Christopher Jan-Steffen Brix, Thomas Noll. Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs, 12 Seiten, 2020. https://arxiv.org/abs/2006.09040
|
[bibtex]
[issue]
|
Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein. Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination, Information and computation 272, pages 104504, Elsevier, 2020.
|
[bibtex]
[issue]
|
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs, 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078, Theoretical Computer Science and General Issues of LNCS, 287-305, Springer, 2020.
|
[bibtex]
[issue]
|
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions, IEEE transactions on automatic control 66 (3), pages 1040-1054, Institute of Electrical and Electronics Engineers, 2020.
|
[bibtex]
[issue]
|
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan. Unbounded-Time Safety Verification of Stochastic Differential Dynamics, 32. International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 327-348, Springer, 2020.
|
[bibtex]
[issue]
|
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, 39. ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), 347-360, ACM, 2020.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020.
|
[bibtex]
[issue]
|
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, 32. International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 398-420, Springer, 2020.
|
[bibtex]
[issue]
|
Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler. Approximating Values of Generalized-Reachability Stochastic Games, 35. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20), ACM conferences, 102-115, Association for Computing Machinery, 2020.
|
[bibtex]
[issue]
|
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, 4. Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Volume 316 of EPTCS, 1-14, NICTA, 2020.
|
[bibtex]
[issue]
|
Christopher Jan-Steffen Brix, Parnia Bahar, Hermann Ney. Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture, 58. Annual Meeting of the Association for Computational Linguistics, 3909-3915, 2020.
|
[bibtex]
[issue]
|
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees, Science of computer programming 196, pages 102478, Elsevier Science, 2020.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 31. International Conference on Concurrency Theory (CONCUR 2020), Volume 171 of Leibniz international proceedings in informatics, 44:1-44:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2020.
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020. https://arxiv.org/abs/2010.14548
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020.
|
[bibtex]
[issue]
|
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour. Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Logical methods in computer science 16 (4), pages 13, Department of Theoretical Computer Science, Technical University of Braunschweig, 2020.
|
[bibtex]
[issue]
|
Marcin Szymczak, Joost-Pieter Katoen. Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence, 5. School on Engineering Trustworthy Software Systems (SETSS 2019), Volume 12154 of LNCS, 44-121, Springer, 2020.
|
[bibtex]
[issue]
|
Mojgan Kamali, Joost-Pieter Katoen. Probabilistic Model Checking of AODV, 17. International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 54-73, Springer, 2020.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking, 17. International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 115-133, Springer, 2020.
|
[bibtex]
[issue]
|
Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C: NITWIT, 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078, Theoretical Computer Science and General Issues of LNCS, 40-57, Springer, 2020.
|
[bibtex]
[issue]
|
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, 12. NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 133-150, Springer, 2020.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. Explaining Boolean-Logic Driven Markov Processes using GSPNs, 16. European Dependable Computing Conference (EDCC), 119-126, IEEE, 2020.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics for Repairable BDMPs, 39. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2020), Volume 12234 of LNCS, 82-98, Springer, 2020.
|
[bibtex]
[issue]
|
Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 288-304, Springer, 2020.
|
[bibtex]
[issue]
|
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3: Property Directed Reachability for MDPs, 32. International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 512-538, Springer, 2020.
|
[bibtex]
[issue]
|
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, 2020. https://arxiv.org/abs/2004.13283
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Verifying Probabilistic Programs, 17. International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 298-298, Springer, 2020.
|
2019 |
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the hardness of analyzing probabilistic programs, Acta informatica 56 (3), pages 255-285, Springer, 2019.
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, Proceedings of the ACM on programming languages 3 (POPL), pages 34, ACM, 2019.
|
[bibtex]
[issue]
|
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, Elsevier Science, 2019.
|
[bibtex]
[issue]
|
Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees, 6. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Volume 1008 of Communications in computer and information science, 37-54, Springer, 2019.
|
[bibtex]
[issue]
|
Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report), 25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11429 of LNCS, 69-92, Springer, 2019.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set, 25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11427 of LNCS, 344-350, Springer, 2019.
|
[bibtex]
[issue]
|
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. Correct-by-construction policies for POMDPs, 5. 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), ACM Digital Library, 6-8, ACM Press, 2019.
|
[bibtex]
[issue]
|
Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, 24. International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 40-58, Springer, 2019.
|
[bibtex]
[issue]
|
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17. edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019), Volume 11724, Theoretical computer science and general issues of LNCS, 513-531, Springer, 2019.
|
[bibtex]
[issue]
|
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development, 24. International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
|
[bibtex]
[issue]
|
Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification, IEEE transactions on neural systems and rehabilitation engineering 27 (4), pages 564-571, IEEE, 2019.
|
[bibtex]
[issue]
|
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella. Repairing Learned Controllers with Convex Optimization: A Case Study, 16. 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.
|
[bibtex]
[issue]
|
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories, 32. International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2019), Volume 11606 of LNCS, 674-686, Springer, 2019.
|
[bibtex]
[issue]
|
Peter Rossmanith (ed), Pinar Heggernes (ed), Joost-Pieter Katoen (ed). 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.
|
[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.
|
[bibtex]
[issue]
|
Milan Češka, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Model Repair Revamped, Volume 11500 of LNCS, 107-125, Springer, 2019.
|
[bibtex]
[issue]
|
Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, Elsevier, 2019.
|
[bibtex]
[issue]
|
Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, International journal on software tools for technology transfer 22 (2), pages 135-161, Springer, 2019.
|
[bibtex]
[issue]
|
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes, 30. International Conference on Concurrency Theory (CONCUR), Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 25 Seiten, 2019. https://arxiv.org/abs/1910.11666
|
[bibtex]
[issue]
|
Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 23 Seiten, 2019. https://arxiv.org/abs/1906.00763
|
[bibtex]
[issue]
|
Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Are Parametric Markov Chains Monotonic?, 17. International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Volume 11781 of LNCS, 479-496, Springer, 2019.
|
[bibtex]
[issue]
|
Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Shepherding Hordes of Markov Chains, 25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11428 of LNCS, 172-190, Springer, 2019.
|
[bibtex]
[issue]
|
Nan Guan (ed), Joost-Pieter Katoen (ed), Jun Sun (ed). Dependable software engineering: theories, tools, and applications, Volume 11951 of LNCS, viii, 138 Seiten : Illustrationen, Springer, 2019.
|
[bibtex]
[issue]
|
Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches, 3. World Congress on Formal Methods (FM 2019), Volume 11800 of LNCS, 101-120, Springer, 2019.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs, 24. Pacific Rim International Symposium on Dependable Computing (PRDC), 266-275, IEEE, 2019.
|
[bibtex]
[issue]
|
Saeid Dehnavi, Ali Sedaghatbaf, Bahare Salmani Barzoki, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah. Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca, 16. International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019), Volume 155 of Procedia computer science, 59-68, Elsevier, 2019.
|
[bibtex]
[issue]
|
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0, 25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11427 of LNCS, 379-385, Springer, 2019.
|
2018 |
[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.
|
[bibtex]
[issue]
|
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming, ACM transactions on programming languages and systems 40 (1), pages 4, Association for Computing Machinery, 2018.
|
[bibtex]
[issue]
|
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, IEEE transactions on industrial informatics 14 (1), pages 370-379, IEEE, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems, IEEE 19. International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems, 16. International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24. 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.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Reachability in MDP, 24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806, Part 2 of LNCS, 320-339, Springer, 2018.
|
[bibtex]
[issue]
|
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness, 16. International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 271-286, Springer, 2018.
|
[bibtex]
[issue]
|
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, 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.
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee?: A program analysis perspective on expected sampling times, 27. European Symposium on Programming (ESOP 2018), Volume 10801 of LNCS, 186-213, Springer, 2018.
|
[bibtex]
[issue]
|
Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs, 39. International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018), Volume 10877 of LNCS, 272-293, Springer, 2018.
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Programs, 159 Seiten, 2018. https://arxiv.org/abs/1802.10467
|
[bibtex]
[issue]
|
Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification, 48. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), 267-278, IEEE, 2018.
|
[bibtex]
[issue]
|
Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness!: An Attestor for Verifying Java Pointer Programs, 30. International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, 3-11, Springer, 2018.
|
[bibtex]
[issue]
|
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software, 30. International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, 447-466, Springer, 2018.
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM 65 (5), pages 30:1-30:68, 2018.
|
[bibtex]
[issue]
|
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs by Multi-clock Timed Automata, 30. International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 507-526, Springer, 2018.
|
[bibtex]
[issue]
|
Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration, 30. International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 643-661, Springer, 2018.
|
[bibtex]
[issue]
|
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Verifying Auto-generated C Code from Simulink: An Experience Report in the Automotive Domain, 22. International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations, 22. International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back), 27. International Joint Conference on Artificial Intelligence (IJCAI 2018), 5771-5772, 2018.
|
[bibtex]
[issue]
|
Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3, 23. International Symposium on Model Checking Software (Spin 2018), LNCS, 85-102, Springer, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information systems frontiers 21 (1), pages 87-107, Kluwer, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives, 8 Seiten : Tabellen, Diagramme, 2018. https://arxiv.org/abs/1805.09938
|
[bibtex]
[issue]
|
Francesco Leofante, Erika Ábrahám, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics, 14. International Conference on Integrated Formal Methods (IFM 2018), Volume 11023, Programming and Software Engineering of LNCS, 316-325, Springer, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám, Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties, 15. International Conference on Quantitative Evaluation of Systems (QEST 2018), Volume 11024, Theoretical Computer Science and General Issues of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Rule-Based Conditioning of Probabilistic Data, 12. International Conference on Scalable Uncertainty Management (SUM 2018), Volume 11142 of Lecture Notes in Artificial Intelligence, 290-305, Springer, 2018.
|
[bibtex]
[issue]
|
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Synthesis in pMDPs: A Tale of 1001 Parameters, 16. International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Volume 11138 of LNCS, 160-176, Springer, 2018.
|
[bibtex]
[issue]
|
Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3. 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.
|
[bibtex]
[issue]
|
Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic, 13. International Workshop on the Implementation of Logics (IWIL 2018), Volume 57 of EPiC series in computing, 23-36, EasyChair, 2018.
|
[bibtex]
[issue]
|
Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees, Journal of Aerospace Information Systems, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Silvia Lizeth Taipa Tarifa (ed). Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18), Volume 483 of Research report / University of Oslo, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Elisabetta Di Nitto (ed), Raffaela Mirandola (ed). 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering: GE 2018, IEEE, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics, Volume 10900 of LNCS, XII-XII, Springer, 2018.
|
[bibtex]
[issue]
|
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. Model Checking for Safe Navigation Among Humans, 15. International Conference on Quantitative Evaluation of Systems (QEST 2018), Volume 11024, Theoretical Computer Science and General Issues of LNCS, 207-222, Springer, 2018.
|
[bibtex]
[issue]
|
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34. Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, AUAI Press, 2018.
|
[bibtex]
[issue]
|
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs, 15. International Conference on Quantitative Evaluation of Systems (QEST 2018), Volume 11024, Theoretical Computer Science and General Issues of LNCS, 53-70, Springer, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, 32. AAAI Conference on Artificial Intelligence, 8020-8021, 2018.
|
[bibtex]
[issue]
|
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34. Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, Curran Associates, Inc., 2018.
|
2017 |
[bibtex]
[issue]
|
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes, Information and Computation 253 (Part 1), pages 1-35, Elsevier, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England. Satisfiability checking and symbolic computation, ACM Communications in computer algebra 50 (4), pages 145-147, ACM, 2017.
|
[bibtex]
[issue]
|
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault trees on a diet: automated reduction by graph rewriting, Formal aspects of computing 29 (4), pages 651-703, Springer, 2017.
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, 32. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 1-12, IEEE, 2017.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017. https://arxiv.org/abs/1702.04311
|
[bibtex]
[issue]
|
Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie: foutvrije software in de ruimte, Bits en Chips 1, pages 38-39, Techwatch bv, 2017.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker, 29. International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, 592-600, Springer, 2017.
|
[bibtex]
[issue]
|
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, 26. European Symposium on Programming (ESOP 2017), Volume 10201 of LNCS, 611-638, Springer, 2017.
|
[bibtex]
[issue]
|
Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, embeddedworld Exibition & Conference, 5 Seiten, Zenodo, 2017.
|
[bibtex]
[issue]
|
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs, 23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, 133-150, Springer, 2017.
|
[bibtex]
[issue]
|
Carlos E. Budde, Hans Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. JANI: Quantitative Model and Tool Interaction, 23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, 151-168, Springer, 2017.
|
[bibtex]
[issue]
|
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives, 29. International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, 140-159, Springer, 2017.
|
[bibtex]
[issue]
|
Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees, AIAA Space and Astronautics Forum and Exposition, 1140-1149, Curran Associates, Inc., 2017.
|
[bibtex]
[issue]
|
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset, 5. International Symposium on Model Based Safety Assessment (IMBSA 2017), 2 Seiten, 2017.
|
[bibtex]
[issue]
|
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems, 36. International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Volume 10488 of LNCS, 3-19, Springer, 2017.
|
[bibtex]
[issue]
|
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 36. International Symposium on Reliable Distributed Systems (SRDS 2017), 94-103, IEEE, 2017.
|
[bibtex]
[issue]
|
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Motion planning under partial observability using game-based abstraction, IEEE 56. Annual Conference on Decision and Control (CDC), 2201-2208, IEEE, 2017.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Falak Sher. Modal Stochastic Games: Abstraction-Refinement of Probabilistic Automata, KiMfest, Volume 10460 of LNCS, 426-448, Springer, 2017.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, 368-389, Springer, 2017.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract), Volume 10580 of LNCS, [XVI]-XVII, Springer, 2017.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Rom Langerak, Arend Rensink. ModelEd, TestEd, TrustEd: essays dedicated to Ed Brinksma on the occassion of his 60th birthday, Volume 10500 of LNCS, XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017.
|
[bibtex]
[issue]
|
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges, Springer eBook Collection : Computer Science, 133-159, Springer, 2017.
|
[bibtex]
[issue]
|
Radu Calinescu, Marco Autili, Javier Ciamara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli. Synthesis and Verification of Self-aware Computing Systems, Springer eBook Collection : Computer Science, 337-373, Springer, 2017.
|
[bibtex]
[issue]
|
Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs, Volume 2017-04 of NII Shonan Meeting Report, 15 Seiten, National Institute of Informatics, 2017.
|
[bibtex]
[issue]
|
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness, 44 Seiten, 2017. https://arxiv.org/abs/1705.03754
|
2016 |
[bibtex]
[issue]
|
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. 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.
|
[bibtex]
[issue]
|
Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački. 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.
|
[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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, 31. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 31-45, ACM Press, 2016.
|
[bibtex]
[issue]
|
Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, 31. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 56-65, ACM Press, 2016.
|
[bibtex]
[issue]
|
Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs, 31. Annual ACM/IEEE Symposium, 672-681, ACM Press, 2016.
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Inferring Covariances for Probabilistic Programs, 13. International Conference on Quantitative Evaluation of Systems (QEST 2016), Volume 9826 of LNCS, 191-206, Springer, 2016.
|
[bibtex]
[issue]
|
Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. 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.
|
[bibtex]
[issue]
|
Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever, 14. International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, 50-67, Springer, 2016.
|
[bibtex]
[issue]
|
Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs, 14. International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 9938 of LNCS, 68-85, Springer, 2016.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. 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.
|
[bibtex]
[issue]
|
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga. Confluence reduction for Markov automata, Theoretical computer science 655, pages 193-219, Elsevier, 2016.
|
[bibtex]
[issue]
|
Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross. Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks, IEEE 35. Symposium on Reliable Distributed Systems (SRDS 2016), 307-316, IEEE, 2016.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, ACM Transactions on Embedded Computing Systems 22 (1), pages 15, ACM Press, 2016.
|
[bibtex]
[issue]
|
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron. On the Semantic Intricacies of Conditioning, 2 Seiten, 2016.
|
[bibtex]
[issue]
|
Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs, 22. international conference, held as part of the European Joint Conferences on Theory and Practice of Software (TACAS 2016), Volume 9636 of LNCS, 130-146, Springer, 2016.
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, 25. European Symposium on Programming (ESOP 2016), Volume 9632 of LNCS, 364-389, Springer, 2016.
|
[bibtex]
[issue]
|
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, 46. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), 299-310, IEEE, 2016.
|
[bibtex]
[issue]
|
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, 35. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, 253-265, Springer, 2016.
|
[bibtex]
[issue]
|
Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta. Catalogue of System and Software Properties, 35. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, 88-101, Springer, 2016.
|
[bibtex]
[issue]
|
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu. Probabilistic Verification for Cognitive Models, AAAI 2016 Fall Symposium, Volume FS-16-03 of AAAI Technical Reports, 185-188, AAAI Press, 2016.
|
[bibtex]
[issue]
|
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, 115 Seiten, 2016. https://arxiv.org/abs/1610.07041
|
[bibtex]
[issue]
|
Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England. Satisfiability checking and symbolic computation, 3 Seiten : Illustrationen, 2016. https://arxiv.org/abs/1607.06945
|
2015 |
[bibtex]
[issue]
|
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, Science of computer programming 97 (1), pages 157-162, Elsevier, 2015.
|
[bibtex]
[issue]
|
Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec. Modelling and statistical model checking of a microgrid, International journal on software tools for technology transfer 17 (4), pages 537-554, Springer, 2015.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. 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.
|
[bibtex]
[issue]
|
Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, 20. international symposium Formal Methods (FM 2015), Volume 9109 of LNCS, 435-452, Springer, 2015.
|
[bibtex]
[issue]
|
Souymodip Chakraborty, Joost-Pieter Katoen. Model Checking of Open Interval Markov Chains, 22. International Conference on Analytical Stochastic Modelling Techniques Applications (ASMTA 2015), Volume 9081 of LNCS, 30-42, Springer, 2015.
|
[bibtex]
[issue]
|
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen. Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, 13. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Volume 9268 of LNCS, 93-107, Springer, 2015.
|
[bibtex]
[issue]
|
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models, 7. NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems, 5. Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.
|
[bibtex]
[issue]
|
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Flow* 1.2: More Effective to Play with Hybrid Systems, 1. 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Challenges and Recommendations for Preparing HPC Applications for Exascale, 6 Seiten, 2015. https://arxiv.org/abs/1503.06974
|
[bibtex]
[issue]
|
Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen, AUTOREG 2015 - Auf dem Weg zum automatisierten Fahren, 7. Fachtagung (AUTOREG 2015), Volume 2233 of VDI-Berichte, 101-112, VDI-Verl., 2015.
|
[bibtex]
[issue]
|
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Preparing HPC Applications for Exascale: Challenges and Recommendations, 18. International Conference on Network-Based Information Systems (NBiS 2015), 401-406, IEEE, 2015.
|
[bibtex]
[issue]
|
Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens. A Statistical Approach for Timed Reachability in AADL Models, 45. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), 81-88, IEEE, 2015.
|
[bibtex]
[issue]
|
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming, Electronic notes in theoretical computer science 319, pages 199-216, Elsevier Science, 2015.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Probabilistic Programming: A True Verification Challenge, 13. International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Volume 9364 of LNCS, 1-3, Springer, 2015.
|
[bibtex]
[issue]
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost–Sure Termination, 40. International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Volume 9234 of LNCS, 308-318, Springer, 2015.
|
[bibtex]
[issue]
|
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, 1. International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, 3-18, Springer, 2015.
|
[bibtex]
[issue]
|
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: using graph grammars for abstracting unbounded heap structures, Formal methods in system design 47 (2), pages 159-203, Springer, 2015.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron. Understanding Probabilistic Programs, Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60. Birthday, Volume 9360 of LNCS, 15-32, Springer, 2015.
|
[bibtex]
[issue]
|
Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation, International Symposium on Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, 69-85, Springer, 2015.
|
[bibtex]
[issue]
|
Christoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic, 13. Asian Symposium on Programming Languages and Systems (APLAS 2015), Volume 9458 of LNCS, 90-108, 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.
|
[bibtex]
[issue]
|
Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata, 15. Conference on Formal Methods in Computer - Aided Design (FMCAD 2015), 97-104, FMCAD Inc, 2015.
|
[bibtex]
[issue]
|
Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, 3. International Workshop on Strategic Reasoning (SR 2015), 2-18, 2015.
|
[bibtex]
[issue]
|
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. 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.
|
[bibtex]
[issue]
|
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles, 2015 IEEE Conference on Control Applications (CCA), 1722-1728, IEEE, 2015.
|
2014 |
[bibtex]
[issue]
|
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, Performance evaluation 73 Special (SI), pages 110-132, Elsevier, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey, Formal methods for executable software models (SFM 2014), Volume 8483 of LNCS, 65-121, Springer, 2014.
|
[bibtex]
[issue]
|
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic counterexample generation for large discrete-time Markov chains, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods, Reliability engineering & system safety 132, pages 20-35, Elsevier, 2014.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis : 12th international symposium (ATVA 2014), Volume 8837 of LNCS, 146-162, Springer, 2014.
|
[bibtex]
[issue]
|
Tomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Article No. 22, 10 S., ACM, 2014.
|
[bibtex]
[issue]
|
Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, 8. IFIP TC 1/WG 2.2 international conference (TCS 2014), Volume 8705 of LNCS, 207-222, Springer, 2014.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems, Stochastic model checking (ROCKS 2012), Volume 8453 of LNCS, 87-116, Springer, 2014.
|
[bibtex]
[issue]
|
Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Foundations of software science and computation structures (FOSSACS 2014), Volume 8412 of LNCS, 73-87, Springer, 2014.
|
[bibtex]
[issue]
|
Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking, 2. International Conference on Railway Technology: Research, Development and Maintenance, Volume 104 of Civil-Comp Proceedings : CCP, Paper 299, 16 S., Civil-Comp Press, 2014.
|
[bibtex]
[issue]
|
Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Graph transformation, LNCS, 49-64, Springer, 2014.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF: Compositional Semantics, Reduction, and Analysis, International Conference on Embedded Software (EMSOFT), Article No. 1, 10 S., ACM, 2014.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Software engineering and formal methods (SEFM 2014), Volume 8702 of LNCS, XV-XVII, Springer, 2014.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers: a case study exploiting a new GSPN semantics, Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance (MMB DFT 2014), Volume 8376 of LNCS, 57-72, Springer, 2014.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL-LICS '14), Article No. 55, 10 S., ACM, 2014.
|
[bibtex]
[issue]
|
Alfons Laarman, Anton J. Wijs. Partial Order Reduction for Multi-Core LTL Model Checking, Hardware and software: verification and testing (HVC 2014), Volume 8855 of LNCS, 267-283, Springer, 2014.
|
[bibtex]
[issue]
|
Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Formal Techniques for Safety-Critical Systems (FTSCS 2014), Volume 476 of Communications in Computer and Information Science, 17-31, Springer, 2014.
|
[bibtex]
[issue]
|
Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, 14. International Conference on Application of Concurrency to System Design (ACSD 2014), 21-31, IEEE, 2014.
|
[bibtex]
[issue]
|
Falak Sher Vira, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata, CONCUR 2014 - concurrency theory (CONCUR 2014), Volume 8704 of LNCS, 576-592, Springer, 2014.
|
[bibtex]
[issue]
|
Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories, Formal aspects of component software : 10. international symposium (FACS 2013), Volume 8348 of LNCS, 1-19, Springer, 2014.
|
[bibtex]
[issue]
|
Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Computer aided verification : 26. international conference (CAV 2014), Volume 8559 of LNCS, 309-325, Springer, 2014.
|
[bibtex]
[issue]
|
Dimitri Bohlender, Harold Yorick Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Leveraging applications of formal methods, verification and validation (ISoLA 2014), Volume 8803 of LNCS, 177-192, Springer, 2014.
|
[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.
|
[bibtex]
[issue]
|
Radu Mateescu, Anton J. Wijs. Property-dependent reductions adequate with divergence-sensitive branching bisimilarity, Science of computer programming 96 (3), pages 354-376, Elsevier Science, 2014.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering, 340-375, Taylor and Francis, 2014.
|
[bibtex]
[issue]
|
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 11. International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Catuscia Palamidessi (ed). Formal techniques for distributed objects, components, and systems, Volume 8461 of LNCS, XII, 299 S., Springer, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behaviour and Inheritance, Mathematical structures in computer science 26 (Special Issue 03), pages 561-605, Cambridge Univ. Press, 2014.
|
[bibtex]
[issue]
|
Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata, 2. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of Communications in Computer and Information Science, 88-106, Springer, 2014.
|
2013 |
[bibtex]
[issue]
|
Frédéric Herbreteau, B. Srivathsan. 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.
|
[bibtex]
[issue]
|
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata, Quantitative Bewertung von Systemen (QEST 3013), Volume 8054 of LNCS, 34-50, Springer, 2013.
|
[bibtex]
[issue]
|
Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN, Application and Theory of Petri Nets and Concurrency : 34. International Conference (PETRI NETS 2013), Volume 7927 of LNCS, 90-109, 2013.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Verification, Model Checking, and Abstract Interpretation [Elektronische Ressource] : 14. International Conference (VMCAI), Volume 7737 of LNCS, 28-47, Springer, 2013.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems, 16. Design, Automation & Test in Europe Conference & Exhibition (DATE 2013), 761-766, IEEE, 2013.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Doron Peled. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems, 22. European Symposium on Programming (ESOP 2013), Volume 7792 of LNCS, 411-430, Springer, 2013.
|
[bibtex]
[issue]
|
Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata, 16. International Conference on Hybrid Systems: Computation and Control, 323-332, ACM, 2013.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, Volume 8052 of LNCS, 44-45, Springer, 2013.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Quantitative evaluation of systems : 10. international conference (QEST 2013), Volume 8054 of LNCS, 39-54, Springer, 2013.
|
[bibtex]
[issue]
|
Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction, 39. conference on current trends in theory and practice of computer science (SOFSEM 2013), Institute of Computer Science AS CR, 2013.
|
[bibtex]
[issue]
|
Bernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models, Computer safety, reliability, and security : 32. International Conference (SAFECOMP 2013), Volume 8153 of LNCS, 241-252, Springer, 2013.
|
[bibtex]
[issue]
|
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. Lazy abstractions for timed automata, Computer aided verification: 25. International conference (CAV 2013), Volume 8044 of LNCS, 990-1005, Springer, 2013.
|
[bibtex]
[issue]
|
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS: - on a Quest for Probabilistic Loop Invariants, Quantitative evaluation of systems : 10. international conference (QEST 2013), Volume 8054 of LNCS, 172-187, Springer, 2013.
|
[bibtex]
[issue]
|
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems, 16. International Conference on Hybrid Systems, 293-303, ACM, 2013.
|
[bibtex]
[issue]
|
Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars, 2013 International Symposium on Theoretical Aspects of Software Engineering, 165-168, IEEE Computer Society, 2013.
|
[bibtex]
[issue]
|
Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code, 9. International Haifa Verification Conference (HVC 2013), Volume 8244 of LNCS, 44-60, Springer, 2013.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Model Checking Meets Probability: A Gentle Introduction, NATO Science for Peace and Security Series - D: Information and Communication Security, 177-205, IOS Press, 2013.
|
[bibtex]
[issue]
|
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
|
[bibtex]
[issue]
|
Ernst Moritz Hahn, Arnd Hartmanns, 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.
|
[bibtex]
[issue]
|
Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, 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.
|
[bibtex]
[issue]
|
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Information and computation 232, pages 66-116, Academic Press [u.a.], 2013.
|
[bibtex]
[issue]
|
Viet Yen Nguyen, Theo C. Ruys. Selected Dynamic Issues in Software Model Checking, International journal on software tools for technology transfer 15 (4), pages 337-362, Springer, 2013.
|
2012 |
[bibtex]
[issue]
|
Arpit Sharma. Weighted probabilistic equivalence preserves omega-regular properties, Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance: 16. International GI ITG Conference (MMB & DFT 2012), Volume 7201 of LNCS, 121-135, Springer, 2012.
|
[bibtex]
[issue]
|
Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp, Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), 653-658, IEEE, 2012.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems : 18. international conference (TACAS 2012), Volume 7214 of LNCS, 299-314, Springer, 2012.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Model Checking: One Can Do Much More Than You Think!, Fundamentals of software engineering : 4. IPM International conference (FSEN 2011), Volume 7141 of LNCS, 1-14, Springer, 2012.
|
[bibtex]
[issue]
|
Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains, NASA formal methods : 4. international symposium (NFM 2012), Volume 7226 of LNCS, 8-23, Springer, 2012.
|
[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.
|
[bibtex]
[issue]
|
Rémi Brochenin, Stéphane Demri, Etienne Lozes. On the almighty wand, Information and computation 211, pages 106-137, Elsevier, 2012.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, The journal of logic and algebraic programming 2012, pages 1-55, North-Holland, 2012.
|
[bibtex]
[issue]
|
Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms, Formal aspects of computing 24 (4/6), pages 477-496, 2012.
|
[bibtex]
[issue]
|
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, pages 42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012.
|
[bibtex]
[issue]
|
Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz. Efficient emptiness check for timed Büchi automata, Formal methods in system design 40 (2), pages 122-146, Springer, 2012.
|
[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.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes, Volume 88 of Reports of SFB/TR 14 AVACS, 2012.
|
[bibtex]
[issue]
|
Jonathan Heinen, Christina Jansen, Henrik Barthels. Juggrnaut - An Abstract JVM, Formal verification of object-oriented software : international conference (FoVeOOS 2011), Volume 7421 of LNCS, 142-159, Springer, 2012.
|
[bibtex]
[issue]
|
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata, 23. international conference (CONCUR 2012), Volume 7454 of LNCS, 364-379, Springer, 2012.
|
[bibtex]
[issue]
|
Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. Robust PCTL Model Checking, 15. International Conference on Hybrid Systems, 275-286, ACM, 2012.
|
[bibtex]
[issue]
|
Hongfei Fu. Computing Game Metrics on Markov Decision Processes, 39. international colloquium (ICALP 2012), Volume 7392 of LNCS, 227-238, Springer, 2012.
|
[bibtex]
[issue]
|
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite, 34. International Conference on Software Engineering (ICSE 2012), ICSE 2012, 1022-1031, IEEE, 2012.
|
[bibtex]
[issue]
|
Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata, 7. IFIP TC1/WG 2.2 international conference (TCS 2012), Volume 7604 of LNCS, 325-341, Springer, 2012.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. GSPNs Revisited: Simple Semantics and New Analysis Algorithms, 12. International Conference on Application of Concurrency to System Design (ACSD 2012), 6-12, IEEE, 2012.
|
[bibtex]
[issue]
|
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 9. International Conference on Quantitative Evaluation of Systems (QEST), 168-177, IEEE CS Press, 2012.
|
[bibtex]
[issue]
|
Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz. Better abstractions for timed automata, 7. Annual IEEE Symposium on Logic in Computer Science (LICS), 375-384, IEEE Computer Society, 2012.
|
[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 : joint workshop (TOSCA 2011), Volume 6993 of LNCS, 166-185, Springer, 2012.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties, 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, 169-180, Kovač, 2012.
|
[bibtex]
[issue]
|
Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains, Perspectives of system informatics : 8. International Ershov Informatics Conference, Volume 7162 of LNCS, 322-339, Springer, 2012.
|
2011 |
[bibtex]
[issue]
|
Joost-Pieter Katoen (ed), B. Koenig (ed). CONCUR 2011 - concurrency theory, Volume 6901 of LNCS, XIV, 560 S. : graph. Darst., Springer, 2011.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Towards trustworthy aerospace systems: an experience report, 16. International Workshop: Formal Methods for Industrial Critical Systems (FMICS 2011), Volume 6959 of LNCS, 1-4, Springer, 2011.
|
[bibtex]
[issue]
|
Ulrich Loup, Erika Ábrahám. I-RiSC: an SMT-Compliant Solver for the Existential Fragment of Real Algebra, 4. international conference: Algebraic informatics (CAI 2011), Volume 6742 of LNCS, 230-246, Springer, 2011.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata, 5. international workshop: Reachability problems (RP 2011), Volume 6945 of LNCS, 2-25, Springer, 2011.
|
[bibtex]
[issue]
|
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software, 5. International Haifa Verification Conference, HCV 2009 (HCV 2009), Volume 6405 of LNCS, Springer, 2011.
|
[bibtex]
[issue]
|
J. Hayman. Granularity and concurrent separation logic, 22. international conference: Concurrency theory (CONCUR 2011), Volume 6901 of LNCS, 219-234, Springer, 2011.
|
[bibtex]
[issue]
|
Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder. On collaboratively conveying computer science to pupils, 11. Koli Calling International Conference on Computing Education Research (KOLI'11), 132-137, ACM, 2011.
|
[bibtex]
[issue]
|
Sabrina von Styp, Gustavo Quirós, Liyong Yu. Automatic Test-Case Derivation and Execution in Industrial Control, Workshop on Industrial Automation Tool Integration for Engineering Project Automation (iATPA 2011), Volume 821 of CEUR Workshop proceedings, RWTHA achen, 2011.
|
[bibtex]
[issue]
|
Ulrich Loup, Erika Ábrahám. GiNaCRA: A C++ Library for Real Algebraic Computations, 3. International Symposium NASA Formal Methods (NFM 2011), Volume 6617 of LNCS, 512-517, Springer, 2011.
|
[bibtex]
[issue]
|
Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, 14. ACM International Conference on Hybrid Systems:Computation and Control (HSCC'11), 83-92, ACM Press, 2011.
|
[bibtex]
[issue]
|
Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives, Tools and algorithms for the construction and analysis of systems : 17. international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Volume 6605 of LNCS, 128-142, Springer, 2011.
|
[bibtex]
[issue]
|
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation : 12th international conference (VMCAI 2011), Volume 6538 of LNCS, 324-339, Springer, 2011.
|
[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 : 5. international conference (LATA 2011), Volume 6638 of LNCS, 323-335, Springer, 2011.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre. Reachability probabilities in markovian timed automata, 50. IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011), 7075-7080, IEEE, 2011.
|
[bibtex]
[issue]
|
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell. Static livelock analysis in csp, CONCUR 2011 - concurrency theory (CONCUR 2011), Volume 6901 of LNCS, 389-403, Springer, 2011.
|
[bibtex]
[issue]
|
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi. Access Analysis-based Tight Localization of Abstract Memories, Verification, model checking, and abstract interpretation : 12th international conference (VMCAI 2011), Volume 6538 of LNCS, 356-370, Springer, 2011.
|
[bibtex]
[issue]
|
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, 13. IFIP WG 6.1 international conference (FORTE 2011), Volume 6722 of LNCS, 75-89, Springer, 2011.
|
[bibtex]
[issue]
|
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis : 9. international symposium (ATVA 2011), Volume 6996 of LNCS, 443-452, Springer, 2011.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Jaco van de Pol, 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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, Public service review 11, pages 204-205, PS, PublicService.co.uk Ltd, 2011.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Logical methods in computer science 7 (1/2), pages 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC, Performance evaluation 68 (2), pages 90-104, Elsevier, 2011.
|
[bibtex]
[issue]
|
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, Performance evaluation 68 (2), pages 105-125, Elsevier, 2011.
|
[bibtex]
[issue]
|
Hongfei Fu. Model Checking EGF on Basic Parallel Processes, Automated technolgoy for verification and analysis : 9. international symposium (ATVA 2011), Volume 6996 of LNCS, 120-134, Springer, 2011.
|
[bibtex]
[issue]
|
Jonathan Heinen, Christina Jansen. Juggrnaut - An Abstract JVM, Formal Verification of Object-Oriented Software: 2. International Conference, Volume 26 of Karlsruhe Reports in Informatics, 226-243, Karlsruhe Institute of Technology, 2011.
|
[bibtex]
[issue]
|
Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), Volume 13 of Leibniz International Proceedings in Informatics, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
|
[bibtex]
[issue]
|
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, 18. IFAC World Congress 2011, 4519-4524, 2011.
|
[bibtex]
[issue]
|
Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective, 4. IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2011), 18-25, IEEE CS Press, 2011.
|
[bibtex]
[issue]
|
Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Smart spaces and next generation wired/wireless networking : 11th international conference (NEW2AN 2011), Volume 6869 of LNCS, 197-208, Springer, 2011.
|
[bibtex]
[issue]
|
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. SMT-based Counterexample Generation for Markov Chains, Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'11), 19-28, OFFIS, 2011.
|
[bibtex]
[issue]
|
Frédéric Herbreteau, B. Srivathsan. Coarse abstractions make Zeno behaviours difficult to detect, 2011. https://arxiv.org/abs/1106.1850
|
2010 |
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata, Volume 2010.06 of Aachener Informatik Berichte, 40 S., RWTH Aachen, Department of Computer Science, 2010.
|
[bibtex]
[issue]
|
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon. libalf: The Automata Learning Framework, 22. international conference: Computer aided verification (CAV 2010), Volume 6174 of LNCS, 360-364, Springer, 2010.
|
[bibtex]
[issue]
|
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction, 7. International Conference on the Quantitative Evaluation of Systems (QEST 2010), 37-46, IEEE Computer Society, 2010.
|
[bibtex]
[issue]
|
Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, 7. European Performance Engineering Workshop: Computer performance engineering (EPEW 2010), Volume 6342 of LNCS, 115-130, Springer, 2010.
|
[bibtex]
[issue]
|
Lijun Zhang, Martin R. Neuhäußer. Model Checking Interactive Markov Chains, 16. international conference: 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.
|
[bibtex]
[issue]
|
Haidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption, 17. international conference: Analytical and stochastic modeling techniques and applications (ASMTA 2010), Volume 6148 of LNCS, 247-261, Springer, 2010.
|
[bibtex]
[issue]
|
Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol, 15. international GI/ITG conference: Measurement, modelling and evaluation of computing systems and dependability in fault tolerance (MMB&DFT 2010), Volume 5987 of LNCS, 107-119, Springer, 2010.
|
[bibtex]
[issue]
|
Sabrina von Styp, Henrik Bohnenkamp, Julien Schmaltz. A Conformance Testing Relation for Symbolic Timed Automata, 8. international conference: Formal modeling and analysis of timed systems (FORMATS 2010), Volume 6246 of LNCS, 243-255, Springer, 2010.
|
[bibtex]
[issue]
|
Martin R. Neuhäußer, Lijun Zhang. Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes, 7. International Conference on the Quantitative Evaluation of Systems (QEST 2010), 209-218, IEEE Computer Society, 2010.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods, 17. international symposium: Static analysis (SAS 2010), Volume 6337 : Advanced Research in Computing and Software Science of LNCS, 390-406, Springer, 2010.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Advances in Probabilistic Model Checking, 11. international conference: Verification, model checking, and abstract interpretation (VMCAI 2010), Volume 5944 of LNCS, 25, Springer, 2010.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data, 10. International Conference on Application of Concurrency to System Design (ACSD 2010), 213-222, IEEE Computer Soc., 2010.
|
[bibtex]
[issue]
|
Holger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains, 8. international symposium: Formal methods for components and objects (FMCO 2009), Volume 6286 of LNCS, 311-337, Springer, 2010.
|
[bibtex]
[issue]
|
Jörg Brauer, Thomas Noll, Bastian Schlich. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software, 13. International Workshop on Software & Compilers for Embedded Systems (SCOPES '10), ACM Digital Library, ACM, 2010.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL, 22. international conference: Computer aided verification (CAV 2010), Volume 6174 of LNCS, 562-565, Springer, 2010.
|
[bibtex]
[issue]
|
Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll. Loop Refinement using Octagons and Satisfiability, 5. international conference on Systems software verification (SSV'10), 9 S., ACM, 2010.
|
[bibtex]
[issue]
|
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules, International journal on software tools for technology transfer 12 (5), pages 305-318, Springer, 2010.
|
[bibtex]
[issue]
|
Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems, IEEE transactions on industrial informatics 6 (3), pages 276-286, IEEE, 2010.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models, Computer journal 51, Univ. Press, 2010.
|
[bibtex]
[issue]
|
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach, Computing and informatics 29, pages 45-72, VEDA, Slov. Akad. Vied, 2010.
|
[bibtex]
[issue]
|
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs, IEEE transactions on software engineering 36 (3), pages 390-408, IEEE, 2010.
|
[bibtex]
[issue]
|
Christel Baier, Boudewijn R. Haverkort, 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.
|
[bibtex]
[issue]
|
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models, Formal methods in system design 36 (1), pages 1-36, Springer, 2010.
|
[bibtex]
[issue]
|
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate model checking of stochastic hybrid systems, European journal of control 16 (6), pages 624-641, Hermes [u.a.], 2010.
|
2009 |
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, 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.
|
[bibtex]
[issue]
|
Martin R. Neuhäußer, Lijun Zhang. 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.
|
[bibtex]
[issue]
|
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys. MoonWalker: Verification of .NET Programs, Volume 5505 of LNCS, 170-173, Springer, 2009.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Volume 5775 of LNCS, 173-186, Springer, 2009.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Volume 5799 of LNCS, 104-119, Springer, 2009.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 5813 of LNCS, 195-211, Springer, 2009.
|
[bibtex]
[issue]
|
Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Volume 5504 of LNCS, 364-379, Springer, 2009.
|
[bibtex]
[issue]
|
Viet Yen Nguyen, Theo C. Ruys. Memoised Garbage Collection for Software Model Checking, Volume 5505 of LNCS, 232-249, Springer, 2009.
|
[bibtex]
[issue]
|
Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen. Towards an industrial strength process for timed testing, International Conference on Software Testing, Verification and Validation Workshops 2009 (ICSTW 2009), 29-38, IEEE, 2009.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language, 7. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 121-130, IEEE, 2009.
|
[bibtex]
[issue]
|
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, Twenty-First International Joint Conference on Artificial Intelligence, 1004-1009, AAAI Press [u.a.], 2009.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, 2. International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, 87-91, RWTH Aachen, 2009.
|
[bibtex]
[issue]
|
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), Joint 12. European Software Engineering Conference and 17. ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE’09), 285-286, ACM, 2009.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 24. Annual IEEE Symposium on Logic in Computer Science (LICS 2009), 309-318, IEEE, 2009.
|
[bibtex]
[issue]
|
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN 2009), 63-72, IEEE, 2009.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation, 6. International Conference on the Quantitative Evaluation of Systems (QUEST 2009), 31-40, IEEE, 2009.
|
[bibtex]
[issue]
|
Sabrina von Styp. Towards a theory for timed symbolic testing, Formal Methods 2009 : Doctoral Symposium, Volume 09-15 of Computing science reports, 39-45, TU, 2009.
|
[bibtex]
[issue]
|
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, 6. International Conference on the Quantitative Evaluation of Systems (QEST'09), International Conference on Quantitative Evaluation of Systems-QEST, 133-142, IEEE, 2009.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of The Probabilistic Model Checker MRMC, 6. International Conference on the Quantitative Evaluation of Systems (QEST '09), International Conference on Quantitative Evaluation of Systems-QEST, 167-176, IEEE, 2009.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking, IEEE transactions on software engineering 35 (2), pages 241-257, IEEE, 2009.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Jian Lu. On metrics for probabilistic systems: Definitions and algorithms, Computers and mathematics with applications 57 (6), pages 991-999, Pergamon Press, 2009.
|
2008 |
[bibtex]
[issue]
|
Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, Volume 2008,2 of Aachener Informatik-Berichte, 27 S., RWTH Aachen, Department of Computer Science, 2008.
|
[bibtex]
[issue]
|
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, Volume LSV-08-28 of Research Report, 32 S., Ecole Normale Supérieure, 2008.
|
[bibtex]
[issue]
|
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach, 26 S., TU, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, 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.
|
[bibtex]
[issue]
|
Thomas Noll, Bastian Schlich. Delayed nondeterminism in model checking embedded systems assembly code, Volume 4899 of LNCS, 185-201, Springer, 2008.
|
[bibtex]
[issue]
|
Christel Baier, Boudewijn R. Haverkort, 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.
|
[bibtex]
[issue]
|
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning, CONCUR 2008 - concurrency theory : 19. international conference (CONCUR 2008), Volume 5201 of LNCS, 162-166, Springer, 2008.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Volume 4981 of LNCS, 244-258, Springer, 2008.
|
[bibtex]
[issue]
|
David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Volume 4899 of LNCS, 69-85, Springer, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, CONCUR 2008 - concurrency theory : 19. international conference (CONCUR 2008), Volume 5201 of LNCS, 279-294, Springer, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Volume 5215 of LNCS, 203-217, Springer, 2008.
|
[bibtex]
[issue]
|
Viet Yen Nguyen, Theo C. Ruys. Incremental Hashing for SPIN, Volume 5156 of LNCS, 232-249, Springer, 2008.
|
[bibtex]
[issue]
|
Thomas Noll, Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads, Volume 5014 of LNCS, 84-99, Springer, 2008.
|
[bibtex]
[issue]
|
Stefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement, Graph transformations : 4. International Conference (ICGT 2008), Volume 5214 of LNCS, 69-83, Springer, 2008.
|
[bibtex]
[issue]
|
Christel Baier, Joost-Pieter Katoen. Principles of model checking, Computer science, XVII, 975 S.. : graph. Darst., MIT Press, 2008.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, Embedded Systems Week 2008, 227-236, ACM, 2008.
|
[bibtex]
[issue]
|
Manuela Bujorianu, Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems, 47. IEEE Conference on Decision and Control (CDC 2008), 233-238, IEEE, 2008.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata, 2.IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 177-184, IEEE, 2008.
|
[bibtex]
[issue]
|
Berteun Damman, Tingting Han, Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples, 5. edition of the International Conference on Quantitative Evaluation of Systems (QUEST 2008), 179-188, IEEE, 2008.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability, 2008 Real-Time Systems Symposium (RTSS 2008), 173-182, IEEE, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. How to model and analyze gossiping protocols?, 2008 International Conference on Measurement & Modeling of Computer Systems (SIGMETRIC 2008), 3-6, ACM, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Perspectives in Probabilistic Verification, 2.IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 3-10, IEEE, 2008.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques, Design, automation and test in Europe (DATE 2008), Design Automation and Test in Europe Conference and Expo, 86-87, IEEE Service Center, 2008.
|
[bibtex]
[issue]
|
Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift, 5.IFIP International Conference on Theoretical Computer Science (TCS 2008), Volume 273 of IFIP, 537-553, Springer, 2008.
|
[bibtex]
[issue]
|
Helga Velroyen, Philipp Rummer. Non-termination checking for imperative programs, 2. International Conference Tests and Proofs (TAP 2008), Volume 4966 of LNCS, 154-170, Springer, 2008.
|
[bibtex]
[issue]
|
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving correctness of an efficient abstraction for interrupt handling, Electronic notes in theoretical computer science 217, pages 133-150, Elsevier Science, 2008.
|
[bibtex]
[issue]
|
Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations, Logical methods in computer science 4 (4), pages 43 S., Department of Theoretical Computer Science, TU, 2008.
|
[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.
|
[bibtex]
[issue]
|
B. Neumann, T. von Sydow, Holger Blume, 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.
|
2007 |
[bibtex]
[issue]
|
Martin R. Neuhäußer, Joost-Pieter Katoen. 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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, 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.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Stochastic model checking, Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007.
|
[bibtex]
[issue]
|
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT solving in bounded model checking, Volume 4346 of LNCS, 301-315, Springer, 2007.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor: the MoDeST tool environment, 13. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Volume 4424 of LNCS, 500-504, Springer, 2007.
|
[bibtex]
[issue]
|
Thomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code, Volume 4711 of LNCS, 425-439, Springer, 2007.
|
[bibtex]
[issue]
|
Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, Concurrency theory : 18. international conference (CONCUR 2007), Volume 4703 of LNCS, 412-427, Springer, 2007.
|
[bibtex]
[issue]
|
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. Flow faster: efficient decision algorithms for probabilistic simulations, 13. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Volume 4424 of LNCS, 155-169, Springer, 2007.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Computer aided verification : 19. international conference (CAV 2007), Volume 4590 of LNCS, 311-324, Springer, 2007.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time: counterexample generation for CTMC model checking, 5. International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Volume 4762 of LNCS, 331-346, Springer, 2007.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen. Abstraction of probabilistic systems, 5. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007), Volume 4763 of LNCS, 1-3, Springer, 2007.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, 13. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Volume 4424 of LNCS, 72-86, Springer, 2007.
|
[bibtex]
[issue]
|
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out: synthesis of design models from scenarios by learning, 13. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Volume 4424 of LNCS, 435-450, Springer, 2007.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Axel Belinfante. Timed model-based testing, 115-128, Embedded Systems Institute, The Netherlands, 2007.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. 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.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, Workshop on Heap Analysis and Verification (HAV 2007), 94-113, 2007.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. 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.
|
[bibtex]
[issue]
|
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde. 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]
|
G. Kappen, S. el Bahri, O. Priebe, 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.
|
[bibtex]
[issue]
|
Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic, Theoretical computer science 382.2007 (1), pages 42-70, Elsevier, 2007.
|
[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.
|
2006 |
[bibtex]
[issue]
|
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out: synthesis of design models from scenarios by learning, Volume 2006,12 of Aachener Informatik-Berichte, 26 Bl. : graph. Darst., 2006.
|
[bibtex]
[issue]
|
Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, Volume 2006,9 of Aachener Informatik-Berichte, 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006.
|
[bibtex]
[issue]
|
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns. Synthesis and stochastic assessment of cost-optimal schedules, 2006.
|
[bibtex]
[issue]
|
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs, Volume 4111 of LNCS, 280-312, Springer, 2006.
|
[bibtex]
[issue]
|
Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz. MSCan: a tool for analyzing MSC specifications, Volume 3920 of LNCS, 455-458, Springer, 2006.
|
[bibtex]
[issue]
|
Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation, ACM SIGPLAN Workshop on Generic Programming 2006 (WGP 2006), 38-50, ACM, 2006.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, 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]
|
Erika Ábrahám, Marc Herbstritt, Bernd Becker, 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.
|
[bibtex]
[issue]
|
Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages, 17. International Conference on Rewriting Techniques and Applications (RTA 2006), Volume 4098 of LNCS, 297-312, Springer, 2006.
|
[bibtex]
[issue]
|
Eric Bodden, Volker Stolz. Tracechecks: Defining semantic interfaces with temporal logic, 5. International Symposium Software Composition (SC 2006), Volume 4089 of LNCS, 147-162, SPIE [u.a.], 2006.
|
[bibtex]
[issue]
|
Taolue Chen, Tingting Han, Jian Lu. On the Markovian randomized strategy of controller for Markov decision processes, 3. International Conference Fuzzy Systems and Knowledge Discovery (FSKD 2006), Volume 4223 of LNCS, 149-158, Springer, 2006.
|
[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.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST: a compositional modeling formalism for real-time and stochastic systems, IEEE transactions on software engineering 32 (10), pages 812-830, IEEE, 2006.
|
[bibtex]
[issue]
|
Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA: why Markov chain algebra?, Electronic notes in theoretical computer science 162, pages 107-112, Elsevier, 2006.
|
[bibtex]
[issue]
|
Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility, Electronic notes in theoretical computer science 153 (2), pages 161-175, Elsevier, 2006.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability, 3.International Conference on the Quantitative Evaluation of Systems (QEST 2006), 301-310, IEEE Computer Society, 2006.
|
[bibtex]
[issue]
|
Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget: on reachability in priced probabilistic timed automata, 3.International Conference on the Quantitative Evaluation of Systems (QEST 2006), 311-320, IEEE Computer Society, 2006.
|
[bibtex]
[issue]
|
Thomas Noll, Stefan Rieger. Optimization of straight-line code revisited, Softwaretechnik-Trends 26 (2), GI, 2006.
|
[bibtex]
[issue]
|
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded model checking with parametric data structures, Electronic notes in theoretical computer science 174 (3), pages 3-16, Elsevier, 2006.
|
[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.
|
[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.
|
2005 |
[bibtex]
[issue]
|
Manfred Broy (ed), Bengt Jonsson (ed), Joost-Pieter Katoen (ed), Martin Leucker (ed), Alexander Pretschner (ed). Model-based testing of reactive systems, Volume 3472 of LNCS, VIII, 659 S.. : graph. Darst., Springer, 2005.
|
[bibtex]
[issue]
|
. Equational abstractions for model checking Erlang programs, Electronic notes in theoretical computer science 118, pages 145-162, Elsevier Science, 2005.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Axel Belinfante. Timed testing with TorX, Volume 3582 of LNCS, 173-188, Springer, 2005.
|
[bibtex]
[issue]
|
Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there?: a lightweight algorithm to monitor node presence in self-configuring networks, International Conference on Dependable Systems and Networks, 704-709, IEEE Computer Society, 2005.
|
[bibtex]
[issue]
|
Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker, 2. International Conference on the Quantitative Evaluation of Systems, 243-244, IEEE Computer Society, 2005.
|
[bibtex]
[issue]
|
Thomas Noll, Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus, ACM SIGPLAN 2005 Erlang Workshop (Erlang 05), 72-77, ACM Press, 2005.
|
[bibtex]
[issue]
|
Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation, ACM SIGPLAN 2005 Erlang Workshop (Erlang 2005), 38-50, ACM Press, 2005.
|
[bibtex]
[issue]
|
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, 2005 International Conference on Dependable Systems and Networks, 722-731, IEEE Computer Society, 2005.
|
[bibtex]
[issue]
|
Carsten Kern. Analysis and imlementations of MSC specifications, Doctoral Symposium on Integrated Formal Methods (IFM 2005), Volume 05-29 of Technische universiteit eindhoven: Computer Science-Report, 55-61, TU, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Marcello Bonsangue, Frank S. de Boer, 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Andreas Grüner, 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.
|
[bibtex]
[issue]
|
Frank S. de Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám. 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Bernd Becker, 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.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, 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.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker. A hierarchy of implementable MSC languages, Formal techniques for networked and distributed systems - FORTE 2005 : 25. IFIP WG 6.1 International Conference (FORTE 2005), Volume 3731 of LNCS, 53-67, Springer, 2005.
|
[bibtex]
[issue]
|
Benedikt Bollig. On the expressiveness of asynchronous cellular automata, Fundamentals of computation theory : 15. international symposium (FCT 2005), Volume 3623 of LNCS, 528-539, Springer, 2005.
|
[bibtex]
[issue]
|
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional programming languages for verification tools: a comparison of ML and Haskell, International journal on software tools for technology transfer 7 (2), pages 184-194, Springer, 2005.
|
[bibtex]
[issue]
|
Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata, Information and computation 203 (1), pages 1-38, Elsevier, 2005.
|
[bibtex]
[issue]
|
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains, Information and computation 200 (2), pages 149-214, Elsevier, 2005.
|
[bibtex]
[issue]
|
Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra, Information and computation 200 (1), pages 39-74, Elsevier, 2005.
|
[bibtex]
[issue]
|
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, Performance evaluation review 32 (4), pages 10-15, Association for Computing Machinery, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java, Theoretical computer science 331 (2/3), pages 251-290, Elsevier, 2005.
|
2003 |
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker. Model checking probabilistic distributed systems, Advances in computing science - ASIAN 2003 : programming languages and distributed computation ; 8. Asian Computing Science Conference (ASIAN 2003), Volume 2896 of LNCS, 291-304, Springer, 2003.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Data & knowledge engineering 44 (2), North-Holland, 2003.
|
2002 |
[bibtex]
[issue]
|
Thomas Arts (ed), Markus Mohnen (ed). Implementation of functional languages: 13th international workshop, Volume 2312 of LNCS, VI, 185 S. : graph. Darst., Springer, 2002.
|
[bibtex]
[issue]
|
Frank Günter Huch, Volker Stolz. Implementation of port-based distributed Haskell, Implementation of functional languages 13th international workshop (IFL 2001), Volume 2312 of LNCS, Springer, 2002.
|
[bibtex]
[issue]
|
Frank Günter Huch. Model checking Erlang programs: LTL-propositions and abstract interpretation, 13. international workshop (IFL), Volume 2312 of LNCS, Springer, 2002.
|
[bibtex]
[issue]
|
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties, International Conference on Dependable Systems and Networks, 103-112, IEEE Computer Society, 2002.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker, Thomas Noll. Generalised regular MSC languages, Foundations of software science and computation structures : 5. international conference (FOSSACS 2002), Volume 2303 of LNCS, 52-66, Springer, 2002.
|
[bibtex]
[issue]
|
Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter. Enabling network caching of dynamic Web objects, 12. International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 2002), Volume 2324 of LNCS, 329-338, Springer, 2002.
|
[bibtex]
[issue]
|
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation, Volume 2459 of LNCS, 261-289, Springer, 2002.
|
[bibtex]
[issue]
|
Markus Mohnen. A graph-free approach to data-flow analysis, Compiler construction : 11. international conference (CC 2002), Volume 2304 of LNCS, 46-61, Springer, 2002.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker, Philipp Lucas. Extending compositional message sequence graphs, 9. international conference (LPAR 2002), Volume 2514 of LNCS, 68-85, Springer, 2002.
|
[bibtex]
[issue]
|
Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort. Introduction to the special section on Petri Nets and Performance Models, IEEE transactions on software engineering 28 (10), pages 913-914, IEEE, 2002.
|
2001 |
[bibtex]
[issue]
|
Klaus Indermark (ed), Thomas Noll (ed). Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg): 2001.10.07-11, Volume 2001,11 of Aachener Informatik-Berichte, 128 Bl.. : graph. Darst., RWTH, Department of Computer Science, 2001.
|
[bibtex]
[issue]
|
Markus Mohnen (ed). Implementation of functional languages, Volume 2011 of LNCS, VIII, 265 S. : graph. Darst., Springer, 2001.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Volume 2001,2 of Aachener Informatik-Berichte, 26 Bl.. : graph. Darst.., RWTH, 2001.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC languages, Volume 2001,5 of Aachener Informatik-Berichte, RWTH, 2001.
|
[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.
|
[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 : 7. international conference (TACAS 2001), Volume 2031 of LNCS, 543-558, Springer, 2001.
|
[bibtex]
[issue]
|
Frank Günter Huch, V. Stolz. Distributed programming in Haskell: from ports to streams, 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.
|
[bibtex]
[issue]
|
Martin Leucker, Thomas Noll. Truth/SLC: a parallel verification platform for concurrent systems, Computer aided verification : 13. international conference (CAV 2001), Volume 2102 of LNCS, 255-259, Springer, 2001.
|
[bibtex]
[issue]
|
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-automated verification of Erlang code, 16. Annual International Conference on Automated Software Engineering (ASE 2001), 319-323, IEEE Computer Society, 2001.
|
[bibtex]
[issue]
|
Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, 12. international workshop Implementation of functional languages (IFL 2000), Volume 2011 of LNCS, 37-52, Springer, 2001.
|
[bibtex]
[issue]
|
Roland Büschkes, Thomas Noll, Mark Borning. Transaction-based anomaly detection in communication networks, 9. International Conference on Telecommunication Systems - Modeling and Analysis, 2001.
|
[bibtex]
[issue]
|
Benedikt Bollig, Martin Leucker. Modelling, specifying, and verifying message passing systems, 8. International Symposium on Temporal Representation and Reasoning (TIME 2001), 240-247, IEEE Computer Soc., 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.
|
[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]
|
L.-A. Fredlund, D. Gurov, Thomas Noll. The Erlang verification tool, Tools and algorithms for the construction and analysis of systems, Volume 2031 of LNCS, 582-585, Springer, 2001.
|
[bibtex]
[issue]
|
Michael Hanus, Frank Günter Huch, Philipp Niederau. ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry, Implementation of functional languages : 12. international workshop, Volume 2011 of LNCS, 89-106, Springer, 2001.
|
[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]
|
Frank Günter Huch. Model checking Erlang programs: abstracting the context-free structure, Electronic notes in theoretical computer science 55 (3), pages 18 S., Elsevier Science, 2001.
|
2000 |
[bibtex]
[issue]
|
Markus Mohnen (ed), P. Koopmann (ed). 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.
|
[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]
|
F. Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Volume 2000-7 of Aachener Informatik-Berichte, 87-99, RWTH, Fachgruppe Informatik, 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]
|
Jörg Köller, Markus Mohnen. Efficient abstract interpretation using component-wise homomorphisms, 2. International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000), 226-234, ACM Press, 2000.
|
[bibtex]
[issue]
|
Martin Leucker. Parallel model checking for the alternation free mu-calculus, 4. Workshop on Tools for System Design and Verification (FM Tools 2000), 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, 10. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen´ (Theorietag 2000), Techn. Universität, 2000.
|
[bibtex]
[issue]
|
Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations, 12. International Workshop on Implementation of Functional Languages, Volume 2000,07 of Aachener Informatik-Berichte, 387-402, RWTH, Fachgruppe Informatik, 2000.
|
[bibtex]
[issue]
|
Martin Leucker. On model checking synchronised hardware circuits, 6. Asian Computing Science Conference (ASIAN 2000), Volume 1961 of LNCS, 182-198, Springer, 2000.
|
[bibtex]
[issue]
|
M. Leucker, Thomas Noll. Truth - a real-world application in Haskell, 12. International Workshop on Implementation of Functional Languages, Volume 2000,07 of Aachener Informatik-Berichte, 363-380, RWTH Aachen, 2000.
|
[bibtex]
[issue]
|
M. Hanus, F. Huch, P. Niederau. Objectcurry: an object oriented extension of the declarative multi-paradigm language curry, 12. International Workshop on Implementation of Functional Languages, Volume 2000-7 of Aachener Informatik-Berichte, 331-337, RWTH, Fachgruppe Informatik, 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 : 11. international workshop (IFL 1999), Volume 1868 of LNCS, 17-32, Springer, 2000.
|
[bibtex]
[issue]
|
Olaf Chitil, F. Huch, A. Simon. Typeview: a tool for understanding type errors, 12. International Workshop on Implementation of Functional Languages (IFL 2000), 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 Noll, H. Vogler. The universality of higher-order attributed tree transducers, Theory of computing systems 34, pages 45-75, Springer, 2000.
|
[bibtex]
[issue]
|
Ramin Sadre, Boudewijn R. Haverkort. FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations, 11. international conference (TOOLS 2000), Volume 1786 of LNCS, 324-327, Springer, 2000.
|
[bibtex]
[issue]
|
Thomas Georg Richert. Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons, 6. International Euro-Par Conference (Euro-Par 2000), 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, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), CSREA Press, 2000.
|
[bibtex]
[issue]
|
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, 27. international colloquium (ICALP 2000), Volume 1853 of LNCS, 780-792, Springer, 2000.
|
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.
|
[bibtex]
[issue]
|
Klaus Indermark (ed). Fundamenta Informaticae, IOS Press, 1999.
|
[bibtex]
[issue]
|
K. Indermark. Semantik rekursiver Funktionsdefinitionen, Forschung, Vieweg, 1999.
|
[bibtex]
[issue]
|
K. Indermark. Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik, Forschung, Vieweg, 1999.
|
[bibtex]
[issue]
|
Thomas Noll, Heiko Vogler. 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] |