2008 | ||
---|---|---|
6 | EE | Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83 |
5 | EE | Ádám Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking. IJCAR 2008: 100-115 |
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 |
1 | Reiner Hähnle | [1] |
2 | K. Rustan M. Leino | [4] |
3 | Farhad Mehta | [5] |
4 | Peter Müller | [2] [3] [6] |
5 | Arsenii Rudich | [5] [6] |
6 | David Sands | [1] |