Jyotirmoy Deshmukh and Allen - Free people check

(1 - 11 from 11

)

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.

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 ...

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.

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 ...