Wolfgang Grieskamp

1. Towards Federated Learning at Scale: System Design
   2019/02/04 by Keith Bonawitz, Hubert Eichner, Bonawitz, Keith +26 · 2 voices · 200 citations
   Computer Science · #Privacy-Preserving Technologies in Data #Mobile Crowdsensing and Crowdsourcing #Advanced Graph Neural Networks
2. An orchestrated survey of methodologies for automated software test case generation
   2013/04/18 by Saswat Anand, Edmund Burke, Edmund K. Burke +11 · 26 citations
   Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software Engineering Research
3. Reasoning About Vectors using an SMT Theory of Sequences
   2022/05/17 by Ying Sheng, Sheng, Ying, Andres Nötzli +17 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems