Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou |
On the Transition from Design Time to Runtime Model-Based Assurance Cases. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Mira Balaban, Igal Khitron, Azzam Maraee |
Context-aware factors in rearchitecting two-level models into multilevel models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Adrián García-López, Loli Burgueño, Antonio Vallecillo |
Static Analysis of Complex Event Processing Programs. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Maik Appeldorn, Dilshodbek Kuryazov, Andreas Winter 0001 |
Delta-driven collaborative modeling. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Francis Bordeleau, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer |
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Simon Pizonka, Timo Kehrer, Matthias Weidlich 0001 |
Domain Model-Based Data Stream Validation for Internet of Things Applications. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jan Bosch, Sebastien Gerard, Dimitris S. Kolovos, Ivano Malavolta, Henry Muccini |
COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Robbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi |
Continuous integration support in modeling tools. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Gergely Mezei, Zoltán Theisz, Dániel Urbán, Sándor Bácsi |
The bicycle challenge in DMLA, where validation means correct modeling. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel |
CPS simulation models categories in Extended Enterprises. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Omar Alam, Jonathan Corley, Constantin Masson, Eugene Syriani |
Challenges for reuse in collaborative modeling environments. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter |
Handling constraints in model versioning. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Önder Babur, Loek Cleophas, Mark van den Brand |
Model analytics for feature models: case studies for S.P.L.O.T. repository. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Stefan Klikovits, Aurélien Coet, Didier Buchs |
ML4CREST: Machine Learning for CPS Models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic |
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Sandra Greiner 0001, Bernhard Westfechtel |
Improving Trace-Based Propagation of Feature Annotations in Model Transformations. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Loli Burgueño, Antonio Vallecillo |
Model Finding and Model Completion with USE. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau |
Robotic system testing with AMSA framework. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Alejandro Rodríguez 0006, Adrian Rutle, Francisco Durán 0001, Lars Michael Kristensen, Fernando Macías |
Multilevel modelling of coloured petri nets. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth |
Embedding Scenario-based Modeling in Statecharts. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio |
A study design template for identifying usability issues in graphical modeling tools. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Armin Moin, Stephan Rössler, Stephan Günnemann |
ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | João Silva, Ankica Barisic, Vasco Amaral 0001, Miguel Goulão, Baris Tekin Tezel, Ömer Faruk Alaca, Moharram Challenger, Geylani Kardas |
Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Juri Di Rocco, Davide Di Ruscio, Hrishikesh Narayanankutty, Alfonso Pierantonio |
Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern |
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration). |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
Exploring model repositories by means of megamodel-aware search operators. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Adel Ferdjoukh, Jean-Marie Mottu |
Towards an Automated Fault Localizer while Designing Meta-models. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Johannes Meier, Andreas Winter 0001 |
Model Consistency ensured by Metamodel Integration. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jörg Walter 0001, Kim Grüttner, Wolfgang Nebel |
Using IEC 61499 to Implement a Self-Organising Plug and Produce System. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion |
Using process algebra to statically analyze incremental propagation graphs. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Jakob Høgenes, Brice Morin |
Implementing the MDETools'18 challenge with ThingML. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Hussein M. Marah, Raheleh Eslampanah, Moharram Challenger |
DSML4TinyOS: Code Generation for Wireless Devices. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
Multilevel modeling: what's in a level? A position paper. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
16 | Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif |
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog. |
Des. Autom. Embed. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Gilles Vanwormhoudt, Olivier Caron, Bernard Carré |
Aspectual templates in UML - Enhancing the semantics of UML templates in OCL. |
Softw. Syst. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Chunlei Fu, Dan Yang 0001, Xiaohong Zhang 0002, Haibo Hu |
An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency. |
Autom. Softw. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Philipp Zech, Philipp Kalb, Michael Felderer, Colin Atkinson 0001, Ruth Breu |
Model-based regression testing by OCL. |
Int. J. Softw. Tools Technol. Transf. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais |
A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution. |
J. Syst. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente |
Simplification of UML/OCL schemas for efficient reasoning. |
J. Syst. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Hammad Muhammad, Tao Yue 0002, Shuai Wang 0001, Shaukat Ali 0001, Jan Nygård |
IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. |
Sci. Comput. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Philipp Niemann 0001, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Loli Burgueño, Martin Gogolla |
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL. |
ICSOC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Artur Boronat |
Structural model subtyping with OCL constraints. |
SLE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Khanh-Hoang Doan |
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. |
Conceptual Modeling Perspectives |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente |
OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. |
ER |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai 0001 |
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Deterministic Lazy Mutable OCL Collections. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
Step 0: An Idea for Automatic OCL Benchmark Generation. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
Translating UML-RSDS OCL to ANSI C. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Antonio Vallecillo |
(An Example for) Formally Modeling Robot Behavior with UML and OCL. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
DBLP DOI BibTeX RDF |
|
16 | Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Josh G. M. Mengerink, Jeroen Noten, Ramon R. H. Schiffelers, Mark G. J. van den Brand, Alexander Serebrenik |
A Case of Industrial vs. Open-source OCL: Not So Different After All. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Antonio Vallecillo, Martin Gogolla |
Adding Random Operations to OCL. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Khanh-Hoang Doan, Martin Gogolla |
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis |
Heuristic-Based Recommendation for Metamodel - OCL Coevolution. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Loli Burgueño, Antonio Vallecillo, Martin Gogolla |
Teaching Model Views with UML and OCL. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Marina Egea, Carolina Dania |
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Bastian Ulke, Friedrich Steimann, Ralf Lämmel |
Partial Evaluation of OCL Expressions. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jeroen Noten, Josh Mengerink, Alexander Serebrenik |
A data set of OCL expressions on GitHub. |
MSR |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda |
SMT-based validation & verification of UML-OCL models. |
|
2017 |
RDF |
|
16 | Xavier Oriol |
Incremental checking and maintenance of UML/OCL integrity constraints. |
|
2017 |
RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri |
Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. |
Empir. Softw. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Tao Yue 0002, Shaukat Ali 0001 |
Empirically evaluating OCL and Java for specifying constraints on UML models. |
Softw. Syst. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Analyzing Inconsistencies in UML/OCL Models. |
J. Circuits Syst. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Samin Salemi, Ali Selamat, Marek Penhaker |
A model transformation framework to increase OCL usability. |
J. King Saud Univ. Comput. Inf. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler |
Verifying the structure and behavior in UML/OCL models using satisfiability solvers. |
IET Cyper-Phys. Syst.: Theory & Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Miloud Bennama, Thouraya Bouabana-Tebibel |
A CTL-based OCL extension using CPN ML for UML validation. |
Int. J. Crit. Comput. Based Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Jonas Gomes Filho, Philipp Niemann 0001, Robert Wille, Rolf Drechsler |
Frame conditions in symbolic representations of UML/OCL models. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Martin Gogolla |
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. |
DSD |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Tao Yue 0002, Xiang Qiu, Hong Lu 0005 |
Generating boundary values from OCL constraints using constraints rewriting and search algorithms. |
CEC |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Abomhara, Mehdi Ben Lazreg |
UML/OCL-based modeling of work-based access control policies for collaborative healthcare systems. |
HealthCom |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Hossain Shahriar, Hisham M. Haddad, Pranahita Bulusu |
OCL Fault Injection-Based Detection of LDAP Query Injection Vulnerabilities. |
COMPSAC Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Khanh-Hoang Doan, Martin Gogolla, Frank Hilken |
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. |
STAF Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Jordi Cabot |
Continuing a Benchmark for UML and OCL Design and Analysis Tools. |
STAF Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais |
Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints. |
ICSR |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Sebastian Fiss, Max E. Kramer, Michael Langhammer |
Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language. |
Modellierung |
2016 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Frank Hilken |
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. |
Modellierung |
2016 |
DBLP BibTeX RDF |
|
16 | Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze 0002, Michael von Wenckstern |
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models. |
Modellierung |
2016 |
DBLP BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. |
Modellierung |
2016 |
DBLP BibTeX RDF |
|
16 | Robert Bill, Martin Gogolla, Manuel Wimmer |
On Leveraging UML/OCL for Model Synchronization. |
ME@MoDELS |
2016 |
DBLP BibTeX RDF |
|
16 | Hammad Muhammad, Tao Yue 0002, Shaukat Ali 0001, Shuai Wang 0001 |
iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. |
D&P@MoDELS |
2016 |
DBLP BibTeX RDF |
|
16 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Ground setting properties for an efficient translation of OCL in SMT-based model finding. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
16 | Carolina Dania, Manuel Clavel |
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
16 | Massimo Tisi, Frédéric Jouault, Zied Saidi, Jérôme Delatour |
Enabling OCL and fUML Integration by Transformation. |
ECMFA |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí |
AuRUS: explaining the validation of UML/OCL conceptual schemas. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alcino Cunha, Ana Gabriela Garis, Daniel Riesco |
Translating between Alloy specifications and UML class diagrams annotated with OCL. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | A. Jalila, D. Jeya Mala, M. Eswaran |
Functional Testing Using OCL Predicates to Improve Software Quality. |
Int. J. Syst. Serv. Oriented Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Cadavid, Benoît Combemale, Benoit Baudry |
An analysis of metamodeling practices for MOF and OCL. |
Comput. Lang. Syst. Struct. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente, Albert Tort |
Computing repairs for constraint violations in UML/OCL conceptual schemas. |
Data Knowl. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jakub Malý, Martin Necaský |
Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron. |
Inf. Syst. Frontiers |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. |
Formalisms for Reuse and Systems Integration |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut |
Instantiation of Meta-models Constrained with OCL - A CSP Approach. |
MODELSWARD |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Manuel Wimmer |
Systematic Co-Evolution of OCL Expressions. |
APCCM |
2015 |
DBLP BibTeX RDF |
|
16 | Vincent Mirian, Paul Chow |
UT-OCL: an OpenCL framework for embedded systems using xilinx FPGAs. |
ReConFig |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. |
ICMT |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Jouault, Olivier Beaudoux, Matthias Brun 0001, Mickael Clavreul, Guillaume Savaton |
Towards Functional Model Transformations with OCL. |
ICMT |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Knapp, María Victoria Cengarle |
Institutions for OCL-Like Expression Languages. |
Software, Services, and Systems |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente |
Incremental Checking of OCL Constraints with Aggregates Through SQL. |
ER |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Julia Seiter 0002, Rolf Drechsler |
Coverage of OCL Operation Specifications and Invariants. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|