Talks

2020
DownloadLink
[bibtex]
Thomas Noll. Modular Synthesis of FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2020.
2019
DownloadLink
[bibtex]
Thomas Noll. Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Pointer Programs, Talk at WIAI-Fakultätskolloquium, Universität Bamberg, Germany, 2019.

[bibtex]
Hannah Mertens. Repairs in Dynamic Fault Trees: a Petri net semantics, Bachelor thesis presentation at RWTH Aachen University, 2019.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Reasoning about Expected Runtimes of Probabilistic Programs (and Quantitative Separation Logic), Talk at Schloss Dagstuhl, 2019.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs, Talk at Highlights of Logic, Games and Automata, 2019.

[bibtex]
Matthias Volk. Formal Verification of Rewriting Rules for Dynamic Fault Trees, Talk at SEFM Conference, Oslo, Norway, 2019.

[bibtex]
Matthias Volk. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Talk at FMICS Conference, Amsterdam, The Netherlands, 2019.

[bibtex]
Norman Weik, Matthias Volk. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Talk at UnRAVeL bi-weekly meeting at RWTH Aachen University, 2019.
DownloadLink
[bibtex]
Thomas Noll. COMPASS 3.0, Talk at 25th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 2019.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Advanced Weakest Precondition Calculi for Probabilistic Programs, Talk at PhD Defense, Aachen, 2019.

[bibtex]
Lukas Westhofen. Formal Verification of Industrial C Code, Master thesis presentation at RWTH Aachen University, 2019.

[bibtex]
Lyudmila Vatskicheva. Using Simulation to Improve the Precision of Hybrid Systems Reachability Analysis, Bachelor thesis presentation at RWTH Aachen University, 2019.

[bibtex]
Marwa Maghnie. Simulation and Optimization of Offshore Wind Farms, Master thesis presentation at RWTH Aachen University, 2019.

[bibtex]
Leon Rabanus. Solving Planning Problems with Success Probabilities Using SMT, Bachelor thesis presentation at RWTH Aachen University, 2019.

[bibtex]
Mahsa Shirmohammadi (CNRS & IRIF, France). On the Complexity of Value Iteration, Talk at RWTH Aachen University, 2019.
DownloadLink
[bibtex]
Thomas Noll. Synthesising and Optimising FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2019.

[bibtex]
Christoph Matheja. Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs, Talk at RWTH Aachen University, 2019.

[bibtex]
Thomas Ströder. Symbolic Execution and Program Synthesis: A General Methodology for Software Verification, PhD defense at RWTH Aachen University, 2019.

[bibtex]
Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems, Talk at PhD defense, Aachen, 2019.
2018

[bibtex]
Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking, PhD defense at RWTH Aachen University, 2018.

[bibtex]
Dave Parker (University of Birmingham, UK). Verification and Strategy Synthesis for Stochastic Games, Talk at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking, at RWTH Aachen University, 2018.

[bibtex]
Fabian Meyer. A concept of expected size for an automated runtime analysis of probabilistic integer programs, Bachelor thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Florian Frohn. Automated Complexity Analysis of Rewrite Systems, PhD defense at RWTH Aachen University, 2018.

[bibtex]
Ulrich Loup. On Solving Real-algebraic Formulas in a Satisfiability-modulo-theories Framework, PhD defense at RWTH Aachen University, 2018.

[bibtex]
Igor Bongartz. Explaining Unsolvable Planning Tasks with UNSAT Cores, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Alejandro Aguirre (IMDEA Software Institute, Spain). Almost Sure Productivity, Talk at RWTH Aachen University, 2018.

[bibtex]
Sebastian Arming (University of Salzburg, Austria). Parameter-Independent Strategies for pMDPs, Talk at RWTH Aachen University, 2018.

[bibtex]
Jiong Fu. Non-Termination Witnesses for C Programs, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Mahsa Varshosaz (Halmstad University, Sweden). Modeling and Model-Based Testing of Software product Lines, Talk at RWTH Aachen University, 2018.

[bibtex]
Tim Lange. IC3 Software Model Checking, PhD defense at RWTH Aachen University, 2018.

[bibtex]
Tom Neuhäuser. Quantifier Elimination by Cylindrical Algebraic Decomposition, Bachelor thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Malte Neuß. Using Single CAD Cells as Explanations in MCSAT-style SMT Solving, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Ömer Sali. Linearization Techniques for Nonlinear Arithmetic Problems in SMT, Master thesis presentation at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Matthias Volk. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at ROCKS Workshop, Freising, 2018.

[bibtex]
Mingshuai Chen (Institute of Software, Chinese Academy of Sciences, China). Modelling, Verification and Synthesis: A Peek into the Blueprint of Hybrid Systems, Talk at RWTH Aachen University, 2018.
Link
[bibtex]
Erika Abraham. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics, Invited talk at at the 30th Nordic Workshop on Programming Theory (NWPT'18), Oslo, Norway, 24-26 Oct 2018, 2018.

[bibtex]
Thies Strothmann. Automated Complexity Analysis of Recursive Java Programs, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Nils Jonalik. kernDisc – Discovering Structure in Clinical Variable Data using Gaussian Processes, Bachelor thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Alexander Bork. Analysing Dynamic Fault Trees by GSPNs, Bachelor thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Harold Bruintjes. Model-Based Reliability Analysis of Aerospace Systems, PhD defense at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Matthias Volk. One Net Fits All, Talk at UnRAVeL bi-weekly meeting at RWTH Aachen University, 2018.

[bibtex]
Tim Quatmann. Sound Value Iteration, Talk at Rocks Meeting, Münster, Germany, 2018.

[bibtex]
Christoph Matheja. Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs, Talk at CAV, Oxford, United Kingdom, 2018.

[bibtex]
Marcin Szymczak (University of Oxford, UK). Programming Language Semantics as a Foundation for Bayesian Inference, Talk at RWTH Aachen University, 2018.

[bibtex]
Sabrina Kowarsch. Modeling a Satellite with COMPASS, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Christopher Lösbrock. Implementing an Incremental Solver for Difference Logic, Bachelor thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Philipp Berger. Verifying Auto-Generated C Code from Simulink, Talk at FM, Oxford, United Kingdom, 2018.
DownloadLink
[bibtex]
Tim Quatmann. Sound Value Iteration, Talk at CAV, Oxford, United Kingdom, 2018.
Link
[bibtex]
Erika Abraham. Heuristics in SMT Solving: To Learn or not to Learn?, Invited talk at at the International Congress on Mathematical Software (ICMS'18), Session 8: Machine Learning for Mathematical Software, South Bend, USA, 24-27 Jul 2018, 2018.
Link
[bibtex]
Erika Abraham. Old-established Methods in a New Look: How HyPro Speeds up Reachability Computations for Hybrid Systems, Invited talk at at the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'18), Oxford, UK, 11-13 Jul 2018, 2018.
DownloadLink
[bibtex]
Erika Abraham, Francesco Leofante. SMT Solving for AI Planning: Theory, Tools and Applications, Tutorial at the 28th International Conference on Automated Planning and Scheduling (ICAPS-18), Delft, the Netherlands, 25 Jun, 2018.

[bibtex]
Fabian Schneider. A Unified Algebraic Shape Domain, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Lea Hiendl. Human-readable Scheduler Representation for Markov Decision Processes, Master thesis presentation at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Matthias Volk. One Net Fits All, Talk at Petri Nets Conference, Bratislava, Slovakia, 2018.

[bibtex]
Christoph Matheja. Graph-Based Shape Analysis Beyond Context-Freeness, Talk at SEFM, Toulouse, France, 2018.

[bibtex]
Marijn Heule (University of Texas, Austin, USA). Everything's Bigger in Texas: "The Largest Math Proof Ever", Talk at RWTH Aachen University, 2018.

[bibtex]
Ilias Kostireas (Wilfrid Laurier University, Waterloo, Ontario, Canada). Recent advances in the search for complementary sequences, Talk at RWTH Aachen University, 2018.

[bibtex]
Benjamin Lucien Kaminski. Quantitative Separation Logic, Talk at UnRAVeL Seminar, RWTH Aachen, 2018.
Link
[bibtex]
Erika Abraham. Reachability Analysis Techniques for Hybrid Systems, Invited lecture at at the Halmstad Summer School on Cyber-Physical Systems, Halmstad, Sweden, 11-15 Jun 2018, 2018.
Link
[bibtex]
Erika Abraham. Frauen in der Informatik: Brauchen wir noch Gleichstellung?, Invited talk at at the event Gender x Informatik, University of Chemnitz, Germany, 4 May 2018, 2018.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. How long, O Bayesian network, will I sample thee?, Talk at 27th European Symposium on Programming (ESOP 2018), Thessaloniki, Greece, 2018.

[bibtex]
Felix Bier. From Forest Automata to Hyperedge Replacement Grammars and Back, Master thesis presentation at RWTH Aachen University, 2018.

[bibtex]
Tim Quatmann. Multi-Cost Bounded Reachability in MDP, Talk at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Matthias Volk. Partial State Space Generation for Fault Tree Analysis, Talk at Lorentz Workshop on Safety of Future Systems, Leiden, The Netherlands, 2018.
DownloadLink
[bibtex]
Tim Quatmann. Multi-cost Bounded Reachability in MDP, Talk at TACAS, Thessaloniki, Greece, 2018.
DownloadLink
[bibtex]
Thomas Noll. Synthesizing FDIR Recovery Strategies from Dynamic Fault Trees, Talk at D-CON 2018, Darmstadt, Germany, 2018.
DownloadLink
[bibtex]
Matthias Volk. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at UnRAVeL Spring Workshop, Abdij Rolduc, The Netherlands, 2018.
DownloadLink
[bibtex]
Joost-Pieter Katoen, Matthias Volk. A Modern Perspective on Fault Tree Analysis, Tutorial at MMB, Erlangen, Germany, 2018.

[bibtex]
Lukas Netz. Analysis on Discretization of Gene Parameters in Evolutionary Algorithms, Master thesis presentation at RWTH Aachen University, 2018.
DownloadLink
[bibtex]
Thomas Noll. Symbolic Liveness Analysis of Real-World Software, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2018.
DownloadLink
[bibtex]
Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, 32nd AAAI Conference on Artificial Intelligence (AAAI-18) at New Orleans, USA, 2018.
DownloadLink
[bibtex]
Francesco Leofante. Optimal Multi-robot Task Planning with SMT, Invited Talk at Photogrammetry and Robotics Lab, University of Bonn, Germany, 2018.
DownloadLink
[bibtex]
Francesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back), 27th International Joint Conference on Artificial Intelligence (IJCAI-18) at Stockholm, Sweden, 2018.
DownloadLink
[bibtex]
Francesco Leofante. Task Planning with OMT: an Application to Production Logistics, International Conference on integrated Formal Methods (IFM-18) at Maynooth, Ireland, 2018.
2017
Link
[bibtex]
Erika Abraham. Symbolic Computation Techniques in SMT Solving, Invited talk at the Evening Seminar of the London Mathematical Society and the British Computer Society, London, UK, 02 Nov, 2017.

[bibtex]
Joost-Pieter Katoen. Der deutsche Meister 2018 steht schon fest!?, Talk at RWTH Aachen University, 2017.

[bibtex]
Borzoo Bonakdarpour (McMaster University, Canada). Automated Fine-Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at RWTH Aachen University, 2017.

[bibtex]
Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models, Talk at ENS Saclay at Paris, France, 2017.

[bibtex]
Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models, Keynote Talk at ICTAC at Hanoi, Vietnam, 2017.
DownloadLink
[bibtex]
Thomas Noll. Graph-Based Abstract Interpretation of Pointer Programs, Talk at NII Shonan Seminar on Analysis and Verification of Pointer Programs, Hayama, Japan, 2017.

[bibtex]
Christina Jansen. The Attestor Tool - Graph-based Abstract Interpretation in Practice, Talk at NII Meeting, Shonan, Japan, 2017.

[bibtex]
Christoph Matheja. Heap Automata, Talk at NII Shonan Meeting, Hayama Miura-gun, Japan, 2017.

[bibtex]
Matthijs Spaan (TU Delft, The Netherlands). Exploiting LP decomposition techniques for planning in Markov Decision Processes, Talk at RWTH Aachen University, 2017.

[bibtex]
Poornima Belavadi. Data Input and Processing in Model Based Risk Management for Medical Devices, Master thesis presentation at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Erika Abraham. The Power of Satisfiability Checking, Invited talk at fortiss GmbH, München, Germany, 20 Oct, 2017.
Link
[bibtex]
Erika Abraham. SMT Solving for Real Algebra, Invited talk at the International Conference on Mathematics and Informatics (MathInfo'17), Targu Mures/Marosvásárhely, Romania, 07-09 Sep, 2017.
Link
[bibtex]
Erika Abraham. SMT Solving for Arithmetic Theories: Theory and Tool Support, Invited tutorial at the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17), Timisoara, Romania, 21-24 Sep, 2017.

[bibtex]
Joost-Pieter Katoen. Model-Based Safety Analysis for Vehicle Guidance Systems, Talk at ROCKS Meeting at Münster, 2017.

[bibtex]
Joost-Pieter Katoen. Model-Based Safety Analysis for Vehicle Guidance Systems, Talk at SafeComp at Trento, 2017.

[bibtex]
Christoph Matheja. A Program Analysis Perspective on Expected Sampling Times, Talk at ROCKS, Münster, Germany, 2017.

[bibtex]
Predrag Filipovikj (Mälardalen University, Sweden). Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models, Talk at RWTH Aachen University, 2017.

[bibtex]
Anna Lukina (TU Wien, Austria). Resilient Control and Safety for Cyber-Physical Systems, Talk at RWTH Aachen University, 2017.

[bibtex]
Sven Deserno. Model Checking Markov Chain Families: Parameterised Structure and Probabilistic Reachability, Master thesis presentation at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Proving Almost-Sure Termination with Non-Ranking Supermartingales, Talk at ROCKS Meeting, Münster, Germany, 2017.

[bibtex]
Christina Jansen. Graph-based Abstract Interpretation for Pointer Programs, Talk at Twente, Netherlands, 2017.
Link
[bibtex]
Erika Abraham. Overview of Current Research in the Theory of Hybrid Systems Group, Talk at the Workshop on Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS), Münster, Germany, 25-26 Sep, 2017.
DownloadLink
[bibtex]
Thomas Noll. Graph-Based Static Analysis of Concurrent Pointer Programs, Talk at WIAI-Fakultätskolloquium, Universität Bamberg, Germany, 2017.

