Jyotirmoy Deshmukh and Allen Emerson - Free people check

(1 - 9 from 9

)

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

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

Jyotirmoy Deshmukh and Allen Emerson Free People Check