Talks

2017
Erika Abraham. TBA, Invited talk at the Evening Seminar of the London Mathematical Society and the British Computer Society at London, UK, 2017.
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, 2017.
Erika Abraham. TBA, Invited tutorial at the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17) at Timisoara, Romania, 2017.
Erika Abraham. TBA, Invited talk at the Int. Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (RISE4CPS), Heidelberg, Germany, 2017.
Erika Abraham. TBA, Invited talk at the Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Uppsala, Sweden, 2017.
Erika Abraham. Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at the University of Waterloo at Waterloo, CA, 2017.
2016
Erika Abraham. Symbolic Computation Techniques in Satisfiability Checking, Invited talk at Johannes Kepler University, RISC, Linz, Autria, 2016.
Erika Abraham. 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, 2016.
Erika Abraham. SMT Solving for Non-Linear Arithmetic Theories, Invited talk at RiSE Seminar, IST Austria, Vienna, Austria, 2016.
Erika Abraham. Computation Techniques in SAT-Modulo-Theories Solving, Invited talk at University of Kassel, Kassel, Germany, 2016.
Erika Abraham. The Power of Satisfiability Checking, Invited talk at European Computer Science Summit (ECSS'16), Budapest, Hungary, 2016.
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, 2016.
Erika Abraham. Satisfiability Checking: Theory and Applications, Invited talk at 14th International Conference on Software Engineering and Formal Methods (SEFM'16), Vienna, Austria, 2016.
DownloadFrancesco Leofante, Erika Abraham. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, Presentation at 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16) at Corfu, Greece, 2016.
2015
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, 2015.
Erika Abraham. Modeling and Verification of Hybrid Systems, Invited lecture series at University of Genoa, Genoa, Italy, 2015.
Erika Abraham. Some Thoughts about Formal Methods in Robotics, Invited talk at University of Genoa, Genoa, Italy, 2015.
Erika Abraham. Building bridges between symbolic computation and satisfiability checking, Invited talk at 2015 ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Bath, UK, 2015.
Erika Abraham. A Greedy Approach for the Efficient Repair of Stochastic Controller Models, Invited talk at Abstraction and Synthesis of Correct-by-Construction Robotics Software (AbSynth'15), 2015.
Erika Abraham. Model repair for probabilistic controllers, Invited talk at NII Shonan Meeting “Static Analysis Meets Runtime Verification”, Tokyo, Japan, 2015.
2014
Erika Abraham. SMT solving for real arithmetic: What are the challenges?, Invited talk at CDZ Workshop "Computation and Reasoning with Constraints", Beijing, China, 2014.
Erika Abraham. Probabilistic Model Checking and Counterexample Generation, Invited talk at IFIP WG2.2 Meeting on "Formal Description of Programming Concepts", Munich, Germany, 2014.
Erika Abraham. Reachability Analysis of Hybrid Systems, Invited talk at INRIA, Nancy, France, 2014.
Erika Abraham. Probabilistic Modeling and Model Checking. Invited tutorial, Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software models (SFM-14:ESM), Bertinoro, Italy, 2014.
Erika Abraham. Modeling and Analyzing Probabilistic Systems, Invited talk at NVTI Theory Day, Utrecht, The Netherlands, 2014.
Erika Abraham. Formal Methods for Hybrid Systems. Tutorial, Dagstuhl Seminar "Randomized Timed and Hybrid Models for Critical Infrastructures", Dagstuhl, Germany, 2014.
2013
Erika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at Workshop on Computable Analysis and Rigorous Numerics, Maastricht, The Netherlands, 2013.
Erika Abraham. Formal Methods for Hybrid Systems, Invited talk at University of Passau, Passau, Germany, 2013.
DownloadErika Abraham. Modeling and Analysis of Hybrid Systems, Invited talk at IFIP WG 2.2 meeting 2013, Lisbon, Portugal, 2013.
DownloadErika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at CDZ Workshop on Probabilistic and Hybrid System Verification, Beijing, China, 2013.
DownloadErika 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
DownloadErika 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.
DownloadErika Abraham. On the Minimization of Hybrid Automata, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010.
DownloadErika 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.