Stavros Tripakis und Zitiert - Info zur Person

(1 - 7 von 8

)

Decentralized Observation of Discrete-Event Systems: At ...arXiv

arxiv.org

von S Tripakis · · Zitiert von: 3 — From: Stavros Tripakis [view email] [v1] Tue, 10 Aug :07:00 UTC (13 KB). Full-text links: Download:. von C Vick · · Zitiert von: 1 — Authors:Cole Vick, Eunsuk Kang, Stavros Tripakis. Download a PDF of the paper titled Counterexample Classification, by Cole Vick and 2 other ...

Design and Analysis of a Logless Dynamic Reconfiguration ...Dagstuhl

drops.dagstuhl.de

von W Schultz · · Zitiert von: 3 — Stavros Tripakis. Northeastern University, Boston, MA,USA. Abstract. Distributed replication systems based on the replicated state machine model have become ...

Black-Box Conformance Testing for Real-Time SystemsSpringer

link.springer.com

von M Krichen · · Zitiert von: 288 — Moez Krichen &; Stavros Tripakis. Conference paper Accesses. 97 Citations. Part of the Lecture Notes in Computer Science book series (LNCS,volume 2989) ...

Modeling, Verification, and Testing Using Timed and ...Taylor & Francis eBooks

www.taylorfrancis.com

von S Tripakis · · Zitiert von: 30 — ... and Testing Using Timed and Hybrid Automata. Modeling, Verification, and Testing Using Timed and Hybrid Automata. ByStavros Tripakis, Thao Dang.

Predictive Runtime Enforcement * - INRIAInserm

www.hal.inserm.fr

von S Pinisetty · · Zitiert von: 29 — Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, et al.. Predictive Runtime Enforcement *. SAC st ACM Symposium ...

When Do We (Not) Need Complex Assume-Guarantee ...helsinki.fi

researchportal.helsinki.fi

von AT Siirtola · · Zitiert von: 5 — Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko. Research output: Chapter in Book/Report/Conference proceeding › Conference contribution ...

The Earlier the Better: A Theory of Timed Actor Interfaces —...

research.utwente.nl

von M Geilen · · Zitiert von: 74 — The Earlier the Better: A Theory of Timed Actor Interfaces. Marc Geilen, Stavros Tripakis, M.H. Wiggers. Research output: Book/Report › Report › ... › public...

Alle Infos zum Namen "Stavros Tripakis"

Verwandte Suchanfragen zu Stavros Tripakis

Marc Geilen

Personen
Vorname "Stavros" (585)
Name "Tripakis" (1)

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

Stavros Tripakis und Zitiert Person-Info