| 2008 |
|---|
| 15 | EE | María Victoria Cengarle,
Alexander Knapp,
Andrzej Tarlecki,
Martin Wirsing:
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models 2008: 383-402 |
| 14 | EE | Daniel Calegari,
María Victoria Cengarle,
Nora Szasz:
UML 2.0 Interactions with OCL/RT Constraints.
FDL 2008: 167-172 |
| 13 | | María Victoria Cengarle:
Approaches to an All-encompassing Formal Semantics for the UML.
MSVVEIS 2008: 3-4 |
| 2006 |
|---|
| 12 | EE | María Victoria Cengarle:
System model for UML -- The interactions case.
MMOSS 2006 |
| 11 | EE | María Victoria Cengarle,
Peter Graubmann,
Stefan Wagner:
Semantics of UML 2.0 Interactions with Variabilities.
Electr. Notes Theor. Comput. Sci. 160: 141-155 (2006) |
| 2004 |
|---|
| 10 | EE | María Victoria Cengarle,
Alexander Knapp:
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
Software and System Modeling 3(1): 9-30 (2004) |
| 2002 |
|---|
| 9 | EE | María Victoria Cengarle,
Alexander Knapp:
Towards OCL/RT.
FME 2002: 390-409 |
| 2001 |
|---|
| 8 | EE | María Victoria Cengarle,
Alexander Knapp:
A Formal Semantics for OCL 1.4.
UML 2001: 118-133 |
| 1999 |
|---|
| 7 | EE | Luis Mandel,
María Victoria Cengarle:
On the Expressive Power of OCL.
World Congress on Formal Methods 1999: 854-874 |
| 1996 |
|---|
| 6 | | Luis Mandel,
María Victoria Cengarle:
The Disjunctive Constrained Lambda Calculus.
Ershov Memorial Conference 1996: 297-309 |
| 1995 |
|---|
| 5 | | María Victoria Cengarle:
Semantic Typing for Parametric Algebraic Specifications.
AMAST 1995: 261-276 |
| 4 | EE | María Victoria Cengarle,
Martin Wirsing:
A Calculus of Higher-Order Parameterization for Algebraic Specifications.
Logic Journal of the IGPL 3(4): 615-641 (1995) |
| 1992 |
|---|
| 3 | | María Victoria Cengarle,
Luis Mandel,
Martin Wirsing,
Heiner Brand,
Klaus Däßler,
Thekla Schneider:
An Approach to the DIN Kernel Lisp Definition.
Lisp and Symbolic Computation 4(4): 319-369 (1992) |
| 2 | | María Victoria Cengarle,
Luis Mandel,
Martin Wirsing,
Heiner Brand,
Klaus Däßler,
Thekla Schneider:
Answer to Baker's Remarks of July 1991 on Version 1.0.
Lisp and Symbolic Computation 4(4): 399-404 (1992) |
| 1991 |
|---|
| 1 | | María Victoria Cengarle,
Heiner Brand,
Luis Mandel,
Klaus Däßler,
Martin Wirsing,
Thekla Schneider:
Knowledge Representation in Kernel Lisp.
Wissensbasierte Systeme 1991: 278-286 |
