Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Knor: reactive synthesis using Oink:
, In:
?
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ,
2
IntelliJML: a JML plugin for IntelliJ IDEA:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
Multi-core On-The-Fly Saturation:
, In:
?
2019 IEEE/CVF International Conference on Computer Vision (ICCV) ,
5
How Do Neural Networks See Depth in Single Images?:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
6
Presentation of the 9th Edition of the Model Checking Conte..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Attracting Tangles to Solve Parity Games:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
Oink: An Implementation and Evaluation of Modern Parity Gam..:
, In:
?
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software ,
12