Person

Dr., Universitätsprofessorin

Erika Abraham

Erika Ábrahám
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

workPhone
Phone: +49 241 80 21242
Fax: +49 241 80 22243
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Freight Train Scheduling in Railway Systems
In: Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]
Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI: 10.7148/2019-0407]
Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando
[Contribution to a book, Contribution to a conference proceedings]
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
In: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.), 2 Seiten, 2018
Schupp, Stefan
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
Evaluation of Equational Constraints for CAD in SMT Solving
In: Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32, 2018
Haehn, Rebecca
Kremer, Gereon
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
In: Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath, 2018
[DOI: 10.1007/978-3-319-99154-2]
Ábrahám, Erika
Bonakdarpour, Borzoo
[Contribution to a book, Contribution to a conference proceedings]
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 287-302, 2018
[DOI: 10.1007/978-3-319-89963-3_17]
Schupp, Stefan
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems
In: Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer, 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6]
Schupp, Stefan
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE, 518-525, 2018
[DOI: 10.1109/IRI.2018.00082]
Schupp, Stefan
Winkens, Justin
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
In: NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / Clark Barrett, Misty Davies, Temesghen Kahsai (eds.), 288-294, 2017
[DOI: 10.1007/978-3-319-57288-8_20]
Schupp, Stefan
Ábrahám, Erika
Ben Makhlouf, Ibtissem
Kowalewski, Stefan
[Contribution to a book, Contribution to a conference proceedings]
Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis
In: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems : Uppsala, Sweden, 23rd April 2017 / edited by: Herbert Wiklicky and Erik de Vink, 1-14, 2017
[DOI: 10.4204/EPTCS.250.1]
Schupp, Stefan
Nellen, Johanna
Ábrahám, Erika