Publications
| 2014 | |
|---|---|
| DOI Details | Johanna Nellen, Erika Ábrahám, Xin Chen, and Pieter Collins. 2014. Counterexample Generation for Hybrid Automata. In Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013 ; revised selected papers (Communications in Computer and Information Science, Vol. 419). Springer International Publishing, Cham, 88–106. |
| DOI Details | Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders (Eds.). 2014. Randomized Timed and Hybrid Models for Critical Infrastructures. Dagstuhl Reports 4, 1 (Jan. 2014), 37–82. |
| DOI Details | Erika Ábrahám and Klaus Havelund (Eds.). 2014. Tools and Algorithms for the Construction and Analysis of Systems : 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings. Lecture Notes in Computer Science, Vol. 8413. Springer, Berlin. |
| 2013 | |
| DOI Details | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. High-level Counterexamples for Probabilistic Automata; extended version. arXiv:1305.5055. |
| DOI Details | Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, and Bernd Becker. 2013. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. In Automated Deduction : CADE-24 ; 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; proceedings (Lecture notes in computer science, Vol. 7898). Springer, Berlin, 193–207. |
| Details | Yan Zhang, Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2013. Empirical Flowpipe Constructions for Analog Circuits. In Workshop on Frontiers in Analog CAD (FAC'13) ; [Co-located with the International Solid-State Circuits Conference ISSCC], February 14-15, 2013, David Brower Center, Berkeley, CA. |
| DOI Details | Daniela Lepri, Erika Ábrahám, and Peter Csaba Ölveczky. 2013. A Timed CTL Model Checker for Real-Time Maude. In Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings (Lecture Notes in Computer Science, Vol. 8089). Springer, Berlin, 334–339. |
| DOI Details | Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2013. Flow*: An Analyzer for Non-Linear Hybrid Systems. In Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings (Lecture notes in computer science, Vol. 8044). Springer, Berlin, 258–263. |
| Details | Bettina Braitling, Ralf Wimmer, Bernd Becker, and Erika Ábrahám. 2013. Stochastic Bounded Model Checking : Bounded Rewards and Compositionality. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2013 ; [16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2013 an der Universität Rostock]. Univ., ITMZ, Rostock, 243–254. |
| DOI Details | Sriram Sankaranarayanan, Xin Chen, and Erika Ábrahám. 2013. Lyapunov Function Synthesis using Handelman Representations. In 9th IFAC Symposium on Nonlinear Control Systems 2013 : Toulouse, France, 4 - 6 September 2013 (Nonlinear Control Systems, Vol. 9,1). Elsevier, [s.l.], 576–581. |
| DOI Details | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. High-level Counterexamples for Probabilistic Automata. In Quantitative evaluation of systems : 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings (Lecture notes in computer science, Vol. 8054). Springer, Berlin, 39–54. |
| DOI Details | Sebastian Junges, Ulrich Loup, Florian Corzilius, and Erika Ábrahám. 2013. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. In Algebraic informatics : 5th international conference, CAI 2013, Porquerolles, France, September 3-6, 2013. ; proceedings (Lecture notes in computer science, Vol. 8080). Springer, Berlin, 186–198. |
| Details | Sebastian Junges, Ulrich Loup, Florian Corzilius, and Erika Ábrahám. 2013. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Technical Report AIB-2013-08. Shaker [u.a.], Aachen. |
| DOI Details | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. Accelerating Parametric Probabilistic Verification. arXiv:1312.3979. |
| DOI Details | Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, and Erika Ábrahám. 2013. From Statistical Model Checking to Statistical Model Inference : Characterizing the Effect of Process Variations in Analog Circuits. In 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2013) : San Jose, California, USA, 18 - 21 November 2013. IEEE, Piscataway, NJ, 662–669. |
| 2012 | |
| DOI Details | Xin Chen and Erika Ábrahám. 2012. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. In Computer aided systems theory - EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011; revised selected papers ; Pt. 1 (Lecture notes in computer science, Vol. 6927). Springer [u.a.], Berlin u.a.], 535–542. |
| 2011 | |
| DOI Details | Jó Ágila Bitsch, Christoph Wollgarten, Stefan Schupp, and Klaus Wehrle. 2011. Perfect Difference Sets for Neighbor Discovery. In ExtremeCom 2011 : The 3rd Extreme Conference on Communication - The Amazon Expedition ; Sep 26, 2011 - Sep 30, 2011, Praia do Tupé, Brazil. ACM, New York, NY, 1–6. |
| DOI Details | Florian Corzilius and Erika Ábrahám. 2011. Virtual Substitution for SMT-Solving. In Fundamentals of computation theory : 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 ; proceedings (Lecture notes in computer science, Vol. 6914). Springer, Heidelberg, 360–371. |
| DOI Details | Xin Chen, Erika Ábrahám, and Goran Frehse. 2011. Efficient bounded reachability computation for rectangular automata. In Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings (Lecture notes in computer science, Vol. 6945). Springer, Heidelberg, 139–152. |
| 2010 | |
| DOI Details | Muhammad Fadlisyah, Erika Ábrahám, and Peter Csaba Ölveczky. 2010. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electronic notes in theoretical computer science : ENTCS 274 (Nov. 2010), 17–32. |