Talks

2018
LinkErika 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.
LinkErika 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.
DownloadLinkErika 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.
LinkErika 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.
LinkErika 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.
2017
LinkErika 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.
DownloadLinkErika Abraham. The Power of Satisfiability Checking, Invited talk at fortiss GmbH, München, Germany, 20 Oct, 2017.
LinkErika 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.
LinkErika 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.
LinkErika 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.
DownloadLinkErika 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.
DownloadLinkErika 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.
DownloadLinkErika Abraham. Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at the University of Waterloo, Waterloo, Canada, 21 Mar, 2017.
2016
DownloadLinkErika Abraham. Symbolic Computation Techniques in Satisfiability Checking, Invited talk at the Johannes Kepler University, RISC, Linz, Austria, 14 Nov, 2016.
DownloadLinkErika 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.
DownloadLinkErika Abraham. SMT Solving for Non-Linear Arithmetic Theories, Invited talk at the RiSE Seminar, IST Austria, Vienna, Austria, 06 Apr, 2016.
DownloadLinkErika Abraham. Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at the University of Kassel, Kassel, Germany, 18 Oct, 2016.
DownloadLinkErika Abraham. The Power of Satisfiability Checking, Invited talk at the European Computer Science Summit (ECSS'16), Budapest, Hungary, 24-26 Oct, 2016.
DownloadLinkErika 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.
DownloadLinkErika 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.
2015
DownloadLinkErika 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.
Erika Abraham. Modeling and Verification of Hybrid Systems, Invited lecture series at the University of Genoa, Genoa, Italy, 12-14 Oct, 2015.
DownloadLinkErika Abraham. Some Thoughts about Formal Methods in Robotics, Invited talk at the University of Genoa, Genoa, Italy, 13 Oct, 2015.
DownloadLinkErika 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.
DownloadLinkErika 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.
DownloadLinkErika Abraham. Model Repair for Probabilistic Controllers, Invited talk at NII Shonan Meeting “Static Analysis Meets Runtime Verification”, Tokyo, Japan, 16-19 Mar, 2015.
2014
DownloadLinkErika 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.
LinkErika 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.
DownloadLinkErika Abraham. Reachability Analysis of Hybrid Systems, Invited talk at INRIA, Nancy, France, 12 Jun, 2014.
DownloadLinkErika 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.
LinkErika Abraham. Modeling and Analyzing Probabilistic Systems, Invited talk at the NVTI Theory Day, Utrecht, the Netherlands, 16 May, 2014.
LinkErika 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.
2013
LinkErika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at the Workshop on Computable Analysis and Rigorous Numerics, Maastricht, the Netherlands, 09 Dec, 2013.
Erika Abraham. Formal Methods for Hybrid Systems, Invited talk at the University of Passau, Passau, Germany, 26 Nov, 2013.
DownloadLinkErika Abraham. Modeling and Analysis of Hybrid Systems, Invited talk at the IFIP WG 2.2 meeting 2013, Lisbon, Portugal, 23-26 Sep, 2013.
DownloadLinkErika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at the CDZ Workshop on Probabilistic and Hybrid System Verification, Beijing, China, 24-27 Sep, 2013.
DownloadLinkErika Abraham. Eine kurze Einführung in Berechenbarkeit und Komplexität, Talk at the Schüleruniversität Informatik, RWTH Aachen University, Aachen, Germany, 2013.
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk at Aachener Informatiktage, RWTH Aachen University, Germany, 2013.
Erika Abraham. Informatik != Computer, Talk at Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Aachen, Germany, 2013.
2012
Erika Abraham. Computing Counterexamples for Discrete-Time Probabilistic Systems, Tutorial at ROCKS Autumn School "Rigorous Dependability Analysis for Stochastic Systems", Vahrn, Italy, 2012.
Erika Abraham. Hybrid Systems, Invited talk at University of Twente, Enschede, The Netherlands, 2012.
Erika Abraham. Rechnen mit Nullen und Einsen, Talk at Helle Köpfe in der Informatik, RWTH Aachen University, Aachen, Germany, 2012.
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk for students of a Greek high-school at RWTH Aachen University, Aachen, Germany, 2012.
Erika Abraham. Eine kurze Einführung in die Unentscheidbarkeit, Talk at Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Aachen, Germany, 2012.
Erika Abraham. SMT Solving Mechanisms for Non-Linear Real Arithmetic, Invited talk at Albert-Ludwigs-University, Freiburg, Germany, 2012.
2011
Erika Abraham. Some Decidability Results for Hybrid Automata, Talk at the AlgoSyn Worshop, Rolduc, The Netherlands, 2011.
Erika Abraham. The CEBug Project, Talk at the ROCKS project workshop, München, Germany, 2011.
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.
Erika Abraham. Informatik != Computer, Talk at the Schüleruniversität Informatik, RWTH Aachen University, Germany, 2011.
Erika Abraham. Informatik != Computer, Talk at the Ringvorlesung "Was ist Informatik?", RWTH Aachen University, Germany, 2011.
2010
DownloadLinkErika 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.
Erika Abraham. SMT-Solving for the Reals, Invited talk at University of Karlsruhe, Germany, 2010.
Erika Abraham. Informatik != Computer, Talk at Schüleruniversität Informatik, RWTH Aachen University, Germany, 2010.
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.
Erika Abraham. SMT-Solving in the Verification and Synthesis of Hybrid Systems, Invited talk at University of Freiburg, Germany, 2010.
Erika Abraham. Informatik != Computer, Talk at Ringvorlesung "Was ist Informatik?" für Oberstufenschüler, RWTH Aachen University, Aachen, Germany, 2010.
Erika Abraham. Informatik != Computer, Talk at MINT Winter School, RWTH Aachen University, Germany, 2010.
DownloadLinkErika Abraham. On the Minimization of Hybrid Automata, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010.
DownloadLinkErika Abraham. Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010.
Erika Abraham. SMT-Solving in the Verification and Synthesis of Hybrid Systems, Invited talk at Dagstuhl, Germany, 2010.
Erika Abraham. Tutorial on Satisfiability Checking. Tutorial, AlgoSyn meeting, Rolduc, Germany, 2010.
2009
Erika Abraham. The Theory of Hybrid Systems, Talk at Day of Computer Science (Tag der Informatik), RWTH Aachen University, Aachen, Germany, 2009.
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.
Erika Abraham. SAT-Modulo-Theories Solving in the Context of Bounded Model Checking, Invited talk at CWI Amsterdam, Amsterdam, The Netherlands, 2009.
Erika Abraham. SMT-solving in the Context of Bounded Model Checking, Invited talk at University of Oslo, Oslo, Norway, 2009.
2006
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.
Erika Abraham. Parallel SAT Solving in Bounded Model Checking, Talk at Parallel and Distributed Methods in Verification (PDMC'06), 2006.
Erika Abraham. Bounded Model Checking with Parametric Data Structures, Talk at the 4th Int. Workshop on Bounded Model Checking (BMC'06), 2006.
2004
Erika Abraham. A Proof System for Exception Handling in Multithreaded Java, Talk at the Christian-Albrechts-University, Kiel, Germany, 2004.
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
Erika Abraham. Proving Deadlock Freedom for JavaMT, Talk at the MobiJ-meeting Kiel, 3.-10. June 2003, 2003.
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
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.
Erika Abraham. A Hoare Logic for Monitors in Java, Invited talk at ICASE - NASA LaRC, 2002.
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
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.
Erika Abraham. Proof Outlines for Threads in Java, Talk at the Kolloquium Programmiersprachen und Grundlagen der Programmierung, Rurberg, Germany, 2001.
Erika Abraham. Verification for Java's Reentrant Multithreading Concept, Talk at Albert-Ludwigs-University, Freiburg, Germany, 2001.