1
0
0
News
CAV : 25th International Conference on Computer Aided ...
www.wikicfp.com
Rupak Majumdar (Max Planck Institute) Ken Mcmillan (Microsoft Research) Kedar Namjoshi (Bell Labs) Joel Ouaknine (Oxford Univ.) Madhusudan Parthasarathy (Univ. of Illinois at Urbana-Champaign) Corina Pasareanu (Carnegie Mellon ...
ICSE : 31st International Conference on Software Engineering
www.wikicfp.com
Corina Pasareanu, NASA Ames, USA Massimiliano Di Penta, University of Sannio, Italy Mauro Pezze, University of Lugano, Switzerland and University of Milano Bicocca, Italy Gian Pietro Picco, University of Trento, Italy Klaus Pohl, University ...
Accepted Papers – SEFM 2018
www.isf.cs.tu-bs.de
Monte Carlo Tree Search for Finding Costly Paths in Programs Kasper Luckow, Corina Pasareanu and Willem Visser; Automated validation of IoT device control ...
Dr Cadar receives the HVC Award for contributions to dynamic symbolic...
www.imperial.ac.uk
HVC AWARD Dr Cristian Cadar won the HVC Award by contributing
Telephone & Addresses
Corina S Pasareanu, 44, Manhattan, US, N 14th St, Unit 3
View Corina's social profiles and photos on Facebook, MySpace, and +40 Networks.
Corina S Pasareanu, 44, Manhattan, US, N Manhattan Ave, Apt 14
View Corina's social profiles and photos on Facebook, MySpace, and +40 Networks.
Corina S Pasareanu, 44, Mountain View, US, Continental Cir, Apt 1929
View Corina's social profiles and photos on Facebook, MySpace, and +40 Networks.
Corina S Pasareanu, 44, Pullman, US, NE Valley Rd, Apt 45
View Corina's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
Facebook: Corina Pasareanu Profiles | Facebook
View the profiles of people named Corina Pasareanu on Facebook. Join Facebook to connect with Corina Pasareanu and others you may know. Facebook gives people the
Interests
K-State researchers honored for influential contributions to software...
www.eurekalert.org
For two Kansas State University professors, receiving one of software engineering's most prestigious awards was more than 10 years in the making.
Private Homepages
Cesare Tinelli's Research
homepage.cs.uiowa.edu
... Robert Nieuwenhuis, Hans de Nivelle, Duccki Oe, Albert Oliveras, Corina Pasareanu, Björn Pelzer, Alessandro Pinto, Silvio Ranise, Christophe Ringeissen, ...
Employees
Marius Greitschus — Software Engineering
swt.informatik.uni-freiburg.de
... Verification Conference HVC2014, together with Sergiy Bogomolov, Goran Frehse, Radu Grosu, Corina Pasareanu, Andreas Podelski, and Thomas Strump.
Organisation – ICST 2018
www.es.mdh.se
Corina Pasareanu, CMU/NASA Ames Research Center, USA Andy Podgurski, Case Western Reserve Unversity, USA Adam Porter, University of Maryland ...
Education
Prof. Khurshid Receives NSF Grant for Work on Mera: Memoized Ranged...
www.ece.utexas.edu
This is a collaborative research project including Dr. Khurshid and Dr. Corina Pasareanu of Carnegie Mellon University West. The abstract ...
Saswat Anand
cs.stanford.edu
Saswat Anand, Corina Pasareanu, Willem Visser International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Committees | SEFM 2015
www.cs.york.ac.uk
... David Parker – University of Birmingham, UK; Corina Pasareanu – CMU/NASA Ames Research Center, USA; Anna Philippou – University of Cyprus, Cyprus ...
Heritage
Matthew Dwyer - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Corina Pasareanu: Kansas State University: 2001: Suzette Person: University of Nebraska-Lincoln: 2009: Oksana Tkachuk: Kansas State University: 2008: Robby : Kansas State University
Projects
pcorina / Profile
sourceforge.net
Corina Pasareanu. User Activity. No activity to display. Personal Data. Username: pcorina; Joined: :01:03. Projects. Project Logo ...
javapathfinder.sourceforge.net › History_and_CreditsHistory and Credits - Java PathFinder
javapathfinder.sourceforge.net
Corina Pasareanu continues to tweak JPF as a testbed for symbiosis of symbolic and explicit state model checking. John Penix fought through the NASA ranks ...
JavaPathFinder / List javapathfinder-user Archives
sourceforge.net
Corina Pasareanu ? ?: >> The difference between versions comes from the fact that I changed >> manually the min/max values in MinMax.java.
References - plexil
plexil.sourceforge.net
[DOW08] Gilles Dowek, César Muñoz, and Corina Pasareanu, "A Small-Step Semantics of PLEXIL", NIA Technical Report, Number , ...
Books & Literature
Automated Technology for Verification and Analysis: 9th International...
books.google.de
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in...
Formal Aspects of Component Software: 7th International Workshop,...
books.google.ru
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães,...
Formal Methods for Industrial Critical Systems: 16th International...
books.google.de
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy,...
Secure Communicating Systems: Design, Analysis, and Implementation -...
books.google.de
More and more working computer professionals are confronted with the use, maintenance, or customization of cryptographic components and program certification...
Related Documents
Corina S Pasareanu - ETAPS 2019
conf.researchr.org
Corina Pasareanu. Registered user since Fri 14 Aug Name: Corina Pasareanu. Country: United States. Affiliation: NASA Ames Research ...
arxiv.org › csA Programmatic and Semantic Approach to Explaining and ...
arxiv.org
Authors:Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit Seshia. (Submitted on 1 Dec 2019). Abstract: Even as deep neural networks ...
CiteSeerX — 1 Rapid Property Specification and Checking for...
citeseerx.ist.psu.edu
BibTeX @MISC{Balasubramanian_1rapid, author = {Daniel Balasubramanian and Gabor Pap and Harmon Nine and Gabor Karsai and Michael Lowry and Corina Pasareanu and Tom
Non-Termination of Affine Loops Kevin Durant, Corina Pasareanu,...
pdfslide.us
Non-Termination of Affine Loops Kevin Durant, Corina Pasareanu, Willem Visser Stellenbosch University and NASA/CMU public String ...
Scientific Publications
Science of Computer Programming | Special Issue on Formal Aspects of...
www.sciencedirect.com
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Edited by Corina Pasareanu, Gwen Salaün.
dblp: Corina S. Pasareanu
dblp.uni-trier.de
List of computer science publications by Corina S. Pasareanu
K-State researchers honored for influential contributions to software ...
www.sciencecodex.com
Matthew Dwyer, a K-State faculty member at the time and now a faculty member at the University of Nebraska-Lincoln; Shawn Laubach, a K-State graduate student at the time; Corina Pasareanu, a K-State doctoral student ...
Assume-Guarantee Abstraction Refinement in SpaceEx — Software...
swt.informatik.uni-freiburg.de
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, Andreas Podelski, and Thomas Strump. "Assume-Guarantee Abstraction ...
Publications
Preface | SpringerLink
link.springer.com
Preface Journal Annals of Mathematics and Artificial Intelligence Volume 63, Issue 1 , pp 1-3 Cover Date ... Corina Pasareanu (3) (4) Author Affiliations. 1.
Predicate Abstraction with Under-Approximation Refinement
is.muni.cz
PELÁNEK, Radek, Corina PASAREANU and Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer ...
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems |...
link.springer.com
Compositional verification techniques in the assume-guarantee style have been successfully applied to transition systems to efficiently reduce the search space...
Experimental Evaluation of Verification and Validation Tools on...
link.springer.com
NASA Ames Research Center, Moffett Field, CA , USA. CORINA PASAREANU. ARNAUD VENET. Kestrel Technology, NASA Ames Research Center, ...
Video & Audio
www.youtube.com › channelCorina Pasareanu - YouTube
www.youtube.com
stop. Watch Queue. Queue. __count__/__total__. Corina Pasareanu. SubscribeSubscribedUnsubscribe 4. Loading... Loading... Working... Uploads Play all. 0:
www.microsoft.com › en-us › research › video › automated-assume-gua...Automated Assume-guarantee Verification - Microsoft Research
www.microsoft.com
▶ 1:11:13Cancel. Automated Assume-guarantee Verification. Date. July 21, Speaker. Corina Pasareanu ...
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
Google Groups: [JPF] Symbolic Execution (jpf-symbc)
: Corina Pasareanu ... java-pathfinder Hi:Reference [1] is obsolete.
Google Groups: [isabelle] afm09 program and abstracts
: ... france 9:00 : empty (spin has invited talk by joseph sifakis; rv has invited talk by
Google Groups: [isabelle] VSTTE : Second Call for Papers
: ... Northeastern University Peter Müller, ETH Zurich Tobias Nipkow
Wikipedia: Symbolic execution - Wikipedia
In computer science, symbolic execution (also symbolic evaluation) is a means of analyzing a Jump up ^ Staats, Matt; Corina Pasareanu (2010). "Parallel ...
Miscellaneous
Corina Pasareanu | LinkedIn
www.linkedin.com
View Corina Pasareanu's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Corina Pasareanu ...
www.linkedin.com › corina-pasareanu a10Corina Pasareanu - researcher - CMU/NASA | LinkedIn
www.linkedin.com
View Corina Pasareanu's profile on LinkedIn, the world's largest professional community. Corina has 1 job listed on their profile. See the complete profile on ...
sites.google.com › site › asergrp › bibli › symexSymbolic Execution - asergrp - Google Sites
sites.google.com
Christian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser ICSE Impact Focused Area.
Marcelo d'Amorim - Google Scholar
scholar.google.ca
Federal University of Pernambuco - Cited by - Software Engineering
Google Summer of Code | Google Developers
developers.google.com
The Java PathFinder project (JPF) was started at NASA Ames Research Center in by Mithun Puthige Acharya, mentored by Corina Pasareanu
slideplayer.com › slideSymbolic Execution and Software Testing Corina Pasareanu ...
slideplayer.com
Presentation on theme: "Symbolic Execution and Software Testing Corina Pasareanu Carnegie Mellon/NASA Ames"— Presentation transcript: 1 Symbolic ...
Internet Archive Search: subject:"Corina Pasareanu"
archive.org
Search Results. Results: 1 through 4 of 4 ( secs) You searched for: subject:"Corina Pasareanu". [movies], Microsoft Research Video : Automated ...
Abstraction and Modular Reasoning for the Verification of Software...
slideplayer.com
Abstraction and Modular Reasoning for the Verification of Software Corina Pasareanu NASA Ames Research Center.
www.cylab.cmu.edu › directory › bios › pasareanu-corinaCorina Pasareanu - CyLab - Carnegie Mellon University
www.cylab.cmu.edu
Corina Pasareanu performs research in software engineering at NASA Ames in the Robust Software Engineering group. She is employed by Carnegie Mellon at ...
Symbolic Execution with Mixed Concrete-Symbolic Solving - ppt video...
slideplayer.com
Symbolic Execution with Mixed Concrete-Symbolic Solving Corina Pasareanu 1, Neha Rungta 2 and Willem Visser 3 1 Carnegie Mellon, 2 SGT Inc./NASA Ames 3.
Parallel Symbolic Execution for Structural Test Generation Matt...
slideplayer.com
Presentation on theme: "Parallel Symbolic Execution for Structural Test Generation Matt Staats Corina Pasareanu ISSTA "— Presentation transcript :.
Corina Pasareanu
easychair.org
Corina Pasareanu. Organization: CMU/NASA Ames Research Center: Web site: http://ti.arc.nasa.gov/profile/pcorina/ Pages in this Program. CAV Call for Papers:
Corina Pasareanu: Combination of Symbolic Execution and Model Checking
www.cs.cmu.edu
CV: Corina Pasareanu is a research scientist at NASA Ames Research Center, the Automated Software Engineering Group. Her research interests are in using abstraction
Internet Archive Search: mediatype:movies AND subject:"Corina...
archive.org
Microsoft Research Video : Automated Assume-guarantee Verification - Microsoft Research Assume-guarantee reasoning is a “divide and conquer” ...
www.ece.cmu.edu › directory › bios › pasareanu-corinaCorina Pasareanu - Electrical and Computer Engineering ...
www.ece.cmu.edu
Bio. Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon ...
BookLore
www.booklore.ca
Orangeville's independent bookstore. BookLore for people to take life literally!
Related search requests for Corina Pasareanu
Peter Mehlitz Willem Visser Neha Rungta | Dimitra Giannakopoulou Darko Marinov Anna Philippou | Klaus Pohl Charles Pecheur John Penix |
People Forename "Corina" (3947) Name "Pasareanu" (4) |
sorted by relevance / date