News
Aachen: RWTH: Team für Gleichstellung wiedergewählt
www.aachener-nachrichten.de
Das Gleichstellungsteam an der RWTH Aachen geht in alter Besetzung in die nächsten vier Jahre. Der Senat der Aachener Hochschule hat nun Ulrike Brands-Proharam...
Einladung zur Lessons Learned | Uni aktuell | TU Chemnitz
www.tu-chemnitz.de
Abschluss für BMBF-gefördertes Projekt „Gender x Informatik. Förderung von Vernetzung und Dialog in der Forschung“ des Zentrums für Chancengleichheit in...
Com…ng Is Too Important to Be Left to Men — TU Wien Informatics
informatics.tuwien.ac.at
We invited international experts to investigate women-promoting measures and successful concepts. Here are their findings and ideas.
Firmen-Mitarbeiter
Nils Jansen's Homepagenilsjansen.org
www.cs.ru.nl
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. Counterexample generation for discrete-time Markov ...
Private Homepages
Informatics Europe - ECSS 2016, Budapest
www.informatics-europe.org
Informatics Europe is the association of computer science departments and research laboratories in Europe and neighboring areas.
Ausbildung
Hybride Systeme, SoSe 2003
www.informatik.uni-bremen.de
... Yovine: The Algorithmic Analysis of Hybrid Systems · Erika Ábrahám-Mumm, ... praktische Mathematik, Christian-Albrechts-Universität zu Kiel, January
Projekte
JLESC — Developer tools for porting and tuning parallel applications...
jlesc.github.io
IOS Press. https://juser.fz-juelich.de/record Geimer, Markus, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, and Bernd ...
Bücher
erika abraham - ZVAB
www.zvab.com
... France, April 5-13, 2014, Proceedings von Erika Abraham und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf ZVAB.com.
HEIDI: Theory and practice of formal methods
katalog.ub.uni-heidelberg.de
Verf.angabe: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.) Verlagsort: [Cham]. Verlag: Springer. E-Jahr: Jahr: [2016]. Umfang: XII,
Erika Ábrahám | Autorenprofil und Werke | beck-shop.de
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Erika Ábrahám . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.
Erika Ábrahám on Apple Books
books.apple.com
Preview and download books by Erika Ábrahám, including At The Pinnacle, Integrated Formal Methods and many more.
Musik
Erika Ábrahám – Bücher, CDs, DVDs und mehr – jpc.de
www.jpc.de
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in …
Dokumente zum Namen
Rapport_Cemracs2012
www.slideshare.net
ESAIM: PROCEEDINGS, Vol. ?, 2013, Editors: Will be set by the publisher COMPILATION ANALYSIS, PERFORMANCE ANALYSIS, SCALABILITY USING SCALASCA WITH FEEL++…
Ábrahám, Erika [WorldCat Identities]
worldcat.org
Most widely held works by Erika Ábrahám. Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held ...
[ ] High-level Counterexamples for Probabilistic Automata
arxiv.org
Authors:Ralf Wimmer (University of Freiburg, Germany), Nils Jansen (RWTH Aachen University, Germany), Erika Ábrahám (RWTH Aachen University, Germany), ...
Abstract Interface Behavior of Object-Oriented Languages with...
www.sciweavers.org
Abstract Interface Behavior of Object-Oriented Languages with Monitors - Interface Behavior of Object-Oriented Languages with Monitors Erika
Wissenschaftliche Veröffentlichungen
Professor Dr. Erika Ábrahám - Gepris - DFG
gepris.dfg.de
Professor Dr. Erika Ábrahám. As Applicant. Current projects. RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS).
Probabilistic Model Checking and Counterexample Generationwww.uni-muenster.de › Munich14 › abraham
www.uni-muenster.de
Munich, September , DFG CEBug project Erika Ábrahám - Probabilistic Model Checking and Counterexample Generation
Erika Ábrahám | Theory of Hybrid Systems
ths.rwth-aachen.de
Erika Ábrahám. abraham. Email: abraham at cs.rwth-aachen.de; Address: Room D Aachen; Phone: +
Veröffentlichungen allgemein
Erika Ábrahám - Springerwww.springer.com › book
link.springer.com
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, ...
Erika Ábrahám - Wikidatawww.wikidata.org › wiki
www.wikidata.org
Hungarian computer scientist. Erika Abraham. In more languages. Spanish. Erika Ábrahám. No description defined. Traditional Chinese.
Integrated Formal Methods | Erika Ábrahám - Springerwww.springer.com › book
link.springer.com
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June ...
Theory and Practice of Formal Methods | Erika Ábrahám
link.springer.com
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the ...
Sonstiges
Erika Abraham (Da Costa), BS, PharmD, CDE - Clinical ...www.linkedin.com › dacostae
www.linkedin.com
View Erika Abraham (Da Costa), BS, PharmD, CDE'S profile on LinkedIn, the world's largest professional community. Erika has 12 jobs listed on their profile.
Erika Abraham - Telecommunications Operator - Office of Unified ...
www.linkedin.com
community. Erika has 1 job listed on their profile. See the complete profile on
LinkedIn ...
Bücher von Erika Ábrahám bei Google Play
play.google.com
Viel Spaß mit Millionen aktueller Android-Apps, Spielen, Musik, Filmen, Serien, Büchern und Zeitschriften – jederzeit, überall und auf allen deinen Geräten.
Erika Abraham | RWTH Aachen University - Academia.edu
rwth-aachen.academia.edu
Academia.edu is a place to share and follow research.
Erika Abraham | RWTH Aachen University - Academia.edurwth-aachen.academia.edu › ErikaAbraham
rwth-aachen.academia.edu
Erika Abraham, RWTH Aachen University, Computer Science Department, Faculty Member. Studies Modeling, synthesis, and analysis of hybrid systems, ...
IKEA Magazine | Bed linen design, Ikea must haves, Dinosaur toddler...
www.pinterest.com.mx
This Pin was discovered by erika ábrahám. Discover (and save!) your own Pins on Pinterest.
Startvonalon: Inczédi Erika Ábrahám György Dömény Andrea Baranyovics...
docplayer.hu
Startvonalon: Inczédi Erika Ábrahám György Dömény Andrea Baranyovics Borisz Angyal Sándor Ravasz Myrtil Rácz Boglárka Kanovits Zol ...
DROPS - Randomized Timed and Hybrid Models for Critical...
drops.dagstuhl.de
Ábrahám, Erika; Avritzer, Alberto; Remke, Anne; Sanders, William H. Weitere Beteiligte (Hrsg. etc.): Erika Ábrahám and Alberto Avritzer and Anne Remke and William ...
Bene…t Christoph Wolters – Systems Engineer
Bene…t Christoph Wolters is a System Engineer from London. He is also involved in research and software development.
Theory and Practice of Formal Methods: Erika Ábrahám ·
www.books-express.ro
Cumpără cartea Theory and Practice of Formal Methods de Erika Ábrahám la prețul de lei, discount 20% cu livrare gratuită prin curier oriunde în România.
CEUR-WS.org/Vol Satisfiability Checking and Symbolic...
ceur-ws.org
Satisfiability Checking and Symbolic Com…tion Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Com…tion co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Com…ng (SYNASC 2016) Timisoara, Romania, September 24, Edited by . Erika Ábrahám, RWTH Aachen University ...
Differential Invariants for Differential Equations
symbolaris.com
In Erika Ábrahám and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Proceedings, volume …
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
symbolaris.com
KeYmaera is a hybrid verification tool for hybrid systems. It supports differential dynamic logic for hybrid programs and combines deductive, real algebraic,...
Alumni NL 137 vum 30. Mee – Aachen.lu – die Al Oochener
www.aachen.lu
Erika Ábrahám kam als Juniorprofessorin für Theorie Hybrider ... der RWTH Aachen in Kooperation mit dem Forschungszentrum Jülich.
Publications by André Platzer
symbolaris.com
List of publications by André Platzer. Journals, conference, workshop proceedings, books, and book chapters
"A Benchmark Suite for Hybrid Systems Reachability Analysis" by Xin...
ecommons.udayton.edu
For about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis...
Citations · Reachability.jl
juliareach.github.io
Schupp, Stefan, and Erika Ábrahám. "Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems." International Conference on Software Engineering ...
Accepted Papers |
www.win.tue.nl
... Evaluation and Recommendations Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen; SDN-Actors: Modeling ...
Context-dependent Reachability Analysis for Hybrid Systems ...www.taylorfrancis.com › books › chapters
www.taylorfrancis.com
WithStefan Schupp, Justin Winkens, Erika Ábrahám. Hybrid systems, in which digital controllers interact with a physical, continuous world show ...
Counterexample Generation for Markov Chains Using SMT ...
hal.archives-ouvertes.fr
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model ...
sortiert nach Relevanz / Datum