Search for persons
X
?
2024 IEEE International Conference on Consumer Electronics (ICCE) ,
1
Nursing Home Patient Monitoring System for Improved Healthc..:
, In:
?
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
FUDGE: fuzz driver generation at scale:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming ,
3
Practical SMT-based type error localization:
, In:
?
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design ,
4
Leveraging Linear and Mixed Integer Programming for SMT:
, In:
?
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications ,
5
Finding minimum type error sources:
, In:
?
2014 Formal Methods in Computer-Aided Design (FMCAD) ,
6
A tour of CVC4: How it works, and how to use it:
, In:
?
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design ,
7
A Tour of CVC4 : How it works, and how to use it:
, In:
?
Proceedings of the International Conference on Mobile Technology, Applications, and Systems ,
8
Loss performance evaluation in heterogeneous hierarchical n..:
, In:
?
2023 18th Annual System of Systems Engineering Conference (SoSe) ,
9
Mapping of Open Architectures Applied to Military Systems:
, In:
?
2023 IEEE Pulsed Power Conference (PPC) ,
10
Demonstration of a High Repetition Rate Solid-State Switche..:
, In:
?
2023 IEEE Pulsed Power Conference (PPC) ,
11
Impedance Characterization of a Spiral Generator with a Fre..:
, In:
?
Advances in Game-Based Learning; Esports Research and Its Integration in Education ,
13
The Implementation of an Academic and Applied Esports Progr..:
, In:
?
Serious Games; Lecture Notes in Computer Science ,
14
A Review of Indie Games for Serious Mental Health Game Desi..:
, In:
?
Serious Games; Lecture Notes in Computer Science ,
15