Profily

Luca de Alfaro

Professor, Computer Science and Engineering, UC Santa Cruz

E-mailová adresa ověřena na: alumni.stanford.edu

Počet citací tohoto článku: 13082

Data Science Game Theory System Verification

Rance Cleaveland

Department of Computer Science, University of Maryland

E-mailová adresa ověřena na: cs.umd.edu

Počet citací tohoto článku: 10760

Formal methods system modeling system verification software testing

Armando Tacchella

Professor, Information Processing Systems, University of Genoa

E-mailová adresa ověřena na: unige.it

Počet citací tohoto článku: 6916

Artificial Intelligence Automated Reasoning System Verification

Kokichi FUTATSUGI

Professor of Computer Science, JAIST

E-mailová adresa ověřena na: jaist.ac.jp

Počet citací tohoto článku: 5684

Formal Methods Software Engineering System Verification

Fu SONG

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of …

E-mailová adresa ověřena na: ios.ac.cn

Počet citací tohoto článku: 1918

model checking system verification program analysis computer security

David Safranek

assistant professor, Masaryk university, Faculty of informatics

E-mailová adresa ověřena na: safranek.cz

Počet citací tohoto článku: 1357

system verification systems biology parameter synthesis

Ajay Chhokra

Siemens Technology

E-mailová adresa ověřena na: siemens.com

Počet citací tohoto článku: 363

Cyber Physical Systems Fault Diagnosis System Verification Fog & Edge Computing Resource Scheduling

Jagannath Aghav

Professor, Computer Engineering and IT, College of Engineering Pune India

E-mailová adresa ověřena na: coep.ac.in

Počet citací tohoto článku: 296

System Verification Data Science and Machine Learning

saeid jamili

PhD student at Sapienza University di Roma

Počet citací tohoto článku: 121

Digital and Analog circuit design Digital signal processing System verification Machine learning

Reza Iraji

University of Colorado Boulder

E-mailová adresa ověřena na: colorado.edu

Počet citací tohoto článku: 117

System Verification Cyber-physical systems Hybrid systems Robotics Artificial Intelligence

1 - 10