default search action
María Victoria Cengarle
Person information
- affiliation: Technical University Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j6]Alexander Knapp, María Victoria Cengarle:
2-Term Charters. J. Object Technol. 19(3): 3:1-12 (2020)
2010 – 2019
- 2018
- [c15]Alexander Knapp, María Victoria Cengarle:
Term Charters. WADT 2018: 119-138 - 2015
- [c14]Alexander Knapp, María Victoria Cengarle:
Institutions for OCL-Like Expression Languages. Software, Services, and Systems 2015: 193-214 - 2014
- [i7]María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Variability within Modeling Language Definitions. CoRR abs/1409.6585 (2014) - [i6]Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
Towards a System Model for UML. The Structural Data Model. CoRR abs/1409.6613 (2014) - [i5]María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe:
System-Model-Based Simulation of UML Models. CoRR abs/1409.6622 (2014) - [i4]María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
System Model Semantics of Class Diagrams. CoRR abs/1409.6635 (2014) - [i3]María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
System Model Semantics of Statecharts. CoRR abs/1409.6636 (2014) - [i2]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 abs/1409.6637 (2014) - 2013
- [c13]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: 1401-1406 - 2012
- [c12]Manfred Broy, María Victoria Cengarle, Eva Geisberger:
Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28 - 2011
- [j5]Manfred Broy, María Victoria Cengarle:
UML formal semantics: lessons learned. Softw. Syst. Model. 10(4): 441-446 (2011)
2000 – 2009
- 2009
- [c11]María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
:
Variability within Modeling Language Definitions. MoDELS 2009: 670-684 - [p4]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Considerations and Rationale for a UML System Model. UML 2 Semantics and Applications 2009: 43-60 - [p3]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Definition of the System Model. UML 2 Semantics and Applications 2009: 61-93 - [p2]María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger:
Interactions. UML 2 Semantics and Applications 2009: 205-248 - 2008
- [c10]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402 - [c9]Daniel Calegari
UML 2.0 Interactions with OCL/RT Constraints. FDL 2008: 167-172 - [c8]María Victoria Cengarle:
Approaches to an All-encompassing Formal Semantics for the UML. MSVVEIS 2008: 3-4 - 2006
- [i1]María Victoria Cengarle:
System model for UML -- The interactions case. MMOSS 2006 - 2005
- [c7]María Victoria Cengarle, Peter Graubmann, Stefan Wagner
Semantics of UML 2.0 Interactions with Variabilities. FACS 2005: 141-155 - 2004
- [j4]María Victoria Cengarle, Alexander Knapp:
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Softw. Syst. Model. 3(1): 9-30 (2004) - 2002
- [c6]María Victoria Cengarle, Alexander Knapp:
Towards OCL/RT. FME 2002: 390-409 - 2001
- [c5]María Victoria Cengarle, Alexander Knapp:
A Formal Semantics for OCL 1.4. UML 2001: 118-133
1990 – 1999
- 1999
- [c4]Luis Mandel, María Victoria Cengarle:
On the Expressive Power of OCL. World Congress on Formal Methods 1999: 854-874 - [p1]Michel Bidoit, María Victoria Cengarle, Rolf Hennicker:
Proof Systems for Structured Specifications and Their Refinements. Algebraic Foundations of Systems Specification 1999: 385-433 - 1996
- [c3]Luis Mandel, María Victoria Cengarle:
The Disjunctive Constrained Lambda Calculus. Ershov Memorial Conference 1996: 297-309 - 1995
- [b1]María Victoria Cengarle:
Formal specifications with higher-order parameterization. Ludwig Maximilian University of Munich, Germany, Berichte aus der Informatik, Shaker 1995, ISBN 978-3-8265-0809-7, pp. I-X, 1-234 - [j3]María Victoria Cengarle, Martin Wirsing:
A Calculus of Higher-Order Parameterization for Algebraic Specifications. Log. J. IGPL 3(4): 615-641 (1995) - [c2]María Victoria Cengarle:
Semantic Typing for Parametric Algebraic Specifications. AMAST 1995: 261-276 - 1992
- [j2]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): 319-369 (1992) - [j1]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): 399-404 (1992) - 1991
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: