1
0
0
(1 - 24 von 24
)
FMICS Fmics2013/Programme Committee
lvl.info.ucl.ac.be
... Dave Parker (University of Birmingham, UK); Corina Pasareanu (CMU / NASA Ames, USA); Jan Peleska (Universität Bremen, Germany); Ralf ...
ISoLA 2012
www.cs.uni-potsdam.de
Alessandro Moschitti (I) Johan Nordlander (S) Corina Pasareanu (USA) Alexander K. Petrenko (RUS) Sophie Quinton (F) Ina Schaefer (D) Dietmar Schreiner (A)
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 ...
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, ...
Corina S. Pasareanu | Autorenprofil und Werke | beck-shop.dewww.beck-shop.de › Corina S. Pasareanu
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Corina S. Pasareanu . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle ...
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
... France Pascal Montag Daimler AG, Germany Alessandro Moschitti University of Trento, Italy Corina Pasareanu CMU/NASA Ames, USA Alexander K. Petrenko ...
Model Checking Software: 15th International SPIN Workshop, Los...
books.google.de
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in...
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...
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 ...
txt - Universidade do Minho - Departamento de Informática
www4.di.uminho.pt
(full paper) www.di.uminho.pt/facs ** Post-proceedings at Springer China) Corina Pasareanu (NASA Ames, USA) Patrizio Pelliccione (L'Aquila ...
ICST | Organisation
icst2015.ist.tu-graz.ac.at
... USA; Zheng Li, Beijing University of Chemical Technology, China; Corina Pasareanu, NASA, USA; Willem Visser, University of Stellenbosch, South Africa ...
Marktoberdorf
asimod.informatik.tu-muenchen.de
Corina Pasareanu NASA Ames Research Center, Moffet Field CA USA Talk: Symbolic Execution and Software Testing (abstract / slides) ...
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.
Committees | SEFM 2014
sefm2014.inria.fr
... Corina Pasareanu, NASA Ames, USA; Anna Philippou, University of Cyprus, Cyprus; Sanjiva Prasad, Indian Institute of Technology Delhi, India; Jakob Rehof, ...
[Vki-list] CFP: AMAI Special Issue on "Formal Methods in Aerospace..."
www.dfki.de
... [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Corina Pasareanu [CMU and NASA, USA] TOPICS OF INTEREST: ...
Organization | CAV 2015
i-cav.org
Chairs. Daniel Kroening, University of Oxford, UK. Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Committees - SEFM 2016
staf2016.conf.tuwien.ac.at
Corina Pasareanu. NASA, USA. Marinella Petrocchi. IIT, Italy. Anna Philippou. University of Cyprus, Cyprus. Sanjiva Prasad. Indian Institute of Technology Delhi , ...
[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, ...
[ecoop-info] NFM deadline extension: Nov 18web.satd.uma.es › ecoop-info › November
web.satd.uma.es
· Rob Manning USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, ...
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.
SPIN Committees
www.spin2016.info
... Jun Pang (University of Luxembourg, LUX); Corina Pasareanu (Carnegie Mellon University / NASA Ames Research Center, USA); Theo Ruys (RUwise, NED) ...
Alle Infos zum Namen "Corina Pasareanu"
Verwandte Suchanfragen zu Corina Pasareanu
| Kasper Luckow |
Personen Vorname "Corina" (4345) Name "Pasareanu" (1) |
sortiert nach Relevanz / Datum