• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2020
• 
  Alexander Knapp, María Victoria Cengarle:
  2-Term Charters. J. Object Technol. 19(3): 3:1-12 (2020)
• 2018
• 
  Alexander Knapp, María Victoria Cengarle:
  Term Charters. WADT 2018: 119-138
• 2015
• 
  Alexander Knapp, María Victoria Cengarle:
  Institutions for OCL-Like Expression Languages. Software, Services, and Systems 2015: 193-214
• 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 abs/1409.6637 (2014)
• 
  Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
  Towards a System Model for UML. The Structural Data Model. CoRR abs/1409.6613 (2014)
• 
  María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe:
  System-Model-Based Simulation of UML Models. CoRR abs/1409.6622 (2014)
• 
  María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  Variability within Modeling Language Definitions. CoRR abs/1409.6585 (2014)
• 
  María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  System Model Semantics of Class Diagrams. CoRR abs/1409.6635 (2014)
• 
  María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  System Model Semantics of Statecharts. CoRR abs/1409.6636 (2014)
• 2013
• 
  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
• 
  Manfred Broy, María Victoria Cengarle, Eva Geisberger:
  Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28
• 2011
• 
  Manfred Broy, María Victoria Cengarle:
  UML formal semantics: lessons learned. Softw. Syst. Model. 10(4): 441-446 (2011)
• 2009
• 
  María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  Variability within Modeling Language Definitions. MoDELS 2009: 670-684
• 
  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
• 
  Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  Definition of the System Model. UML 2 Semantics and Applications 2009: 61-93
• 
  María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger:
  Interactions. UML 2 Semantics and Applications 2009: 205-248
• 2008
• 
  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
• 2006
• 
  María Victoria Cengarle:
  System model for UML -- The interactions case. MMOSS 2006
• 2005
• 
  María Victoria Cengarle, Peter Graubmann, Stefan Wagner:
  Semantics of UML 2.0 Interactions with Variabilities. FACS 2005: 141-155
• 2004
• 
  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
• 
  María Victoria Cengarle, Alexander Knapp:
  Towards OCL/RT. FME 2002: 390-409
• 2001
• 
  María Victoria Cengarle, Alexander Knapp:
  A Formal Semantics for OCL 1.4. UML 2001: 118-133
• 1999
• 
  Luis Mandel, María Victoria Cengarle:
  On the Expressive Power of OCL. World Congress on Formal Methods 1999: 854-874
• 
  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
• 
  Luis Mandel, María Victoria Cengarle:
  The Disjunctive Constrained Lambda Calculus. Ershov Memorial Conference 1996: 297-309
• 1995
• 
  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
• 
  María Victoria Cengarle, Martin Wirsing:
  A Calculus of Higher-Order Parameterization for Algebraic Specifications. Log. J. IGPL 3(4): 615-641 (1995)
• 
  María Victoria Cengarle:
  Semantic Typing for Parametric Algebraic Specifications. AMAST 1995: 261-276

skipping 3 more matches