Articles with public access mandates - Gogolla, MartinLearn more
Not available anywhere: 2
Interoperability of logistics artifacts: an approach for information exchange through transformation mechanisms
M Franke, T Becker, M Gogolla, KA Hribernik, KD Thoben
Dynamics in Logistics: Proceedings of the 5th International Conference LDIC …, 2017
Mandates: German Research Foundation
Modeling behavioral deontic constraints using UML and OCL
A Vallecillo, M Gogolla
International Conference on Conceptual Modeling, 134-148, 2020
Mandates: Government of Spain
Available somewhere: 28
Analyzing and managing role-based access control policies
K Sohr, M Drouineaud, GJ Ahn, M Gogolla
IEEE transactions on knowledge and data engineering 20 (7), 924-939, 2008
Mandates: German Research Foundation
Formal specification and testing of model transformations
A Vallecillo, M Gogolla, L Burgueno, M Wimmer, L Hamann
International School on Formal Methods for the Design of Computer …, 2012
Mandates: Austrian Science Fund
From application models to filmstrip models: An approach to automatic validation of model dynamics
M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France
Gesellschaft für Informatik eV, 2014
Mandates: German Research Foundation
Testing models and model transformations using classifying terms
F Hilken, M Gogolla, L Burgueño, A Vallecillo
Software & Systems Modeling 17, 885-912, 2018
Mandates: Government of Spain
On translating UML models into graph transformation systems
K Hölscher, P Ziemann, M Gogolla
Journal of Visual Languages & Computing 17 (1), 78-105, 2006
Mandates: German Research Foundation
Teaching UML and OCL models and their validation to software engineering students: an experience report
L Burgueño, A Vallecillo, M Gogolla
Computer Science Education 28 (1), 23-41, 2018
Mandates: Government of Spain
Employing classifying terms for testing model transformations
M Gogolla, A Vallecillo, L Burgueno, F Hilken
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
Mandates: German Research Foundation, Government of Spain
A feature-based classification of formal verification techniques for software models
S Gabmeyer, P Kaufmann, M Seidl, M Gogolla, G Kappel
Software & Systems Modeling 18, 473-498, 2019
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
Towards an integrated graph-based semantics for UML
S Kuske, M Gogolla, HJ Kreowski, P Ziemann
Software & Systems Modeling 8, 403-422, 2009
Mandates: German Research Foundation
Transformation of UML and OCL models into filmstrip models
F Hilken, L Hamann, M Gogolla
International Conference on Theory and Practice of Model Transformations …, 2014
Mandates: German Research Foundation
Filmstripping and unrolling: A comparison of verification approaches for UML and OCL behavioral models
F Hilken, P Niemann, M Gogolla, R Wille
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014
Mandates: German Research Foundation
Assisted generation of frame conditions for formal models
P Niemann, F Hilken, M Gogolla, R Wille
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 309-312, 2015
Mandates: German Research Foundation
Extracting frame conditions from operation contracts
P Niemann, F Hilken, M Gogolla, R Wille
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
Mandates: German Research Foundation
Towards a generic verification methodology for system models
R Wille, M Gogolla, M Soeken, M Kuhlmann, R Drechsler
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
Mandates: German Research Foundation
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap: Report on the MDE@ DeRun 2018 Workshop
H Bruneliere, R Eramo, A Gomez, V Besnard, JM Bruel, M Gogolla, ...
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
Mandates: European Commission
From UML/OCL to base models: transformation concepts for generic validation and verification
F Hilken, P Niemann, M Gogolla, R Wille
Theory and Practice of Model Transformations: 8th International Conference …, 2015
Mandates: German Research Foundation
Model Finding in the EMF Ecosystem.
JS Cuadrado, M Gogolla
J. Object Technol. 19 (2), 10:1-21, 2020
Mandates: Government of Spain
Integrating an SMT-Based ModelFinder into USE.
N Przigoda, F Hilken, J Peters, R Wille, M Gogolla, R Drechsler
MoDeVVa@ MoDELS, 40-45, 2016
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program