Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
A Prototype for Data Race Detection in CSeq 3: (Competition..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
2
On Formal Choreographic Modelling: A Case Study in EU Busin..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
Choreographic Development of Message-Passing Applications: ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science ,
5
On Testing Message-Passing Components:
, In:
?
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications; Lecture Notes in Computer Science ,
10