Person

Dr., Universitätsprofessorin

Erika Abraham

Betreuerin

Erika Ábrahám
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Adresse

Gebäude: 2353 Informatikzentrum E1, 2OG

Raum: 4229

Ahornstrasse 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21242
Fax Fax: +49 241 80 22243
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23–27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 257-275, 2021
[DOI: 10.1007/978-3-030-85172-9_14]
Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Buchbeitrag, Beitrag zu einem Tagungsband]
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities
In: ISSAC '21 : Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation : July 18-23, 2021, Virtual Event, Russian Federation / General Chair: Frédéric Chyzak ; Program Committee Chair: George Labahn ; Proceedings Editor: Marc Mezzarobba, 313-320, 2021
[DOI: 10.1145/3452143.3465538]
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Kremer, Gereon (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Hyperproperties with Nondeterminism
In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 518-534, 2020
[DOI: 10.1007/978-3-030-59152-6_29]
Ábrahám, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo (Corresponding author)
Dobe, Oyendrila
[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Simulation of a Railway Timetable
In: 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2020, September 7-8, 2020, Pisa, Italy (virtual conference) / edited by Dennis Huisman, Christos D. Zaroliagis, 16:1-16:14, 2020
[DOI: 10.4230/OASICS.ATMOS.2020.16]
Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 / Holger Hermanns (Ed.), 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]
Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Ábrahám, Erika
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Ábrahám, Erika
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Winkens, Justin (Corresponding author)
Ábrahám, Erika (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178–185, 2017
[DOI: 10.1145/3150928.3150938]
Hüls, Jannik (Corresponding author)
Schupp, Stefan (Corresponding author)
Remke, Anne (Corresponding author)
Ábrahám, Erika (Corresponding author)