Leonor Prensa and Verification - Free people check

(1 - 22 from 23

)

5th International Workshop on Automated Verification of Critical ...

www.dcs.warwick.ac.uk

University of Warwick , UK ; Damian Barsotti, Leonor Prensa Nieto and Alwen Tiu Verification of Clock Synchronization Algorithms: Experiments on a ... › ~avocs05 › programme

ETAPS 2006

www.complang.tuwien.ac.at

Ping Yang (SUNY at Stony Brook, USA), Samik Basu, and C.R. Ramakrishnan (Iowa State Univ., USA) Easy Parameterized Verification of Biphase Mark and 8N1 Decoders

!!Javier Esparza - Curriculum vitae \\ 1 Academic Employment ...

www.ae-info.org

Defence: * (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis : "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ...

Pascal Fontaine

people.montefiore.uliege.be

Pascal Fontaine. Techniques for verification of concurrent systems with invariants. PhD Thesis, Institut ... , Leonor Prensa Nieto and Alwen Tiu.

Curriculum vitae - Javier Esparza

www.ae-info.org

11 Jan — (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis: "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ... › User › Esparza_Javier

Leonor Prensa Nieto - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Leonor Prensa Nieto . MathSciNet. Dr. rer. nat. Technische Universität München Dissertation: Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL. Mathematics Subject Classification: 68—Computer science. Advisor 1: Tobias Nipkow

Verification of Parallel Programs with the Owicki-Gries and...

books.google.de

Leonor Prensa Nieto pages. 0 Reviewshttp://books.google.com/books/about/Verification_of_Parallel_Programs_with_t.html?id=gCj2PAAACAAJ ...

Verification of parallel programs with the Owicki-Gries dblp

dblp.uni-trier.de

17 Jul — Leonor Prensa Nieto: Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. › rec › phd › dnb › Nieto02

Verification of Parallel Programs with the Owicki-Gries and Rely ...

tumb1.biblio.tu-muenchen.de

Leonor Prensa Nieto. Vollständiger Abdruck der von der Fakultät für Informatik der Technischen. Universität München zur Erlangung des akademischen Grades ...

Verification of clock synchronization algorithms: experiments on a...

link.springer.com

We report on an experiment in combining the theorem prover Isabelle with automatic first-order arithmetic provers to increase automation on the verification of...

Verification of parallel programs with the Owicki-Gries ...

www.worldcat.org

Get this from a library! Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. [Leonor Prensa Nieto;]

MPRI, Concurrency, Francesco Zappa Nardelli

fzn.fr

Maurice Herlihy, Nir Shavit: The Art of Multiprocessor Programming, Morgan Kaufmann;; Leonor Prensa Nieto: Verification of Parallel Programs with the ... › teaching › mpri

Verification of Clock Synchronization Algorithms: Experiments ...

hal.archives-ouvertes.fr

by D Barsotti · · Cited by 20 — Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu. Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools. › inria

Verification of Clock Synchronization Algorithms: Experiments on a ...

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu. › article

Verification of parallel programs with the Owicki-Gries and ...

www.semanticscholar.org

Leonor Prensa Nieto; Published 2002; Computer Science. This thesis presents the first formalization of the Owicki-Gries method and its compositional version ... › paper › Verification-of...

Fifth Workshop on Automated Verification of Critical Systems...

www.dcs.warwick.ac.uk

The two lovely ladies from LORIA-INRIA, Leonor Prensa Nieto and Eun-Young Kang.

CiteSeerX — Verification of Parallel Programs with

citeseerx.ist.psu.edu

BibTeX @MISC{Nieto_verificationof, author = {Leonor Prensa Nieto and Technische Universität München and Der Technischen Universität München and Leonor ...

Fifth Workshop on Automated Verification of Critical Systems ...www.dcs.warwick.ac.uk › ~avocs05 › AVoCS-gallery › pages › img_0876

www.dcs.warwick.ac.uk

The Workshop Dinner, with Leonor Prensa Nieto getting started on her meal. First Previous Up Next Last.

Norbert Schirmer
Javier Esparza
Stephan Merz

Pascal Fontaine
Olaf Müller
Konrad Slind

People
Forename "Leonor" (2351)
Name "Prensa" (29)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Leonor Prensa and Verification Free People Check

5th International Workshop on Automated Verification of Critical ...

ETAPS 2006

!!Javier Esparza - Curriculum vitae \\ 1 Academic Employment ...

Pascal Fontaine

Curriculum vitae - Javier Esparza

Leonor Prensa Nieto - The Mathematics Genealogy Project

Verification of Parallel Programs with the Owicki-Gries and...

Verification of parallel programs with the Owicki-Gries dblp

Verification of Parallel Programs with the Owicki-Gries and Rely ...

Verification of clock synchronization algorithms: experiments on a...

Verification of parallel programs with the Owicki-Gries ...

MPRI, Concurrency, Francesco Zappa Nardelli

Verification of Clock Synchronization Algorithms: Experiments ...

Verification of Clock Synchronization Algorithms: Experiments on a ...

Verification of parallel programs with the Owicki-Gries and ...

Fifth Workshop on Automated Verification of Critical Systems...

CiteSeerX — Verification of Parallel Programs with

Fifth Workshop on Automated Verification of Critical Systems ...www.dcs.warwick.ac.uk › ~avocs05 › AVoCS-gallery › pages › img_0876

CiteSeerX — Citation Query Verification of Parallel Programs with the...

MPRI, Concurrency, 2009

PhD Thesis

MPRI, Concurrency, 2009

All web results to the name "Leonor Prensa"