Luca de Alfaro

Luca de Alfaro

Professor, Computer Science and Engineering, UC Santa Cruz
在 alumni.stanford.edu 的电子邮件经过验证
被引用次数：12684
Data Science Game Theory System Verification
Rance Cleaveland

Rance Cleaveland

Department of Computer Science, University of Maryland
在 cs.umd.edu 的电子邮件经过验证
被引用次数：10537
Formal methods system modeling system verification software testing
Armando Tacchella

Armando Tacchella

Professor, Information Processing Systems, University of Genoa
在 unige.it 的电子邮件经过验证
被引用次数：6652
Artificial Intelligence Automated Reasoning System Verification
Kokichi FUTATSUGI

Kokichi FUTATSUGI

Professor of Computer Science, JAIST
在 jaist.ac.jp 的电子邮件经过验证
被引用次数：5644
Formal Methods Software Engineering System Verification
Fu SONG

Fu SONG

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of …
在 ios.ac.cn 的电子邮件经过验证
被引用次数：1613
model checking system verification program analysis computer security
David Safranek

David Safranek

assistant professor, Masaryk university, Faculty of informatics
在 safranek.cz 的电子邮件经过验证
被引用次数：1232
system verification systems biology parameter synthesis
Ajay Chhokra

Ajay Chhokra

Siemens Technology
在 siemens.com 的电子邮件经过验证
被引用次数：320
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
在 coep.ac.in 的电子邮件经过验证
被引用次数：273
System Verification Data Science and Machine Learning
saeid jamili

saeid jamili

PhD student at Sapienza University di Roma
被引用次数：99
Digital and Analog circuit design Digital signal processing System verification Machine learning
Enrique Sedano

Enrique Sedano

None
在 esedano.es 的电子邮件经过验证
被引用次数：78
hardware architecture microprocessor design system verification hardware description languages
1 - 10