selected publications
-
academic article
- Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling. 5:187-207. 2006
-
chapter
- Reverse Engineering: Inferring Visual Contracts from Java Programs. Springer eBooks. 181-196. 2020
- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures. Lecture Notes in Computer Science. 1-27. 2005
-
conference paper