1
0
0
(1 - 37 von 53
)
LICS Newsletter/SIGLOG Monthly 166
lics.siglog.org
LICS Newsletter/SIGLOG Monthly 166 January 1, ... UK. Corina Pasareanu, Carnegie Mellon Silicon ... The proceedings will be published as a volume in Springer's LNCS ...
ISIS Publications | Institute for Software Integrated Systems
www.isis.vanderbilt.edu
Filters: Author is Corina S. Pasareanu [Clear All Filters] ... Components in Polyglot", NASA Formal Methods, vol , Norfolk, VA, Springer,
Matt Dwyer's Publications Pagepeople.cs.ksu.edu › ~dwyer › papers
people.cs.ksu.edu
... Abstracted Java Programs, Corina S. Pasareanu, Matthew B. Dwyer and Willem Visser, ... Lecture Notes in Computer Science, Springer-Verlag, April,
Marius Greitschus — Software Engineering
swt.informatik.uni-freiburg.de
Springer | dblp ] ... HVC2014, together with Sergiy Bogomolov, Goran Frehse, Radu Grosu, Corina Pasareanu, Andreas Podelski, and Thomas Strump. Winner ...
Clark Barrett's Publications
theory.stanford.edu
Formal Methods in System Design, 2020, Springer US. to appear Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, and Clark Barrett.
doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínsky, Ph.D. – CV | Masaryk...
www.muni.cz
In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV Cham: Springer, s , 20 s.
HOL theorem-proving system / [Hol-info] CfP: 9th International...
sourceforge.net
Papers should be formatted according to the guidelines for Springer LNCS ... Norway Corina Pasareanu, NASA Ames, USA Bernhard Schaetz, ...
(Model Checking Software) By Pasareanu, Corina S. (Author) Paperback on (08 , 2009)
von Corina S. Pasareanu, Springer, 2009, Taschenbuch
(MODEL CHECKING SOFTWARE) BY Paperback (Author) Paperback Published on (08 , 2009)
von Corina S. Pasareanu, Springer, 2009, Taschenbuch
Foundations of Intelligent Systems: 17th International Symposium, ...books.google.com › books
books.google.de
... Masoud Mansouri-Samani, Peter Mehlitz, Corina Pasareanu, Thomas Pressburger, and Johan Schumann. References , Springer, Heidelberg (2007) 6.
SPIN Model Checking and Software Verification: 7th International SPIN...
books.google.de
Springer-Verlag, A. Aho, R. Sethi, ... James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng.
First Call for Papers: FACS ** ** 17th International Conference ...facs2021.inria.fr › files › › cfp-facs2021-v2
facs2021.inria.fr
... UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Abstract: June 25, ... Authors should consult Springer's authors' guidelines and use their ...
Call for Paper as Text File - LARA - EPFL
lara.epfl.ch
Proceedings are published by Springer Verlag as volumes in the Lecture Notes ... Rupak Majumdar Greg Morrisett Corina Pasareanu Andreas Podelski Sriram ...
jmr
www.csl.sri.com
Springer-Verlag Springer-Verlag [6], James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng.
text - CAV Forsyte
cav2013.forsyte.at
The proceedings of the conference will be published in the Springer-Verlag ... of Illinois at Urbana-Champaign) Corina Pasareanu (Carnegie Mellon Univ., ...
Corina S. Pasareanu - dblpdblp.org › Persons
dblp.org
Jul 2, · List of computer science publications by Corina S. Pasareanu Part I. Lecture Notes in Computer Science 9206, Springer 2015, ...
Assume-Guarantee Abstraction Refinement in SpaceEx — Software...
swt.informatik.uni-freiburg.de
Corina Mitrohin; Amalinda Post; Martin ... Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, ... [ springer | dblp | pdf]. Start Footer ...
CAV | CPS-VOcps-vo.org › node
cps-vo.org
Oct 12, · The proceedings of the conference will be published in the Springer LNCS series Corina Pasareanu Nadia Polikarpova Pavithra Prabhakar
Call for Papers | CAV 2015
i-cav.org
The proceedings of the conference will be published in the Springer LNCS series Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Formal Methods Europe
www.fmeurope.org
Sep 11, · FormaliSE keynote: Corina Pasareanu ... Springer Verlag, 2014, ISBN , http://www.concrete-semantics.org/ ...
Lucas Bang
www.cs.hmc.edu
Springer, Mara Downing, Abtin Molavi, and Lucas Bang Quoc-Sang Phan, Lucas Bang, Corina Pasareanu, Pasquale Malacaria, Tevfik Bultan.
CFP
easychair.org
Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer ... Laura Panizo, University of Malaga, Spain; Corina Pasareanu, ...
doc. Mgr. Radek Pelánek, Ph.D. – Životopis | Masarykova univerzita
www.muni.cz
Madrid: Springer International Publishing, s ISSN info; PELÁNEK, Radek, Corina PASAREANU a Willem VISSER.
[Hol-info] FACS First Call for Papers
www.mail-archive.com
Mar 24, · ... UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Abstract: June ... Authors should consult Springer's authors' guidelines and use ...
[TYPES/announce] CAV 2015: Call for Papers, CAV Award and ...lists.seas.upenn.edu › pipermail › types-announce
lists.seas.upenn.edu
Oct 3, · ... of the conference will be published in the Springer LNCS series Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
[ecoop-info] NFM call for papers - submission deadline Tuesday...
web.satd.uma.es
Nov 17, · Papers will appear in a volume of Springer's Lecture Notes on Computer ... USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, ...
Experiments with test case generation and runtime analysis —...
experts.illinois.edu
Cyrille Artho ; Doron Drusinksy ; Allen Goldberg ; Klaus Havelund ; Mike Lowry ; Corina Pasareanu ; Grigore Roşu ... Springer-Verlag Berlin Heidelberg
HTML - Electronic Proceedings in Theoretical Computer Science
cgi.cse.unsw.edu.au
... Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Roşu, Koushik Sen & Willem Visser (2005): Combining test case ... Springer Berlin Heidelberg, pp.
Patrice Godefroid's Home Page
patricegodefroid.github.io
9232, pages , Springer-Verlag , pages , Springer-Verlag work with Cristian Cadar, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, ...
6 Referencescourses.cs.washington.edu › courses › cse507 › refs
courses.cs.washington.edu
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann ... Springer-Verlag, Berlin, Heidelberg ,
Efficient Bounded Model Checking of Heap-Manipulating Programs ...www.ncbi.nlm.nih.gov › pmc › articles › PMC
www.ncbi.nlm.nih.gov
Feb 24, · Saswat Anand, Corina S. Pasareanu, and Willem Visser. JPF-SE: A symbolic execution extension to java pathfinder Springer,
Fast interpolating BMC — Princeton University
collaborate.princeton.edu
Editors, Corina S. Pasareanu, Daniel Kroening, Corina S. Pasareanu, Daniel Kroening. Publisher, Springer Verlag. Pages, Number of pages, 17.
SPIN 2008
compilers.cs.ucla.edu
Corina Pasareanu (NASA Ames , USA ) ... years, the SPIN Proceedings will be published as Lecture Notes in Computer Science, Springer Verlag.
Main/Bibliography - Automata Wikiautomata.cs.ru.nl › Literature
automata.cs.ru.nl
Springer Verlag, GGP07: Mihaela Gheorghiu, Dimitra Giannakopoulou, and Corina S. Pasareanu. Refining Interface Alphabets for Compositional ...
Meeting a powertrain verification challenge — University of...
experts.illinois.edu
Editors, Corina S. Pasareanu, Daniel Kroening, Corina S. Pasareanu, Daniel Kroening. Publisher, Springer-Verlag Berlin Heidelberg. Pages,
Papers This paper gives an introduction to the patterns system ...matthewbdwyer.github.io › psp › papers
matthewbdwyer.github.io
... Lecture Notes in Computer Science, Springer-Verlag, Aug, Matthew B. Dwyer and Corina S. Pasareanu, in Proceedings of the 7th ACM SIGSOFT ...
Alle Infos zum Namen "Corina Pasareanu"
Verwandte Suchanfragen zu Corina Pasareanu
Kasper Luckow |
Personen Vorname "Corina" (4345) Name "Pasareanu" (1) |
sortiert nach Relevanz / Datum