201 Infos zu Erika ábrahám

8 Aktuelle Nachrichten

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...

Anzeigen - Veranstaltungskalender 2018

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...

We invited international experts to investigate women-promoting measures and successful concepts. Here are their findings and ideas.

2  Bilder zu Erika ábrahám

25 Profile in Sozialen Netzwerken

Sehen Sie sich das Karriere-Profil von Erika Abraham (Deutschland) auf LinkedIn an. LinkedIn ist ... Postdoc. Albert-Ludwigs-Universität Freiburg im Breisgau.

1 Firmen-Mitarbeiter

Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. Counterexample generation for discrete-time Markov ...

1 Persönliche Webseiten

Informatics Europe is the association of computer science departments and research laboratories in Europe and neighboring areas.

2 Infos zur Ausbildung

... Yovine: The Algorithmic Analysis of Hybrid Systems · Erika Ábrahám-Mumm, ... praktische Mathematik, Christian-Albrechts-Universität zu Kiel, January

1 Projekte

IOS Press. https://juser.fz-juelich.de/record Geimer, Markus, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, and Bernd ...

23 Bücher zum Namen

... 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.

Verf.angabe: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.) Verlagsort: [Cham]. Verlag: Springer. E-Jahr: Jahr: [2016]. Umfang: XII,

Hier finden Sie das komplette Autorenprofil von Erika Ábrahám . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.

Preview and download books by Erika Ábrahám, including At The Pinnacle, Integrated Formal Methods and many more.

1 Songs & Musik

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 …

17 Dokumente

ESAIM: PROCEEDINGS, Vol. ?, 2013, Editors: Will be set by the publisher COMPILATION ANALYSIS, PERFORMANCE ANALYSIS, SCALABILITY USING SCALASCA WITH FEEL++…

Most widely held works by Erika Ábrahám. Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held ...

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 Monitors - Interface Behavior of Object-Oriented Languages with Monitors Erika

30 Wissenschaftliche Publikationen

Professor Dr. Erika Ábrahám. As Applicant. Current projects. RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS).

Munich, September , DFG CEBug project Erika Ábrahám - Probabilistic Model Checking and Counterexample Generation

Erika Ábrahám. abraham. Email: abraham at cs.rwth-aachen.de; Address: Room D Aachen; Phone: +

List of computer science publications by Erika Ábrahám

9 Allgemeine Veröffentlichungen

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, ...

Hungarian computer scientist. Erika Abraham. In more languages. Spanish. Erika Ábrahám. No description defined. Traditional Chinese.

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June ...

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 ...

1 Meinungen & Artikel

Der direkte Draht zur Uni

78 Webfunde aus dem Netz

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.

community. Erika has 1 job listed on their profile. See the complete profile on LinkedIn ...

Viel Spaß mit Millionen aktueller Android-Apps, Spielen, Musik, Filmen, Serien, Büchern und Zeitschriften – jederzeit, überall und auf allen deinen Geräten.

Academia.edu is a place to share and follow research.

Erika Abraham, RWTH Aachen University, Computer Science Department, Faculty Member. Studies Modeling, synthesis, and analysis of hybrid systems, ...

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 Borisz Angyal Sándor Ravasz Myrtil Rácz Boglárka Kanovits Zol ...

Á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 is a System Engineer from London. He is also involved in research and software development.

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.

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 ...

In Erika Ábrahám and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Proceedings, volume …

KeYmaera is a hybrid verification tool for hybrid systems. It supports differential dynamic logic for hybrid programs and combines deductive, real algebraic,...

Erika Ábrahám kam als Juniorprofessorin für Theorie Hybrider ... der RWTH Aachen in Kooperation mit dem Forschungszentrum Jülich.

List of publications by André Platzer. Journals, conference, workshop proceedings, books, and book chapters

For about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis...

Schupp, Stefan, and Erika Ábrahám. "Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems." International Conference on Software Engineering ...

... Evaluation and Recommendations Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen; SDN-Actors: Modeling ...

WithStefan Schupp, Justin Winkens, Erika Ábrahám. Hybrid systems, in which digital controllers interact with a physical, continuous world show ...

Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model ...