Neha Rungta

	Mercer Birmingham Ames

	JPF University Software Verification Workshop Corina Formal PathFinder Model Checking Symbolic Execution Amazon Web

Images of Neha Rungta

(1 - 9 from 9 )

News

Aparajita Tumi Movie Review {3.5/5}: Critic Review of Aparajita Tumi...

timesofindia.indiatimes.com

Aparajita Tumi Movie Review: Critics Rating: 3.5 stars, click to give your rating/review,The film’s languid pace might work for some but for the restless...

wn.com

Colloquium - Dr. Neha Rungta | Announce | University of...

newsroom.unl.edu

Dr. Neha Rungta, a research scientist at the NASA Ames Research Center located in California, will be speaking on Tuesday, November 10.

Neha Rungta: Formal Verification at Amazon Scale, Amazon Web ...https: fseconference.org/.../fse industry-formal-verification-at-amazon-sc...

2018.fseconference.org

The FSE Industrial Track provides a venue for outstanding applied research in software engineering. Industrial track submissions are expected to have a ...

Telephone & Addresses

Neha Rungta, Birmingham, Colony Park Dr

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

Network Profiles

(1 - 4 from 20

–show all

)

Facebook: Neha Rungta

LinkedIn: Neha Rungta - India | LinkedIn

View Neha Rungta's (India) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Neha Rungta discover inside

Business Profiles

Just a moment...

www.zoominfo.com

View Neha Rungta's business profile at Kopai Paar and see work history, affiliations and more.

Private Homepages

Neha Rungta: Little Endian in the Big City

rungta.blogspot.com

I have a new webpage -- finally!!! Everything you ever wanted to know about me and more can be found in Neha Rungta's Official webpage .

The "Official" Neha Rungta Homepageneharungta.com/

neharungta.com

Welcome. A fourth year PhD candidate at Brigham Young University in the Computer Science department. Graduated with my bachelors magna cum laude in ...

The "Official" Neha Rungta Homepage

www.neharungta.com

Awards Scholarships. Google Anita Borg Memorial Scholarship Recipient. Google Anita Borg Memorial Scholarship Finalist. Brigham Young University

Employees

Byron Cook - Pointers to public information on Amazon Automated ...www0.cs.ucl.ac.uk/staff/b.cook/ARG.html

www0.cs.ucl.ac.uk

... AWS uses automated reasoning to help you achieve security at scale; Video: Neha Rungta discusses constraint-based reasoning tools in AWS Config Rules.

Celebrities & Politicians

IMDB Filmography: Neha Rungta

Producer, Antaheen

List of Neha Rungta & Kamalinee Mukherjee movies together

www.gomolo.com

List of movies Neha Rungta done with Kamalinee Mukherjee together. Find all Kamalinee Mukherjee, Neha Rungta movies.

Projects

JavaPathFinder / List javapathfinder-devel Archives

sourceforge.net

From: Neha Rungta <neharungta@gm...> :51:55. Attachments: Message as HTML. It sure is easier. Thanks Neha On , Willem Visser ...

Books & Literature

(1 - 4 from 13

–show all

)

bokus.com: Neha Rungta - Böcker | Bokus bokhandel

Köp böcker av Neha Rungta hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris!

Formal Verification and Modeling in Human-Machine Systems

www.aaai.org

AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.

Hardware and Software: Verification and Testing: 4th International...

books.google.com.ua

23 Neha Rungta and Eric G. Mercer A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata

Model Checking Software: 18th International SPIN Workshop, Snowbird,...

books.google.de

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in...

Scientific Publications

dblp: Neha Rungta

dblp.uni-trier.de

List of computer science publications by Neha Rungta

Neha Rungta - dblp

dblp.org

List of computer science publications by Neha Rungta Corina S. Pasareanu, Neha Rungta: Symbolic PathFinder: symbolic execution of Java bytecode.

Publications

A Meta Heuristic for Effectively Detecting Concurrency Errors - Springer

link.springer.com

A Meta Heuristic for Effectively Detecting Concurrency Errors. Authors; Authors and affiliations. Neha Rungta; Eric G. Mercer. Neha Rungta. 1. Eric G. Mercer. 1.

Regression Verification Using Impact Summaries | SpringerLink

link.springer.com

Regression verification techniques are used to prove equivalence of closely related program versions. Existing regression verification techniques leverage the...