1
0
0
(1 - 24 from 25
)
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 ...
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
Verification, Model Checking, and Abstract Interpretation: 12th
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011,...
EPTCS 73: Verification of Infinite-State Systems
arxiv.org
Robby, Kansas State University, USA. Neha Rungta, NASA Ames Research Center, USA. Tomas Vojnar, Brno University of Technology, Czech ...
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...
Neha Rungta - YouTube
www.youtube.com
ICSE TB: Modeling and Verification of Multi-agent Systems - Duration: 3 minutes, 6 seconds views; 4 years ago. This item has been hidden.
Google Groups: Summer school on formal verification
: ... and Composition * Neha Rungta and Peter Mehlitz (NASA Ames): Software
Google Groups: [women in cs] Re: Club t-shirts
: Neha Rungta ... women-in-cs The original design for the front ... Neha Rungta Research Assistant Verification and Validation Lab Brigham ...
Google Groups: [women in cs] re: t-shirt update
: neha rungta ... women-in-cs its the same size chart for ... neha rungta research assistant verification and validation lab brigham young ...
Google Groups: [women in cs] t-shirt
: neha rungta ... women-in-cs hopefully soon. we have ... neha rungta research assistant verification and validation lab brigham young ...
Neha Rungta - Citations Google Scholar
scholar.google.com
Neha Rungta. Amazon Web Services. Adresse e-mail validée de amazon.com. SecurityCloud ServicesSoftware verificationprogram analysis. ArticlesCitée par ...
Neha Rungta - Google Académico
scholar.google.pt
Amazon Web Services - citações - Security - Cloud Services - Software verification - program analysis
Neha Rungta - Google Scholar
scholar.google.com
Amazon Web Services - Cited by - Security - Cloud Services - Software verification - program analysis
Neha Rungta | USENIX
www.usenix.org
Dr. Neha Rungta is a Principal Engineer in the Automated Reasoning Group with Amazon Web Services (AWS) working on formal verification techniques for ...
A synergistic and extensible framework for multi-agent system...
www.prismmodelchecker.org
[HRRS13] Josie Hunter, Franco Raimondi, Neha Rungta and Richard Stocker. A synergistic and extensible framework for multi-agent system verification. In Proc ...
Neha Rungta - Google Scholar citāti
scholar.google.lv
Neha Rungta. NASA Ames Research Center. Software verification, program analysis, Symbolic Execution, Model Checking. Verificēta e-pasta adrese: nasa.gov.
Neha Rungta - Google विद्वान उद्धरण
scholar.google.co.in
Neha Rungta. NASA Ames Research Center. Software verification, program analysis, Symbolic Execution, Model Checking. nasa.gov पर सत्यापित ईमेल.
Neha Rungta - Google 学术搜索
scholar.google.it
Amazon Web Services - 引用次数:1,654 次 - Security - Cloud Services - Software verification - program analysis
Louvain Verification Lab Main/Publications Bibtex Index
lvl.info.ucl.ac.be
... PUBLISHER = {AAAI}, EDITOR = {Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass }, } @INPROCEEDINGS{lvl , ...
Louvain Verification Lab Publications/State Event Models for the...
lvl.info.ucl.ac.be
... Verification in Human-Machine Systems; Publisher: AAAI; Editor: Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass; Year:
Ensuring Aviation Safety: Verification of Interactions between...
srg.doc.ic.ac.uk
Research at Software Reliability Group
IOS Press Ebooks - From Raw Data to Agent Perceptions for Simulation,...
ebooks.iospress.nl
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Authors. Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta.
Poster Session : PPoPP 2011
ppopp11.ac.uma.es
Symbolically Modeling Concurrent MCAPI Executions, Topher Fischer, Eric Mercer and Neha Rungta; Automatic Formal Verification of MPI-Based Parallel Programs, Stephen Siegel
All web results to the name "Neha Rungta"
Related search requests for Neha Rungta
Franco Raimondi Willem Visser Rachel Weinstein | Ellen Bass Anita Borg |
People Forename "Neha" (3156) Name "Rungta" (151) |
sorted by relevance / date