Luca de Alfaro

Luca de Alfaro

Professor, Computer Science and Engineering, UC Santa Cruz
Verified email at alumni.stanford.edu
Cited by 12830
Data Science Game Theory System Verification
Rance Cleaveland

Rance Cleaveland

Department of Computer Science, University of Maryland
Verified email at cs.umd.edu
Cited by 10603
Formal methods system modeling system verification software testing
Armando Tacchella

Armando Tacchella

Professor, Information Processing Systems, University of Genoa
Verified email at unige.it
Cited by 6748
Artificial Intelligence Automated Reasoning System Verification
Kokichi FUTATSUGI

Kokichi FUTATSUGI

Professor of Computer Science, JAIST
Verified email at jaist.ac.jp
Cited by 5670
Formal Methods Software Engineering System Verification
Fu SONG

Fu SONG

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of …
Verified email at ios.ac.cn
Cited by 1714
model checking system verification program analysis computer security
David Safranek

David Safranek

assistant professor, Masaryk university, Faculty of informatics
Verified email at safranek.cz
Cited by 1257
system verification systems biology parameter synthesis
Ajay Chhokra

Ajay Chhokra

Siemens Technology
Verified email at siemens.com
Cited by 329
Cyber Physical Systems Fault Diagnosis System Verification Fog & Edge Computing Resource Scheduling
Jagannath Aghav

Jagannath Aghav

Professor, Computer Engineering and IT, College of Engineering Pune India
Verified email at coep.ac.in
Cited by 280
System Verification Data Science and Machine Learning
saeid jamili

saeid jamili

PhD student at Sapienza University di Roma
Cited by 102
Digital and Analog circuit design Digital signal processing System verification Machine learning
Enrique Sedano

Enrique Sedano

None
Verified email at esedano.es
Cited by 79
hardware architecture microprocessor design system verification hardware description languages
1 - 10