BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Cyprus
1 × Finland
1 × Portugal
Collaborated with:
P.Müller A.Rudich K.R.M.Leino Raimund Konnerth F.Mehta
Talks about:
method (2) model (2) check (2) well (2) pure (2) architectur (1) interpret (1) implement (1) structur (1) recoveri (1)

Person: Ádám Darvas

DBLP DBLP: Darvas:=Aacute=d=aacute=m

Contributed to:

FASE 20102010
FM 20082008
IJCAR 20082008
FASE 20072007
WICSA 20162016

Wrote 5 papers:

FASE-2010-DarvasM #consistency #proving #using
Proving Consistency and Completeness of Model Classes Using Theory Interpretation (ÁD, PM), pp. 218–232.
FM-2008-RudichDM #specification
Checking Well-Formedness of Pure-Method Specifications (AR, ÁD, PM), pp. 68–83.
IJCAR-2008-DarvasMR #performance
Efficient Well-Definedness Checking (ÁD, FM, AR), pp. 100–115.
FASE-2007-DarvasL #implementation #reasoning
Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.
WICSA-2016-DarvasK #architecture
System Architecture Recovery Based on Software Structure Model (ÁD, RK), pp. 109–114.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.