Papers
3
Total Citations
97
H-Index
3
About
No biography available yet.
Research Focus
Machine learning3 · 97 citations
Computer science3 · 97 citations
Mathematics1 · 86 citations
Hybrid system1 · 86 citations
Algorithm1 · 86 citations
Completeness (order theory)1 · 86 citations
Formal methods1 · 86 citations
Measure (data warehouse)1 · 86 citations
Conformance testing1 · 86 citations
Data mining1 · 86 citations
Code coverage1 · 86 citations
Operating system1 · 86 citations
Key Achievements
3
H-Index
3
Papers
97
Total Citations
32
Avg Citations/Paper
🏆 Most Cited Paper
Coverage-guided test generation for continuous and hybrid systems
86 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Verimag, Esslingen University of Applied Sciences
Top Papers
- 1Coverage-guided test generation for continuous and hybrid systems86 citations · 2009
- 2Randomized Simulation of Hybrid Systems For Circuit Validation.6 citations · 2006
- 3
Key Collaborators
Not generated yet