A Theorem Proving Approach to Analysis of Secure Information Flow. - Ádám Darvas; Reiner Hähnle; David Sands 001 (SPC, 2005)

Reasoning About Method Calls in Interface Specifications. - Ádám Darvas; Peter Müller 001 (J. Object Technol., 2006)

Practical Reasoning About Invocations and Implementations of Pure Methods. - Ádám Darvas; K. Rustan M. Leino (FASE, 2007)

Efficient Well-Definedness Checking. - Ádám Darvas; Farhad Mehta; Arsenii Rudich (IJCAR, 2008)

Checking Well-Formedness of Pure-Method Specifications. - Arsenii Rudich; Ádám Darvas; Peter Müller 001 (FM, 2008)

Faithful mapping of model classes to mathematical structures. - Ádám Darvas; Peter Müller 001 (IET Softw., 2008)

Reasoning about data abstraction in contract languages. - Ádám Darvas (2009)

Proving Consistency and Completeness of Model Classes Using Theory Interpretation. - Ádám Darvas; Peter Müller 001 (FASE, 2010)

System Architecture Recovery Based on Software Structure Model. - Ádám Darvas; Raimund Konnerth (WICSA, 2016)