?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Theta: Abstraction Based Techniques for Verifying Concurren..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
3
Model-Based Testing of Asynchronously Communicating Distrib..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
EmergenTheta: Verification Beyond Abstraction Refinement (C..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
9
Configurable Model-Based Test Generation for Distributed Co..:
, In:
?
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering ,
10
C for yourself : comparison of front-end techniques for ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
Theta: portfolio of CEGAR-based analyses with dynamic algor..:
, In:
?
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
12
C for Yourself: Comparison of Front-End Techniques for Form..:
, In:
?
13
Formal Methods: Foundations and Applications: 25th Brazilia..
Lecture Notes in Computer Science, 13768
?
Theory and Engineering of Dependable Computer Systems and Networks; Advances in Intelligent Systems and Computing ,
14
Contract-Based Specification and Test Generation for Adapti..:
, In:
?
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
15