Ádám Darvas

According to our database, Ádám Darvas authored at least 9 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

System Architecture Recovery Based on Software Structure Model.

Ádám Darvas, Raimund Konnerth

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

2010

Proving Consistency and Completeness of Model Classes Using Theory Interpretation.

Ádám Darvas, Peter Müller

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Reasoning about data abstraction in contract languages.

Ádám Darvas

PhD thesis, 2009

2008

Checking Well-Formedness of Pure-Method Specifications.

Arsenii Rudich, Ádám Darvas, Peter Müller

Proceedings of the FM 2008: Formal Methods, 2008

Efficient Well-Definedness Checking.

Ádám Darvas, Farhad Mehta, Arsenii Rudich

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Faithful mapping of model classes to mathematical structures.

Ádám Darvas, Peter Müller

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Practical Reasoning About Invocations and Implementations of Pure Methods.

Ádám Darvas, K. Rustan M. Leino

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Reasoning About Method Calls in Interface Specifications.

Ádám Darvas, Peter Müller

J. Object Technol., 2006

2005

A Theorem Proving Approach to Analysis of Secure Information Flow.

Ádám Darvas, Reiner Hähnle, David Sands

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005