Artykuły udostępnione publicznie: - Volker StolzWięcej informacji
Niedostępne w żadnym miejscu: 2
A notion of equivalence for refactorings with abstract execution
OJ Abusdal, E Kamburjan, V Ka I. Pun, V Stolz
International Symposium on Leveraging Applications of Formal Methods, 259-280, 2022
Upoważnienia: Research Council of Norway
Enforced Dependencies for Active Objects
VKI Pun, V Stolz
Active Object Languages: Current Research Trends, 359-374, 2024
Upoważnienia: Research Council of Norway
Dostępne w jakimś miejscu: 15
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
Upoważnienia: Government of Italy
How useful are existing monitoring languages for securing Android apps?
S Arzt, K Falzon, A Follner, S Rasthofer, E Bodden, V Stolz
Software Engineering 2013-Workshopband, 107-122, 2013
Upoważnienia: German Research Foundation
Information flow analysis for Go
E Bodden, KI Pun, M Steffen, V Stolz, AK Wickert
International Symposium on Leveraging Applications of Formal Methods, 431-445, 2016
Upoważnienia: European Commission
Mc/dc test cases generation based on bdds
F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz
International Symposium on Dependable Software Engineering: Theories, Tools …, 2021
Upoważnienia: Government of Spain
Coverage analysis of net inscriptions in coloured Petri net models
F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz
International Conference on Verification and Evaluation of Computer and …, 2020
Upoważnienia: European Commission
Erlang-style error recovery for concurrent objects with cooperative scheduling
G Göri, EB Johnsen, R Schlatte, V Stolz
International Symposium On Leveraging Applications of Formal Methods …, 2014
Upoważnienia: European Commission
Multi-objective Search for Model-based Testing
R Wang, C Artho, LM Kristensen, V Stolz
2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020
Upoważnienia: European Commission
Automated transformations from UML behavior models to contracts
D Li, XS Li, ZM Liu, V Stolz
Science China Information Sciences 57, 1-17, 2014
Upoważnienia: National Natural Science Foundation of China
Fault model design space for cooperative concurrency
I Lanese, M Lienhardt, M Bravetti, EB Johnsen, R Schlatte, V Stolz, ...
International Symposium On Leveraging Applications of Formal Methods …, 2014
Upoważnienia: European Commission
Stream-based dynamic data race detection
S Jakšić, D Li, KI Pun, V Stolz
Norsk IKT-konferanse for forskning og utdanning, 2018
Upoważnienia: European Commission
Leveraging DTrace for runtime verification
CM Rosenberg, M Steffen, V Stolz
International Conference on Runtime Verification, 318-332, 2016
Upoważnienia: European Commission
COST action IC1402 runtime verification beyond monitoring
C Colombo, Y Falcone, M Leucker, G Reger, C Sanchez, G Schneider, ...
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
Upoważnienia: European Commission
Coverage visualization and analysis of net inscriptions in coloured Petri net models
F Ahishakiye, JIR Jarabo, LM Kristensen, V Stolz
Innovations in Systems and Software Engineering 20 (1), 17-30, 2024
Upoważnienia: Science Foundation Ireland, European Commission, Government of Spain
Runtime Verification of Timed Petri Nets
JIR Jarabo, E Gómez-Martínez, H Kallwies, M Haustein, M Leucker, ...
CEUR Workshop Proceedings 3730, 122-131, 2024
Upoważnienia: Government of Spain
Runtime Verification of Timed Petri Nets
JI Requeno Jarabo, E Gómez-Martínez, H Kallwies, M Haustein, ...
Upoważnienia: Government of Spain
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy