Subash Shankar

	Bronx Fremont Lexington Minneapolis Pittsburgh Richmond Yonkers Minnesota New york

	Research Honeywell Student University of Minnesota Computer Science Department Honeywell Systems Research Center

Images of Subash Shankar

(1 - 2 from 2 )

News

(1 - 4 from 5

–show all

)

CST Colloquium: Static Analysis and Verification of C ProgramsFaculty...

facultycommons.citytech.cuny.edu

Date: September 17th, at 12:00 pm – 1:00 pm Location: Namm 923 Speaker: Subash Shankar Abstract: Department of Computer Science, Hunter College…

Static Analysis and Verification of C Programs

openlab.citytech.cuny.edu

Static Analysis and Verification of C Programs Subash Shankar Department of Computer Science, Hunter College, City University of New York. Recent years have …

SPIN Programme

www.spin2016.info

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration; Subash Shankar and Gilbert Pajela. A Tool Integrating Model Checking Into a C ...

SVERTS List of participants

www-verimag.imag.fr

... University of Nijmegen, The Netherlands; Angelo Morzenti , Politecnico di Milano, Italie; Subash Shankar, City University of New York, USA ...

Telephone & Addresses

(1 - 4 from 8

–show all

)

Subash Shankar, 51, Bronx, US, Johnson Ave, Apt 7D

View Subash's social profiles and photos on Facebook, MySpace, and +40 Networks.

Subash Shankar, 51, Fremont, US, Walnut Ave, Apt E105

View Subash's social profiles and photos on Facebook, MySpace, and +40 Networks.

Subash Shankar, 51, Minneapolis, US, S 6th St, Apt C508

View Subash's social profiles and photos on Facebook, MySpace, and +40 Networks.

Subash Shankar, 51, Pittsburgh, US, Murray Ave, Apt 711

View Subash's social profiles and photos on Facebook, MySpace, and +40 Networks.

Business Profiles

Shankar Subash - banking - ing vysya bank

www.siliconindia.com

Shankar Subash 's profile on SiliconIndia. Join SiliconIndia and get connected with Shankar Subash and others. SiliconIndia keeps you updated with the latest...

Employees

Subash Shankar - Hunter College - RateMyProfessors.com

www.ratemyprofessors.com

See ratings and read comments about professor Subash Shankar from Hunter College in NY.

Virginie Wiels | ONERA

www.onera.fr

Arsène Sabas and Subash Shankar and Virginie Wiels and Michel Boyer. Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types.

Education

TCFFL Rosters

www-cs-students.stanford.edu

Minnesota Hi-Tops. Owner, Subash Shankar, Email, subash.shankar@hunter. cuny.edu, Bank, $ Status, Player, Position, Contract, Salary, Salary Increase .

Heritage

Subash Shankar - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of ...

James Slagle - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Subash Shankar: University of Minnesota-Minneapolis: 1998: Elizabeth Sisley: University of Minnesota-Minneapolis: 1999: According to our current on-line database ...

Books & Literature

(1 - 4 from 17

–show all

)

Subash Shankar - Authorea

www.authorea.com

Subash Shankar, Affiliation: Hunter College

www.db.informatik.uni-bremen.de

Search other Bibliographies. dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

Formal Methods and Software Engineering: 4th International Conference...

books.google.com.ua

This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM The conference was held in Sha- hai,...

Formal Methods in Computer-Aided Design: Second International...

books.google.de

This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto,...

Scientific Publications

dblp: International Conference on Formal Methods and Models for...

dblp.uni-trier.de

Bibliographic content of International Conference on Formal Methods and Models for Co-Design 2008

dblp: Serigne Geingue

dblp.uni-trier.de

List of computer science publications by Serigne Geingue

dblp: Subash Shankar

dblp.uni-trier.de

List of computer science publications by Subash Shankar

dblp: Virginie Wiels

dblp.uni-trier.de

List of computer science publications by Virginie Wiels

Publications

Formal Semantics of UML with Real-Time Constructs | SpringerLink

link.springer.com

This paper describes a formal framework for expressing the semantics of UML augmented with real-time constraints. Supported parts of UML include concurrent...

Model Checking VHDL with CV | SpringerLink

link.springer.com

This article describes a prototype implementation of a symbolic model checker for a subset of VHDL. The model checker applies a number of techniques to reduce...

Video & Audio

Subash Shankar - YouTube

www.youtube.com

Teile deine Videos mit Freunden, Verwandten oder der ganzen Welt

YouTube

www.youtube.com

Auf YouTube findest du großartige Videos und erstklassige Musik. Außerdem kannst du eigene Inhalte hochladen und mit Freunden oder mit der ganzen Welt teilen.

Reports & Statements

(1 - 4 from 103

–show all

)

Google Groups: All Disrespected Team

: Subash Shankar sshankar@myria rec sport basketball pro rec sport basketball ... Subash Shankar Computer Science Department University of Minnesota ...

Google Groups: BYU

: And what percentage of people abide by this restriction? --- Subash Shankar Honeywell Systems & Research Center voice: (612) US Snail:

Google Groups: First Century Help!

: Subash Shankar sshankar@tera rec bicycles misc In article ... Subash Shankar Computer Science Department University of Minnesota .edu.

ENTERTAINMENT: Girls' rock band rises in Sikkim – Phynyx flies ...

himalnews.wordpress.com

Teachers Yabesh Benjamin, Sion Simick, Norbu Sherpa and Subash Shankar, ably mentored the students to become the first all-girl rock band of Sikkim and to win the competition at Namchi. The band is managed by ...