Transforming Data Flow Diagrams for Privacy Compliance

von Alshareef, Hanaa
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) MODELSWARD 2021 (2021)

Incorporating Monitors in Reactive Synthesis Without Paying the Price

von Azzopardi, Shaun
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

von Karami, Farzane
Veröffentlicht in NordSec (25. : 2020 : Online) Secure IT systems (2021)

Runtime Verification Meets Controller Synthesis

von Azzopardi, Shaun
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Refining Privacy-Aware Data Flow Diagrams

von Alshareef, Hanaa
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

HMAC and “Secure Preferences”: Revisiting Chromium-Based Browsers Security

von Picazo-Sanchez, Pablo
Veröffentlicht in CANS (19. : 2020 : Online) Cryptology and network security (2020)

Reliable Smart Contracts

von Pace, Gordon J.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

On the Specification and Monitoring of Timed Normative Systems

von Azzopardi, Shaun
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Runtime Verification of Kotlin Coroutines

von Furian, Denis
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings

Veröffentlicht 2011

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification

von Gorostiaga, Felipe
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)