María Victoria Cengarle

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 3

Top Topics

Cyber Physical Systems

Ims Learning Design

Top Venues

Software, Services, and Systems

J. Object Technol.

Publications

Alexander Knapp, María Victoria Cengarle
2-Term Charters. J. Object Technol. 19 (3) (2020)
Alexander Knapp, María Victoria Cengarle
Term Charters. WADT (2018)
Alexander Knapp, María Victoria Cengarle
Institutions for OCL-Like Expression Languages. Software, Services, and Systems (2015)
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
System Model Semantics of Class Diagrams. CoRR (2014)
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Variability within Modeling Language Definitions. CoRR (2014)
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). CoRR (2014)
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Towards a System Model for UML. The Structural Data Model. CoRR (2014)
María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe
System-Model-Based Simulation of UML Models. CoRR (2014)
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
System Model Semantics of Statecharts. CoRR (2014)
Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss
Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. FedCSIS (2013)
Manfred Broy, María Victoria Cengarle, Eva Geisberger
Cyber-Physical Systems: Imminent Challenges. Monterey Workshop (2012)
Manfred Broy, María Victoria Cengarle
UML formal semantics: lessons learned. Softw. Syst. Model. 10 (4) (2011)
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Variability within Modeling Language Definitions. MoDELS (2009)
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models (2008)
Daniel Calegari, María Victoria Cengarle, Nora Szasz
UML 2.0 Interactions with OCL/RT Constraints. FDL (2008)
María Victoria Cengarle
Approaches to an All-encompassing Formal Semantics for the UML. MSVVEIS (2008)
María Victoria Cengarle, Peter Graubmann, Stefan Wagner
Semantics of UML 2.0 Interactions with Variabilities. Electron. Notes Theor. Comput. Sci. 160 (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. Softw. Syst. Model. 3 (1) (2004)
María Victoria Cengarle, Alexander Knapp
Towards OCL/RT. FME (2002)
María Victoria Cengarle, Alexander Knapp
A Formal Semantics for OCL 1.4. UML (2001)
Luis Mandel, María Victoria Cengarle
On the Expressive Power of OCL. World Congress on Formal Methods (1999)
Luis Mandel, María Victoria Cengarle
The Disjunctive Constrained Lambda Calculus. Ershov Memorial Conference (1996)
María Victoria Cengarle
Semantic Typing for Parametric Algebraic Specifications. AMAST (1995)
María Victoria Cengarle, Martin Wirsing
A Calculus of Higher-Order Parameterization for Algebraic Specifications. Log. J. IGPL 3 (4) (1995)
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 Symb. Comput. 4 (4) (1992)
María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
An Approach to the DIN Kernel Lisp Definition. LISP Symb. Comput. 4 (4) (1992)
María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider
Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme (1991)