Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Theta: Abstraction Based Techniques for Verifying Concurren..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
EmergenTheta: Verification Beyond Abstraction Refinement (C..:
, In:
?
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering ,
7
C for yourself : comparison of front-end techniques for ..:
, In:
?
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
8
C for Yourself: Comparison of Front-End Techniques for Form..:
, In:
?
9
Formal Methods: Foundations and Applications: 25th Brazilia..
Lecture Notes in Computer Science, 13768
?
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
10
Model checking as a service : towards pragmatic hidden f..:
, In:
?
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings ,
15