Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Martin Gogolla, Timo Stüber |
Metrics for OCL expressions: development, realization, and applications for validation. |
MoDELS (Companion) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann |
On lightweight analysis of UML and OCL models. |
|
2020 |
RDF |
|
16 | Josh G. M. Mengerink, Jeroen Noten, Alexander Serebrenik |
Empowering OCL research: a large-scale corpus of open-source data from GitHub. |
Empir. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Antonio Vallecillo |
On Softening OCL Invariants. |
J. Object Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Franconi, Alessandro Mosca 0001, Xavier Oriol, Guillem Rull, Ernest Teniente |
OCLFO: first-order expressive OCL constraints for efficient integrity checking. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem |
Temporal property patterns for model-based testing from UML/OCL. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Marina Egea, Carolina Dania |
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hong Lu 0005, Shuai Wang 0001, Tao Yue 0002, Shaukat Ali 0001, Jan F. Nygård |
Automated Refactoring of OCL Constraints with Search. |
IEEE Trans. Software Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Smart Bound Selection for the Verification of UML/OCL Class Diagrams. |
IEEE Trans. Software Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Beatriz Pérez 0001, Ivan Porres |
Reasoning about UML/OCL class diagrams using constraint logic programming and formula. |
Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Denis A. Nikiforov |
Safe OCL. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
16 | Hao Wu 0017 |
Synthesising call sequences from OCL operational contracts. |
SAC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh |
Applying a Model-Driven Approach for UML/OCL Constraints: Application to NoSQL Databases. |
OTM Conferences |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hoang Nguyen Phuoc Bao, Manuel Clavel |
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. |
FDSE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan |
A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints. |
SSBSE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Judith Przigoda, Robert Wille |
Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. |
ISMVL |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Khanh-Hoang Doan, Martin Gogolla |
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. |
MoDELS (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Beatriz Sánchez 0001, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige |
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. |
MoDELS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Don S. Batory |
Should future variability modeling languages express constraints in OCL? |
SPLC (B) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil |
Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Philipp Niemann 0001, Jonas Gomes Filho, Robert Wille, Rolf Drechsler |
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. |
Comput. Lang. Syst. Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer |
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | 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. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |
|
2018 |
DOI RDF |
|
16 | Khanh-Hoang Doan, Martin Gogolla |
Logical Reasoning with Object Diagrams in a UML and OCL Tool. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Khanh-Hoang Doan |
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. |
SetVR@Diagrams |
2018 |
DBLP BibTeX RDF |
|
16 | Philipp Niemann 0001, Nils Przigoda, Robert Wille, Rolf Drechsler |
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. |
MODELSWARD |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fouad Toufik, Mohamed Bahaj |
Extracting OCL Integrity Constraints from Object Relational Database. |
ICCAD |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nisha Desai 0001, Martin Gogolla |
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. |
ICTSS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh |
Traduction Automatique de contraintes OCL dans une BD NoSQL. |
EDA |
2018 |
DBLP BibTeX RDF |
|
16 | Khanh-Hoang Doan, Martin Gogolla |
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. |
Modellierung |
2018 |
DBLP BibTeX RDF |
|
16 | Regina Hebig, Thorsten Berger (eds.) |
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Oluwasefunmi 'Tale Arogundade, Temitope Elizabeth Abioye, Abiodun Muyideen Mustapha, Adeola Mary Adeniji, Abiodun Motunrayo Ikotun, Franklin Oladiipo Asahiah |
Specifying and Incorporating Compliance Requirements into Software Development Using UML and OCL. |
ICCSA (4) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Simon Schwichtenberg, Ivan Jovanovikj, Christian Gerth, Gregor Engels |
CrossEcore: an extendible framework to use ecore and OCL across platforms. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017, Laure Hinsberger, Joseph Timoney |
A Workflow for Healthcare Systems via OCL and SMT Solving. |
SEHS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Hong Lu 0005, Shuai Wang 0001, Tao Yue 0002, Shaukat Ali 0001, Jan F. Nygård |
Automated refactoring of OCL constraints with search. |
ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer |
OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Piotr Kosiuczenko |
On the Functional Specification of Queries in OCL. |
KKIO Software Engineering Conference |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo |
Expressing Measurement Uncertainty in OCL/UML Datatypes. |
ECMFA |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Sánchez Cuadrado |
Optimising OCL Synthesized Code. |
ECMFA |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Iris Reinhartz-Berger, Amir Tomer, Malki Grossman |
Reuse Considerations in Evolving Software Products: The Software Product Line Perspective. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss |
A Context-Based Behavioral Language for IoT. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Ulrich Frank |
Toward a unified conception of multi-level modelling: advanced requirements. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye |
CommonLang: A DSL for Defining Robot Tasks. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
On the Model-driven Synthesis of Adaptable Choreographies. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Sotirios Liaskos, Wisal Tambosi |
Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental design. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Sandro Koch, Frederik Reiche, Robert Heinrich |
Towards a Metamodel for Modular Simulation Environments. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Antonio García-Domínguez, Nelly Bencomo, Luis Hernán García Paucar |
Reflecting on the past and the present with temporal graph-based models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Marc-Florian Wendland, Niels Hoppe |
Execution of UTP test cases using fUML. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jil Klünder, Oliver Karras, Nils Prenner, Kurt Schneider |
Modeling and Analyzing Information Flow in Development Teams as a Pipe System. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Thomas Kühne 0001 |
A story of levels. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Marco Konersmann |
On executable models that are integrated with program code. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Armayau Zango Umar, Jaejoon Lee |
A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron |
Modeling and programming a leader-follower challenge problem with scenario-based tools. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Steffen Zschaler |
Adding a HenshinEngine to GEMOC Studio: An experience report. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Deepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni |
Balancing Model Usability and Verifiability with SBVR and Answer Set Programming. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Oliver Kautz, Bernhard Rumpe |
Semantic Differencing of Activity Diagrams by a Translation into Finite Automata. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Frédéric Jouault, Fabien Chhel |
Introducing the Active Map operation to unify and improve efficiency of active operations. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe |
A Generalized Stepping Semantics for Model Debugging. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder |
Controlling a virtual rover using AutoFOCUS3. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Thomas Brand, Holger Giese |
Towards software architecture runtime models for continuous adaptive monitoring. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Angela Barriga, Adrian Rutle, Rogardt Heldal |
Automatic model repair using reinforcement learning. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern |
Teaching Playground for C&C Language EmbeddedMontiArc. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Timothy Lethbridge, Abdulaziz Algablan |
Applying Umple to the rover control challenge problem: A case study in model-driven engineering. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand |
Interface protocol inference to aid understanding legacy software components. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Bert Van Acker, Joachim Denil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu, Jan Van Den Oudenhoven |
Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Gwendal Daniel |
Efficient validation of large models using the Mogwaı̈ tool. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Juan Francisco Inglés-Romero, Juan Manuel Espín, Rubén Jiménez-Andreu, Roberto Font, Cristina Vicente-Chicote |
Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A Robotics Example. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton |
Comparative case studies in agile model-driven development. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Karim Jahed |
An evaluation of Papyrus-RT for solving the leader-follower challenge problem. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Mattias Mohlin |
Developing a Modeling Tool Someone Wants to Use: Challenges, trends and solutions for how to develop modeling tools that people actually can and want to use. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Keith Brown |
Navigating the rover with xtUML. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Andreas Kästner, Martin Gogolla, Bran Selic |
Towards flexible object and class modeling tools: an experience report. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Monika Kaczmarek-Heß, Mario Nolte, Andreas Fritsch, Stefanie Betz |
Practical experiences with multi-level modeling using FMMLx: a hierarchy of domain-specific modeling languages in support of life-cycle assessment. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Sina Madani, Dimitrios S. Kolovos, Richard F. Paige |
Parallel execution of first-order operations. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Omar Badreddin, Gerardo Barraza, Wahab Hamou-Lhadj |
vOCL: A novel approach for UML constraints modeling. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Dimitrios S. Kolovos, Richard F. Paige |
Towards a modular and flexible human-usable textual syntax for EMF models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits |
A Common Integrated Framework for Heterogeneous Modeling Services. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Christopher Werner, Uwe Assmann |
Model Synchronization with the Role-oriented Single Underlying Model. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Eric Cariou, Olivier Le Goaër, Léa Brunschwig, Franck Barbier |
A generic solution for weaving business code into executable models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Cristina Vicente-Chicote, Juan F. Inglés-Romero, Jesús Martínez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel |
A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Baris Tekin Tezel, Geylani Kardas |
Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos |
Towards Hybrid Model Persistence. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Tony Clark 0001, Ulrich Frank |
Multi-Level Constraints. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jens Gulden |
Multi-level modeling with XML. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Tatiana De-Wyse, Emmanuel Renaux, José Mennesson |
Using sketch recognition for capturing developer's mental models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Roberto Rodríguez-Echeverría, Javier Luis Cánovas Izquierdo, Manuel Wimmer, Jordi Cabot |
An LSP infrastructure to build EMF language servers for web-deployable model editors. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Fernando Macías, Adrian Rutle, Volker Stolz |
A tool for the convergence of multilevel modelling approaches. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Sabine Wolny, Alexandra Mazak, Bernhard Wally |
An Initial Mapping Study on MDE4IoT. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Abdil Kaya, Stefan Dutré, Jef Stegen, Satya Prakash Jha, Joachim Denil |
Stakeholder specific visualisation from heterogeneous modeling tools. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | João Lopes, João Cambeiro, Vasco Amaral 0001 |
ModelByVoice - towards a general purpose model editor for blind people. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Arne Lange, Colin Atkinson 0001 |
Multi-level modeling with MELANEE. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Vanessa Ackermann, Johannes Grohmann, Simon Eismann, Samuel Kounev |
Blackbox Learning of Parametric Dependencies for Performance Models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Edward D. Willink |
A text model - Use your favourite M2M for M2T. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Romina Eramo, Alfonso Pierantonio, Michele Tucci 0001 |
Improved traceability for bidirectional model transformations. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Vladimir Estivill-Castro, René Hexel, Carl Lusty |
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent |
ProVer: an SMT-based approach for process verification. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe |
Debugging of Model Transformations and Contracts in SyVOLT. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Nungki Selviandro, Tim Kelly, Richard Hawkins |
The visual inheritance structure to support the design of visual notations. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Benjamin Lion, Samir Chouali, Farhad Arbab |
Compiling Protocols to Promela and Verifying their LTL Properties. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|