Jyotirmoy Deshmukh - Network Profiles - Free people check at Yasni.com

(1 - 21 from 21

)

ETAPS Complangwww.complang.tuwien.ac.at/etaps06/Programme/progTACAS.html

www.complang.tuwien.ac.at

... room: EI 7): Automatic Verification of Parameterized Data Structures: Jyotirmoy Deshmukh, E. Allen Emerson, and Prateek Gupta (The Univ.

Facebook: CS Colloquium - Jyotirmoy Deshmukh (Toyota) - Facebook

mesa/README.md at main · NASA-SW-VnV/mesa - GitHub

github.com

In: Jyotirmoy Deshmukh and Dejan Nickovic (eds) Runtime Verification. RV Lecture Notes in Computer Science, vol Springer, Cham. › NASA-SW-VnV › mesa › blob › R...

Jyotirmoy Deshmukh - CatalyzeX

www.catalyzex.com

› author

jyotirmoy deshmukh: 1 Books available | chapters.indigo.ca

www.chapters.indigo.ca

› contributor › author › jy...

Jyotirmoy Deshmukh | Papers With Code

paperswithcode.com

› author › jyotirmoy-deshm...

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

Kapil Vaswani at Microsoft Research

www.microsoft.com

Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani. Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper ... › kapilv › publications

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

Author: Jyotirmoy Deshmukh

easychair.org

Author: Jyotirmoy Deshmukh. This page shows all presentations of this author published in EasyChair Smart Slide. Synthesizing safe AI-based controllers for ...

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.

Rupak Majumdar | UCLA Samueli School Of Engineering

samueli.ucla.edu

Jyotirmoy Deshmukh, Xiaoqing Jin, Rupak Majumdar, and Vinayak Prabhu. Parameter Optimization in Control Software using Statistical Fault Localization ...

FMCAD Final Program

www.cs.utexas.edu

Jyotirmoy Deshmukh and E . Allen Emerson. Verification of Recursive Methods on Tree-like Data Structures ...

Sriram Sankaranarayanan: Publications

theory.stanford.edu

[DES09] Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, ASE 2009, to appear.

E. Allen Emerson - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Name School Year Descendants; Nina Amla: University of Texas at Austin: 2001: Paul Attie: University of Texas at Austin: 1995: Jyotirmoy Deshmukh: University of Texas ...

ASE Conferences Best Papers

ase-conferences.org

... Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and their Clients IEEE Explore ...

FMCAD 2009

fmv.jku.at

Jyotirmoy Deshmukh and E. Allen Emerson. Verification of Recursive Methods on Tree-like Data Structures. Saqib Sohail and Fabio Somenzi. Safety First: A ...

FMCAD Final Program

fmv.jku.at

Software Model Checking via Large-Block Encoding. Jyotirmoy Deshmukh and E. Allen Emerson. Verification of Recursive Methods on Tree-like Data Structures ...

소프트웨어 이야기 :: ASE (Automated Software Engineering) 에 발표될 논문들

sestory.tistory.com

Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan * Clone-aware Configuration Management Tung Nguyen, Hoan Nguyen, ...

Sriram Sankaranarayanan: Publications

home.cs.colorado.edu

Jyotirmoy Deshmukh, E. Allen Emerson and Sriram Sankaranarayanan, Symbolic Modular Deadlock Analysis , Journal of Automated Software ...

All web results to the name "Jyotirmoy Deshmukh"

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

Network Profiles Jyotirmoy Deshmukh