Get my own profile
Public access
View all36 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Meeko OishiProfessor, Electrical and Computer Engineering, University of New MexicoVerified email at unm.edu
Stefano Di CairanoDeputy Director, Distinguished Research Scientist, Mitsubishi Electric ResearchVerified email at ieee.org
Baisravan HomChaudhuriAssistant ProfessorVerified email at lamar.edu
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Ankush ChakrabartyPrincipal Research Scientist at Mitsubishi Electric Research Laboratories (MERL)Verified email at merl.com
Avishai WeissSenior Principal Research Scientist, Mitsubishi Electric Research LaboratoriesVerified email at merl.com
Vignesh SivaramakrishnanNational Research Council, Air Force Research LaboratoryVerified email at afresearchlab.com
Sleiman SafaouiAssociate, ExponentVerified email at exponent.com
Franck DjeumouAssistant Professor, RPIVerified email at utexas.edu
Adam J ThorpeUniversity of Texas at AustinVerified email at austin.utexas.edu
Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
Nathalie CauchiPhD Student, University of OxfordVerified email at cs.ox.ac.uk
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Anne RemkeUniversität MünsterVerified email at wwu.de
Behçet AçıkmeşeUniversity of Washington, SeattleVerified email at uw.edu
Rafael FierroElectrical and Computer Engineering, University on New MexicoVerified email at unm.edu
Rien QuirynenStack AVVerified email at merl.com
Eric GoubaultEcole PolytechniqueVerified email at cea.fr
Sylvie PutotLIX, Ecole PolytechniqueVerified email at polytechnique.edu
Follow
Abraham P. Vinod
Principal Research Scientist, Mitsubishi Electric Research Laboratories
Verified email at merl.com - Homepage