Personensuche
X
?
Graph Transformation; Lecture Notes in Computer Science ,
1
Checking Transaction Isolation Violations Using Graph Queri..:
, In:
?
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings ,
2
GRAIL: Checking Transaction Isolation Violations with Graph..:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
3
GRAIL: Checking Transaction Isolation Violations with Graph..:
, In:
?
2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
5
Liveness Checking of the HotStuff Protocol Family:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ,
6
Evolutionary Approach for Concurrency Testing of Ripple Blo..:
, In:
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
8
Probabilistic Concurrency Testing for Weak Memory Programs:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
15