Login / Signup
SRC@MoDELS
2015
2017
2015
2017
Keyphrases
Publications
volume 1775, 2017
Proceedings of the ACM Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), St. Malo, France, October 3-4, 2016.
SRC@MoDELS
1775 (2017)
2016
Oszkár Semeráth
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers.
SRC@MoDELS
(2016)
Cláudio Gomes
Foundations for Continuous Time Hierarchical Co-simulation.
SRC@MoDELS
(2016)
Gwendal Daniel
Efficient Persistence and Query Techniques for Very Large Models.
SRC@MoDELS
(2016)
Christoph Daniel Schulze
Two Opportunities and Challenges of Automatic Layout in Visual Languages.
SRC@MoDELS
(2016)
Gábor Szárnyas
Scalable Graph Query Evaluation and Benchmarking with Realistic Models.
SRC@MoDELS
(2016)
István Dávid
A Multi-Paradigm Modeling Foundation for Collaborative Multi-view Model/System Development.
SRC@MoDELS
(2016)
Valdemar Vicente Graciano Neto
Validating Emergent Behaviours in Systems-of-Systems through Model Transformations.
SRC@MoDELS
(2016)
2015
Amal Khalil
Change-driven Incremental Symbolic Execution of Evolving State Machines.
SRC@MoDELS
(2015)
Ivan Ruchkin
Architectural and Analytic Integration of Cyber-Physical System Models.
SRC@MoDELS
(2015)
Edouard Batot
Generating Examples for Knowledge Abstraction in MDE: a Multi-Objective Framework.
SRC@MoDELS
(2015)
Matthias Schöttle
Model-Based Reuse of APIs using Concern-Orientation.
SRC@MoDELS
(2015)
Yentl Van Tendeloo
Foundations of a Multi-Paradigm Modelling Tool.
SRC@MoDELS
(2015)
Gianni Rosa
Generating Model with Uncertainty by Means of JTL.
SRC@MoDELS
(2015)
Luis Silvestre
Automatic Generation of Transformations for Software Process Tailoring.
SRC@MoDELS
(2015)
Moshe Weinstock
A Behavioral Programming Approach to Search Based Software Engineering.
SRC@MoDELS
(2015)
Simon Van Mierlo
Explicitly Modelling Model Debugging Environments.
SRC@MoDELS
(2015)
Wael Kessentini
Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach.
SRC@MoDELS
(2015)
Loli Burgueño
Testing M2M/M2T/T2M Transformations.
SRC@MoDELS
(2015)
volume 1503, 2015
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.
SRC@MoDELS
1503 (2015)