Search for persons
X
?
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science ,
4
The Role of Abstraction in Model Checking:
, In:
?
2022 IEEE Globecom Workshops (GC Wkshps) ,
7
Validation of NFV management and orchestration on Kubernete..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
8
Trace Analysis Using an Event-Driven Interval Temporal Logi:
, In:
?
2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring) ,
9
Dynamic Spectrum Management for European-Wide Research Netw..:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
11
Teaching Formal Methods: From Software in the Small to Soft..:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
13