( en | de | ru )

 

Disambiguation of "Basagiannis, Stylianos"

Author of the publication

copydeleteadd this publication to your clipboard
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.

, , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 284-299. Springer, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Stylianos Karakantas

Stylianos Liodakis

Stylianos Michalakis

Stylianos Velegrakis

Stylianos Koutzoglou

 

Other publications of authors with the same name

Towards Verification of Multicore Motor-Drive Controllers in Aerospace., and . SAFECOMP Workshops, volume 9338 of Lecture Notes in Computer Science, page 190-200. Springer, (2015)Formal security analysis of near field communication using model checking., , and . Comput. Secur., (2016)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , and 6 other author(s). DSD, page 352-359. IEEE, (2020)The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning., , , and . IDSTA, page 42-49. IEEE, (2020)Quantitative analysis for authentication of low-cost RFID tags., , and . LCN, page 295-298. IEEE Computer Society, (2011)Quantitative model checking of an RSA-based email protocol on mobile devices., , , , and . ISCC, page 639-645. IEEE Computer Society, (2011)Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking., , , and . HASE, page 360-367. IEEE Computer Society, (2011)Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems., , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 284-299. Springer, (2017)Formal Methods for Energy-Efficient EPONs., , and . TGCN, 2 (1): 246-259 (2018)