Ádám Darvas

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
System Architecture Recovery Based on Software Structure Model.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

2010
Proving Consistency and Completeness of Model Classes Using Theory Interpretation.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Reasoning about data abstraction in contract languages.
PhD thesis, 2009

2008
Faithful mapping of model classes to mathematical structures.
IET Softw., 2008

Checking Well-Formedness of Pure-Method Specifications.
Proceedings of the FM 2008: Formal Methods, 2008

Efficient Well-Definedness Checking.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
Practical Reasoning About Invocations and Implementations of Pure Methods.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
Reasoning About Method Calls in Interface Specifications.
J. Object Technol., 2006

2005
A Theorem Proving Approach to Analysis of Secure Information Flow.
Proceedings of the Security in Pervasive Computing, Second International Conference, 2005


  Loading...