( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Detecting Fault Injection Attacks with Runtime Verification.

, и . SPRO@CCS, стр. 65-76. ACM, (2019)

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.

Giovanni Falcone

Giovanni Falcone

Andrés Falcone

Franco Harald Falcone

Rainer Andrea Falcone

 

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

Leveraging Runtime Verification for the Monitoring of Digital Twins., , и . FMDT@FM, том 3507 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Enforcement and validation (at runtime) of various notions of opacity., и . Discrete Event Dynamic Systems, 25 (4): 531-570 (2015)Monitoring decentralized specifications., и . ISSTA, стр. 125-135. ACM, (2017)Decentralised LTL Monitoring., и . FM, том 7436 из Lecture Notes in Computer Science, стр. 85-100. Springer, (2012)TiPEX: A Tool Chain for Timed Property Enforcement During eXecution., , , и . RV, том 9333 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2015)Probabilistic Analysis of Industrial IoT Applications., , и . IOT, стр. 41-48. ACM, (2022)Runtime Enforcement with Reordering, Healing, and Suppression., и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 47-65. Springer, (2021)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2023)Probabilistic Runtime Enforcement of Executable BPMN Processes., , и . FASE, том 14573 из Lecture Notes in Computer Science, стр. 56-76. Springer, (2024)Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts., , , и . ICST, стр. 341-352. IEEE, (2024)