From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)., , и . Dagstuhl Reports, 2 (7): 30-55 (2012)Local Model Checking for Real-Time Systems (Extended Abstract)., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 398-401. Springer, (1996)Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices., , , , , , , , , и . CoRR, (2022)Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning., , , , , и . CoRR, (2023)Take Me Home: Reversing Distribution Shifts using Reinforcement Learning., , , , , и . CoRR, (2023)Parameter-Invariant Monitor Design for Cyber-Physical Systems., , , , , и . Proc. IEEE, 106 (1): 71-92 (2018)Guest Editors' Foreword., и . J. Comput. Syst. Sci., 73 (2): 155 (2007)Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System., , , , и . IEEE Trans. Parallel Distributed Syst., 26 (11): 3108-3121 (2015)Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study., , , и . J. Comput. Sci. Eng., (2016)