dblp.uni-trier.dewww.uni-trier.de

Ádám Darvas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Reiner Hähnle [1]
2K. Rustan M. Leino [4]
3Farhad Mehta [5]
4Peter Müller [2] [3] [6]
5Arsenii Rudich [5] [6]
6David Sands [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)