| * | 2008 |
|---|
| 7 | EE | Arsenii Rudich,
Ádám Darvas,
Peter Müller:
Checking Well-Formedness of Pure-Method Specifications.
FM 2008: 68-83 |
| 6 | EE | Ádám Darvas,
Farhad Mehta,
Arsenii Rudich:
Efficient Well-Definedness Checking.
IJCAR 2008: 100-115 |
| 5 | EE | Ádám Darvas,
Peter Müller:
Faithful mapping of model classes to mathematical structures.
IET Software 2(6): 477-499 (2008) |
| 2007 |
|---|
| 4 | EE | Ádám Darvas,
K. Rustan M. Leino:
Practical Reasoning About Invocations and Implementations of Pure Methods.
FASE 2007: 336-351 |
| 3 | EE | Ádám Darvas,
Peter Müller:
Faithful mapping of model classes to mathematical structures.
SAVCBS 2007: 31-38 |
| 2006 |
|---|
| 2 | EE | Ádám Darvas,
Peter Müller:
Reasoning About Method Calls in Interface Specifications.
Journal of Object Technology 5(5): 59-85 (2006) |
| 2005 |
|---|
| 1 | EE | Ádám Darvas,
Reiner Hähnle,
David Sands:
A Theorem Proving Approach to Analysis of Secure Information Flow.
SPC 2005: 193-209 |
