?
Networked Systems; Lecture Notes in Computer Science ,
1
NetSheriff: Sheltering Software-Defined Networks from Rogue..:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
2
Testing for Race Conditions in Distributed Systems via SMT ..:
, In:
?
2019 38th Symposium on Reliable Distributed Systems (SRDS) ,
3
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds:
, In:
?
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ,
4
Production-guided concurrency debugging:
, In:
?
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
5
Concurrency debugging with differential schedule projection:
, In:
?
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems ,
6
Towards effective and efficient search-based deterministic ..:
, In:
?
Proceedings of the 5th USENIX Conference on Hot Topics in Parallelism ,
7
Property-driven cooperative logging for concurrency bugs re..:
, In:
?
Applications of Evolutionary Computation; Lecture Notes in Computer Science ,
8
Towards Physical Plausibility in Neuroevolution Systems:
, In:
?
Lecture Notes in Computer Science; Genetic Programming ,
10
Grammar-Based Evolution of Polyominoes:
, In:
?
Proceedings of the I-ESA Conferences; Enterprise Interoperability X ,
11
Normalized City Analytics Based on a Semantic Interoperabil..:
, In:
?
Advances in Service and Industrial Robotics; Mechanisms and Machine Science ,
12
Design of Wearable Prostheses: A New Approach:
, In:
?
2023 IEEE 9th World Forum on Internet of Things (WF-IoT) ,
13
A Low-Cost Solution for Assets Location Tracking Based on L..:
, In:
?
Lecture Notes in Computer Science; Genetic Programming ,
14
Context Matters: Adaptive Mutation for Grammars:
, In:
?
Proceedings of the Companion Conference on Genetic and Evolutionary Computation ,
15