Blättern nach Person
![]() | Ebene hoch |
Keidel, Sven ; Helm, Dominik ; Roth, Tobias ; Mezini, Mira (2024)
A Modular Soundness Theory for the Blackboard Analysis Architecture.
33rd European Symposium on Programming (ESOP 2024). Luxembourg City, Luxembourg (06.04.2024 - 11.04.2024)
doi: 10.1007/978-3-031-57267-8_14
Konferenzveröffentlichung, Bibliographie
Breitfelder, Florian ; Roth, Tobias ; Baumgärtner, Lars ; Mezini, Mira (2023)
WasmA: A Static WebAssembly Analysis Framework for Everyone.
30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023). Taipa, Macao (21.-24.03.2023)
doi: 10.1109/SANER56733.2023.00085
Konferenzveröffentlichung, Bibliographie
Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2022)
CiFi: Versatile Analysis of Class and Field Immutability.
Software Engineering 2022. virtual Conference (21.-25.02.2022)
doi: 10.18420/se2022-ws-027
Konferenzveröffentlichung, Bibliographie
Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2021)
CiFi: Versatile Analysis of Class and Field Immutability.
36th IEEE/ACM International Conference on Automated Software Engineering (ASE). virtual Conference (15.-19.11.2021)
doi: 10.1109/ASE51524.2021.9678903
Konferenzveröffentlichung, Bibliographie