default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Gogolla
Person information
- affiliation: University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c223]Sergio Morales
, Elena Planas, Robert Clarisó, Martin Gogolla:
Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) 2023: 110-113- [c222]Friedrich Steimann, Robert Clarisó, Martin Gogolla:
OCL Rebuilt, From the Ground Up. MODELS 2023: 194-205 - [c221]Martin Gogolla:
Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE. MoDELS (Companion) 2023: 422-425 - [c220]Martin Gogolla, Lars Hamann:
Proving Properties of Operation Contracts with Test Scenarios. TAP 2023: 97-107 - 2022
- [j48]Lola Burgueño, Martin Gogolla, Richard F. Paige:
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday. J. Object Technol. 21(4): 1-5 (2022) - [c219]Lars Hamann, Martin Gogolla, Mustafa Al-Lail:
Categorization of approaches to extend and reuse OCL. MoDELS (Companion) 2022: 847-851 - [c218]Martin Gogolla, Bran Selic, Andreas Kästner, Larousse Degrandow, Cyrille Namegni:
From Object to Class Models: More Steps towards Flexible Modeling (Short Paper). STAF Workshops 2022 - 2021
- [j47]Loli Burgueño, Martin Gogolla:
Preface to the JOT special issue containing the ECMFA 2021 selected papers. J. Object Technol. 20(3): 1-5 (2021) - [c217]Martin Gogolla:
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. ICDCIT 2021: 24-43 - [c216]Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot:
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) 2021: 244-248 - [c215]Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Refactoring Collections in OCL. STAF Workshops 2021: 142-148 - [c214]Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink:
A SWOT Analysis of the Object Constraint Language. STAF Workshops 2021: 178-184 - [p10]Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler:
Exploiting Results of Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 129-158 - 2020
- [j46]Jesús Sánchez Cuadrado, Martin Gogolla:
Model Finding in the EMF Ecosystem. J. Object Technol. 19(2): 10:1-21 (2020) - [j45]Nisha Desai, Martin Gogolla:
Assembling Scenario Patterns for Checking Model Behavior. J. Object Technol. 19(2): 19:1-27 (2020) - [c213]Antonio Vallecillo, Martin Gogolla:
Modeling Behavioral Deontic Constraints Using UML and OCL. ER 2020: 134-148 - [c212]Matthias Sedlmeier, Martin Gogolla:
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications. ER Forum/Posters/Demos 2020: 142-149 - [c211]Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr:
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung 2020: 157-172 - [c210]Martin Gogolla, Haleh Havakili, Carsten Schipke:
Advanced Features for Model Visualization in the UML and OCL Tool USE. Modellierung (Companion) 2020: 203-207 - [c209]Nisha Desai, Martin Gogolla:
Strengthening validation of model behavior through filmstrip templates in the tool USE. MoDELS (Companion) 2020: 13:1-13:5 - [c208]Marcel Schäfer, Martin Gogolla:
Enhancing development and consistency of UML models and model executions with USE studio. MoDELS (Companion) 2020: 14:1-14:5 - [c207]Martin Gogolla, Bran Selic:
On teaching descriptive and prescriptive modeling. MoDELS (Companion) 2020: 23:1-23:9 - [c206]Martin Gogolla, Timo Stüber:
Metrics for OCL expressions: development, realization, and applications for validation. MoDELS (Companion) 2020: 82:1-82:10
2010 – 2019
- 2019
- [j44]Martin Gogolla, Antonio Vallecillo:
On Softening OCL Invariants. J. Object Technol. 18(2): 6:1-22 (2019) - [j43]Nisha Desai, Martin Gogolla:
Developing Comprehensive Postconditions Through a Model Transformation Chain. J. Object Technol. 18(3): 5:1-18 (2019) - [j42]Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel:
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18(1): 473-498 (2019) - [c205]Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla:
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER 2019: 513-521 - [c204]Robert Clarisó, Martin Gogolla:
A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS 2019: 45-58 - [c203]Victor Ortiz, Loli Burgueño, Antonio Vallecillo, Martin Gogolla:
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. OCL@MoDELS 2019: 59-66 - [c202]Paula Muñoz, Loli Burgueño, Martin Gogolla, Antonio Vallecillo:
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. OCL@MoDELS 2019: 81-96 - [c201]Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink:
Emerging Topics in Textual Modelling. OCL@MoDELS 2019: 91-104 - [c200]Nisha Desai, Martin Gogolla:
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. MoDELS (Companion) 2019: 519-523 - [c199]Martin Gogolla, Antonio Vallecillo:
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now". MoDELS (Companion) 2019: 710-713 - [c198]Khanh-Hoang Doan, Martin Gogolla:
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. MoDELS (Companion) 2019: 774-778 - [c197]Martin Gogolla, Nisha Desai, Khanh-Hoang Doan:
Developing User and Recording Interfaces for Design Time and Runtime Models. STAF (Co-Located Events) 2019: 39-48 - 2018
- [j41]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54: 474-511 (2018) - [j40]Martin Gogolla, Perdita Stevens:
Teaching modeling in computer science as an ecosystem: a provocative analogy. Comput. Sci. Educ. 28(1): 5-22 (2018) - [j39]Loli Burgueño, Antonio Vallecillo, Martin Gogolla:
Teaching UML and OCL models and their validation to software engineering students: an experience report. Comput. Sci. Educ. 28(1): 23-41 (2018) - [j38]Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Testing models and model transformations using classifying terms. Softw. Syst. Model. 17(3): 885-912 (2018) - [c196]Martin Gogolla, Khanh-Hoang Doan:
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. SetVR@Diagrams 2018: 76-83 - [c195]Khanh-Hoang Doan, Martin Gogolla:
Logical Reasoning with Object Diagrams in a UML and OCL Tool. Diagrams 2018: 774-778 - [c194]Khanh-Hoang Doan, Martin Gogolla:
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. Modellierung 2018: 135-150 - [c193]Andreas Kästner, Martin Gogolla, Bran Selic:
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. MoDELS 2018: 13-22 - [c192]Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Model Finding and Model Completion with USE. MoDELS (Workshops) 2018: 194-200 - [c191]Andreas Kästner, Martin Gogolla, Bran Selic:
Towards flexible object and class modeling tools: an experience report. MoDELS (Workshops) 2018: 233-242 - [c190]Nisha Desai, Martin Gogolla:
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. ICTSS 2018: 62-68 - [c189]Khanh-Hoang Doan, Martin Gogolla:
Assessing UML Model Quality by Utilizing Metrics. QUATIC 2018: 92-100 - [c188]Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai:
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. STAF Workshops 2018: 529-535 - [c187]Hugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle:
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. STAF Workshops 2018: 536-543 - [e14]Önder Babur, Daniel Strüber, Silvia Abrahão, Loli Burgueño, Martin Gogolla, Joel Greenyer, Sahar Kokaly, Dimitris S. Kolovos, Tanja Mayerhofer, Mansooreh Zahedi:
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018 [contents] - [r4]Martin Gogolla:
Object Constraint Language. Encyclopedia of Database Systems (2nd ed.) 2018 - [r3]Martin Gogolla:
Unified Modeling Language. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c186]Martin Gogolla, Khanh-Hoang Doan:
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. Conceptual Modeling Perspectives 2017: 155-168 - [c185]Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA 2017: 232-247 - [c184]Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla:
Testing Transformation Models Using Classifying Terms. ICMT 2017: 69-85 - [c183]Loli Burgueño, Martin Gogolla:
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL. ICSOC 2017: 113-122 - [c182]Nisha Desai, Martin Gogolla, Frank Hilken:
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. MoDELS (Satellite Events) 2017: 88-94 - [c181]Khanh-Hoang Doan, Martin Gogolla:
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. MoDELS (Satellite Events) 2017: 251 - [c180]Antonio Vallecillo, Martin Gogolla:
Adding Random Operations to OCL. MoDELS (Satellite Events) 2017: 324-328 - [c179]Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin:
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17). MoDELS (Satellite Events) 2017: 441-446 - [c178]Martin Gogolla:
On Understanding Teaching Modeling in Computer Science as an Ecosystem. MoDELS (Satellite Events) 2017: 516-520 - [c177]Loli Burgueño, Antonio Vallecillo, Martin Gogolla:
Teaching Model Views with UML and OCL. MoDELS (Satellite Events) 2017: 533-538 - [c176]Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken:
Employing Classifying Terms for Testing Model Transformations. Software Engineering 2017: 91-92 - [c175]Martin Gogolla, Frank Hilken, Andreas Kästner:
Some Narrow and Broad Challenges in MDD. STAF Workshops 2017: 172-177 - [c174]Martin Gogolla, Antonio Vallecillo:
(An Example for) Formally Modeling Robot Behavior with UML and OCL. STAF Workshops 2017: 232-246 - [c173]Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink:
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. STAF Workshops 2017: 297-301 - [c172]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai:
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF 2017: 119-128 - [e13]Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio:
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. CEUR Workshop Proceedings 2019, CEUR-WS.org 2017 [contents] - 2016
- [c171]Frank Hilken, Martin Gogolla:
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. DSD 2016: 708-713 - [c170]Michael Freitag, Martin Gogolla, Hans-Jörg Kreowski, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben:
Toward a Unified Logistics Modeling Language: Constraints and Objectives. LDIC 2016: 425-432 - [c169]Marco Franke, Till Becker, Martin Gogolla, Karl A. Hribernik, Klaus-Dieter Thoben:
Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms. LDIC 2016: 469-479 - [c168]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung 2016: 117-124 - [c167]Martin Gogolla, Frank Hilken:
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. Modellierung 2016: 205-220 - [c166]Lars Hamann, Martin Gogolla, Nisha Desai:
On the Support of Qualified Associations in OCL. OCL@MoDELS 2016: 3-15 - [c165]Robert Bill, Martin Gogolla, Manuel Wimmer:
On Leveraging UML/OCL for Model Synchronization. ME@MoDELS 2016: 20-29 - [c164]Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler:
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS 2016: 40-45 - [c163]Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla:
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS 2016: 48-57 - [c162]Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer:
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS 2016: 57-72 - [c161]Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla:
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS 2016: 89-104 - [c160]Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff:
Recent Developments in OCL and Textual Modelling. OCL@MoDELS 2016: 157-165 - [c159]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. Software Engineering 2016: 89-90 - [c158]Matthias Sedlmeier, Martin Gogolla:
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data. BigMDE@STAF 2016: 1-10 - [c157]Khanh-Hoang Doan, Martin Gogolla, Frank Hilken:
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops 2016: 207-220 - [c156]Martin Gogolla, Jordi Cabot:
Continuing a Benchmark for UML and OCL Design and Analysis Tools. STAF Workshops 2016: 289-302 - [c155]Martin Gogolla, Antonio Vallecillo:
Views on UML Interactions as Spreadsheet Queries. STAF Workshops 2016: 394-400 - [c154]Frank Hilken, Martin Gogolla:
User Assistance Characteristics of the USE Model Checking Tool. F-IDE@FM 2016: 91-97 - 2015
- [j37]Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler:
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Softw. Syst. Model. 14(2): 525-532 (2015) - [c153]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Assisted generation of frame conditions for formal models. DATE 2015: 309-312 - [c152]Matthias Sedlmeier, Martin Gogolla:
Model Driven ActiveRecord with yEd. EJC 2015: 65-76 - [c151]Lars Hamann, Karsten Sohr, Martin Gogolla:
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS 2015: 211-226 - [c150]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT 2015: 149-165 - [c149]Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo:
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS 2015: 1-6 - [c148]Martin Gogolla:
Experimenting with Multi-Level Models in a Two-Level Modeling Tool. MULTI@MoDELS 2015: 3-12 - [c147]Martin Gogolla:
An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? EduSymp@MoDELS 2015: 6-16 - [c146]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. MoDELS 2015: 266-275 - [c145]Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken:
Employing classifying terms for testing model transformations. MoDELS 2015: 312-321 - [c144]Lars Hamann, Martin Gogolla:
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. Software Engineering & Management 2015: 31-32 - [c143]Martin Gogolla, Frank Hilken:
UML and OCL Transformation Model Analysis: Checking Invariant Independence. VOLT@STAF 2015: 20-27 - [c142]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. TAP@STAF 2015: 129-136 - [e12]Mira Balaban, Martin Gogolla:
Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1503, CEUR-WS.org 2015 [contents] - [e11]Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong:
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1512, CEUR-WS.org 2015 [contents] - [e10]Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 [contents] - 2014
- [j36]Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek:
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89: 162-175 (2014) - [j35]Fabian Büttner, Martin Gogolla:
On OCL-based imperative languages. Sci. Comput. Program. 92: 162-178 (2014) - [c141]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen:
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. BM-FA 2014: 4 - [c140]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. BM-FA (Revised Selected Papers) 2014: 31-58 - [c139]Matthias Sedlmeier, Martin Gogolla:
Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model. EJC 2014: 376-395 - [c138]Frank Hilken, Lars Hamann, Martin Gogolla:
Transformation of UML and OCL Models into Filmstrip Models. ICMT 2014: 170-185 - [c137]Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France:
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung 2014: 273-288 - [c136]Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken:
On metamodel superstructures employing UML generalization features. MULTI@MoDELS 2014: 13-22 - [c135]Martin Gogolla, Lars Hamann, Frank Hilken:
On Static and Dynamic Analysis of UML and OCL Transformation Models. AMT@MoDELS 2014: 24-33 - [c134]Lars Hamann, Frank Hilken, Martin Gogolla:
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. OSS4MDE@MoDELS 2014: 42-52 - [c133]Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS 2014: 59-68 - [c132]Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff:
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS 2014: 83-99 - [c131]Lars Hamann, Martin Gogolla, Oliver Hofrichter:
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. Software Engineering 2014: 75-76 - [c130]Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano:
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF 2014: 1-9 - [c129]Martin Gogolla, Lars Hamann, Frank Hilken:
Checking Transformation Model Properties with a UML and OCL Model Validator. VOLT@STAF 2014: 16-25 - [c128]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF 2014: 99-116 - [e9]Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla:
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1285, CEUR-WS.org 2014 [contents] - [i7]Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting. CoRR abs/1408.5698 (2014) - 2013
- [j34]Mirco Kuhlmann, Karsten Sohr, Martin Gogolla:
Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23(4): 796-833 (2013) - [c127]Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler:
Towards a generic verification methodology for system models. DATE 2013: 1193-1196 - [c126]Martin Gogolla:
Employing the Object Constraint Language in Model-Based Engineering.