Ábrahám, Erika
Ábrahám, Erika, 1970-
Ábrahám Erika (1970-) magyar informatikus, egyetemi tanár
VIAF ID: 95149106169368491181 ( Personal )
Permalink: http://viaf.org/viaf/95149106169368491181
Preferred Forms
-
-
- 100 1 _ ‡a Ábrahám, Erika
- 100 1 _ ‡a Ábrahám, Erika
- 100 1 _ ‡a Ábrahám, Erika ‡d 1970-
-
- 100 0 _ ‡a Ábrahám Erika ‡c (1970-) magyar informatikus, egyetemi tanár
-
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (2)
- 510 2 _ ‡a RWTH Aachen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Szeged ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
An assertional proof system for multithreaded Java theory and tool support | |
Ausnutzung von strikten Ungleichungen zur Berechnung von zylindrischen, algebraischen Abdeckungen | |
Behavioral interface description of an object-oriented language with futures and promises | |
Berechnung und Bewertung der Gesamtleistungsfähigkeit von Eisenbahnnetzen | |
Calculation and assessment of overall capacity in railway network | |
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) | |
COORDINATION 2014 | |
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof | |
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings | |
Determinization and ambiguity of classical and probabilistic Büchi automata | |
Differentiation of numerical simulations with embedded nonlinear systems and integrals | |
DisCoTec 2014 | |
ETAPS 2014 | |
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings | |
FORTE 2014 | |
Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers | |
Gegenbeispiele in der probabilistischen Verifikation | |
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic | |
Generierung von elaborativem Feedback für Programmieraufgaben für Neulinge auf der Grundlage von Interaktionsdaten | |
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes | |
high-level component-based models for functional verificationof systems-on-a-chip. | |
High-level Counterexamples for Probabilistic Automata | |
Integration der virtuellen Substitution in strategisches SMT Solving | |
Levelwise construction of a single cylindrical algebraic cell | |
Modeling and Analysis of Stochastic Real-Time Systems. | |
Modélisation et analyse de systèmes stochastiques et temps réel | |
Modélisation et simulation qualitative de systèmes hybrides | |
Modélisation et vérification formelle des performances des systèmes de réseau | |
Modular strategic SMT solving with SMT-RAT | |
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract) | |
New techniques for instantiation and proof production in SMT solving. | |
Nouvelles techniques pour l'instanciation et la production des preuves dans SMT | |
A novel adaption of the Simplex algorithm for linear real arithmetic | |
On the applicability of hybrid systems safety verification tools from the automotive perspective | |
On Variable Orderings in MCSAT for Non-linear Real Arithmetic (extended abstract) | |
Optimal planning modulo theories | |
Optimierung und Analyse von Eisenbahnfahrplänen unter Berücksichtigung von Unsicherheiten | |
Optimisation and analysis of railway timetables under consideration of uncertainties | |
Parameter synthesis for probabilistic systems | |
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18) | |
Proving termination of probabilistic recursive programs via SMT-solving | |
Public-key cryptography : PKC 2014 | |
Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings | |
Randomized Timed and Hybrid Models for Critical Infrastructures | |
Recent developments in theory and tool support for hybrid systems verification with HyPro | |
Rigorous modeling and performance evaluation of networking systems. | |
State set representations and their usage in the reachability analysis of hybrid systems | |
Symbolic Computation and Satisfiability Checking Report of Dagstuhl Seminar 15471 | |
TACAS 2014 | |
Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings | |
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | |
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 | |
Über das Lösen Reell-algebraischer Formeln in einem Satisfiability-modulo-theories Framework | |
Vérification compositionnelle des systèmes temps-réel à base de composants et applications. | |
Zustandsmengenrepräsentierungen und ihre Verwendung in der Erreichbarkeitsanalyse Hybrider Systeme |