Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
D.Balasubramaniam C.Jefferson L.Kotthoff I.Miguel P.Nightingale
Talks about:
architectur (3) constraint (1) rational (1) pluggabl (1) dominion (1) descript (1) approach (1) specifi (1) languag (1) generat (1)
Person: Lakshitha de Silva
DBLP: Silva:Lakshitha_de
Contributed to:
Wrote 3 papers:
- ECSA-2013-SilvaB #architecture #automation #consistency #named
- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
- ECSA-2011-SilvaB #architecture #specification #using
- A Model for Specifying Rationale Using an Architecture Description Language (LdS, DB), pp. 319–327.
- WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving
- Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.