2018 | |
---|---|

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) at Delft, NL, 2018. | |

2017 | |

Erika Abraham. Symbolic Computation Techniques in SMT Solving, Invited talk at the Evening Seminar of the London Mathematical Society and the British Computer Society at London, UK, 2017. | |

Erika Abraham. The Power of Satisfiability Checking, Talk given at fortiss GmbH at München, Germany, 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. 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) at Timisoara, Romania, 2017. | |

Erika Abraham. Overview of Current Research in the Theory of Hybrid Systems Group, Talk at the ROCKS Meeting 2017: Rigorous dependability analysis using model checking techniques for stochastic systems at Münster, Germany, 2017. | |

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, 2017. | |

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, 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, 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, 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. | |

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. | |

Erika Abraham. Modeling and Analysis of Hybrid Systems, Invited talk at IFIP WG 2.2 meeting 2013, Lisbon, Portugal, 2013. | |

Erika Abraham. Reachability Analysis for Hybrid Systems, Invited talk at CDZ Workshop on Probabilistic and Hybrid System Verification, Beijing, China, 2013. | |

Erika 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 | |

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. | |

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. | |

Erika Abraham. On the Minimization of Hybrid Automata, Talk at the Nordic Workshop on Programming Theory (NWPT'10), 2010. | |

Erika 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. |