Philippe Suter

Philippe Suter

Research Staff Member at IBM TJ Watson
Dirección de correo verificada de us.ibm.com
Citado por 2880
Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving
Shachar Itzhaky

Shachar Itzhaky

Tel Aviv University
Dirección de correo verificada de tau.ac.il
Citado por 1100
Programming Language Software Verification Software Synthesis Theorem Proving
Ivan Kuraj

Ivan Kuraj

MIT
Dirección de correo verificada de csail.mit.edu
Citado por 731
Programming Languages Distributed Systems Software Synthesis
Bowen Zheng

Bowen Zheng

Pony.AI
Dirección de correo verificada de ucr.edu
Citado por 546
Autonomous Driving V2X Cyber-Physical Systems Design Automation Software Synthesis
Chung-Ching Shen

Chung-Ching Shen

University of Maryland
Dirección de correo verificada de umd.edu
Citado por 453
embedded signal processing wireless sensor networks software synthesis embedded education
Matthew Kracht

Matthew Kracht

Virginia Polytechnic and State University
Dirección de correo verificada de vt.edu
Citado por 24
Software verification Software synthesis Formal Methods Model-based Design
Mario Frank

Mario Frank

Research Associate (PostDoc) in Software Engieering, University of Potsdam
Dirección de correo verificada de uni-potsdam.de
Citado por 17
formal verification software synthesis automated theorem proving operating systems