| 2007 |
|---|
| 9 | EE | Damián Barsotti,
Leonor Prensa Nieto,
Alwen Tiu:
Verification of clock synchronization algorithms: experiments on a combination of deductive tools.
Formal Asp. Comput. 19(3): 321-341 (2007) |
| 8 | EE | Gilles Barthe,
Leonor Prensa Nieto:
Secure information flow for a concurrent language with scheduling.
Journal of Computer Security 15(6): 647-689 (2007) |
| 2006 |
|---|
| 7 | EE | Pascal Fontaine,
Jean-Yves Marion,
Stephan Merz,
Leonor Prensa Nieto,
Alwen Fernanto Tiu:
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.
TACAS 2006: 167-181 |
| 6 | EE | Damián Barsotti,
Leonor Prensa Nieto,
Alwen Fernanto Tiu:
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools.
Electr. Notes Theor. Comput. Sci. 145: 63-78 (2006) |
| 2004 |
|---|
| 5 | EE | Gilles Barthe,
Leonor Prensa Nieto:
Formally verifying information flow type systems for concurrent and thread systems.
FMSE 2004: 13-22 |
| 2003 |
|---|
| 4 | EE | Leonor Prensa Nieto:
The Rely-Guarantee Method in Isabelle/HOL.
ESOP 2003: 348-362 |
| 2001 |
|---|
| 3 | | Leonor Prensa Nieto:
Completeness of the Owicki-Gries System for Parameterized Parallel Programs.
IPDPS 2001: 150 |
| 2000 |
|---|
| 2 | EE | Leonor Prensa Nieto,
Javier Esparza:
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.
MFCS 2000: 619-628 |
| 1999 |
|---|
| 1 | | Tobias Nipkow,
Leonor Prensa Nieto:
Owicki/Gries in Isabelle/HOL.
FASE 1999: 188-203 |
