Ádám Darvas

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Simulation Environment

Top Venues

Publications

Ádám Darvas, Raimund Konnerth
System Architecture Recovery Based on Software Structure Model. WICSA (2016)
Ádám Darvas, Peter Müller
Proving Consistency and Completeness of Model Classes Using Theory Interpretation. FASE (2010)
Ádám Darvas, Peter Müller
Faithful mapping of model classes to mathematical structures. IET Softw. 2 (6) (2008)
Ádám Darvas, Farhad Mehta, Arsenii Rudich
Efficient Well-Definedness Checking. IJCAR (2008)
Arsenii Rudich, Ádám Darvas, Peter Müller
Checking Well-Formedness of Pure-Method Specifications. FM (2008)
Ádám Darvas, K. Rustan M. Leino
Practical Reasoning About Invocations and Implementations of Pure Methods. FASE (2007)
Ádám Darvas, Peter Müller
Faithful mapping of model classes to mathematical structures. SAVCBS (2007)
Ádám Darvas, Peter Müller
Reasoning About Method Calls in Interface Specifications. J. Object Technol. 5 (5) (2006)
Ádám Darvas, Reiner Hähnle, David Sands
A Theorem Proving Approach to Analysis of Secure Information Flow. SPC (2005)