Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games

von Kamburjan, Eduard
Veröffentlicht in FMTea (4. : 2021 : Online) Formal methods teaching (2021)

Runtime Enforcement Using Knowledge Bases

von Kamburjan, Eduard
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Who Carries the Burden of Modularity? Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification

von Gurov, Dilian
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data

von Kamburjan, Eduard
Veröffentlicht in ESWC (19. : 2022 : Chersonēsos) The semantic web (2022)

Designing Distributed Control with Hybrid Active Objects

von Kamburjan, Eduard
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

A Notion of Equivalence for Refactorings with Abstract Execution

von Abusdal, Ole Jørgen
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

von Schlatte, Rudolf
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Programming and Debugging with Semantically Lifted States

von Kamburjan, Eduard
Veröffentlicht in ESWC (18. : 2021 : Online) The semantic web (2021)

Active object languages: current research trends

Veröffentlicht 2024

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins

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

Digital Twin Reconfiguration Using Asset Models

von Kamburjan, Eduard
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)