selected scholarly activity
-
chapters
- General Supervised Learning as Change Propagation with Delta Lenses. Lecture Notes in Computer Science. 177-197. 2020
- Graph Operations and Free Graph Algebras. Lecture Notes in Computer Science. 313-331. 2018
- Category theory and model-driven engineering: From formal semantics to design patterns and beyond. 175-204. 2014
- Generic Model Management. 258-265. 2005
- Mathematics of Generic Specifications for Model Management, I. 351-358. 2005
- Mathematics of Generic Specifications for Model Management, II. 359-366. 2005
-
conferences
- Model-Driven Safety of Autonomous Vehicles. RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING. 407-417. 2022
- SL2SF: Refactoring Simulink to Stateflow. Lecture Notes in Computer Science. 264-281. 2019
- Assurance via model transformations and their hierarchical refinement. Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 426-436. 2018
- Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. Lecture Notes in Computer Science. 80-96. 2018
- Multiple Model Synchronization with Multiary Delta Lenses. Lecture Notes in Computer Science. 21-37. 2018
- Toward Product Lines of Mathematical Models for Software Model Management. Lecture Notes in Computer Science. 200-216. 2018
- Benchmarx reloaded: A practical benchmark framework for bidirectional transformations. CEUR Workshop Proceedings. 15-30. 2017
- Compositionality of update propagation: Laxed PutPut. CEUR Workshop Proceedings. 74-89. 2017
- Efficient Consistency Checking of Interrelated Models. Lecture Notes in Computer Science. 161-178. 2017
- Traceability Mappings as a Fundamental Instrument in Model Transformations. Lecture Notes in Computer Science. 247-263. 2017
- Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. Lecture Notes in Computer Science. 19-35. 2016
- Elementary model management patterns. CEUR Workshop Proceedings. 11-15. 2016
- Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization. CEUR Workshop Proceedings. 15-31. 2016
- Incremental Consistency Checking of Heterogeneous Multimodels. Lecture Notes in Computer Science. 274-288. 2016
- Modeling and reasoning with multirelations, and their encoding in alloy. CEUR Workshop Proceedings. 73-88. 2016
- A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. Lecture Notes in Computer Science. 154-170. 2015
- Analysis of source-to-target model transformations in QueST. CEUR Workshop Proceedings. 46-55. 2015
- Modeling Product Lines with Kripke Structures and Modal Logic. Lecture Notes in Computer Science. 184-202. 2015
- The Semantics of Cardinality-Based Feature Models via Formal Languages. Lecture Notes in Computer Science. 453-469. 2015
- A query structured approach to model transformation. CEUR Workshop Proceedings. 54-63. 2014
- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization. Lecture Notes in Computer Science. 57-73. 2014
- Example-Driven Modeling: Model = Abstractions + Examples. Proceedings - International Conference on Software Engineering. 1273-1276. 2013
- Example-driven modeling using clafer. CEUR Workshop Proceedings. 32-41. 2013
- Mapping-Aware Megamodeling: Design Patterns and Laws. Lecture Notes in Computer Science. 322-343. 2013
- Partial Instances via Subclassing. Lecture Notes in Computer Science. 344-364. 2013
- Intermodeling, Queries, and Kleisli Categories. Lecture Notes in Computer Science. 163-177. 2012
- Correctness of Model Synchronization Based on Triple Graph Grammars. Lecture Notes in Computer Science. 668-682. 2011
- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. Lecture Notes in Computer Science. 304-318. 2011
- Model Synchronization: Mappings, Tiles, and Categories. Lecture Notes in Computer Science. 92-165. 2011
- Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. Lecture Notes in Computer Science. 165-179. 2011
- Specifying overlaps of heterogeneous models for global consistency checking. Proceedings of the First International Workshop on Model-Driven Interoperability. 42-51. 2010
- Model-versioning-in-the-large: Algebraic foundations and the tile notation. 2009 ICSE Workshop on Comparison and Versioning of Software Models. 7-12. 2009
- Relationship-based change propagation: A case study. Proceedings - International Conference on Software Engineering. 7-12. 2009
- Understanding and improving UML package merge. Software and Systems Modeling (SoSyM). 443-467. 2008
- Contexts and Context Awareness in View of the Diagram Predicate Framework. Communications in Computer and Information Science. 534-547. 2008
- Engineering Associations: From Models to Code and Back through Semantics. Lecture Notes in Business Information Processing. 336-355. 2008
- A comparative survey of scenario-based to state-based model synthesis approaches. Proceedings - International Conference on Software Engineering. 5-11. 2006
- Package Merge in UML 2: Practice vs. Theory?. Lecture Notes in Computer Science. 185-199. 2006
- Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. Lecture Notes in Computer Science. 112-115. 2002
- On modeling, mathematics, category theory and RM-ODP. Proceedings of the 1st International Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001 - In Conjunction with ICEIS 2001. 38-54. 2001
- Universal Arrow Foundations for Visual Modeling. Lecture Notes in Computer Science. 345-360. 2000
- Heterogeneous view integration via sketches and equations. Lecture Notes in Computer Science. 603-612. 1996
- Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers. Lecture Notes in Computer Science. 226-237. 1995
- Lambda substitution algebras. Lecture Notes in Computer Science. 423-432. 1993
-
journal articles
- A query-retyping approach to model transformation co-evolution. Software and Systems Modeling (SoSyM). 19:1107-1138. 2020
- Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling (SoSyM). 19:647-691. 2020
- Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput. Formal Aspects of Computing. 32:153-153. 2020
- Multiple model synchronization with multiary delta lenses with amendment andK-Putput. Formal Aspects of Computing. 31:611-640. 2019
- A theoretical framework for cardinality-based feature models: The semantics and computational aspects. Journal of Logical and Algebraic Methods in Programming. 97:30-54. 2018
- Clafer: unifying class and feature modeling. Software and Systems Modeling (SoSyM). 15:811-845. 2016
- A three-dimensional taxonomy for bidirectional model synchronization. Journal of Systems and Software. 111:298-322. 2016
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. Scientific Annals of Computer Science. 16:69-122. 2016
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software and Systems Modeling (SoSyM). 14:241-269. 2015
- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. Electronic Proceedings in Theoretical Computer Science. 93:1-21. 2012
- Contexts and Context Awareness in View of the Diagram Predicate Framework. Communications in Computer and Information Science. 17:534-547. 2009
- Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling. Data & Knowledge Engineering. 47:1-59. 2003
- On mathematical foundations for business modeling. Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS. 182-187. 2000
-
preprints
- Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches 2023
- Assurance via workflow+ modelling and conformance 2019
- General supervised learning as change propagation with delta lenses 2019
- Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput. Formal Aspects of Computing. 2019