ACM Student Research Competition

Valdemar Vicente Graciano Neto
Validating Emergent Behaviors in Systems-of-Systems through Model Transformations
Université de Bretagne-Sud (UBS), France / University of São Paulo (USP), Brazil / Universidade Federal de Goiás (UFG), Brazil

Christoph Daniel Schulze
On Opportunities and Challenges of Automatic Layout in Visual Languages
Real-Time and Embedded Systems Group, Kiel University, Germany

Gwendal Daniel
Efficient Persistence and Query Techniques for Very Large Models
AtlanMod, SOM Research Group – Inria, Mines Nantes, Lina & UOC, France

Gábor Szárnyas
Scalable Graph Query Evaluation and Benchmarking with Realistic Models
Budapest University of Technology and Economics, Hungary

Oszkár Semeráth
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
Budapest University of Technology and Economics, Hungary

István Dávid
A Multi-Paradigm Modeling Foundation for Collaborative Multi-view Model/System Development
University of Antwerp, Belgium

Cláudio Gomes
Foundations for Continuous Time Hierarchical Co-simulation
University of Antwerp, Belgium

Sessions

SRC Poster Session
All SRC Student Presenters
Location: Rotonde J. Cartier
Monday: 10:30-11:00; 15:30-16:00; 17:30-19:00

SRC Presentation Finals
Subset of SRC Student Presenters
Location: Charcot
Tuesday: 14:00-15:30; 16:00-17:30