1
0
0
(1 - 21 von 31
)
Radu Grosu | Department of Computer ScienceStony Brook University
www.cs.stonybrook.edu
Radu Grosu is a Professor and Head of the Dependable-Systems Group at the Faculty of Informatics of the Vienna University of Technology, and a Research ...
Behavioral Specifications of Businesses and Systemsbooks.google.com › books
books.google.de
Radu Grosu, Thomas Stauner, and Manfred Broy. A modular ... About the Authors Radu Grosu studied computer science at the What is Behind UML-RT'? 89.
Formal Methods in Computer-Aided Design: Third International...
books.google.de
Automated Refinement Checking for Asynchronous Processes Rajeev Alur, Radu Grosu, and Bow-Yaw Wang Department of Computer and Information Science, University of Pennsylvania 200 South 33rd Street, Philadelphia, PA &#.edu http://www.cis.upenn.edu/~{alur,grosu,bywang} ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Monte Carlo Model Checking Radu Grosu and Scott A. Smolka Dept. of Computer Science, Stony Brook Univ., Stony Brook, NYUSA {grosu, .edu Abstract. We present MC2, what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking. Given a specification S ...
dblp: Franz Regensburger
dblp.uni-trier.de
List of computer science publications by Franz Regensburger
Radu Grosu - Google Scholar citāti
scholar.google.se
Gheorghe StefanescuProfessor of Computer Science, University of BucharestVerificēta e-pasta adrese: fmi.unibuc.ro. Christian FacchiProfessor für SW-Engineering und verteilte Systeme, Technische Hochschule IngolstadtVerificēta e-pasta adrese: thi.de. Skatīt visus. Sekot. Radu Grosu. Professor of Computer Science.
Radu Grosu - Citace Google Scholar
scholar.google.cz
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu. Bernhard RumpeProfessor für Informatik, RWTH AachenE-mailová adresa ověřena na: se-rwth.de. Erez ZadokAssociate Professor, Stony Brook UniversityE-mailová adresa ...
Radu Grosu Vienna University of Technology CPS from EU ...SlidePlayer
slideplayer.com
Presentation on theme: "Radu Grosu Vienna University of Technology CPS from EU-Science Perspective Joint work with Ezio Bartocci, Flavio H. Fenton, James Glimm ...
Radu Grosu: H-index & Awards - Academic ProfileResearch.com
research.com
Radu Grosu mostly deals with Theoretical computer science, Algorithm, Programming language, Artificial intelligence and Reachability.
Români în afara graniţelor. Radu Grosu, profesor la ...zf.ro
www.zf.ro
— ... ♢ Absolvent al Universităţii Tehnice din Cluj, Radu Grosu îşi continuă studiile cu un doctorat în Computer Science la Facultatea de ...
Award # CSR---AES: Runtime Monitoring and ...National Science Foundation (.gov)
www.nsf.gov
Radu Grosu, Xiaowan Huang, Sumit Jain, and Scott A. Smolka. "Open-Source Model Checking" In Proceedings of SoftMC 2005: Workshop on Software Model Checking, ...
Computer Science Colloquium - Linz - JKUJKU
informatik.jku.at
Radu Grosu Technical University, Vienna. Towards Explainable RNNs: Modeling, Learning and Verification. Mon , 17:15, 45 minutes
Mixed Relations as Enriched Semiringal CategoriesJournal of Universal Computer Science
www.jucs.org
Radu Grosu (School for EECS, University of Pennsylvania, USA). Dorel Lucanu (Faculty of Computer Science, A.I.Cuza University, Romania).
Cyber-physical systems: challenge of the 21st century – topic of ...cyberleninka.org › article
cyberleninka.org
Lukas Esterle; Radu Grosu ... topics of scientific paper in Computer and information sciences , author of scholarly article — Lukas Esterle, Radu Grosu.
MLTUW – Clemens Heitzinger
www.heitzinger.info
Radu Grosu (Computer Science). Photo Radu Grosu Homepage. Radu Grosu's scientific interests include model-based design, analysis and control of complex ...
VERZEICHNIS AUSGEWÄHLTER VERÖFFENTLICHUNGEN - PDF Kostenfreier...
docplayer.org
IT-Sicherheit, Zeitschrift IT-Sicherheit, Ausgabe 5, Seite 21, Datakontext Fachverlag GmbH, Frechen, Peter Scholz. Schnittstellen-Sicherung durch th Annual AoM/IAoM International Conference on Computer Science, San Diego, August Radu Grosu, Ingolf Krüger, Peter Scholz, Manfred Broy. From MSCs to Statecharts.
Radu Grosu
www3.cs.stonybrook.edu
Radu Grosu Associate Professor Department of Computer Science State University of New York at Stony Brook Stony Brook, NY , USA Office: CS Building
Alle Infos zum Namen "Radu Grosu"
sortiert nach Relevanz / Datum