[bibtex]
Feng Yijun (Peking University, China). CTMC model checking against multi-clock DTA specifications using PDE method, Talk at RWTH Aachen University, 2017.

[bibtex]
Sebastian Kruse. Model Checking a Wireless Token-Passing Protocol, Master thesis presentation at RWTH Aachen University, 2017.

[bibtex]
Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models, Talk at Festschrift Colloquium for Kim G. Larsen at Aalborg, Denmark, 2017.

[bibtex]
Joost-Pieter Katoen. Foundations of Probabilistic Programming, Four lectures at Summer School Marktoberdorf (MOD) at Marktoberdorf, Germany, 2017.

[bibtex]
Leonard Korp. SMT-based planning for autonomous robot fleets, Bachelor thesis presentation at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Erika Abraham. Techniques and Tools for Hybrid Systems Reachability Analysis, Invited talk at the Int. Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (RISE4CPS), Heidelberg, Germany, 22-23 Jul, 2017.
DownloadLink
[bibtex]
Christian Dehnert. A Storm is Coming: A Modern Probabilistic Model Checker, Talk at CAV (Heidelberg, Germany), 2017.
DownloadLink
[bibtex]
Tim Quatmann. Markov Automata with Multiple Objectives, Talk at CAV (Heidelberg, Germany), 2017.

[bibtex]
Sebastian Junges. Recent Advances in Dynamic Fault Tree Analysis, Talk at CAP Workshop, Heidelberg, Germany, 2017.

[bibtex]
Benjamin Lucien Kaminski. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Talk at 2nd Workshop on Probabilistic Programming Semantics (PPS 2017), Paris, France, 2017.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Talk at 32nd Annual Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 2017.

[bibtex]
Hao Wu. Industrial Applications of Probabilistic Model Checking

, Talk at RWTH Aachen University, 2017.

[bibtex]
Sebastian Junges. Probabilistic Model Checking with Storm and Multi-Objective Markov Automata, Talk at IST, Klosterneuburg, Austria, 2017.

[bibtex]
Joost-Pieter Katoen. A Storm is Coming: A New Probabilistic Model Checker, Talk at Open Problems in Concurrency Theory (OPCT) at Klosterneuburg, Austria, 2017.

[bibtex]
Joost-Pieter Katoen. Foundations of Probabilistic Programming, Seminar Talk at IMT Lucca at Lucca, Italy, 2017.

[bibtex]
Joost-Pieter Katoen. Performance and Reliability Analysis by Model Checking, Invited Tutorial at 7th oCPS PhD School on Cyber-Physical Systems at Lucca, Italy, 2017.

[bibtex]
Sebastian Junges. Safety and Dependability Analysis by Probabilistic Model Checking, Talk at Workshop on Safety at the Crossroads, Amsterdam, The Netherlands, 2017.

[bibtex]
Sebastian Junges. A Storm is Coming: A Modern Probabilistic Model Checker, Talk at ULB, Brussels, Belgium, 2017.
DownloadLink
[bibtex]
Francesco Leofante. Robust AI via Verification, Monitoring and Repair, Invited talk at PUMA research training group at Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany, 2017.
DownloadLink
[bibtex]
Francesco Leofante. Optimizing the Performance of Robot Fleets in Production Logistics Scenarios Using SMT Solving, ICT Foundations of Digitized Industry, Economy, and Society Workshop at RWTH Aachen University, Aachen, Germany, 2017.

[bibtex]
Tim Quatmann. Markov Automata with Multiple Objectives, Talk at ULB, Brussels, Belgium, 2017.
DownloadLink
[bibtex]
Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis, Invited talk at the Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Uppsala, Sweden, 23 Apr, 2017.

[bibtex]
Daniel Cloerkes. A Cyclic Proof System for Graph Grammar Inclusion, Bachelor thesis presentation at RWTH Aachen University, 2017.

[bibtex]
Tom Janson. Integrating Machine Learning and Model Checking for Model Repair, Talk at RWTH Aachen University, 2017.

[bibtex]
Christoph Matheja. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, Talk at ESOP, Uppsala, Sweden, 2017.

[bibtex]
Joost-Pieter Katoen. Advancing Parameter Synthesis in Markov Models, Keynote Talk at SynCOP+PV Workshop at ETAPS at Uppsala, Sweden, 2017.

[bibtex]
Joost-Pieter Katoen. Foundations of Probabilistic Programming, Seminar at IST Austria at Klosterneuburg, Austria, 2017.

[bibtex]
Joost-Pieter Katoen. Advancing Parameter Synthesis in Markov Models, Verification Seminar at University of Oxford, UK, 2017.

[bibtex]
Joost-Pieter Katoen. Performance and Reliability Analysis by Model Checking, Departmental Talk at Aalborg University, 2017.
DOILink
[bibtex]
Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MILS Workshop at embedded world Conference, Nuremberg, Germany, 2017.

[bibtex]
Tim Cramer. Analyzing Memory Accesses for Performance and Correctness of Parallel Programs, Talk at RWTH Aachen University, 2017.

[bibtex]
Arnd Hartmanns (University of Twente, The Netherlands). Time- and Reward-Bounded Probabilistic Model Checking Techniques, Talk at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Mickael Randour (Université Libre de Bruxelles, Belgium). Rich behavioral models: illustration on journey planning and focus on multi- constraint percentile queries in Markov decision processes, Talk at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Erika Abraham. Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at the University of Waterloo, Waterloo, Canada, 21 Mar, 2017.

[bibtex]
Dustin Jungen. Repairs in Dynamic Fault Trees, Bachelor thesis presentation at RWTH Aachen University, 2017.

[bibtex]
Kevin Batz. Proof rules for expected runtimes of probabilistic programs, Bachelor thesis presentation at RWTH Aachen University, 2017.

[bibtex]
Joost-Pieter Katoen. Runtime Analysis of Randomized Algorithms: A Dijkstra Déjà Vu, LSV Seminar at ENS Saclay at Paris, France, 2017.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Semantics, Termination and Run Time, Departmental Talk at Radboud University, Nijmegen, The Netherlands, 2017.

[bibtex]
Joost-Pieter Katoen. Principles of Probabilistic Programming, IRIF Distinguished Talks Series at Paris, France, 2017.

[bibtex]
Tobias Heindel (University of Copenhagen, Denmark). Computing continuous-time Markov chains as transformers of unbounded observables, Talk at RWTH Aachen University, 2017.

[bibtex]
Benjamin Lucien Kaminski. Reasoning about Expected Run-Times of Probabilistic Programs, Talk at Oxford Verification Seminar, University of Oxford, United Kingdom, 2017.

[bibtex]
Joost-Pieter Katoen. A Storm is Coming: A New Probabilistic Model Checker, Talk at Computer-Assisted Engineering for Robotics and Autonomous Systems at Schloss Dagstuhl, Germany, 2017.

[bibtex]
Ronja Nocon. Pattern based analysis of monotonicity on Dynamic Fault Trees, Bachelor thesis presentation at RWTH Aachen University, 2017.
DownloadLink
[bibtex]
Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.
LinkLink
[bibtex]
Harold Bruintjes. COMPASS 3.0, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.

[bibtex]
Michael Deutschen. Petri net semantics for Dynamic Fault Trees, Master thesis presentation at RWTH Aachen University, 2017.

[bibtex]
Ralf Wimmer (Albert-Ludwigs-Universität Freiburg). Solving dependency quantified Boolean Formulas, Talk at RWTH Aachen University, 2017.

[bibtex]
Nils Jansen (UT Austin, USA). Probabilistic Verification for Cognitive Models, Talk at RWTH Aachen University, 2017.

[bibtex]
Tim Lange. Generalisation in IC3CFA, Talk at Winter colloquium Kleinwalsertal, 2017.

[bibtex]
Benjamin Lucien Kaminski. Reasoning about Expected Run-Times of Probabilistic Programs, Talk at 5th Southern-Region English Programming Language Seminar (S-REPLS 5), Oxford, United Kingdom, 2017.

[bibtex]
Christina Jansen. Graph-based Abstract Interpretation for Pointer Programs, Talk at Söllerhaus, Hirschegg, 2017.

[bibtex]
Benjamin Lucien Kaminski. Tutorial on Weakest Precondition Reasoning for Probabilistic Programs and Presentation of a Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Talk at Programming Principles, Logic and Verification Seminar, University College London, United Kingdom, 2017.
DownloadLink
[bibtex]
Gereon Kremer. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving, Talk at the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 29th July 2017, Kaiserslautern, Germany, 2017.
DownloadLink
[bibtex]
Jasper Nalbach. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, Talk at the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 29th July 2017, Kaiserslautern, Germany, 2017.
DownloadLink
[bibtex]
Francesco Leofante. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, Talk at 18th IEEE International Conference on Information Reuse and Integration, San Diego, USA, 2017.
DownloadLink
[bibtex]
Francesco Leofante. Are You Doing What I Think You Are Doing? Optimal Controllers and Beyond, Talk at Israel Institute for Advanced Studies, Jerusalem, 2017.
2016
DownloadLink
[bibtex]
Matthias Volk. Analysis of Parametric Markov Chains, Talk at PUMA Graduiertenkolleg, TU Munich, Germany, 2016.

[bibtex]
Hao Wu. Performance Evaluation on Modern Concurrent Data Structures, Talk at RWTH Aachen University, 2016.

