Concepedia

Marı́a Victoria Cengarle

MV

Statistics

Publications

7

Citations

163

H-Index

7

Active since

2004

Affiliations

Technical University of Munich(Current)

Marı́a Victoria Cengarle is an author at Technical University of Munich specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

2004–2014

7

Publications

7

UML formal semantics: lessons learned

Manfred Broy, Marı́a Victoria Cengarle · Software & Systems Modeling · 2011 · 50 citations

, , +7

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

Marı́a Victoria Cengarle, Alexander Knapp · Software & Systems Modeling · 2004 · 31 citations

, , +9

Semantics of UML 2.0 Interactions with Variabilities

Marı́a Victoria Cengarle, Peter Graubmann, Stefan Wagner · Electronic Notes in Theoretical Computer Science · 2006 · 27 citations · Full text

, , +20

System Model Semantics of Class Diagrams

Marı́a Victoria Cengarle, Hans Grönniger, Bernhard Rumpe⋆ · arXiv (Cornell University) · 2014 · 17 citations · Full text

, , +19

An Institution for UML 2.0 Static Structures

Marı́a Victoria Cengarle, Alexander Knapp · 2008 · 14 citations

1–5 of 7