( en | de | ru )

 

Disambiguierung von "Sokolsky, Oleg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Steering of real-time systems based on monitoring and checking.

, , , , und . WORDS (Fall), Seite 11-18. IEEE Computer Society, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yaroslavskyy Oleg

Diego José Olego

Oleg Nivievskyi

Oleg Kashin

Oleg Kovalev

 

Weitere Publikationen von Autoren mit dem selben Namen

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning., , , , , und . CoRR, (2023)Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System., , , , und . IEEE Trans. Parallel Distributed Syst., 26 (11): 3108-3121 (2015)High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms., , , , , , und . CHASE, Seite 70-81. IEEE, (2021)Verisim: Formal analysis of network simulations., , , , , , und . ISSTA, Seite 2-13. ACM, (2000)iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness., , , , , , , , , und 4 andere Autor(en). ICCPS, Seite 272-273. ACM, (2023)07011 Executive Summary -- Runtime Verification., , , und . Runtime Verification, Volume 07011 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Local Model Checking for Real-Time Systems (Extended Abstract)., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 398-401. Springer, (1996)DMaC: Distributed Monitoring and Checking., , , und . RV, Volume 5779 von Lecture Notes in Computer Science, Seite 184-201. Springer, (2009)Runtime Verification of Traces under Recording Uncertainty., , , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 442-456. Springer, (2011)