[bibtex]
Philipp Berger. Game-based Abstraction of Parametric Markov Models, Master thesis presentation at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Erika Abraham. Symbolic Computation Techniques in Satisfiability Checking, Invited talk at the Johannes Kepler University, RISC, Linz, Austria, 14 Nov, 2016.
DownloadLink
[bibtex]
Erika Abraham. Satisfiability Checking and Symbolic Computation, Invited talk at Theorema group at RISC, Linz, Austria, 2016.
DownloadLink
[bibtex]
Erika Abraham, Francesco Leofante. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, Invited talk at the 7th International Symposium on Leveraging Applications of Formal Methods (ISoLA'16), Verification and Validation, Corfu, Greece, 10-14 Oct, 2016.
DownloadLink
[bibtex]
Erika Abraham. SMT Solving for Non-Linear Arithmetic Theories, Invited talk at the RiSE Seminar, IST Austria, Vienna, Austria, 06 Apr, 2016.
DownloadLink
[bibtex]
Erika Abraham. Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at the University of Kassel, Kassel, Germany, 18 Oct, 2016.
DownloadLink
[bibtex]
Erika Abraham. The Power of Satisfiability Checking, Invited talk at the European Computer Science Summit (ECSS'16), Budapest, Hungary, 24-26 Oct, 2016.

[bibtex]
Isabelle Tülleners. Graph-based Heap Abstraction for Balanced Data Structures, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Christian Dehnert. Parameter Synthesis for Markov Models: Faster Than Ever, Talk at RWTH Aachen University, 2016.

[bibtex]
Christian Dehnert. Bounded Model Checking for Probabilistic Programs, Talk at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Christian Dehnert. Parameter Synthesis of Markov Models – Faster Than Ever, Talk at ATVA (Chiba, Tokyo, Japan), 2016.
DownloadLink
[bibtex]
Christian Dehnert. Bounded Model Checking for Probabilistic Programs, Talk at ATVA (Chiba, Tokyo, Japan), 2016.

[bibtex]
Benjamin Lucien Kaminski. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Talk at Working Seminar on Formal Models, Discrete Structures, and Algorithms, Masaryk University, Brno, Czech Republic, 2016.

[bibtex]
Benjamin Lucien Kaminski. Expected Run-Times of Probabilistic Programs, Talk at Research Program on Automata, Logic and Games organized by the Institute for Mathematical Sciences at National University of Singapore, 2016.

[bibtex]
Matthias Volk. Advancing Dynamic Fault Tree Analysis, Talk at SAFECOMP Conference, Trondheim, Norway, 2016.

[bibtex]
Joost-Pieter Katoen. Run-Time Analysis of Probabilistic Programs, Talk at IFIP WG 2.2. Meeting at NUS Singapore, 2016.

[bibtex]
Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, Invited Tutorial at Workshop on Logic, Games and Verification at NUS Singapore, 2016.

[bibtex]
Joost-Pieter Katoen. Scalable Parameter Synthesis in Markov Models, Talk at Workshop on Logic, Games and Verification at NUS Singapore, 2016.

[bibtex]
Tim Quatmann. Multi-Objective Model Checking of Markov Automata, Master thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Tom Janson. Accelerated Model Repair using Heuristic Analysis of Subsystems, Bachelor thesis presentation at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Tim Lange. Introduction to IC3 and IC3CFA, Talk at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Thomas Mertens. Efficient reuse of learnt information for control-flow oriented IC3 algorithms, Master thesis presentation at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Frederick Prinz. Generalisation methods for control-flow oriented IC3 algorithms, Master thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Matthias Volk. Advancing Dynamic Fault Tree Analysis, Talk at RWTH Aachen University, 2016.

[bibtex]
Florian Frohn. Automated Inference of Upper Complexity Bounds for Java Programs, Talk at RWTH Aachen University, 2016.

[bibtex]
Louis Wachtmeister. Analysing Cryptographically-Masked Information Flows Using Slicing, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Gereon Kremer. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic, Conference Presentation at 18th Int. Workshop on Computer Algebra in Scientific Computing (CASC'16), Bucharest, Romania, 2016.
DownloadLink
[bibtex]
Erika Abraham. Symbolic Computation Techniques in Satisfiability Checking, Invited talk at 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'16), Timisoara, Romania, 24-27 Sep, 2016.

[bibtex]
Joost-Pieter Katoen. Inferring Covariances in Probabilistic Programs, Talk at Quantitative Evaluation of Systems (QEST) Conference at Quebec City, Canada, 2016.

[bibtex]
Joost-Pieter Katoen. What Do Probabilistic Programs Mean?, Invited Talk at SOS/EXPRESS 2016 Workshop at Quebec City, Canada, 2016.

[bibtex]
Matthias Naaf. Lower Runtime Bounds for Integer Programs, Talk at RWTH Aachen University, 2016.

[bibtex]
Alexander Hoppen. Non-Termination Analysis of LLVM IR Using Lassos, Bachelor thesis presentation at RWTH Aachen University, 2016.
LinkLink
[bibtex]
Thomas Noll. Using Standard AADL for COMPASS, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
LinkLink
[bibtex]
Harold Bruintjes. CATSY: Catalogue of System and Software Properties, Talk at AADL Standards Meeting, Aachen, Germany, 2016.

[bibtex]
Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, Invited Tutorial at Annual Symposium on Logic in Computer Science (LICS) at New York, USA, 2016.

[bibtex]
Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, Talk at Annual Symposium on Logic in Computer Science (LICS) at New York, USA, 2016.

[bibtex]
Joost-Pieter Katoen. Scalable Parameter Synthesis in Markov Models, Talk at the Dutch Model Checking Day at Twente, The Netherlands, 2016.
DownloadLink
[bibtex]
Joost-Pieter Katoen. The Satisfiability of Some Simple Probabilistic Logics, Talk at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Erika Abraham. Satisfiability Checking: Theory and Applications, Invited talk at the 14th International Conference on Software Engineering and Formal Methods (SEFM'16), Vienna, Austria, 04-08 Jul, 2016.

[bibtex]
Federico Olmedo. Reasoning about Recursive Probabilistic Programs, Talk at LICS 2016 at New York, USA, 2016.

[bibtex]
Sebastian Junges. Uncovering Dynamic Fault Trees, Talk at DSN'16, 2016.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Semantics, Termination, and Run Times, Talk at the RTG QuantLA at TU Dresden, Germany, 2016.
DownloadLink
[bibtex]
Federico Olmedo. Reasoning about Recursive Probabilistic Programs, Talk at RWTH Aachen University, 2016.

[bibtex]
Sebastian Junges. Uncovering Dynamic Fault Trees, Talk at RWTH Aachen University, 2016.

[bibtex]
Florian Frohn. Lower Runtime Bounds for Integer Programs, Talk at RWTH Aachen University, 2016.

[bibtex]
Matthias Volk. Advancing Dynamic Fault Tree Analysis, Talk at RWTH Aachen University, 2016.

[bibtex]
Felix Frei. Acyclicity Analysis for Java, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Sebastian Junges. Advances and applications of Parameter Synthesis for Probabilistic Systems, Talk at UT Austin, Austin, TX, USA, 2016.

[bibtex]
Joost-Pieter Katoen. Zero-Defect Software in Space: A True Mission!, Invited Talk at Software-Centric Systems Conference at Eindhoven, The Netherlands, 2016.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Semantics, Termination, and Run Times, Invited Talk at 4th Int. Conf. on Networked Systems (NETYS 2016) at Marrakech, Maroc, 2016.

[bibtex]
Jens Katelaan (TU Wien, Austria). Logical Reasoning about Dynamic Memory: A Survey, Talk at RWTH Aachen University, 2016.

[bibtex]
Lijun Zhang (ISCAS, China). A Simple Algorithm for Solving Qualitative Probabilistic Parity Games, Talk at RWTH Aachen University, 2016.

[bibtex]
Johannes Hölzl (TU München). Markov chains and Markov decision processes in Isabelle/HOL, Talk at RWTH Aachen University, 2016.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Talk at 25th European Symposium on Programming (ESOP 2016), Eindhoven, The Netherlands, 2016.

[bibtex]
Sebastian Junges. Advances in parametric probabilistic verification, Talk at QAPL, Eindhoven, The Netherlands, 2016.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Semantics, Termination, and Run Times, Invited Talk at Weigthed Automata: Theory and Applications (WATA 2016) at Aalborg, Denmark, 2016.

[bibtex]
Hanna Franzen. Graph-Based Symbolic Execution for Pointer Programs with Data, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Simon Froitzheim. Efficient Conversion of Geometric State Set Representations for Hybrid Systems, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Fortunat Rajaona (University of Stellenbosch, South Africa). Program refinement and epistemic logic for reasoning about knowledge and privacy in multi-agents systems, Talk at RWTH Aachen University, 2016.

[bibtex]
Eric Heder. Design and implementation of a BDD-based planner for the assembly sequence planner in the field of the human-robot cooperation, Master thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Dennis Guck (University of Twente, The Netherlands). Exploring Model Conformance Relations for the next airborne collision avoidance system (ACAS X), Talk at RWTH Aachen University, 2016.

[bibtex]
Enno Ruijters (University of Twente, The Netherlands). Fault maintenance trees and their application: Reliability-centered maintenance via stochastic model checking, Talk at RWTH Aachen University, 2016.

[bibtex]
Simon Feiden. Extending Probability Generating Function Semantics to Negative Variable Valuations, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, Talk at RWTH Aachen University, 2016.

[bibtex]
Christoph Matheja. Compositional Refinement of Separation Logic with Recursive Definitions, Talk at DCON, Saarbrücken, 2016.
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at NII Shonan Seminar on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, Hayama, Japan, 2016.

[bibtex]
Joost-Pieter Katoen. Semantic Foundations of Probabilistic Programming, Talk at Bellairs Workshop on Probabilistic Programming at Barbados, 2016.

[bibtex]
Joost-Pieter Katoen. Analysing Gigantic Markov Models: From Verification to Synthesis, Invited Talk at MBMV 2016 Workshop at Freiburg, Germany, 2016.

[bibtex]
Joost-Pieter Katoen. Parameter Synthesis in Probabilistic Models, Talk at MBMV 2016 Workshop at Freiburg, Germany, 2016.

[bibtex]
Hannah Arndt. Heap Abstraction Beyond Context-Freeness, Bachelor thesis presentation at RWTH Aachen Univeristy, 2016.

[bibtex]
Thies Strothmann. Termination Analysis for Concurrent Java Programs, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Raoul Schaffranek. Modelling a purely functional subset of ECMAScript 2015, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Benjamin Lucien Kaminski. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Talk at RWTH Aachen University, 2016.

[bibtex]
Rebecca Haehn. Learning Control Strategies for Hybrid Vehicles using Neural Networks, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
David Korzeniewski. McMillan Prefixes for Stochastic Petri Nets, Master thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Semantics, Termination, and Run Times, Invited Talk at Mysuru Workshop on Quantitative Verification at Mysore, India, 2016.

[bibtex]
Joost-Pieter Katoen. Zero-Defect Software in Space: A True Mission!, Talk at Chennai Mathematical Institute at Chennai, India, 2016.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: Fun, but Intricate, Talk at Chennai Mathematical Institute at Chennai, India, 2016.
DownloadLink
[bibtex]
Thomas Noll. Analysis of Concurrent Pointer Programs: Early Join of Permissions, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2016.
DownloadLink
[bibtex]
Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset, Talk at 6th FMF Formal Methods Day, Toulouse, France, 2016.
DownloadLink
[bibtex]
Thomas Noll. D-MILS and MILS-AADL, Talk at AADL Standards Meeting, Toulouse, France, 2016.
DownloadLink
[bibtex]
Tim Lange. Introduction to IC3, Talk at Winter colloquium Kleinwalsertal, 2016.

[bibtex]
Joost-Pieter Katoen. Conditioning in Probabilistic Programming, Talk at Probabilistic Programming Semantics Workshop at Tampa, USA, 2016.

[bibtex]
Igor Bongartz. Over-approximative Reduction of Polytopes in the Context of Hybrid Systems Reachability Analysis, Bachelor thesis presentation at RWTH Aachen University, 2016.

[bibtex]
Federico Olmedo. Expected Run-Times of Probabilistic Programs, Talk at MOVES Seminar at Kleinwalsertal, 2016.

[bibtex]
Christoph Matheja. Tree-Like Grammars and Separation Logic, Talk at RiSE Seminar, TU Wien, Vienna, Austria, 2016.

[bibtex]
Christoph Matheja. Compositional Refinement of Separation Logic with Recursive Definitions, Talk at Winter colloquium Kleinwalsertal, 2016.
DownloadLink
[bibtex]
Tim Lange. Introduction to IC3 and IC3CFA, Talk at Winter colloquium Kleinwalsertal, 2016.
2015

[bibtex]
Sebastian Junges. Prophesy: Parameter Synthesis for Probabilistic Systems, Talk at Dagstuhl, Germany, 2015.
DownloadLink
[bibtex]
Thomas Noll. Modular Analysis of Concurrent Pointer Programs Using Graph Grammars, Talk at Dagstuhl Seminar on Verification of Evolving Graph Structures, Wadern, Germany, 2015.

[bibtex]
Sebastian Junges. Safety-contrained reinforcement learning for MDPs, Talk at ISCAS, Beijing, China, 2015.

[bibtex]
Sebastian Junges. Fault trees on a Diet, Talk at SETTA'15, Nanjing, China, 2015.

[bibtex]
Florian Corzilius, Gereon Kremer. SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving, Talk at Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471), 2015.

[bibtex]
Christoph Matheja. Tree-Like Grammars and Separation Logic, Talk at APLAS, Pohang, South Korea, 2015.

[bibtex]
Christoph Matheja. Tree-Like Grammars and Separation Logic, Talk at RWTH Aachen University, 2015.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programming: A True Verification Challenge, Invited talk at 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai, China, 2015.

[bibtex]
Joost-Pieter Katoen. Probabilistic Model Checking: A Gentle Introduction. Invited Tutorial at 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai, China, 2015.

[bibtex]
Christoph Matheja. Tree-like Grammars and Separation Logic, Talk at KPS 2015, Pörtschach, Austria, 2015.

[bibtex]
Benjamin Lucien Kaminski. Probabilistic Programs - A Natural Model for Approximate Computations, Talk at Workshop on Approximate Computing (AC15), Paderborn, Germany, 2015.
DownloadLink
[bibtex]
Erika Abraham. Current Challenges in the Verification of Hybrid Systems, Invited talk at the 5th Int. Workshop on Cyber Physical Systems (CyPhy'15), Amsterdam, the Netherlands, 08 Oct, 2015.

[bibtex]
Erika Abraham. Modeling and Verification of Hybrid Systems, Invited lecture series at the University of Genoa, Genoa, Italy, 12-14 Oct, 2015.
DownloadLink
[bibtex]
Erika Abraham. Some Thoughts about Formal Methods in Robotics, Invited talk at the University of Genoa, Genoa, Italy, 13 Oct, 2015.

[bibtex]
Joost-Pieter Katoen. Probabilistic Programs: Analysis and Semantics, Talk at IMDEA Software Institute, Madrid, Spain, 2015.

[bibtex]
Joost-Pieter Katoen. Understanding Probabilistic Programs, Invited talk at Festschrift Symposium Correct System Design dedicated to the 60th Birthday of Ernst-Rüdiger Oledrog, Oldenburg, Germany, 2015.

[bibtex]
Joost-Pieter Katoen. Google PageRank: Hoe wordt je miljonair met wiskunde?. Lecture at Salland College, Raalte, The Netherlands, 2015.
DownloadLink
[bibtex]
Tim Lange. IC3 Software Model Checking on Control Flow Automata, Talk at 15th International Conference on Formal Methods in Computer-Aided Design (FMCAD'15), Austin, Texas, USA, 2015.

[bibtex]
Florian Corzilius. SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving, Talk at Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT'15), 2015.

[bibtex]
Sascha Müller. Evaluating control-flow based inductive model checking algorithms, Talk at RWTH Aachen University, 2015.

[bibtex]
Michael Beaumont. Efficient computation of weakest preconditions, Talk at RWTH Aachen University, 2015.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. On the Hardness of Almost-Sure Termination, Talk at 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Milan, Italy, 2015.

[bibtex]
Souymodip Chakraborty. P-Automata for MDPs, Talks at Oxford, St. Catherine, 2015.

[bibtex]
Joost-Pieter Katoen. The What, Why, and How of Probabilistic Verification. Lecture at IPA Formal Methods School, University of Twente, The Netherlands, 2015.

[bibtex]
Joost-Pieter Katoen. Efficient Parameter Synthesis in Probabilistic Models, Invited talk at Workshop on Formal Methods and Robotics Science and Systems, Rome, Italy, 2015.

[bibtex]
Joost-Pieter Katoen. The What, Why, and How of Probabilistic Verification. Invited Tutorial at 27th International Conference on Computer Aided Verification (CAV), San Francisco, California, 2015.

[bibtex]
Christian Dehnert. PROPhESY – A PRObabilistic ParamEter SYnthesis Tool, Talk at CAV'15, 2015.
DownloadLink
[bibtex]
Erika Abraham. Building Bridges between Symbolic Computation and Satisfiability Checking, Invited talk at the 2015 ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Bath, UK, 06-09 Jul, 2015.
DownloadLink
[bibtex]
Erika Abraham. A Greedy Approach for the Efficient Repair of Stochastic Controller Models, Invited talk at the Workshop on Abstraction and Synthesis of Correct-by-Construction Robotics Software: Reuniting Formal Methods with Model-Driven Software Engineering (AbSynth'15), Rome, Italy, 16-17 Jul, 2015.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Conditioning in Probabilistic Programming, Talk at 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2015), Nijmegen, The Netherlands, 2015.
DownloadLink
[bibtex]
Harold Bruintjes. A Statistical Approach for Timed Reachability in AADL Models, Talk at DSN 2015, 2015.

[bibtex]
Souymodip Chakraborty. Interval Markov chains with open intervals, Talk at Varna Bulgaria, 2015.

[bibtex]
Joost-Pieter Katoen. Stochastic Petri Nets Revisited, Talk at Symposum On Random Walks and Stochastic Processes, University of Twente, The Netherlands, 2015.

[bibtex]
Nils Jansen. A Greedy Approach for the Efficient Repair of Stochastic Models, Talk at 7th NASA Formal Methods Symposium, 2015.

[bibtex]
Nils Jansen. Recent Results on Parametric Markov Chains, Talk at University of Pennsylvania, 2015.

[bibtex]
Friedrich Gretz. Conditioning in probabilistic programs, Talk at Dagstuhl, 2015.

[bibtex]
Stefan Schupp. A benchmark suite for hybrid systems reachability analysis, Talk at NFM'15, 2015.

[bibtex]
Benjamin Lucien Kaminski. On the Hardness of Almost-Sure Termination, Talk at Dagstuhl Seminar "Challenges and Trends in Probabilistic Programming", Schloss Dagstuhl, Germany, 2015.

[bibtex]
Nils Jansen. Counterexamples in Probabilistic Verification, PhD Defense at RWTH Aachen University, 2015.
DownloadLink
[bibtex]
Erika Abraham. Model Repair for Probabilistic Controllers, Invited talk at NII Shonan Meeting “Static Analysis Meets Runtime Verification”, Tokyo, Japan, 16-19 Mar, 2015.
DownloadLink
[bibtex]
Tim Lange. IC3 - Incremental Construction of Inductive Clauses for Indubitable Correctness, Talk at Winter colloquium Kleinwalsertal, 2015.
DownloadLink
[bibtex]
Harold Bruintjes. Statistical model checking with slimsim, Talk at Winter colloqium Kleinwalstertal, 2015.
DownloadLink
[bibtex]
Tim Lange. Lifting IC3 to Control Flow Automata, Talk at Winter colloquium Kleinwalsertal, 2015.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Analyzing Expected Outcomes and (Positive) Almost-Sure Termination of Probabilistic Programs is Hard, Talk at Young Researchers' Conference "Frontiers of Formal Methods" (FFM), Aachen, Germany, 2015.

[bibtex]
Joost-Pieter Katoen. Safety and Liveness – New Results and Perspectives, Talk at Belgian Seminar on Verification, Brussels, 2015.

[bibtex]
Joost-Pieter Katoen. Modeling and Analysis of Probabilistic Timed Systems. Five Lectures at RIO'15 Summer School, Rio Cuarto, Argentina, 2015.

[bibtex]
Nils Jansen. A Greedy Approach for the Efficient Repair of Stochastic Models, Talk at FFM 2015, 2015.

[bibtex]
Nils Jansen. Recent Results on Parametric Markov Chains, Talk at MOVES seminar in Kleinwalsertal, 2015.

[bibtex]
Nils Jansen. Recent Results on Parametric Markov Chains, Talk at MOVES seminar in Kleinwalsertal, 2015.
Link
[bibtex]
Thomas Noll. Analysing Cryptographically-­Masked Information Flows in D-MILS Architectures, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2015.

[bibtex]
Christina Jansen. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Talk at FFM 2015, 2015.

[bibtex]
Christian Dehnert. Fast Debugging of PRISM Models, Talk at FFM'15, 2015.

[bibtex]
Florian Corzilius. SMT-RAT: An SMT-Compliant Nonlinear Real and Integer Arithmetic Toolbox, Talk at Frontiers of Formal Methods (FFM'15), 2015.

[bibtex]
Kevin van der Pol. Security Type Checking for MILS-AADL Specifications, Talk at MILS Workshop 2015, 2015.

[bibtex]
Nils Jansen. Recent Results on Parametric Markov Chains, Talk at University of Pennsylvania, 2015.

[bibtex]
Federico Olmedo. Conditioning in Probabilistic Programming, Talk at Winter Colloquium Kleinwalsertal, 2015.

[bibtex]
Federico Olmedo. Reasoning about Recursive Probabilistic Programs, Talk at Winter Colloquium Kleinwalsertal, 2015.

[bibtex]
Johanna Nellen, Sascha Geulen. Learning-based Control Strategies for Hybrid Electric Vehicles, Talk at AlgoSyn Seminar, Aachen, Germany, 2015.

[bibtex]
Xin Chen. Flow* 1.2: More Effective to Play with Hybrid Systems, Talk at 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Seattle, USA, 2015.
2014

[bibtex]
Christian Dehnert. Fast Debugging of PRISM Models, Talk at the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2014.
LinkLink
[bibtex]
Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Invited talk at 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg, 2014.
DownloadLink
[bibtex]
Erika Abraham. SMT Solving for Real Arithmetic: What are the Challenges?, Invited talk at the CDZ Workshop "Computation and Reasoning with Constraints", Beijing, China, 23-29 Nov, 2014.

[bibtex]
Johanna Nellen. A CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants, Talk at the AlgoSyn Seminar, RWTH Aachen University, Aachen, Germany, 2014.

[bibtex]
Sebastian Junges. Simplifying Dynamic Fault Trees by Graph Rewriting, Talk at the University of Twente, 2014.

[bibtex]
Christian Dehnert. Accelerating Predicate Abstraction for Probabilistic Automata, Talk at UTS, Australia, 2014.

[bibtex]
Christian Dehnert. Fast Debugging of PRISM Models, Talk at SENSATION Project Meeting, 2014.

[bibtex]
Arpit Sharma. Exponentially timed SADF: Compositional semantics, reduction, and analysis , Talk at EMSOFT conference, 2014.

[bibtex]
Joost-Pieter Katoen. Theory and Practice of Probabilistic Model Checking. Inivted Lecture at the SPEC-XT Summerschool, University of Twente, the Netherlands, 2014.

[bibtex]
Joost-Pieter Katoen. Sooner is Safer than Later in Braching Time too, Talk at Dagstuhl Seminar on Modeling, Verification, and Control of Complex Systems for Energy Networks, 2014.

[bibtex]
Xin Chen. Under-approximate Flowpipes for Non-linear Continous Systems, Talk at the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD'14), Lausanne, Switzerland, 2014.
LinkLink
[bibtex]
Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, MOVES Seminar Talk at RWTH Aachen University, Germany, 2014.

[bibtex]
Falak Sher. Tight Game Abstraction of Probabilistic Automata, Talk at CONCUR, Rome, Italy, 2014.

[bibtex]
Nils Jansen. Accelerating Parametric Probabilistic Verification, Talk at 11th Int. Conf. on Quantitative Evaluation of SysTems, 2014.

[bibtex]
Harold Bruintjes. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Talk at ISOLA 2014, 2014.

[bibtex]
Christina Jansen. Graph-Based Verification of Pointer Programs, Talk at CARP project meeting, 2014.

[bibtex]
Joost-Pieter Katoen. Verifying Gigantic Markov Models, Invited talk at 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, 2014.

[bibtex]
Joost-Pieter Katoen. Towards the Automated Analysis of Probabilistic Programs, Talk at IFIP WG2.2 Meeting, Munich, Germany, 2014.
Link
[bibtex]
Erika Abraham. Probabilistic Model Checking and Counterexample Generation, Invited talk at the IFIP WG2.2 Meeting on "Formal Description of Programming Concepts", Munich, Germany, 15-18 Sep, 2014.
DownloadLink
[bibtex]
Thomas Mertens. Optimisation of Model Checking by Large Block Encoding, Bachelor thesis talk at RWTH Aachen University, 2014.

[bibtex]
Johanna Nellen. A CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants, Talk at 2nd IEEE International Workshop on Formal Methods Integration (FMi'14), 2014.
LinkLink
[bibtex]
Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Talk at 7th Int. Conf. on Graph Transformation (ICGT 2014), York, United Kingdom, 2014.

[bibtex]
Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Talk at FOSSACS 2014, 2014.

[bibtex]
Christina Jansen. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs, Talk at 7th Int. Conference on Graph Transformation (ICGT 2014), 2014.

[bibtex]
Christina Jansen. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs, Talk at AlgoSyn, 2014.

[bibtex]
Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Talk at 26th International Conference on Computer Aided Verification (CAV'14), 2014.

[bibtex]
Joost-Pieter Katoen. Logics and Verification. Invited Lecture at MOVEP 2014, Nantes, France, 2014.

[bibtex]
Gereon Kremer. Using Cylindrical Algebraic Decomposition in Satisfiability Modulo Theories, Talk at 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014.

[bibtex]
Arpit Sharma. Layered Reduction for Abstract Probabilistic Automata, Talk at ACSD Conference, 2014.

[bibtex]
Joost-Pieter Katoen. Verifying Probabilistic Systems. Five Lectures at PhD School at IMT Lucca, Italy, 2014.

[bibtex]
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, Departmental seminar at IMT Lucca, Italy, 2014.

[bibtex]
Joost-Pieter Katoen. Model Checking – One Can Do Much More Than You Think, Invited talk at Joint Workshop of the German Research Training Groups in Computer Science, Schloss Dagstuhl, 2014.
DownloadLink
[bibtex]
Erika Abraham. Reachability Analysis of Hybrid Systems, Invited talk at INRIA, Nancy, France, 12 Jun, 2014.
DownloadLink
[bibtex]
Erika Abraham. Probabilistic Modeling and Model Checking, Invited tutorial at the Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software models (SFM-14:ESM), Bertinoro, Italy, 16-20 Jun, 2014.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard, Talk at AlgoSyn, RWTH Aachen, Germany, 2014.
Link
[bibtex]
Erika Abraham. Modeling and Analyzing Probabilistic Systems, Invited talk at the NVTI Theory Day, Utrecht, the Netherlands, 16 May, 2014.

[bibtex]
Gereon Kremer, Sebastian Junges. Satisfiability Modulo Real Arithmetic - SMT-Solving with CAD and Gröbner Bases, Talk at Joint Workshop of Research Training Groups PUMA and AlgoSyn, 2014.

[bibtex]
Joost-Pieter Katoen. Quantitative Analysis of Safety-Critical Systems. Zilverling Colloquium at the University of Twente, the Netherlands, 2014.

[bibtex]
Xin Chen. Flow*: Reachability Analysis of Non-Linear Hybrid Systems, Invited talk at the Dagstuhl Seminar "Verification of Cyber-Physical Systems", Dagstuhl, Germany, 2014.

[bibtex]
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice. Kolloquium at the University of Oldenburg, 2014.

[bibtex]
Joost-Pieter Katoen. A Rigorous Approach Towards Reliable and Dependable Train and Space Systems, Talk at Dagstuhl Seminar on Randomized Timed and Hybrid Models for Critical Infrastructures, 2014.
Link
[bibtex]
Erika Abraham. Formal Methods for Hybrid Systems, Tutorial at the Dagstuhl Seminar "Randomized Timed and Hybrid Models for Critical Infrastructures", Dagstuhl, Germany, 12-17 Jan, 2014.

[bibtex]
Nils Jansen. Accelerating Parametric Probabilistic Verification , Talk at AlgoSyn Seminar, 2014.

[bibtex]
Nils Jansen. Accelerating Parametric Probabilistic Verification , Talk at SENSATION project meeting, 2014.

[bibtex]
Joost-Pieter Katoen. 20 Years TACAS: Reflections and Perspectives, Talk at the 20th Years TACAS Celebration Workshop, Grenoble, France, 2014.
Link
[bibtex]
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein. FAME: A Model-Based Environment for FDIR Design in Aerospace. Tutorial, 4th International Symposium on Model Based Safety Assessment, IMBSA 2014, 2014.
2013

[bibtex]
Friedrich Gretz. Introduction to Probabilistic Programs, Talk at AlgoSyn, Aachen, 2013.

[bibtex]
Joost-Pieter Katoen. Can your Markov Chain keep up with a Timed Automaton?, Invited talk at Workshop on Computable Analysis and Rigorous Numerics, 2013.
Link
[bibtex]
Erika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at the Workshop on Computable Analysis and Rigorous Numerics, Maastricht, the Netherlands, 09 Dec, 2013.

[bibtex]
Christina Jansen. Heap Abstraction by means of Graph Grammars, Talk at WP6 meeting, CARP project, 2013.
DownloadLink
[bibtex]
Tim Lange. Speeding Up the Safety Verification of Programmable Logic Controller Code, Talk at HVC conference, 2013.

[bibtex]
Erika Abraham. Formal Methods for Hybrid Systems, Invited talk at the University of Passau, Passau, Germany, 26 Nov, 2013.

[bibtex]
Ulrich Loup, Johanna Nellen. Judging Your Colleagues - Tutorial on Scientists’ Ratings, Talk at AlgoSyn tutorial, 2013.

[bibtex]
Johanna Nellen. Counterexample generation for hybrid automata, Talk at 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Queenstown, New Zealand, 2013.
DownloadLink
[bibtex]
Viet Yen Nguyen. Characterization of Failure Effects on AADL Models, Talk at SAFECOMP 2013, Toulouse, France, 2013.

[bibtex]
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, Talk at Workshop on Markov Automata, University of Twente, The Netherlands, 2013.

[bibtex]
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, Departmental seminar at University of Oxford, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis, Invited talk at Workshop on Probabilistic and Hybrid Systems, Beijing, China, 2013.
DownloadLink
[bibtex]
Erika Abraham. Modeling and Analysis of Hybrid Systems, Invited talk at the IFIP WG 2.2 meeting 2013, Lisbon, Portugal, 23-26 Sep, 2013.
DownloadLink
[bibtex]
Erika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at the CDZ Workshop on Probabilistic and Hybrid System Verification, Beijing, China, 24-27 Sep, 2013.

[bibtex]
Friedrich Gretz. Probabilistic Guarded Command Language — a tutorial, Talk at FaMAF, Cordoba, 2013.
DownloadLink
[bibtex]
Florian Corzilius. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers, Talk at 5th International Conference on Algebraic Informatics, 2013.

[bibtex]
Xin Chen. Lyapunov Function Synthesis using Handelman Representations, Talk at the 9th IFAC Symp. on Nonlinear Control Systems, 2013.

[bibtex]
Falak Sher. Modelling and Statistical Model Checking of a Microgrid, Workshop Talk at SMC 2013, Rennes, France, 2013.

[bibtex]
Florian Corzilius. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers, Talk at the 5th International Conference on Algebraic Informatics (CAI'13), 2013.
LinkLink
[bibtex]
Thomas Noll. Characterization of Failure E ffects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.

[bibtex]
Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, Invited talk at International Conference on Concurrency Theory (CONCUR), Buenos Aires, Argentina, 2013.
DownloadLink
[bibtex]
Erika Abraham. Eine kurze Einführung in Berechenbarkeit und Komplexität, Talk at the Schüleruniversität Informatik, RWTH Aachen University, Aachen, Germany, 2013.

[bibtex]
Friedrich Gretz. PRINSYS — On a Quest for Probabilistic Loop Invariants, Talk at QEST, Buenos Aires, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis, Departmental seminar at University of Oxford, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis, Talk at Microsoft Research Laboratories, Cambridge, UK, 2013.

[bibtex]
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk at Aachener Informatiktage, RWTH Aachen University, Germany, 2013.

[bibtex]
Ulrich Loup. Dijkstras Algorithmus, Talk at Schüleruniversität Informatik, 2013.

[bibtex]
Xin Chen. Flow*: An Analyzer for Non-Linear Hybrid Systems, Talk at the 25th Int. Conf. on Computer Aided Verification (CAV'13), 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis, Departmental seminar at Queen Mary University, London, UK, 2013.

[bibtex]
Joost-Pieter Katoen. Quantitative Automata-Based Model Checking. Invited Lecture at 13th International School on Formal Methods for Dynamical Systems, Bertinoro, Italy, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis, Departmental Seminar at University of Luxembourg, 2013.

[bibtex]
Joost-Pieter Katoen. Cyber-Physical Systems in Space: A True Mission, Talk at IPA Spring Days, Nijmegen, The Netherlands, 2013.

[bibtex]
Joost-Pieter Katoen. A New Semantics for Stochastic Petri Nets, Departmental seminar at Technical University of Kaiserslautern, 2013.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Aachen, Germany, 2013.
DownloadLink
[bibtex]
Viet Yen Nguyen. Trustworthy Design Validation of a Satellite Platform, Talk at MDDays 2013, Eindhoven, Netherlands, 2013.

[bibtex]
Balaguru Srivathsan. Lazy abstractions for timed automata, Talk at Saarbrücken university, 2013.

[bibtex]
Balaguru Srivathsan. Lazy abstractions for timed automata, Talk at Fulda, 2013.

[bibtex]
Ulrich Loup. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition, Invited talk at MPI, Saarbrücken, 2013.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Systems Using Formal Methods: An Experience Report, Departmental Seminar at LFCS Edinburgh, 2013.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Systems Using Formal Methods: An Experience Report, Invited talk at Grande Region Security and Reliability Day, University of Luxembourg, 2013.

[bibtex]
Joost-Pieter Katoen. Reliable Space Systems: A True Mission, Departmental Seminar at Saarland University, 2013.

[bibtex]
Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata, Conference Talk at HSCC 2013, 2013.

[bibtex]
Friedrich Gretz. Probabilistic Invariant Synthesis – PRINSYS, Talk at NUS, Singapore, 2013.

[bibtex]
. Automatic Test-Case Derivation and Execution in Industrial Control, Talk at AlgoSyn RWTH Aachen University, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis. Kolloquium at Technical University Delft, The Netherlands, 2013.

[bibtex]
Joost-Pieter Katoen. Automated Probabilistic Program Analysis. Kolloquium at the University of Trier, 2013.
DownloadLink
[bibtex]
Christina Jansen. A Graph-Based Approach to Heap Abstraction, Seminar Talk at AlgoSyn Seminar, 2013.

[bibtex]
Sabrina von Styp. Automatic Test-Case Derivation and Execution in Industrial Control, Talk at AlgoSyn RWTH Aachen University, 2013.

[bibtex]
Joost-Pieter Katoen. Observing Stochastic Processes by Timed Automata. Mathematics Colloquium at the John Bernouilli Institute, University of Groningen, the Netherlands, 2013.
DownloadLink
[bibtex]
Christina Jansen. Juggrnaut - A Graph-Based Approach to Heap Abstraction, Talk at Queen Mary University London, 2013.

[bibtex]
Ulrich Loup. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition, Talk at AlgoSyn seminar, 2013.

[bibtex]
Souymodip Chakraborty. Microgrid Modelling and Statistical Model Checking, Talk at Moves Project Meeting, Prague, 2013.
DownloadLink
[bibtex]
Nils Jansen. Symbolic Counterexample Generation for Discrete-time Markov Chains (with Costs), Talk at MEALS Workshop, Buenos Aires, Argentina, 2013.
DownloadLink
[bibtex]
Christian Dehnert. SMT-based Bisimulation Minimisation of Markov Models, Talk at VMCAI, Rome, Italy, 2013.

[bibtex]
Arpit Sharma. Two Step Prespective for Kripke Structure Reduction, Talk at Spindleruv Mlyn, Czech Republic, 2013.

[bibtex]
Arpit Sharma. Two Step Prespective for Kripke Structure Reduction. Poster Presentation, 2013.

[bibtex]
Arpit Sharma. Layered Reduction for Modal Specification Theories, Talk at FACS conference, 2013.

[bibtex]
Joost-Pieter Katoen. A Rigorous Apporach Towards Reliable and Dependable Train and Space Systems, Talk at Dagstuhl Seminar on Randomized Timed and Hybrid Models for Critical Infrastructures, 2013.
2012
Link
[bibtex]
Alessandro Cimatti, Thomas Noll. Safety, Dependability and Performance Analysis of Extended AADL Models. Tutorial at 10th School for Young Researchers about Modelling and Verifying Parallel Processes (MOVEP 2012), Marseille, France, 2012.

[bibtex]
Friedrich Gretz. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, Talk at Shonan meeting, Shonan, 2012.
DownloadLink
[bibtex]
Nils Jansen. The COMICS Tool - Computing Minimal Counterexamples for DTMCs, Talk at ATVA, 2012.
DownloadLink
[bibtex]
Nils Jansen. Symbolic Counterexample Generation for Discrete-time Markov Chains, Talk at FACS, 2012.

[bibtex]
Erika Abraham. Computing Counterexamples for Discrete-Time Probabilistic Systems, Tutorial at ROCKS Autumn School "Rigorous Dependability Analysis for Stochastic Systems", Vahrn, Italy, 2012.

[bibtex]
Joost-Pieter Katoen. Revisiting GSPNs: New Semantics and Analysis Algorithms. Kolloquium at IMT Lucca, Italy, 2012.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Design Using Formal Methods: An Experience Report. Invited lecture at ROCKS Autumn School, Vahrn, Italy, 2012.
Link
[bibtex]
Marco Bozzano, Joost-Pieter Katoen, Thomas Noll. Safety, Dependability and Performance Analysis of Extended AADL Models. Tutorial at 27th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE 2012), Essen, Germany, 2012.

[bibtex]
Ulrich Loup. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox, Talk at AlgoSyn seminar, 2012.

[bibtex]
Friedrich Gretz. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, Talk at QEST, London, 2012.

[bibtex]
Falak Sher. Compositional Abstraction Techniques for Probabilistic Automata, Talk at TCS, Amsterdam, 2012.

[bibtex]
Joost-Pieter Katoen. Revisiting GSPNs: New Semantics and Analysis Algorithms, Talk at IFIP WG 2.2 Meeting, CWI Amsterdam, NL, 2012.

[bibtex]
Erika Abraham. Hybrid Systems, Invited talk at University of Twente, Enschede, The Netherlands, 2012.

[bibtex]
Joost-Pieter Katoen. Performance Analysis by Model Checking. Five Lectures at NATO Summer School on Engineering Dependable Software Systems. Marktoberdorf, Germany, 2012.
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl, Germany, 2012.
DownloadLink
[bibtex]
Viet Yen Nguyen. Satellite Platform Case Study With SLIM and COMPASS, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, 2012.

[bibtex]
Friedrich Gretz. Towards Analysis of Sequential Probabilistic Programs, Talk at Oxford, 2012.

[bibtex]
Friedrich Gretz. Average Runtime Estimation, Talk at CARP, Cambridge, 2012.

[bibtex]
Hongfei Fu. Computing Game Metrics on Markov Decision Processes, Talk at ICALP, Birmingham, 2012.

[bibtex]
Viet Yen Nguyen. Formal Correctness, Safety, Dependability and Performance of a Satellite, Talk at ICSE 2012, 2012.

[bibtex]
Ulrich Loup. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox (Tool Presentation), Talk at SAT, Trento, 2012.
Link
[bibtex]
Marco Bozzano, Joost-Pieter Katoen. Safety, Dependability and Performance Analysis of Extended AADL Models. Tutorial at 9th Int. Conf. on Integrated Formal Methods (iFM 2012), 2012.

[bibtex]
Xin Chen. Using Taylor Models in the Reachability Analysis of Non-linear Hybrid Systems, Talk at the 5th Small Workshop on Interval Methods (SWIMÂ’12), 2012.

[bibtex]
Friedrich Gretz. Prinsys - A Software Tool for the Synthesis of Probabilistic Invariants, Talk at WING workshop, Manchester, 2012.

[bibtex]
Friedrich Gretz. PRINSYS – Probabilistic INvariant SYnthesiS, Talk at GRK Workshop, Dagstuhl, 2012.

[bibtex]
Johanna Nellen. Verification of Chemical Plant Control, Talk at Gemeinsamer Workshop der Graduiertenkollegs I: GK 1651 SOAMED et al., 2012.

[bibtex]
Erika Abraham. Rechnen mit Nullen und Einsen, Talk at Helle Köpfe in der Informatik, RWTH Aachen University, Aachen, Germany, 2012.

[bibtex]
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk for students of a Greek high-school at RWTH Aachen University, Aachen, Germany, 2012.

[bibtex]
Joost-Pieter Katoen. Revisiting GSPNs: New Semantics and Analysis Algorithms, Invited talk at 33rd International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN) and 12th International Conference on Application of Concurrency to System Design (ACSD), Hamburg, Germany, 2012.

[bibtex]
Ulrich Loup, Johanna Nellen. OASys: An Interdisciplinary DFG Project with Roots in AlgoSyn, Talk at AlgoSyn seminar, 2012.

[bibtex]
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk at the "Schüleruniversität Informatik", RWTH Aachen University, Aachen, Germany, 2012.

[bibtex]
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk at Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Aachen, Germany, 2012.

[bibtex]
Erika Abraham. SMT Solving Mechanisms for Non-Linear Real Arithmetic, Invited talk at Albert-Ludwigs-University, Freiburg, Germany, 2012.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Design Using Formal Methods: An Experience Report, Talk at Embedded Systems Institute, Eindhoven, NL, 2012.

[bibtex]
Hongfei Fu. Computing Game Metrics on Markov Decision Processes, Talk at Oxford University, Oxford, 2012.
DownloadLink
[bibtex]
Viet Yen Nguyen. COMPASS Graphical Modeller, Talk at Final Presentation Days ESTEC, 2012.

[bibtex]
Nils Jansen, Matthias Volk. The Comics Tool - Computing Minimal Counterexamples for DTMCs, Talk at ROCKS Meeting, 2012.
DownloadLink
[bibtex]
Nils Jansen, Matthias Volk. The COMICS Tool - Computing Minimal Counterexamples for DTMCs, Talk at AlgoSyn Seminar, 2012.

[bibtex]
Arpit Sharma. Weighted Probabilistic Equivalence Preserves omega-Regular Properties (Conference Talk), Talk at MMB/DFT Conference, Kaiserslautern, Germany, 2012.

[bibtex]
Jonathan Heinen. Analysis and Verification of Heap-Manipulating Programs, Talk at D-CON 2012, Kaiserslautern, 2012.

[bibtex]
Johanna Nellen. Hybrid Sequential Function Charts, Talk at MBMV, 2012.

[bibtex]
Joost-Pieter Katoen. Analyzing Probabilistic Programs: Pushing the Limits of Automation, Invited talk at Workshop on 15 Years of LSV, ENS Cachan, 2012.

[bibtex]
Joost-Pieter Katoen. One Can Do Much More With Model Checking Than You Think! , Invited talk at Opening of the FUNDP Research Centre Fundamentals of Computer Science (FOCUS). Namur, Belgium, 2012.
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, CS Colloquium Talk at RWTH Aachen University, Germany, 2012.

[bibtex]
Christina Jansen. Verifying Pointer Programs Using Hyperedge Replacement Grammars, Talk at ULB Bruxelles, 2012.

[bibtex]
Jonathan Heinen. Juggrnaut: The Analysis of Object Oriented Programs, Talk at mac, Uni Bamberg, 2012.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Systems: An Experience Report, Talk at Graduiertenkollege PUMA, TU Munich, 2012.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Design Using Formal Methods: An Experience Report, Talk at PUMA Graduiertenkolleg, TU Munich,, 2012.

[bibtex]
Xin Chen. Taylor Model Over-approximations for Flowpipe/Guard Intersections, Talk at NSV, 2012.

[bibtex]
Nils Jansen. Symbolic Counterexample Generation for Discrete-time Markov Chains, Talk at AlgoSyn Seminar, 2012.
2011
DownloadLink
[bibtex]
Ulrich Loup, Sebastian Junges. An Update on Real Algebraic Satisfiability-Modulo-Theories Solving, Talk at AlgoSyn workshop, Rolduc, 2011.
DownloadLink
[bibtex]
Viet Yen Nguyen. COMPASS: Formal Methods for System-Software Co-Engineering, Talk at Technology Innovation Days, ESA/ESTEC, 2011.

[bibtex]
Erika Abraham. Some Decidability Results for Hybrid Automata, Talk at the AlgoSyn Worshop, Rolduc, The Netherlands, 2011.

[bibtex]
. On Collaboratively Conveying Computer Science to Pupils, Talk at KOLI, 2011.

[bibtex]
Johanna Nellen. On Collaboratively Conveying Computer Science to Pupils, Talk at KOLI, 2011.

[bibtex]
Erika Abraham. The CEBug Project, Talk at the ROCKS project workshop, München, Germany, 2011.

[bibtex]
Erika Abraham. Hierarchical Counterexamples for Discrete-Time Markov Chains, Talk at the 9th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'11), 2011.

[bibtex]
Friedrich Gretz. Operational Semantics for a probabilistic guarded command language, Talk at ROCKS workshop, Herrsching, 2011.

[bibtex]
Jonathan Heinen. Juggrnaut - An Abstract JVM, Talk at the 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011) Turin, Italy, 2011.
DownloadLink
[bibtex]
Pierre Dissaux, Viet Yen Nguyen, Thomas Noll. Tutorial on COMPASS Toolset, Talk at AADL Standards Meeting at SAE AeroTech Congress & Exhibition, Toulouse, France, 2011.

[bibtex]
Hongfei Fu. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, Talk at ROCKS workshop, Herrsching, 2011.

[bibtex]
Hongfei Fu. Model Checking EGF on Basic Parallel Processes, Talk at ATVA, 2011.
DownloadLink
[bibtex]
Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars, Talk at 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, 2011.

[bibtex]
Christina Jansen. Heap Abstraction by means of Hyperedge Replacement Grammars, Talk at YR-CONCUR 2011, 2011.

[bibtex]
Joost-Pieter Katoen. Verifying Markov Chains. Two Lectures at Summerschool on Verification Technology, Systems and Applications (VTSA), Liege, Belgium, 2011.

[bibtex]
Joost-Pieter Katoen. Observing Stochastic Processes by Timed Automata, Talk at 5th International Workshop on Reachability Problems (RP), Genova, Italy, 2011.

[bibtex]
Joost-Pieter Katoen. Observing Stochastic Processes by Timed Automata, Talk at CNR/ISTI Research Labs, Pisa, Italy, 2011.

[bibtex]
Friedrich Gretz. Reasoning about probabilistic programs, Talk at YR-CONCUR 2011, 2011.

[bibtex]
. Automatic Test-Case Derivation and Execution in Industrial Control, Talk at iATPA, 2011.

[bibtex]
Hongfei Fu. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, Talk at YR-CONCUR, 2011.
DownloadLink
[bibtex]
Nils Jansen. On Computing Minimal Critical Subsystems for DTMCs, Talk at AlgoSyn Seminar, 2011.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at the Schüleruniversität Informatik, RWTH Aachen University, Germany, 2011.
DownloadLink
[bibtex]
Christina Jansen. Heap Abstraction by means of Hyperedge Replacement Grammars, Talk at Summer School Marktoberdorf 2011, 2011.

[bibtex]
Joost-Pieter Katoen. Towards Trustworthy Aerospace Systems: An Experience Report, Talk at 11th Formal Methods for Industrial Critical Systems Workshop (FMICS), Trento, Italy, 2011.
DownloadLink
[bibtex]
Ulrich Loup. An SMT-Compliant Solver for the Existential Fragment of Real Algebra, Talk at AlgoSyn seminar, 2011.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at the Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Germany, 2011.

[bibtex]
Ulrich Loup. An SMT-Compliant Solver for the Existential Fragment of Real Algebra, Talk at CAI, Linz, 2011.

[bibtex]
Joost-Pieter Katoen. The Google Search Engine, Talk at Ringvorlesung Computer Science, RWTH Aachen University, 2011.

[bibtex]
Christina Jansen. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Talk at LATA 2011, 2011.

[bibtex]
Jonathan Heinen. Verification of Object Oriented Programs, Talk at Universität Duisburg-Essen, 2011.

[bibtex]
Joost-Pieter Katoen. Can your CTMC keep up with your timed automaton?, Talk at Technical University Delft, The Netherlands, 2011.

[bibtex]
Joost-Pieter Katoen. Observing Markov Chains by Timed Automata, Talk at Interdisciplinary Modelling of Cyber-Physical Systems (IMCPS), Manchester, UK, 2011.

[bibtex]
Maximilian R. Odenbrett, Anton J. Wijs. Efficient Reconstruction of Genetic Networks via Transitive Reduction on GPGPUs, Talk at CWI, Amsterdam, 2011.

[bibtex]
Jonathan Heinen. Verificación de Programas Orientados a Objetos, Talk at Universidad Nacional de Colombia, 2011.

[bibtex]
Joost-Pieter Katoen. Approximate model checking of stochastic hybrid systems, Talk at Hybrid Autonomous Systems (HAS) Workshop, 2011.
DownloadLink
[bibtex]
Maximilian R. Odenbrett, Anton J. Wijs. Using GPGPUs for Bioinformatics, Talk at IPA Spring Days, Vlijmen, 2011.
DownloadLink
[bibtex]
Ulrich Loup. GiNaCRA: A C++ Library for Real Algebraic Computations, Talk at NFM, Pasadena, 2011.

[bibtex]
Joost-Pieter Katoen. One Can Do Much More with Model Checking Than You Think!, Talk at Foundations of Software Engineering (FSEN), Tehran, Iran, 2011.

[bibtex]
Johanna Nellen, Ulrich Loup, Jan Oliver Ringert, Wolfgang Thomas. Tutorial on Citation Metrics, Talk at AlgoSyn workshop, Dagstuhl, Germany, 2011.

[bibtex]
Nils Jansen. Hierarchical Counterexamples for DTMCs, Talk at AlgoSyn Internal Workshop 2011, 2011.
DownloadLink
[bibtex]
Nils Jansen, Jens Katelaan. Hierarchical Counterexamples for DTMCs, Talk at Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems, ETAPS, Saarbrücken, Germany, 2011.
LinkLink
[bibtex]
Marco Bozzano. Automated Generation of Compact FMEA Tables in the COMPASS Toolset, Talk at CISEC Model Based Safety Assessment Workshop (MBSAW 2011), 2011.

[bibtex]
Joost-Pieter Katoen. Efficient CTMC Model Checking of Linear Real-Time Objectives, Talk at TACAS Conference, 2011.

[bibtex]
Arpit Sharma. Weighted Lumpability on Markov Chains, Talk at ROCKS Workshop, ETAPS, Saarbrücken, 2011.

[bibtex]
Jonathan Heinen. Verifying Pointer Programs Using Graph Grammars (Theory and Practice), Talk at D-CON 2011, Münster, 2011.

[bibtex]
Sabrina von Styp. Model-Based Testing in Process Control Engineering, Talk at AlgoSyn in Dagstuhl, 2011.
DownloadLink
[bibtex]
Thomas Noll. Analyzing Reconfigurable Systems Using Attribute Grammars, MOVES Seminar Talk at RWTH Aachen University, Germany, 2011.
LinkLink
[bibtex]
Thomas Noll. The ESA COMPASS Project: Correctness, Safety and Fault Tolerance in Aerospace Systems, Talk at GI-Themenabend ``Fehlerfreie Software – ein Widerspruch in sich?'', Cologne, Germany, 2011.
DownloadLink
[bibtex]
Ulrich Loup. GiNaCRA: A C++ Library for Real Algebraic Computations, Talk at AlgoSyn seminar, 2011.

[bibtex]
Xin Chen. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems, Talk at Eurocast 2011, 2011.

[bibtex]
Joost-Pieter Katoen. Can your CTMC keep up with your timed automaton?, Talk at Quasimodo Meeting at Hydac, Saarbrücken, 2011.

[bibtex]
Joost-Pieter Katoen. Verifying Markov Chains. Five Lectures at RIO Summerschool, Rio Cuarto, Argentina, 2011.
DownloadLink
[bibtex]
Florian Corzilius. Virtual Substitution for SMT Solving, Talk at In 18th Int. Symp. on Fundamentals of Computation Theory (FCT), 2011.

[bibtex]
Joost-Pieter Katoen. Probabilistic Model Checking. Two Lectures at Formal and Interdisciplinary models In Resilience Engineering (FIRE'11), Manchester, UK, 2011.

[bibtex]
Arpit Sharma. Weighted Lumpability on Markov Chains, Talk at PSI Conference, Novosibirsk, Russia, 2011.

[bibtex]
Sabrina von Styp. Towards a Theory for Timed and Symbolic Testing, Talk at TAROT, 2011.

[bibtex]
Johanna Nellen. Confluence Analysis and Completion of Graph Grammars, Talk at the AlgoSyn Seminar, RWTH Aachen University, Germany, 2011.
2010
DownloadLink
[bibtex]
Erika Abraham. Heap-Abstraction for a Multithreaded Object-Oriented Calculus, Invited talk at Workshop on Automata and Logic for Data Manipulating Programs (LIAFA'10), Paris, France, 2010.

[bibtex]
Joost-Pieter Katoen. Verifying Pointer Programs Using Graph Grammars, Talk at LIAFA Workshop on Automata and Logic for Data Manipulating Programs, 2010.

[bibtex]
Joost-Pieter Katoen. Ubiquitous Model Checking. Kolloquium at the University of Bremen, 2010.

[bibtex]
Joost-Pieter Katoen. Model Checking Continuous-Time Markov Chains. Five lectures at International Summerschool on Model Checking, Beijing, China, 2010.

[bibtex]
Joost-Pieter Katoen. Quantitative Verification: A Practical Experience Report, Talk at International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), Heraclion, Crete, 2010.

[bibtex]
Henrik Bohnenkamp. A gossiping MAC protocol and the Gupta/Kumar Radio Interference model, Talk at Autumn ROCKS Meeting, Dresden, Germany, 2010.

[bibtex]
Falak Sher. Abstraction and Refinement of Probabilistic Automata, Talk at Autumn ROCKS Meeting, Dresden, Germany, 2010.

[bibtex]
Marco Bozzano. Integrating Safety Assessment and Design Processes using AADL: Experience from the Space Sector, Talk at MISSA Seminar at 5th IET International System Safety Conference 2010, 2010.

[bibtex]
Xin Chen. Reachability Analysis of Continuous Systems with Uncertain Constant Dynamics , Talk at AlgoSyn seminar, RWTH Aachen University, Germany, 2010.
DownloadLink
[bibtex]
Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Talk at EPEW 2010, 2010.

[bibtex]
Joost-Pieter Katoen. The Theory and Practice of Interactive Markov Chains, Invited talk at IFIP WG 2.2. Workshop, Warsaw, Poland, 2010.
DownloadLink
[bibtex]
Ulrich Loup. Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik, Talk at DeLFI, Duisburg, 2010.

[bibtex]
Ulrich Loup. Podcast Production as Collaborative Access to Theoretical Computer Science, Talk at AlgoSyn seminar, 2010.

[bibtex]
Sabrina von Styp. A Conformance Testing Relation for Symbolic Timed Automata, Talk at FORMATS, 2010.

[bibtex]
Falak Sher. Abstraction and Refinement of Probabilistic Automata, Talk at YR CONCUR, Paris, 2010.
DownloadLink
[bibtex]
Nils Jansen. DTMC Model Checking by SCC Reduction, Talk at QEST, Williamsburg, USA, 2010.

[bibtex]
Erika Abraham. SMT-Solving for the Reals, Invited talk at University of Karlsruhe, Germany, 2010.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at Schüleruniversität Informatik, RWTH Aachen University, Germany, 2010.
DownloadLink
[bibtex]
Erika Abraham, Ulrich Loup, Florian Corzilius, Thomas Sturm. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. 8th Int. Workshop on Satisfiability Modulo Theories (SMT'10), 2010.

[bibtex]
Joost-Pieter Katoen. Invariant Generation for Linear Probabilistic Systems, Invited talk at Workshop on Models and Languages for Quantitative Analysis, FLOC Workshop, Edinburgh, Scotland, 2010.

[bibtex]
Erika Abraham. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra, Invited talk at Dagstuhl Seminar "Verification over Discrete-Continuous Boundaries", Dagstuhl, Germany, 2010.

[bibtex]
Erika Abraham. SMT-Solving in the Verification and Synthesis of Hybrid Systems, Invited talk at University of Freiburg, Germany, 2010.
LinkLink
[bibtex]
Alessandro Cimatti. A Model Checker for AADL, Talk at 22nd International Conference on Computer Aided Verification (CAV 2010), 2010.
DownloadLink
[bibtex]
Thomas Noll. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software, Talk at 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010), St. Goar, Germany, 2010.

[bibtex]
Joost-Pieter Katoen. Concurrency, Interaction, Abstraction, and Randomness, Keynote talk at ICE '10 – 3rd Interaction and Concurrency Experience, Amsterdam, 2010.

[bibtex]
Joost-Pieter Katoen. Model Checking Probabilistic Systems. Invited tutorial at Summerschool on Modeling and Verification of Parallel Processes (MOVEP'10), AachenV, 2010.
DownloadLink
[bibtex]
Maximilian R. Odenbrett. Slicing AADL specifications for model checking, Talk at MoVeP, Aachen, 2010.

[bibtex]
Ulrich Loup. Tutorial on Quotations and BibTeX, Talk at Gemeinsamer Workshop der Informatik-Graduiertenkollegs und Forschungskollegs, 2010.

[bibtex]
Joost-Pieter Katoen. Ubiquitous Model Checking. Kolloquium Universität Magdeburg, 2010.

[bibtex]
Joost-Pieter Katoen. Abstraction of Markov Chains, Seminar at Microsoft CoSBI Laboratories, Trento, Italy, 2010.
DownloadLink
[bibtex]
Viet Yen Nguyen. Slicing AADL Specifications for Model Checking, Talk at NASA Formal Methods Symposium (NFM 2010), 2010.
LinkLink
[bibtex]
Joost-Pieter Katoen, Marco Bozzano. Correctness, Safety and Performability of AADL Models: The COMPASS Project, Talk at ESA Final Presentation Days, 2010.

[bibtex]
Joost-Pieter Katoen. Quantitative Model Checking, Invited talk at Microsoft Workshop on Formal Methods for Predictable Embedded Systems, 2010.

[bibtex]
Nils Jansen. DTMC Model Checking by SCC Reduction, Talk at AlgoSyn Seminar, 2010.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at Ringvorlesung "Was ist Informatik?" für Oberstufenschüler, RWTH Aachen University, Aachen, Germany, 2010.

[bibtex]
Viet Yen Nguyen. Formeel Modelleren en Analyseren van Ruimtevaartsystemen, Talk at Radboud University Nijmegen, 2010.

[bibtex]
Ulrich Loup. Tutorial on Abstract DPLL, Talk at AlgoSyn workshop, Rolduc, 2010.

[bibtex]
Ulrich Loup. Tutorial on Decision Procedures for Real Algebra, Talk at AlgoSyn workshop, Rolduc, 2010.

[bibtex]
Henrik Bohnenkamp. Analyzing Energy Consumption in the MYRIANED Gossip MAC Protocol, Talk at Conference on "Measurement, Modelling and Evaluation of Computing Systems, Essen, Germany, 2010.

[bibtex]
Nils Jansen. SCC-based Markov Chain Abstraction, Talk at ROCKS Meeting, Molenhoek, Netherlands, 2010.

[bibtex]
Erika Abraham. Tutorial on Satisfiability Checking. Tutorial, AlgoSyn meeting, Rolduc, Germany, 2010.
LinkLink
[bibtex]
Marco Bozzano. The ESA COMPASS Project: Correctness, Safety and Performability of AADL Models for Aerospace Systems, Talk at MISSA-CISEC Workshop on Model-Based Safety Assessment, 2010.
DownloadLink
[bibtex]
Viet Yen Nguyen. Performance Evaluation and Verification of System-Level Architecture Models, Talk at University of Oxford, 2010.

[bibtex]
Joost-Pieter Katoen. Quantitative Modeling and Model Checking. Tutorial at Dagstuhl Seminar on Quantitative Analysis of Network Protocols, 2010.

[bibtex]
Joost-Pieter Katoen. GSPN Semantics: Simpler is Impossible, Talk at Quasimodo Workshop, Paris, LIAFA, 2010.

[bibtex]
Sabrina von Styp. Towards a Theory for Timed and Symbolic Testing, Talk at Quasimodo Meeting, 2010.
DownloadLink
[bibtex]
Ulrich Loup. Actuating Symbolically - A Case Study, Talk at AlgoSyn seminar, 2010.

[bibtex]
Ulrich Loup. Actuating Symbolically - A Case Study, Seminar talk at RWTH Aachen University, 2010.

[bibtex]
Joost-Pieter Katoen. Advancements in Probabilistic Model Checking. Invited tutorial at VMCAI, Madrid, Spain, 2010.

[bibtex]
Ulrich Loup. Actuating Symbolically - A Case Study, Talk at MOVES seminar, 2010.

[bibtex]
Joost-Pieter Katoen. Abstraction of Markov Chains: Useful for Queueing Networks?, Talk at Queueing Colloquium at CWI, Amsterdam, 2010.

[bibtex]
Joost-Pieter Katoen. Model Checking Continuous-Time Markov Chains. Invited lecture at Spring School on Quantitative Model Checking, Copenhagen, Denmark, 2010.

[bibtex]
Henrik Bohnenkamp. GMAC and the Gupta/Kumar Radio Interference model, Talk at Quasimodo Meeting, Saarbruecken, 2010.

[bibtex]
Erika Abraham. Informatik != Computer, Talk at MINT Winter School, RWTH Aachen University, Germany, 2010.
DownloadLink
[bibtex]
Erika Abraham. On the Minimization of Hybrid Automata, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010.
DownloadLink
[bibtex]
Erika Abraham. Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010.

[bibtex]
Florian Corzilius. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra, Talk at SMT 2010, 2010.

[bibtex]
Erika Abraham. SMT-Solving in the Verification and Synthesis of Hybrid Systems, Invited talk at Dagstuhl, Germany, 2010.

[bibtex]
Erika Abraham. Tutorial on Satisfiability Checking. Tutorial, AlgoSyn meeting, Rolduc, Germany, 2010.
2009

[bibtex]
Erika Abraham. The Theory of Hybrid Systems, Talk at Day of Computer Science (Tag der Informatik), RWTH Aachen University, Aachen, Germany, 2009.

[bibtex]
Erika Abraham. SMT-Solving for the First-Order Theory of the Reals, Invited talk at Dagstuhl Seminar "Algorithms and Applications for the Next Generation of SAT Solvers", Dagstuhl, Germany, 2009.
LinkLink
[bibtex]
Thomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), Noordwijk, The Netherlands, 2009.

[bibtex]
Joost-Pieter Katoen. Analysis and Semantics of Extended AADL Models, Talk at IFIP 1.8 Workshop on Formal Methods for Embedded Systems, 2009.

[bibtex]
Joost-Pieter Katoen. Reachability in Randomly Timed Games, Talk at Quasimodo Workshop at FMWeek 2009, 2009.

[bibtex]
Joost-Pieter Katoen. Ubiquitous Model Checking, Invited talk at FMWeek Soiree, TU Eindhoven, The Netherlands, 2009.

[bibtex]
Joost-Pieter Katoen. Abstraction of Probabilistic Systems: From Theory to Practice, Invited talk at Formal Methods on Components and Objects (FMCO), TU Eindhoven, The Netherlands, 2009.

[bibtex]
Sabrina von Styp. Towards a Theory for Timed Symbolic Testing, Talk at FM, 2009.

[bibtex]
Joost-Pieter Katoen. Maximizing Battery Lifetimes by Model Checking, Talk at UMIC Day, RWTH Aachen University, 2009.
LinkLink
[bibtex]
Roberto Cavada. Model-Based Codesign of Critical Embedded Systems, Talk at 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), 2009.

[bibtex]
Christina Jansen. Generierung von Hyperkantenersetzungsgrammatiken zur Heapabstraktion, Talk at KPS 2009, 2009.

[bibtex]
Joost-Pieter Katoen. Abstraction of Probabilistic Systems: From Theory to Practice, Talk at IFIP WG 2.2 Meeting, 2009.

[bibtex]
Joost-Pieter Katoen. The Ins and Outs of the Probabilistic Model Checker MRMC, Talk at QEST 2009, 2009.
LinkLink
[bibtex]
Marco Bozzano. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Talk at 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009), 2009.
DownloadLink
[bibtex]
Viet Yen Nguyen. Safety, Dependability and Performance Analysis of Extended AADL Models, Talk at ROCKS Kick-Off Meeting, 2009.

[bibtex]
Joost-Pieter Katoen. Verifying Infinite Markov Chains, Talk at Nordic Workshop on Programming Theory, Kopenhagen, Denmark, 2009.

[bibtex]
Joost-Pieter Katoen. Loop Invariant Generation for Linear Probabilistic Programs, Talk at ROCKS Kick-off Meeting, Vaals, NL, 2009.

[bibtex]
Joost-Pieter Katoen. Abstraction and Refinement of Probabilistic Systems, Talk at Dagstuhl Seminar on Refinement, Wadern, Germany, 2009.

[bibtex]
Daniel Klink. Compositional abstraction for stochastic systems, Talk at AlgoSyn seminar, 2009.

[bibtex]
Daniel Klink. Compositional abstraction for stochastic systems, Talk at FORMATS, 2009.
DownloadLink
[bibtex]
Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems, Talk at Marktoberdorf Summer School, 2009.

[bibtex]
Viet Yen Nguyen. Verification and Performance Evaluation of AADL Models. Demonstration at ESEC/FSE 2009, Amsterdam, Netherlands, 2009.

[bibtex]
Carsten Kern. Learning Communicating and Nondeterministic Automata, Talk at RWTH Aachen University, 2009.

[bibtex]
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Talk at LICS, LA, USA, 2009.

[bibtex]
Carsten Kern. Angluin-style learning of NFA, Talk at IJCAI 2009 (Pasadena, CA, USA), 2009.
DownloadLink
[bibtex]
Viet Yen Nguyen. Codesign of Dependable Systems: A Component-Based Modelling Language, Talk at MEMOCODE 2009 Workshop, 2009.

[bibtex]
Joost-Pieter Katoen. Verifying Large –and Infinite– Probabilistic Systems, Talk at Fondazione Bruno Kessler, 2009.

[bibtex]
Joost-Pieter Katoen. Abstraction of Markov Chains, Talk at University of Dortmund, Germany, 2009.

[bibtex]
Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Talk at TUD, Dortmund, Germany, 2009.
LinkLink
[bibtex]
Thomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language, Talk at AADL Standard Meeting at Ada-Europe, Brest, France, 2009.
DownloadLink
[bibtex]
Ulrich Loup. Controller Synthesis of Discrete-Continuous Systems using SMT Solving, Talk at Gemeinsamer Workshop der Informatik-Graduiertenkollegs und Forschungskollegs, Dagstuhl, 2009.

[bibtex]
Joost-Pieter Katoen. Model Checking CTMCs Against Linear Real-Time Specifications, Talk at Oxford University, UK, 2009.

[bibtex]
Erika Abraham. SAT-Modulo-Theories Solving in the Context of Bounded Model Checking, Invited talk at CWI Amsterdam, Amsterdam, The Netherlands, 2009.

[bibtex]
Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability, Talk at Dagstuhl, Germany, 2009.
DownloadLink
[bibtex]
Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at Charles University in Prague, 2009.

[bibtex]
Viet Yen Nguyen. MoonWalker: Verification of .NET Programs, Talk at Charles University in Prague, 2009.

[bibtex]
Daniel Klink. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Talk at ROCKS, 2009.

[bibtex]
Ulrich Loup. Controller Synthesis of Discrete-Continuous Systems using SMT Solving, Talk at AlgoSyn seminar, 2009.

[bibtex]
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Talk at AlgoSyn seminar, Aachen, Germany, 2009.

[bibtex]
Ulrich Loup. Synthesis of Discrete-Continuous Systems using SMT Solving, Talk at MOVES seminar, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex, Talk at AADL Standard Meeting, Noordwijk, The Netherlands, 2009.

[bibtex]
Viet Yen Nguyen. MoonWalker: Verification of .NET Programs, Talk at TACAS Workshop 2009, 2009.

[bibtex]
Viet Yen Nguyen. Memoised Garbage Collection for Software Model Checking, Talk at TACAS Workshop 2009, 2009.

[bibtex]
Viet Yen Nguyen. Demo: Perfomability and Model Extension, Talk at COMPASS PQR Meeting, 2009.

[bibtex]
Daniel Klink. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Talk at AlgoSyn seminar, 2009.

[bibtex]
Erika Abraham. SMT-solving in the Context of Bounded Model Checking, Invited talk at University of Oslo, Oslo, Norway, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at German Chapter CONCUR Meeting, Berlin, Germany, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at COMPASS Workshop at ETAPS 2009, York, United Kingdom, 2009.
LinkLink
[bibtex]
Marco Roveri. Symbolic Verification of System-Level Specifications for Aerospace Applications, Talk at COMPASS 2009 Workshop, 2009.

[bibtex]
Joost-Pieter Katoen. Correctness, Modeling, and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at COMPASS 2009 Workshop, 2009.

[bibtex]
Joost-Pieter Katoen. Verifying CTMCs Against Linear Real-Time Specifications, Talk at Workshop on Quantitative Aspects of Programming Languages, York, UK, 2009.

[bibtex]
Joost-Pieter Katoen. Parameter Synthesis for Probabilistic Timed Reachability, Talk at NICTA Research Center, Sydney, Australia, 2009.

[bibtex]
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Talk at ULB, Brussels, Belgium, 2009.

[bibtex]
Martin R. Neuhäußer. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Talk at FoSSaCS 2009, York, England., 2009.

[bibtex]
Joost-Pieter Katoen. Achievements in Probabilistic Model Checking, Talk at Quasimodo Review Meeting, Brussels, Belgium, 2009.

[bibtex]
Joost-Pieter Katoen. Parameter Synthesis for Probabilistic Timed Reachability, Talk at ENS Cachan, Departmental seminar, 2009.
DownloadLink
[bibtex]
Ulrich Loup. Decision Problems over the Domain of the Real Numbers, Talk at AlgoSyn seminar, 2009.

[bibtex]
Jonathan Heinen. Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures, Talk at TTSS 2009, 2009.

[bibtex]
Tingting Han. Quantitative model checking of continuous-time Markov chains against timed automata specifications, Talk at VOSS Meeting, University of Twente, NL, 2009.

[bibtex]
Tingting Han. Diagnosis, Synthesis and Analysis of Probabilistic Models, Defense talk at University of Twente, NL, 2009.

[bibtex]
Tingting Han. Diagnosis, Synthesis and Analysis of Probabilistic Models, Defense talk at RWTH Aachen University, Germany, 2009.
2008

[bibtex]
Joost-Pieter Katoen. Abstraction of Probabilistic Systems: From Theory to Practice, Talk at CDC Workshop on Stochastic Hybrid Systems, Cancun, Mexico, 2008.

[bibtex]
Daniel Klink. Three-valued abstraction for continuous-time Markov chains, Talk at Model Checking @ RWTH, 2008.

[bibtex]
Joost-Pieter Katoen. Parameter Synthesis for Probabilistic Systems, Talk at , 2008.

[bibtex]
Nils Jansen. Automaton-definable Tree Relations with Cardinality Constraints, Talk at AG LuA, RWTH Aachen, 2008.
Link
[bibtex]
Carsten Kern. SMA—The Smyle Modeling Approach, Talk at CEE-SET'08 (Brno, Czech Republic), 2008.
LinkLink
[bibtex]
Viet Yen Nguyen, Thomas Noll. System and Software Co-Engineering: Performance and Verification, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), Noordwijk, The Netherlands, 2008.

[bibtex]
Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples, Talk at QEST 2008, 2008.

[bibtex]
Joost-Pieter Katoen. Performance Analysis and Model Checking - A Perfect Match, Talk at Invited Lectures, Warsaw, Poland, 2008.
LinkLink
[bibtex]
Stefan Rieger. Abstracting Complex Data Structures by Hyperedge Replacement, Talk at ICGT 2008, Leicester (UK), 2008.

[bibtex]
Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Talk at FORMATS'08, 2008.

[bibtex]
Thomas Noll. SLIM Language: Modifications & Semantics, Talk at COMPASS Preliminary Design Review Meeting, Trento, Italy, 2008.

[bibtex]
Joost-Pieter Katoen. Perspectives in probabilistic verification. Invited Kolloquium at Institute of Software, Chinese Academy of Sciences, Beijing, 2008.

[bibtex]
Joost-Pieter Katoen. Perspectives in probabilistic verification, Keynote talk at IEEE Symposium on Theoretical Aspects of Software Engineering (TASE), 2008.

[bibtex]
Joost-Pieter Katoen. Principles of Model Checking. Lecture Series at Tsinghua Universiry, Beijing, 2008.

[bibtex]
Henrik Bohnenkamp. Quantitative Testing, Talk at Quasimodo Workgroup Meeting, Aachen, 2008.

[bibtex]
Tingting Han. Time-abstracting bisimulation for probabilistic timed automata, Talk at TASE'08 (Nanjing, China), 2008.

[bibtex]
Joost-Pieter Katoen. Good, cheap, fast: Reachability objectives in randomly timed games, Talk at Technical University of Eindhoven (NL), 2008.

[bibtex]
Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Talk at AlgoSyn Seminar, 2008.
LinkLink
[bibtex]
Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads, Talk at FM 2008, Turku (FI), 2008.

[bibtex]
Thomas Noll. The System-Level Integrated Modeling Language, Talk at COMPASS System Requirements Review Meeting, Aachen, Germany, 2008.

[bibtex]
Henrik Bohnenkamp. Quantitative Testing, Talk at German Chapter Concur, 2008.
LinkLink
[bibtex]
Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads, Talk at German Chapter Concur, 2008.
LinkLink
[bibtex]
Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories, Talk at 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Budapest, Hungary, 2008.

[bibtex]
Thomas Noll. Approaches to Model-Based Analysis and Verification, Talk at COMPASS Kickoff Meeting, Noordwijk, The Netherlands, 2008.

[bibtex]
Tingting Han. Counterexample generation in probabilistic model checking: Theory and practice, Talk at QUASIMODO Kick-Off Meeting (Aalborg, Denmark), 2008.

[bibtex]
Joost-Pieter Katoen. Reachability objectives in randomly timed games, Talk at QUASIMODO Kick-Off Meeting, 2008.

[bibtex]
Joost-Pieter Katoen. Principles of Model Checking. Lecture Series at Nanjing University, 2008.
Link
[bibtex]
Carsten Kern. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning, Talk at CONCUR'08 (Toronto, Canadal), 2008.

[bibtex]
Daniel Klink. Abstraction for Stochastic Systems by Erlang's Method of Stages, Talk at CONCUR'08, 2008.

[bibtex]
Daniel Klink. Abstraction for Stochastic Systems by Erlang's Method of Stages, Talk at QUASIMODO Workshop, 2008.

[bibtex]
Daniel Klink. Abstraction for Stochastic Systems by Erlang's Method of Stages, Talk at AlgoSyn Seminar, 2008.

[bibtex]
Viet Yen Nguyen. Incremental Hashing for SPIN, Talk at SPIN 2008, 2008.

[bibtex]
Viet Yen Nguyen. Architectural Design, Talk at Preliminary Design Review Meeting, Trento, Italy, 2008.

[bibtex]
Viet Yen Nguyen. Optimising Techniques for Model Checkers: De noodzaak en uitdaging ervan, Talk at NGI Award Ceremony 2008, 2008.

[bibtex]
Viet Yen Nguyen. Model Checking .NET Programs, Talk at Model Checking @ RWTH, 2008.
2007

[bibtex]
Joost-Pieter Katoen. True Concurrency in Concurrent Programming. Guest lecture at the Saarland University, 2007.

[bibtex]
Joost-Pieter Katoen. Reachability objectives in randomly timed games, Talk at the Workshop on Automata and Logics: History and Perspectives (WAL), Aachen, 2007.

[bibtex]
Joost-Pieter Katoen. The Probabilistic Model Checker MRMC, Talk at Symposium Two Decades of Probabilistic Verification, Leiden (NL), 2007.

[bibtex]
Joost-Pieter Katoen. The Dutch PhD Programme, Talk at Fakultaetentag 2007, Saarland University, 2007.

[bibtex]
Joost-Pieter Katoen. Abstraction for Probabilistic Systems. Kolloquium at the University of Oldenburg, 2007.

[bibtex]
Joost-Pieter Katoen. Hoe werkt Google's zoekmachine?, Talk at RWTH Wissenschaftsnacht, 2007.

[bibtex]
Henrik Bohnenkamp. Motor: The Modest Tool EnviRonment, Talk at VOSS 2 Meeting, Leiden, 2007.
Link
[bibtex]
Carsten Kern. Smyle - Synthesis of Design Models from Scenarios by Learning, Talk at Kolloquium Programmiersprachen und Grundlagen der Programmierung (Timmendorfer Strand), 2007.

[bibtex]
Joost-Pieter Katoen. Abstraction for Probabilistic Systems, Talk at Int. Conf. on Formal Analysis andf Modeling of Timed Systems (FORMATS), Salzburg (Austria), 2007.

[bibtex]
Tingting Han. Providing evidence of likely being on time — Counterexample generation for CTMC model checking, Talk at ATVA'07 (Tokyo, Japan), 2007.
LinkLink
[bibtex]
Stefan Rieger. Unbounded Tread Creation in Dynamic Pointer Programs, Talk at KPS 2007, Timmendorfer Strand, 2007.
DownloadLink
[bibtex]
Jonathan Heinen. Graph Grammar Abstraction for Complex Dynamic Data Structures, Talk at KPS 2007, Timmendorfer Strand, 2007.
LinkLink
[bibtex]
Thomas Noll. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code, Talk at Haifa Verification Conference (HVC 2007), Haifa, Israel, 2007.

[bibtex]
Joost-Pieter Katoen. Introduction to Probabilistic Model Checking, Talk at IFIP WG 2.2 Meeting, Nancy (France), 2007.
LinkLink
[bibtex]
Stefan Rieger. Composing Transformations to Optimize Linear Code, Talk at ICTAC 2007, Macao (CN), 2007.
LinkLink
[bibtex]
Stefan Rieger. Verifying List-Manipulating Programs with Unbounded Thread Creation, Talk at Universität des Saarlandes, Saarbrücken, 2007.
LinkLink
[bibtex]
Stefan Rieger. Heap Abstraction by Graph Reduction with Graph Grammars, Talk at Universität des Saarlandes, Saarbrücken, 2007.

[bibtex]
Daniel Klink. Abstraction for continuous-time Markov chains, Talk at CAV, 2007.
LinkLink
[bibtex]
Thomas Noll. Delayed Nondeterminism in Model Checking Microcontroller Software Delayed Nondeterminism in Model Checking Microcontroller Software, MOVES Seminar Talk at RWTH Aachen University, Germany, 2007.
Link
[bibtex]
Carsten Kern. Synthesizing Design Models from Scenarios by Learning, Talk at Workshop Programmiersprachen und Rechenkonzepte (Bad Honnef), 2007.

[bibtex]
Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking, Talk at Workshop Programmiersprachen und Rechenkonzepte (Bad Honnef), 2007.

[bibtex]
Daniel Willems. Abstraction for Continuous-Time Markov Chains, Talk at Dagstuhl Seminar: Quantitative Aspects of Embedded Systems, 2007.
DownloadLink
[bibtex]
Ivan S. Zapreev. Bisimulation minimisation mostly speeds up probabilistic model checking, Talk at TACAS'07, Braga, Portugal, 2007.

[bibtex]
Joost-Pieter Katoen. Bisimulation Minimization and Experimental Comparison of Probabilistic Model Checkers, Talk at the University of Birmingham, 2007.

[bibtex]
Joost-Pieter Katoen. MOTOR: The MoDeST Tool EnviRonment, Talk at TACAS 2007, Braga (Portugal), 2007.

[bibtex]
Tingting Han. Counterexamples in probabilistic model checking, Talk at TACAS 2007 (Braga, Portugal), 2007.

[bibtex]
Tingting Han. Counterexamples in probabilistic model checking, Talk at the University of Birmingham (UK), 2007.

[bibtex]
Daniel Klink. Combinatorial and Markovian Models, Talk at AlgoSyn workshop, 2007.

[bibtex]
Daniel Klink. Signal Processing and Railway Case Study, Talk at AlgoSyn workshop, 2007.

[bibtex]
Daniel Klink. Abstraction for continuous-time Markov chains, Talk at Dagstuhl seminar, 2007.

[bibtex]
Joost-Pieter Katoen. Soft Real Time Scheduling and Quality of Service. Tutorial at the ARTIST2 Winterschool on MOdelling, TestIng, and Verification for Embedded Systems (MOTIVES), Trento (Italy), 2007.

[bibtex]
Tingting Han. Providing evidence of likely being on time — Counterexample generation for CTMC model checking, Talk at VOSS 2 workshop (Dresden, Germany), 2007.

[bibtex]
Joost-Pieter Katoen. Verifying Probabilistic Phenomena: Theory or Practice?. Kolloquium at the University of Konstanz, 2007.
Link
[bibtex]
Carsten Kern. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning, Talk at TACAS'07 (Braga, Portugal), 2007.
2006
Link
[bibtex]
Carsten Kern. Synthesis of Design Models from Scenarios by Learning, Talk at RWTH Aachen University, 2006.

[bibtex]
Henrik Bohnenkamp. Are you still there?, Talk at IPA Herfstdagen 2006, Bergen, NL, 2006.

[bibtex]
Joost-Pieter Katoen. Foundations of Probabilistic Model Checking, Talk at the IPA Autumn Days on Stochastic Systems, 2006.

[bibtex]
Joost-Pieter Katoen. Advancing Probabilistic Model Checking, Talk at the Workshop on Advances in Model Checking (in honour of Gerard J. Holzmann), 2006.

[bibtex]
Daniel Willems. Abstraction for Infinite Continuous-Time Markov Chains, Talk at IPA Fall Days on Stochastic Systems, 2006.

[bibtex]
Daniel Klink. Abstraction for infinite continuous-time Markov chains, Talk at IPA fall days, 2006.

[bibtex]
Joost-Pieter Katoen. Counterexamples in DTMC Model Checking, Presentation at the Dagstuhl Seminar on Specification, Verification, and Testing of Open Systems, 2006.

[bibtex]
Daniel Klink. Probabilistic simulation based abstraction for continuous-time Markov chains, Talk at VOSS2, 2006.
DownloadLink
[bibtex]
Ivan S. Zapreev. Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability, Talk at QEST'06, Riverside, CA, USA, 2006.

[bibtex]
Tingting Han. Counterexamples in probabilistic model checking, Talk at VOSS 2 workshop (Rolduc, NL), 2006.

[bibtex]
Joost-Pieter Katoen. Advances in Probabilistic Model Checking, Invited Presentation at the German Verification Day, 2006.

[bibtex]
Daniel Klink. Abstraction for continuous-time Markov chains, Talk at AlgoSyn seminar, 2006.

[bibtex]
Ivan S. Zapreev. On-the-fly Steady-state detection, Talk at University of Freiburg, Germany, 2006.

[bibtex]
Erika Abraham. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes, Invited talk at Logical Approaches to Computational Barriers (CiE'06), Swansea, Great Britain, 2006.

[bibtex]
Joost-Pieter Katoen. Model Checking Probabilistic Systems. Four lectures at the University of Florence, 2006.

[bibtex]
Stefan Rieger. Optimierung linearen Codes, Talk at 23. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, 2006.
Link
[bibtex]
Carsten Kern. MSCan - A Tool for Analyzing MSC Specifications, Talk at TACAS 2006 (Wien), 2006.

[bibtex]
Henrik Bohnenkamp. Synthesis and Stochastic Assessment of Cost-Optimal Schedules, Talk at Post-MMB-Workshop, 2006, Erlangen, 2006.

[bibtex]
Henrik Bohnenkamp. Timed Testing with TorX, Talk at ITG Workshop Model-Based Testing 2006, Nürnberg, 2006.
LinkLink
[bibtex]
Thomas Noll. Modelling Erlang in the π-Calculus, MOVES Seminar Talk at RWTH Aachen University, Germany, 2006.

[bibtex]
Henrik Bohnenkamp. Axxom, Scheduling, Costst and Optimums, Talk at Voss-Meeting January 2006, Twente University, 2006.

[bibtex]
Joost-Pieter Katoen. Model Checking LTL and SPIN. IPA Basic Course on Formal Methods, 2006.

[bibtex]
Henrik Bohnenkamp. Timed Testing with TorX, Talk at IPA Lentedagen 2006, Vught, NL., 2006.
LinkLink
[bibtex]
Thomas Noll. Towards Automatic Verification of Erlang Programs by π-Calculus Translation, Talk at 5th ACM SIGPLAN Erlang Workshop, Portland, USA, 2006.

[bibtex]
Erika Abraham. Parallel SAT Solving in Bounded Model Checking, Talk at Parallel and Distributed Methods in Verification (PDMC'06), 2006.

[bibtex]
Erika Abraham. Bounded Model Checking with Parametric Data Structures, Talk at the 4th Int. Workshop on Bounded Model Checking (BMC'06), 2006.
2005
DownloadLink
[bibtex]
Ivan S. Zapreev. A Markov reward model checker, Talk at QEST'05, Torino, Italy, 2005.

[bibtex]
Henrik Bohnenkamp. Timed Testing with TorX, Talk at RWTH Aachen, 2005.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Workshop Proceedings of Cosmicah'05, Queen Mary Technical Report RR-05-04, 2005.
2004

[bibtex]
Erika Abraham. A Proof System for Exception Handling in Multithreaded Java, Talk at the Christian-Albrechts-University, Kiel, Germany, 2004.

[bibtex]
Erika Abraham. Proof System for Exception Handling in Multithreaded Java, Talk at the Kolloquium Programmiersprachen und Grundlagen der Programmierung, 17.–19. March 2004, Freiburg-Munzingen, 2004.
2003

[bibtex]
Erika Abraham. Proving Deadlock Freedom for JavaMT, Talk at the MobiJ-meeting Kiel, 3.-10. June 2003, 2003.

[bibtex]
Erika Abraham. A Tool-supported Assertional Proof System for Multithreaded Java, Talk at the Workshop on Formal Techniques for Java-like Programs (FTfJP'03), Darmstadt, Germany, 2003.
2002

[bibtex]
Erika Abraham. Verification for Java's monitor concept, Invited talk at Int. Symp. on Formal Methods for Components and Objects (FMCO'02), Leiden, The Netherlands, 2002.

[bibtex]
Erika Abraham. A Hoare Logic for Monitors in Java, Invited talk at ICASE - NASA LaRC, 2002.

[bibtex]
Erika Abraham. Verification for Java's Reentrant Multithreading Concept, Talk at the 5th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS'02), Grenoble, France, 2002.
2001

[bibtex]
Erika Abraham. Verification of Hybrid Systems: Formalization and Proof Rules in PVS, Talk at the Seventh IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS 2001), Skövde, Sweden, 2001.

[bibtex]
Erika Abraham. Proof Outlines for Threads in Java, Talk at the Kolloquium Programmiersprachen und Grundlagen der Programmierung, Rurberg, Germany, 2001.

[bibtex]
Erika Abraham. Verification for Java's Reentrant Multithreading Concept, Talk at Albert-Ludwigs-University, Freiburg, Germany, 2001.