Publications | Theory of Hybrid Systems

2019
[bibtex]	Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Verification of Neural Networks (VNN19), AAAI Spring Symposia, , 2019.
[bibtex]	Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2019.
[bibtex]	Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Repairing Learned Controllers with Convex Optimization: a Case Study. Proceedings of Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), , 2019.
2018
[bibtex]	Ulrich Loup. On Solving Real-algebraic Formulas in a Satisfiability-modulo-theories Framework. Phd Thesis at RWTH Aachen University, 2018.
[bibtex]	Rebecca Haehn, Gereon Kremer, Erika Abraham. Evaluation of Equational Constraints for CAD in SMT Solving. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, Volume 2189 of CEUR Workshop Proceedings, pages 19–32, CEUR-WS.org, 2018.
[bibtex]	Gereon Kremer, Erika Abraham. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae, Informatica 10(1), pages 5–25, 2018.
[bibtex]	Stefan Schupp, Justin Winkens, Erika Abraham. Context-Dependent Reachability Analysis for Hybrid Systems. 2018 IEEE International Conference on Information Reuse and Integration (IRI 2018), pages 518-525, IEEE, 2018.
[bibtex]	Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). Research report 483, August 2018, University of Oslo, 2018.
[bibtex]	Stefan Schupp, Erika Abraham. The HyDRA Tool – A Playground for the Development of Hybrid Systems Reachability Analysis Methods. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18), , 2018.
[bibtex]	Philipp Berger, Joost-Pieter Katoen, Erika Abraham, Thomas Rambow, Md Tawhid Bin Waez. Verifying Auto-Generated C Code from Simulink. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.
[bibtex]	Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.
[bibtex]	Erika Abraham. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics (invited talk abstract). Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Volume 10900 of LNCS, pages XII, Springer, 2018.
[bibtex]	Stefan Schupp, Erika Abraham. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, pages 89–104, Springer, 2018.
[bibtex]	Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information Systems Frontiers, pages 1-21, 2018.
[bibtex]	Erika Abraham, Elisabetta Di Nitto, Raffaela Mirandola editors. Proceedings of the 1st International Workshop on Gender Equality in Software Engineering (GE 2018). ACM, 2018.
[bibtex]	Stefan Schupp, Erika Abraham. Efficient dynamic error reduction for hybrid systems reachability analysis. Proc. of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Volume of LNCS, Springer, 2018.
[bibtex]	Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Robot Swarms as Hybrid Systems. Proceedings 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2018, , 2018.
[bibtex]	Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018, , 2018.
[bibtex]	Erika Abraham, Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Proc. of the 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Volume of LNCS, Springer, 2018.
[bibtex]	Francesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 5771–5772, , 2018.
[bibtex]	Francesco Leofante, Erika Abraham, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pages 316–325, , 2018.
2017
[bibtex]	Jannik Hüls, Stefan Schupp, Anne Remke, Erika Abraham. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), , 2017.
[bibtex]	Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017, pages 403–410, IEEE Computer Society, 2017.
[bibtex]	Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler. SC-square: When Satisfiability Checking and Symbolic Computation Join Forces. Proceedings of the 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE'17), Volume 51 of EPiC Series in Computing, pages 6–10, EasyChair, 2017.
[bibtex]	Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications. Research report 470, September 2017, University of Oslo, 2017.
[bibtex]	Erika Abraham, Gereon Kremer. SMT Solving for Arithmetic Theories: Theory and Tool Support. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), pages 1–8, IEEE, 2017.
[bibtex]	Erika Abraham. Techniques and Tools for Hybrid Systems Reachability Analysis. Proceedings of the 10th International Workshop on Numerical Software Verification (NSV'17), pages XVI-XVII, , 2017.
[bibtex]	Tim Niemueller, Gerhard Lakemeyer, Francesco Leofante, Erika Abraham. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017), , 2017.
[bibtex]	Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis. Proc. of the 9th NASA Formal Methods Symposium (NFM'17), Volume 10227 of LNCS, pages 288–294, Springer International Publishing, 2017.
[bibtex]	Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm. Satisfiability Checking and Symbolic Computation. ACM Commun. Comput. Algebra 50(4), pages 145–147, 2017.
[bibtex]	Stefan Schupp, Johanna Nellen, Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Volume 250 of EPTCS, pages 1–14, Open Publishing Association, 2017.
[bibtex]	Tarik Viehmann, Gereon Kremer, Erika Abraham. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
[bibtex]	Erika Abraham, Jasper Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
[bibtex]	Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella editors. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Volume 7/2 of Dagstuhl Reports, pages 48–63, 2017.
[bibtex]	Erika Abraham, James H. Davenport, Pascal Fontaine editors. Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016), Timisoara, Romania, September 24, 2016.. CEUR-WS.org, Volume 1804 of CEUR Workshop Proceedings, 2017.
[bibtex]	Erika Abraham, Sergiy Bogomolov editors. Proc. of the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017. , Volume 247 of EPTCS, 2017.
[bibtex]	Erika Abraham, Tudor Jebelean. Adapting Cylindrical Algebraic Decomposition for Proof Specific Tasks. Proc. of the 10th International Conference on Applied Informatics (ICAI'17), , 2017.
2016
[bibtex]	Johanna Nellen. Analysis and Synthesis of Hybrid Systems in Control Engineering. Phd Thesis at RWTH Aachen University, 2016.
[bibtex]	Erika Abraham, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behavior and Inheritance. Mathematical Structures in Computer Science 26(3), pages 561–605, 2016.
[bibtex]	Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Abraham, Benedikt Wolters. Two CEGAR-Based Approaches for the Safety Verification of PLC-Controlled Plants. Information Systems Frontiers 18(5), pages 927–952, 2016.
[bibtex]	Gereon Kremer, Florian Corzilius, Erika Abraham. A Generalised Branch-and-Bound Approach and its Application in SAT Modulo Nonlinear Integer Arithmetic. 18th International Workshop on Computer Algebra in Scientific Computing (CASC'16), Volume 9890 of LNCS, pages 315-335, Springer, 2016.
[bibtex]	Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Abraham. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis. IMA Journal of Mathematical Control and Information 33(3), pages 723–756, 2016.
[bibtex]	Erika Abraham, Marcello M. Bonsangue, Einar Broch Johnsen editors. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer International Publishing, Volume 9660 of LNCS, 2016.
[bibtex]	Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
[bibtex]	Erika Abraham, Pascal Fontaine, Thomas Sturm, Dongming Wang. Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports 5(11), pages 71–89, 2016.
[bibtex]	Erika Abraham, Marieke Huisman editors. Proceedings of the 12th International Conference on Integrated Formal Methods (iFM'16). Springer International Publishing, Volume 9681 of LNCS, 2016.
[bibtex]	Erika Abraham, Sergiy Bogomolov editors. Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16). IEEE, 2016.
[bibtex]	Erika Abraham, Gereon Kremer. Satisfiability Checking: Theory and Applications. Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM'16), Volume 9763 of LNCS, pages 9–23, Springer International Publishing, 2016.
[bibtex]	Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm. Satisfiability Checking and Symbolic Computation. CoRR (Proc. of the 41th Int. Symposium on Symbolic and Algebraic Computation, ISSAC'16) abs/1607.06945, 2016.
[bibtex]	Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm. SC$^ 2$: Satisfiability Checking meets Symbolic Computation. Proc. of the 9th Conf. on Intelligent Computer Mathematics (CICM'16), Volume 9791 of LNCS, pages 28-43, , 2016.
[bibtex]	Erika Abraham, Klaus Havelund. Some Recent Advances in Automated Analysis. Software Tools for Technology Transfer 18(2), pages 121–128, 2016.
[bibtex]	Florian Corzilius. Integrating Virtual Substitution into Strategic SMT Solving. Phd Thesis at RWTH Aachen University, 2016.
[bibtex]	Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Abraham. Heliostat Field Layout Optimization with Evolutionary Algorithms. Proc. of the 2nd Global Conference on Artificial Intelligence (GCAI'16), Volume 41 of EPiC Series in Computing, pages 240–252, EasyChair, 2016.
[bibtex]	Francesco Leofante, Simone Vuotto, Erika Abraham, Armando Tacchella, Nils Jansen. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Part I, Volume 9952 of LNCS, pages 496-514, Springer International Publishing, 2016.
[bibtex]	Erika Abraham, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Dependable Software Engineering: Theories, Tools, and Applications (SETTA'16), Volume 9984 of LNCS, pages 229–245, Springer, 2016.
[bibtex]	Erika Abraham. Symbolic Computation Techniques in Satisfiability Checking. Proc. of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'16), pages 3–10, IEEE Computer Society, 2016.
[bibtex]	Francesco Leofante, Armando Tacchella. Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings, Volume 10037 of LNCS, pages 539–552, Springer, 2016.
[bibtex]	Francesco Leofante, Luca Pulina, Armando Tacchella. Learning with Safety Requirements: State of the Art and Open Questions. Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial, Volume 1745 of CEUR Workshop Proceedings, pages 11–25, CEUR-WS.org, 2016.
[bibtex]	Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella. Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics - A workshop of the XV International Conference of the Italian Association for Artificial Intelligence, AIRO@AI*IA 2016, Genova, Italy, November 28, 2016., Volume 1834 of CEUR Workshop Proceedings, pages 5–9, CEUR-WS.org, 2016.
2015
[bibtex]	Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Abraham. SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'15), Volume 9340 of LNCS, pages 360–368, Springer, 2015.
[bibtex]	Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Abraham, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles. Proc. of the 2015 IEEE Conf. on Control Applications (CCA'15), pages 1722–1728, IEEE, 2015.
[bibtex]	Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Abraham. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Proc. of the 27th Int. Conf. on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214–231, Springer, 2015.
[bibtex]	Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards. Proc. of the 20th Int. Symp. on Formal Methods (FM'15), Volume 9109 of LNCS, pages 435–452, Springer, 2015.
[bibtex]	Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Erika Abraham, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen. Proc. of the 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren, Volume 2233 of VDI-Berichte, pages 101–112, VDI Verlag, 2015.
[bibtex]	Erika Abraham. Building Bridges between Symbolic Computation and Satisfiability Checking. Proc. of the 2015 ACM on Int. Symp. on Symbolic and Algebraic Computation (ISSAC'15), pages 1–6, ACM, 2015.
[bibtex]	Shashank Pathak, Erika Abraham, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models. Proc. of the 7th NASA Formal Methods Symp. (NFM'15), Volume 9058 of LNCS, pages 295–309, Springer, 2015.
[bibtex]	Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories. Science of Computer Programming 99, pages 128–192, 2015.
[bibtex]	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude: What Happened at the 2010 Sauna World Championships?. Science of Computer Programming 99, pages 95–127, 2015.
[bibtex]	Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata. Logical Methods in Computer Science (LMCS) 11(1:15), pages 1–23, 2015.
[bibtex]	Nils Jansen. Counterexamples in Probabilistic Verification. Phd Thesis at RWTH Aachen University, 2015.
[bibtex]	Xin Chen. Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models. Phd Thesis at RWTH Aachen University, 2015.
[bibtex]	Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis. Proc. of the 7th NASA Formal Methods Symp. (NFM'15), Volume 9058 of LNCS, pages 408–414, Springer, 2015.
[bibtex]	Johanna Nellen, Erika Abraham, Benedikt Wolters. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants using Hybrid Automata. In Thouraya Bouabana-Tebibel, Stuart H. Rubin editors, Formalisms for Reuse and Systems Integration, pages 55–78, Volume 346 of Advances in Intelligent Systems and Computing, 2015.
[bibtex]	Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Abraham. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. Proc. of the 1st Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC Series in Computer Science, pages 196–214, EasyChair, 2015.
[bibtex]	Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems. Proc. of the 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy’15), Volume 9361 of Information Systems and Applications, incl. Internet/Web, and HCI, pages 8–24, Springer, 2015.
[bibtex]	Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Challenges and Recommendations for Preparing HPC Applications for Exascale. CoRR abs/1503.06974, 2015.
[bibtex]	Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Preparing HPC Applications for Exascale: Challenges and Recommendations. Proc. of the 18th International Conference on Network-Based Information Systems (NbIS'15), pages 401-406, IEEE, 2015.
[bibtex]	Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Flow 1.2: More Effective to Play with Hybrid Systems*. Proceedings of the 1st and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Volume 34 of EasyChair Proceedings in Computing, pages 152–159, EasyChair, 2015.
2014
[bibtex]	Erika Abraham, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Proc. of the 14th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM-14:ESM), Volume 8483 of LNCS, pages 65–121, Springer, 2014.
[bibtex]	Nils Jansen, Ralf Wimmer, Erika Abraham, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic Counterexample Generation for Large Discrete-Time Markov Chains. Science of Computer Programming 91 (Part A), pages 90–114, 2014.
[bibtex]	Erika Abraham, Klaus Havelund editors. Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '14). Springer, Volume 8413 of LNCS, 2014.
[bibtex]	Erika Abraham, Alberto Avritzer, Anne Remke, William H. Sanders editors. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 4 of Dagstuhl Reports, 2014.
[bibtex]	Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification. 11th Int. Conf. on Quantitative Evaluation of Systems (QEST'14), Volume 8657 of LNCS, pages 404–420, Springer, 2014.
[bibtex]	Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Linear-Time Probabilistic Verification. Theoretical Computer Science 549, pages 61–100, 2014.
[bibtex]	Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen. Fast Debugging of PRISM Models. Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), Volume 8837 of LNCS, pages 146–162, Springer, 2014.
[bibtex]	Ralf Wimmer, Erika Abraham. Maybe or Maybe Not: Contributions to Stochastic Verification. Aspekte der Technischen Informatik: Festschrift zum 60. Geburtstag von Bernd Becker, Monsenstein und Vannerdat, 2014.
[bibtex]	Pascal Richter, Martin Frank, Erika Abraham. Multi-objective Optimization of Solar Tower Power Plants. Proc. of the 18th European Conference on Mathematics for Industry (ECMI'14), Volume of Mathematics in Industry, Springer, 2014.
[bibtex]	Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Under-approximate Flowpipes for Non-linear Continuous Systems. Proc. of Formal Methods in Computer-Aided Design (FMCAD'14), pages 59–66, IEEE/ACM, 2014.
[bibtex]	Johanna Nellen, Erika Abraham. A CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants. Proc. of the 15th Int. Conf. on Information Reuse and Integration (IRI'14), pages 500–507, IEEE Computer Society Press, 2014.
[bibtex]	Johanna Nellen, Erika Abraham, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata. Proc. of the 2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of CCIS, pages 88–106, Springer, 2014.
[bibtex]	Erika Abraham, Catuscia Palamidessi editors. Proc. of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'14), Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin. Springer, Volume 8461 of LNCS, 2014.
2013
[bibtex]	Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification. Technical report at Cornell University number arXiv:1312.3979, 2013.
[bibtex]	Sriram Sankaranarayanan, Xin Chen, Erika Abraham. Lyapunov Function Synthesis using Handelman Representations. The 9th IFAC Symposium on Nonlinear Control Systems (NOLCOS'13) (invited paper), , 2013.
[bibtex]	Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Abraham. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Proc. of the 5th International Conference on Algebraic Informatics (CAI'13), Volume 8080 of LNCS, pages 186–198, Springer-Verlag, 2013.
[bibtex]	Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata. Proc. of the 10th Int. Conf. on Quantitative Evaluation of Systems (QEST'13), Volume 8054 of LNCS, pages 39–54, Springer-Verlag, 2013.
[bibtex]	Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, Erika Abraham. From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits. Proc. of the 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD'13), pages 662–669, IEEE, 2013.
[bibtex]	Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Abraham. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Technical report at RWTH Aachen University number AIB-2013-08, 2013.
[bibtex]	Daniel Neider, Nils Jansen. Regular Model Checking Using Solver Technologies and Automata Learning. 5th NASA Formal Methods Symposium (NFM'13), Volume 7871 of LNCS, pages 16–31, Springer Berlin Heidelberg, 2013.
[bibtex]	Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata. Technical report at Cornell University number arXiv:1305.5055, 2013.
[bibtex]	Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Empirical Flowpipe Constructions for Analog Circuits. Workshop on Frontiers in Analog CAD (FAC'13), , 2013.
[bibtex]	Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Flow: An Analyzer for Non-Linear Hybrid Systems*. Proc. of the 25th Int. Conf. on Computer Aided Verification (CAV'13), Volume 8044 of LNCS, pages 258–263, Springer-Verlag, 2013.
[bibtex]	Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Abraham, Bernd Becker. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Proc. of the 24th International Conference on Automated Deduction (CADE-24), Volume 7898 of LNCS, pages 193–207, Springer-Verlag, 2013.
[bibtex]	Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Abraham. Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Proc. of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'13), pages 243–254, , 2013.
[bibtex]	Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude. Proc. of the 5th Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'13), Volume 8089 of LNCS, pages 334–339, Springer-Verlag, 2013.
2012
[bibtex]	Nils Jansen, Erika Abraham, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Proc. of the 10th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'12), Volume 7561 of LNCS, pages 349–353, Springer Berlin Heidelberg, 2012.
[bibtex]	Nils Jansen, Erika Abraham, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains. 9th Int. Symp. on Formal Aspects of Component Software (FACS'12), Volume 7684 of LNCS, pages 134–151, Springer Berlin Heidelberg, 2012.
[bibtex]	Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes. Technical report at Reports of SFB/TR 14 AVACS number 88, 2012.
[bibtex]	Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Abraham. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox (Tool Presentation). Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'12), Volume 7317 of LNCS, pages 442–448, Springer Berlin Heidelberg, 2012.
[bibtex]	Nils Jansen, Erika Abraham, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. Technical report at Cornell University number arXiv:1206.0603v1, 2012.
[bibtex]	Ralf Wimmer, Nils Jansen, Erika Abraham, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), Volume 7214 of LNCS, pages 299–314, Springer Berlin Heidelberg, 2012.
[bibtex]	Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. Timed CTL Model Checking in Real-Time Maude. Proc. of the 9th Int. Workshop on Rewriting Logic and its Applications (WRLA'12), Volume 7571 of LNCS, pages 182–200, Springer Berlin Heidelberg, 2012.
[bibtex]	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. Proc. of the 9th Int. Workshop on Rewriting Logic and its Applications (WRLA'12), Volume 7571 of LNCS, pages 139–161, Springer Berlin Heidelberg, 2012.
[bibtex]	Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'12), pages 169–180, Verlag Dr. Kovac, 2012.
[bibtex]	Johanna Nellen, Erika Abraham. Hybrid Sequential Function Charts. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'12), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, pages 109–120, Verlag Dr. Kovač, 2012.
[bibtex]	Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. Proc. of the 33rd IEEE Real-Time Systems Symposium (RTSS'12), pages 183–192, IEEE Computer Society, 2012.
[bibtex]	Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Taylor Model Over-approximations for Flowpipe/Guard Intersections. 5th Int. Workshop on Numerical Software Verification (NSV'12), , 2012.
2011
[bibtex]	Erika Abraham, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder. On Collaboratively Conveying Computer Science to Pupils. Proc. of the 11th Koli Calling Int. Conf. on Computing Education Research (KOLI'11), pages 132–137, ACM, 2011.
[bibtex]	Nils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. 9th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'11), Volume 6996 of LNCS, pages 443–452, Springer Berlin Heidelberg, 2011.
[bibtex]	Xin Chen, Erika Abraham, Goran Frehse. Efficient Bounded Reachability Computation for Rectangular Automata. 5th Workshop on Reachability Problems (RP'11), Volume 6945 of LNCS, pages 139–152, Springer Berlin Heidelberg, 2011.
[bibtex]	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS'10), Volume 274 of ENTCS, pages 17–32, Elsevier Science Publishers, 2011.
[bibtex]	Xin Chen, Erika Abraham, Goran Frehse. Efficient Bounded Reachability Computation for Rectangular Automata. Technical report at RWTH Aachen University, Germany number AIB 2011-15, 2011.
[bibtex]	Ulrich Loup, Erika Abraham. I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. 4th Int. Conf. on Algebraic Informatics (CAI'11), Volume 6742 of LNCS, pages 230–246, Springer Berlin Heidelberg, 2011.
[bibtex]	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abraham. Counterexample Generation for Markov Chains using SMT-based Bounded Model Checking. Formal Techniques for Distributed Systems (FMOODS/FORTE'11), Volume 6722 of LNCS, pages 75–89, Springer Berlin Heidelberg, 2011.
[bibtex]	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Hybrid Systems in Rewriting Logic using Higher-Order Numerical Methods and Discrete-Event Detection. Int. Symp. on Computer Science and Software Engineering (CSSE'11), pages 1–8, IEEE, 2011.
[bibtex]	Nils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. Technical report at RWTH Aachen University number AIB-2011-11, 2011.
[bibtex]	Ulrich Loup, Erika Abraham. GiNaCRA: A C++ Library for Real Algebraic Computations. 3rd NASA Formal Methods Symp. (NFM'11), Volume 6617 of LNCS, pages 512–517, Springer Berlin Heidelberg, 2011.
[bibtex]	Erika Abraham, Tobias Schubert, Bernd Becker, Martin Fraenzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking. Journal of Logic and Computation 21(1), pages 5–21, 2011.
[bibtex]	Xin Chen, Erika Abraham. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. 13th Int. Conf. on Computer Aided Systems Theory (EUROCAST'11), Volume 6927 of LNCS, pages 535–542, Springer Berlin Heidelberg, 2011.
[bibtex]	Pascal Richter, Erika Abraham, Gabriel Morin. Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. Int. Conf. on Adaptive and Natural Computing Algorithms (ICANNGA'11), Volume 6593 of LNCS, pages 190–199, Springer Berlin Heidelberg, 2011.
[bibtex]	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abraham. SMT-based Counterexample Generation for Markov Chains. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'11), pages 19–28, OFFIS-Institut für Informatik, 2011.
[bibtex]	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abraham. SMT-based Counterexample Generation for Discrete-Time Markov Chains. Workshop on Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS'11), , 2011.
[bibtex]	Florian Corzilius, Erika Abraham. Virtual Substitution for SMT Solving. 18th Int. Symp. on Fundamentals of Computation Theory (FCT'11), Volume 6914 of LNCS, pages 360–371, Springer Berlin Heidelberg, 2011.
[bibtex]	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. 9th Int. Conf. on Software Engineering and Formal Methods (SEFM'11), Volume 7041 of LNCS, pages 415–430, Springer Berlin Heidelberg, 2011.
[bibtex]	Thi Mai Thuong Tran, Martin Steffen, Erika Abraham. Inheritance and Observability. Proc. of the Nordic Workshop on Programming Theory (NWPT'11), Volume of Mathematical Structures in Computer Science, , 2011.
2010
[bibtex]	Erika Abraham, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST'10), pages 37–46, IEEE, 2010.
[bibtex]	Erika Abraham, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder. Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. Interaktive Kulturen - Die 8. E-Learning Fachtagung Informatik (DeLFI'10), Volume 169 of LNI, pages 239–251, Gesellschaft für Informatik, 2010.
[bibtex]	Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Abraham, Daniel Becker, Bernd Mohr. The Scalasca Performance Toolset Architecture. Concurrency and Computation: Practice and Experience 22(6), pages 702–719, 2010.
[bibtex]	Daniela Lepri, Peter Csaba Ölveczky, Erika Abraham. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. 1st Int. Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), Volume 36 of Electronic Proceedings in Theoretical Computer Science, pages 117–136, Open Publishing Association, 2010.
[bibtex]	Muhammad Fadlisyah, Erika Abraham, Daniela Lepri, Peter Csaba Ölveczky. A Rewriting-Logic-Based Technique for Modeling Thermal Systems. 1st Int. Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), Volume 36 of Electronic Proceedings in Theoretical Computer Science, pages 82–100, Cornell University Library, 2010.
[bibtex]	Kai Bollue, Michaela Slaats, Erika Abraham, Wolfgang Thomas, Dirk Abel. Synthesis of Behavioral Controllers for DES: Increasing Efficiency. 10th Int. Workshop on Discrete-Event Systems (WODES'10), pages 30–37, IFAC, 2010.
[bibtex]	Erika Abraham, Ulrich Loup, Florian Corzilius, Thomas Sturm. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra,. Verification over Discrete-Continuous Boundaries, Dagstuhl Seminar, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
[bibtex]	Natalia Kalinnik, Erika Abraham, Tobias Schubert, Ralf Wimmer, Bernd Becker. Exploiting Different Strategies for the Parallelization of an SMT Solver. 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'10), pages 97–106, Fraunhofer Verlag, 2010.
[bibtex]	Muhammad Fadlisyah, Erika Abraham, Peter Csaba Ölveczky. Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems. Nordic Workshop on Programming Theory (NWPT'10), , 2010.
[bibtex]	Erika Abraham, Ulrich Loup, Ralf Wimmer, Joost-Pieter Katoen. On the Minimization of Hybrid Automata. Nordic Workshop on Programming Theory (NWPT'10), , 2010.
2009
[bibtex]	Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-oriented Language with Futures and Promises. Journal of Logic and Algebraic Programming 78(7), pages 491–518, 2009.
[bibtex]	Natalia Kalinnik, Tobias Schubert, Erika Abraham, Ralf Wimmer, Bernd Becker. Picoso - A Parallel Interval Constraint Solver. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'09), pages 473–479, CSREA Press, 2009.
[bibtex]	Erika Abraham, Ulrich Loup. SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers, Dagstuhl Seminar, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
2008
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Deductive Proof System for Multithreaded Java with Exceptions. Fundamenta Informaticae 82(4), pages 391–463, 2008.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Software and Systems Modeling 7(2), pages 177–208, 2008.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interace Behavior of Object-Oriented Languages with Monitors. Theory of Computing Systems 43(3), pages 322–361, 2008.
[bibtex]	Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Abraham, Daniel Becker, Bernd Mohr. The SCALASCA Performance Toolset Architecture. Int. Workshop on Scalable Tools for High-End Computing (STHEC'08), pages 56–65, , 2008.
[bibtex]	Felix Wolf, Brian J. N. Wylie, Erika Abraham, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-Andre Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, Zoltan Szebenyi. Usage of the SCALASCA Toolset for Scalable Performance Analysis of Large-Scale Parallel Applications. 2nd HLRS Parallel Tools Workshop, pages 157–167, , 2008.
2007
[bibtex]	Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-Oriented Language with Futures and Promises. Technical report at University of Oslo, Dept. of Computer Science number 364, 2007.
[bibtex]	Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded Model Checking with Parametric Data Structures. Int. Workshop on Bounded Model Checking (BMC'06), Volume 174 of ENTCS, pages 3–16, Elsevier Science Publishers, 2007.
[bibtex]	Marc Herbstritt, Bernd Becker, Erika Abraham, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS'07), pages 1–6, IEEE Computer Society, 2007.
[bibtex]	Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises. Nordic Workshop on Programming Theory (NWPT'07), , 2007.
2006
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0612, 2006.
[bibtex]	Erika Abraham, Tobias Schubert, Bernd Becker, Martin Fraenzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking. Parallel and Distributed Methods in Verification (PDMC'06), Volume 4346 of LNCS, pages 301–315, Springer Berlin Heidelberg, 2006.
[bibtex]	Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-Aware Bounded Model Checking for Linear Hybrid Systems. 9th. Workshop for Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'06), pages 153–162, , 2006.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Logical Approaches to Computational Barriers: 2nd Conf. on Computability in Europe (CiE'06), Volume 3988 of LNCS, pages 1–10, Springer-Verlag, 2006.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0601, 2006.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. 8th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), Volume 4037 of LNCS, pages 218–232, Springer Berlin Heidelberg, 2006.
2005
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. An Open Structural Operational Semantics for an Object-Oriented Calculus with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0505, 2005.
[bibtex]	Erika Abraham. An Assertional Proof System for Multithreaded Java — Theory and Tool Support. Phd Thesis at University of Leiden, 2005.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java. Theoretical Computer Science 331(2-3), pages 251–290, 2005.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Exceptions in Multithreaded Java. Foundations of Software Engineering (Theory and Practice) (FSEN'05), Volume 159 of ENTCS, pages 281–297, Elsevier Science Publishers, 2005.
[bibtex]	Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Verification, Model Checking, and Abstract Interpretation (VMCAI'05), Volume 3385 of LNCS, pages 396–412, Springer Berlin Heidelberg, 2005.
[bibtex]	Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Proc. of the 1st Int. Workshop on the Verification of Concurrent Systems with Dynamic Allocated Heaps (COSMICAH'05), pages 47-61, Queen Mary Technical Report RR-05-04, 2005.
2004
[bibtex]	Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Technical report at Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik number TR214, 2004.
[bibtex]	Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. Theoretical Aspects of Computing (ICTAC'04), Volume 3407 of LNCS, pages 37–51, Springer Berlin Heidelberg, 2004.
[bibtex]	Erika Abraham, Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 296–316, Springer Berlin Heidelberg, 2004.
[bibtex]	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Abraham. A Fully Abstract Trace Semantics for UML Components. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 49–69, Springer Berlin Heidelberg, 2004.
[bibtex]	Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Classes, Object Connectivity, and Observability (Extended abstract). 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, University Freiburg, 2004.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Multithreaded Java with Exceptions. 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, , 2004.
2003
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Multithreaded Java with Exceptions. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0313, 2003.
[bibtex]	Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. A Structural Operational Semantics for a Concurrent Class Calculus. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0307, 2003.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Hoare Logic for Monitors in Java. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-03-1, 2003.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice, Celebrating Zohar Manna's 64th Birthday, Volume 2772 of LNCS, pages 290–303, Springer Berlin Heidelberg, 2003.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof-Outlines for Monitors in Java. Formal Methods for Open Object-Based Distributed Systems (FMOODS'03), Volume 2884 of LNCS, pages 155–169, Springer Berlin Heidelberg, 2003.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Tool-Supported Proof System for Multithreaded Java. Formal Methods for Components and Objects (FMCO'02), Volume 2852 of LNCS, pages 1–32, Springer Berlin Heidelberg, 2003.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Tool-supported Assertional Proof System for Multithreaded Java. Proc. of the Workshop on Formal Techniques for Java-like Programs (FTfJP'03), Technical report 408 from the ETH Zürich, 2003.
2002
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Compositional Operational Semantics for JavaMT. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-02-2, 2002.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Verification for Java's Reentrant Multithreading Concept. Foundations of Software Science and Computation Structures (FoSSaCS'02), Volume 2303 of LNCS, pages 5–20, Springer Berlin Heidelberg, 2002.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Verification for Java's Reentrant Multithreading Concept: Soundness and Completeness. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-02-1, 2002.
2001
[bibtex]	Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-01-1, 2001.
[bibtex]	Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. IEEE Engineering of Complex Computer Systems (ICECCS'01), pages 48–57, IEEE, 2001.
[bibtex]	Erika Abraham, Ulrich Hannemann, Martin Steffen. Assertion-Based Analysis of Hybrid Systems with PVS. Computer Aided Systems Theory (EUROCAST'01), Volume 2178 of LNCS, pages 94–109, Springer Berlin Heidelberg, 2001.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Deductive Verification for Multithreaded Java. 11. Kolloquium Programmiersprachen und Grundlagen der Programmierung, pages 121–126, , 2001.
[bibtex]	Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Proof Outlines for Threads in Java. 11th Kolloquium Programmiersprachen und Grundlagen der Programmierung, , 2001.
2000
[bibtex]	Erika Abraham, Frank S. de Boer. Proof-Outlines for Threads in Java. Concurrency Theory (CONCUR'00), Volume 1877 of LNCS, pages 229–242, Springer Berlin Heidelberg, 2000.
[bibtex]	Jan B. de Meer, Erika Abraham. Formal Methods for Reflective System Specification. Formale Beschreibungstechniken für verteilte Systeme, pages 51–57, Shaker Verlag, 2000.
1998
[bibtex]	Jörg Bruske, Erika Abraham, Josef Pauli, Gerald Sommer. Head-pose Estimation from Facial Images with Subspace Neural Networks. Neural Network and Brain (ICNN&B'98), pages 528–530, Publishing House of Electronics Industry, 1998.
[bibtex]	Erika Abraham. Bestimmung der Gesichtspose mit künstlichen neuronalen Netzen. Diploma thesis at the Christian-Albrechts-University Kiel, Germany, 1998.
1997
[bibtex]	Jörg Bruske, Erika Abraham, Gerald Sommer. Visuomotorische Koordination eines Roboterarmes mit Kohonen-Karten, Neuronalem Gas und Dynamischen Zellstrukturen - Ein Vergleich. Selbstorganisation von Adaptivem Verhalten (SOAVE'97), Volume of Fortschrittsberichte VDI, Reihe 8, Nr. 663, pages 203–211, VDI Verlag, 1997.