Jyotirmoy Deshmukh and Xiaoqing Jin - Free people check

(1 - 13 from 16

)

BibTeX - People @ EECS at UC Berkeley

people.eecs.berkeley.edu

... author = {Jyotirmoy Deshmukh and Alexandre Donz{\'{e}} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia}, title = {Robust ... › pubs › deshmukh-rv15

Publications of Rupak Majumdar - People at MPI-SWS

people.mpi-sws.org

Jyotirmoy Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak Prabhu. Testing Cyber-Physical Systems through Bayesian Optimization, EMSOFT › ~rupak › publications

Sanjit Seshia's Publications mining requirements from closed-loop...

people.eecs.berkeley.edu

Mining Requirements from Closed-Loop Control Models. Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh, and Sanjit A. Seshia. Mining Requirements from …

Sanjit Seshia's Publications robust online monitoring of signal...

people.eecs.berkeley.edu

Robust Online Monitoring of Signal Temporal Logic. Jyotirmoy Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, and Sanjit A. Seshia.

Testing Cyber-Physical Systems through Bayesian Optimization

ur.booksc.me

Testing Cyber-Physical Systems through Bayesian Optimization JYOTIRMOY DESHMUKH, Toyota Technical Center MARKO HORVAT, MPI-SWS XIAOQING JIN, ... › book

All web results to the name "Jyotirmoy Deshmukh"

Hyperproperties of real-valued signals (bibtex) - Taylor T ...

www.taylortjohnson.com

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE ... › bibtexbrowser

Luan Nguyen : University of Dayton, Ohio

udayton.edu

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, and Taylor T. Johnson, “Hyperproperties of Real-Valued Signals,” 15th ACM-IEEE ... › artssciences › computerscience

SIGBED EMSOFT Best Paper Award

sigbed.org

Sep 21, — ... Paulo Tabuada, Jyotirmoy Deshmukh, Xiaoqing Jin, and James Kapinski; 2015: A scalable algebraic method to infer quadratic invariants of ... › › emsoft-best-paper-aw...

Toyota: James Kapinski, Jyotirmoy Deshmukh, - ppt video online...

slideplayer.com

Ongoing Challenges in Applying V&V Technologies to Automotive Engine Control Toyota: James Kapinski, Jyotirmoy Deshmukh, Xiaoqing Jin, Hisahiro Ito, Ken.

Runtime Verification (RV'15)

rv2015.conf.tuwien.ac.at

Jyotirmoy Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal and Sanjit A. Seshia, Robust Online Monitoring of Signal Temporal ...

EPTCS 232: Verification and Validation of Cyber-Physical Systems

cgi.cse.unsw.edu.au

[2] Jyotirmoy Deshmukh, Xiaoqing Jin, James Kapinski & Oded Maler (2015): Stochastic local search for falsification of hybrid systems. In: Proc.

ESWEEK | Best Paper Awards | Embedded Systems Week

esweek.org

... Automatically Identifying Non-Convergent Behaviors in Black Box System Models. Ayca Balkan, Paulo Tabuada, Jyotirmoy Deshmukh, Xiaoqing Jin, & James ...

Program - HSCC 2013

2013.hscc-conference.org

[2:25] Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh and Sanjit Seshia: “Mining Requirements from Closed-loop Control Models”. [2:50] Tool Teaser: Zhi ...

Related search requests for Jyotirmoy Deshmukh

Rajeev Alur
Jian Chen
Alessandro D'innocenzo

Arun Raghavan
Thao Dang
Andrew Hung

Alexandre Donzé
Sela Mador-Haim
Mohamed Djemai

Person "Deshmukh" (7)
Forename "Jyotirmoy" (85)
Name "Deshmukh" (1931)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jyotirmoy Deshmukh and Xiaoqing Jin Free People Check