1
0
0
(1 - 21 von 24
)
My Research | HomeGitHub Pages
mlech26l.github.io
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu AAAI Conference on Artificial Intelligence ...
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to...
books.google.de
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made...
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 ...
Monte Carlo Model Checking Radu Grosu SUNY at Stony Brook Joint work...
pdfslide.net
Monte Carlo Model Checking Radu Grosu SUNY at Stony Brook Joint work with Scott A. Smolka Talk Outline Model Checking Randomized Algorithms LTL Model Checking...
Seminar: UML-Foundations
www-i2.informatik.rwth-aachen.de
David Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: [pdf]; Radu Grosu, Scott A. Smolka: ...
Search results for "Xiaowan Huang" – FacetedDBLP
dblp.l3s.uni-hannover.de
Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop
Adaptive Runtime Verification | SpringerLinkspringer.com
link.springer.com
von E Bartocci · · Zitiert von: 76 — Ezio Bartocci,; Radu Grosu,; Atul Karmarkar,; Scott A. Smolka,; Scott D. Stoller,; Erez Zadok & … Justin Seyster. Show authors. Conference paper.
Radu Grosu - Citazioni di Google Scholar
scholar.google.com
Systems, views and models of UML. R Breu, R Grosu, E Huber, B Rumpe, W Schwerin. The Unified Modeling Language, From cardiac cells to genetic regulatory networks. R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ... International Conference on Computer Aided Verification, ...
Missing: dorfladen gräfendorf ug haftungsbeschränkt
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, ...
Accepted papers | CAV 2017, Heidelberg Germany
cavconference.org
Lagrangian ReachabililtyJacek CyrankaMd Ariful IslamGreg ByrnePaul L. JonesScott A. SmolkaRadu Grosu DryVR: Data-driven verification and compositional ...
Grosu |Förderverein Technische Fakultät
www.ftf.or.at
This is joint work with Alexandre Donze, Oded Maler, Dejan Nickovic, Ezio Bartocci and Scott Smolka. Radu Grosu is a Professor and Head of the Dependable- ...
On the Verification of Neural ODEs with Stochastic ...AAAI
ojs.aaai.org
von S Grunbacher · · Zitiert von: 27 — ... Jacek Cyranka University of Warsaw; Scott A. Smolka Stony Brook University; Radu Grosu Technische Universität Wien (TU Wien) ...
Monte Carlo Model Checkingwww.infona.pl › resource
www.infona.pl
Monte Carlo Model Checking. Radu Grosu, Scott A. Smolka · Details · Contributors · Bibliography · Quotations · Similar · Collections ...
Publications | Ramin Hasani's Official WebsiteRamin Hasani
www.raminhasani.com
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas Henzinger, Scott Smolka, Radu Grosu AAAI Conference on Artificial Intelligence (AAAI) ...
Cyranka Jacek publications
cseweb.ucsd.edu
(workshop) Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka, Radu Grosu, Under the Hood of a Stand-Alone Lagrangian ...
V-Formation as a Problem of Model Predictive Control (Invited ...Dagstuhl
drops.dagstuhl.de
von J Yang · · Zitiert von: 19 — @InProceedings{yang_et_al:LIPIcs:2016:6189, author = {Junxing Yang and Radu Grosu and Scott A. Smolka and Ashish Tiwari}, title = {{Love Thy Neighbor: ...
Resilient control and safety for cyber-physical systems ...research.aston.ac.uk › publications › resilient-con...
research.aston.ac.uk
Resilient control and safety for cyber-physical systems. Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu.
Survivable Software - Publications
www.fsl.cs.sunysb.edu
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. InterAspect: Aspect-Oriented
The High-Confidence Operating Systems Project
www.fsl.cs.sunysb.edu
Zijiang Yang, B. Al-Rawi, K. Sakallah, Xiaowan Huang, Scott A. Smolka, and Radu Grosu Dynamic Path Reduction for Software Model Checking In Proceedings of iFM'09, the
iFM 2009: integrated Formal Methods | Programme
www3.hhu.de
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott Smolka, Radu Grosu: Dynamic Path Reduction for Software Model ...
Maria Rita Di Berardini - Publications List
publicationslist.org
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A Smolka, Radu Grosu (2009) Modeling and simulation of cardiac tissue using hybrid I/O
Alle Infos zum Namen "Radu Grosu"
sortiert nach Relevanz / Datum