Erika Abraham - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 11 von 11

)

[ ] HyperPCTL: A Temporal Logic for Probabilistic...

arxiv.org

Authors:Erika Abraham, Borzoo Bonakdarpour. (Submitted on 5 Apr 2018). Abstract: In this paper, we propose a new logic for expressing and reasoning about ...

EPTCS 174: Hybrid Autonomous Systems

arxiv.org

Erika Abraham, RWTH Aachen University, Germany; Alessandro Abate, Delft University of Technology, the Netherlands; Laurent Bako, Ecole ...

CFP (txt) - FmGroup - Politecnico di Torino

fmgroup.polito.it

... Turkey Joao Marques-Silva, University College Dublin, Ireland Priyank Kalla, University of Utah, USA Supratik Chakraborty, IIT Bombay, India Erika Abraham, ...

Multiple Analyses, Requirements Once: simplifying testing ...arxiv.org › cs

arxiv.org

Authors:Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham, Md Tawhid Bin Waez, Thomas Rambow. (Submitted on 17 Jun ...

Final Call for Participation - SC-square

www.sc-square.org

Notifications on acceptance/rejection will be given by June 15, ========== Organisers ========== Erika Abraham (RWTH Aachen University, ...

Parameter Synthesis for Markov Modelsarxiv.org › cs

arxiv.org

Authors:Sebastian Junges, Erika Abraham, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. (Submitted on

From smap-publicity at image.ntua.gr Mon Jan 2 10:27: From ...

dl.kr.org

... Linz, Austria * Tutorials Erika Abraham, RWTH Aachen University, Germany Jamie Taylor (Google) https://www.linkedin.com/in/jamie-taylor Dr.

available here - SC-squarewww.sc-square.org › CSA › workshop1-CfP

www.sc-square.org

... ===Keynote Speaker=== Christopher W. Brown (United States Naval Academy, USA) ===Workshop Co-Chairs=== Erika Abraham (RWTH Aachen University, ...

Verwandte Suchanfragen zu Erika Abraham

Ralf Wimmer
Anne Remke
Christel Baier

Bernd Becker
Marie Sophie Kühn
Stefano Minopoli

Sigurd Schlüter

Person "Abraham" (5)
Vorname "Erika" (23213)
Name "Abraham" (5521)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Erika Abraham