|
19401
|
1 |
@inproceedings{NipkowP-FASE99,author={Tobias Nipkow and Prensa Nieto, Leonor},
|
|
|
2 |
title={{Owicki/Gries} in {Isabelle/HOL}},
|
|
|
3 |
booktitle={Fundamental Approaches to Software Engineering (FASE'99)},
|
|
|
4 |
editor={J.-P. Finance},publisher="Springer",series="LNCS",volume=1577,
|
|
|
5 |
pages={188--203},year=1999}
|
|
|
6 |
|
|
|
7 |
@InProceedings{PrenEsp00,
|
|
|
8 |
author = {Prensa Nieto, Leonor and Javier Esparza},
|
|
|
9 |
title = {Verifying Single and Multi-mutator Garbage Collectors
|
|
|
10 |
with {Owicki/Gries} in {Isabelle/HOL}},
|
|
|
11 |
booktitle = {Mathematical Foundations of Computer Science (MFCS 2000)},
|
|
|
12 |
editor = {M. Nielsen and B. Rovan},
|
|
|
13 |
publisher = {Springer-Verlag},
|
|
|
14 |
series = {LNCS},
|
|
|
15 |
volume = 1893,
|
|
|
16 |
pages = {619--628},
|
|
|
17 |
year = 2000
|
|
|
18 |
}
|
|
|
19 |
|
|
|
20 |
@PhdThesis{Prensa-PhD,author={Leonor Prensa Nieto},
|
|
|
21 |
title={Verification of Parallel Programs with the Owicki-Gries and
|
|
|
22 |
Rely-Guarantee Methods in Isabelle/HOL},
|
|
|
23 |
school={Technische Universit{\"a}t M{\"u}nchen},year=2002}
|
|
|
24 |
|
|
|
25 |
@inproceedings{Prensa-ESOP03,author={Prensa Nieto, Leonor},
|
|
|
26 |
title={The {Rely-Guarantee} Method in {Isabelle/HOL}},
|
|
|
27 |
booktitle={European Symposium on Programming (ESOP'03)},editor={P. Degano},
|
|
|
28 |
publisher=Springer,series=LNCS,volume=2618,pages={348--362},year=2003}
|