| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Model Checking of CTL-Extended OCL Specifications Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
Model Checking of CTL-Extended OCL Specifications Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Monto: A Disintegrated Development Environment Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat |
Monto: A Disintegrated Development Environment Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Streamlining Control Flow Graph Construction with DCFlow Mark Hills |
Streamlining Control Flow Graph Construction with DCFlow Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
Towards User-Friendly Projectional Editors Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb |
Towards User-Friendly Projectional Editors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Origin Tracking in Attribute Grammars Kevin Williams, Eric Van Wyk |
Origin Tracking in Attribute Grammars Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation Daco Harkes, Eelco Visser |
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli |
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Evaluating the Usability of a Visual Feature Modeling Notation Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh |
Evaluating the Usability of a Visual Feature Modeling Notation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Respect Your Parents: How Attribution and Rewriting Can Get Along Anthony M. Sloane, Matthew Roberts, Leonard G. C. Hamey |
Respect Your Parents: How Attribution and Rewriting Can Get Along Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
fUML as an Assembly Language for Model Transformation Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura |
fUML as an Assembly Language for Model Transformation Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Bounded Seas - - Island Parsing Without Shipwrecks Jan Kurs, Mircea Lungu, Oscar Nierstrasz |
Bounded Seas - - Island Parsing Without Shipwrecks Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Dynamic Scope Discovery for Model Transformations Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe |
Dynamic Scope Discovery for Model Transformations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Tom Ridge |
Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers Andrei Chis, Tudor Gîrba, Oscar Nierstrasz |
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Test-Data Generation for Xtext - Tool Paper Johannes Härtel, Lukas Härtel, Ralf Lämmel |
Test-Data Generation for Xtext - Tool Paper Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
ProMoBox: A Framework for Generating Domain-Specific Property Languages Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer |
ProMoBox: A Framework for Generating Domain-Specific Property Languages Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Metamodel Family for Role-Based Modeling and Programming Languages Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann |
A Metamodel Family for Role-Based Modeling and Programming Languages Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Eco: A Language Composition Editor Lukas Diekmann, Laurence Tratt |
Eco: A Language Composition Editor Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|