María Victoria Cengarle

Manfred Broy, María Victoria Cengarle, Eva Geisberger: Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28

Manfred Broy, María Victoria Cengarle: UML formal semantics: lessons learned. Software and System Modeling 10(4): 441-446 (2011)

María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe: Variability within Modeling Language Definitions. MoDELS 2009: 670-684

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402

Daniel Calegari, María Victoria Cengarle, Nora Szasz: UML 2.0 Interactions with OCL/RT Constraints. FDL 2008: 167-172

María Victoria Cengarle: Approaches to an All-encompassing Formal Semantics for the UML. MSVVEIS 2008: 3-4

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)

María Victoria Cengarle: System model for UML -- The interactions case. MMOSS 2006

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)

María Victoria Cengarle, Alexander Knapp: Towards OCL/RT. FME 2002: 390-409

María Victoria Cengarle, Alexander Knapp: A Formal Semantics for OCL 1.4. UML 2001: 118-133

Luis Mandel, María Victoria Cengarle: On the Expressive Power of OCL. World Congress on Formal Methods 1999: 854-874

Luis Mandel, María Victoria Cengarle: The Disjunctive Constrained Lambda Calculus. Ershov Memorial Conference 1996: 297-309

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)

María Victoria Cengarle: Semantic Typing for Parametric Algebraic Specifications. AMAST 1995: 261-276

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)

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)

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