| 2017 | Functional Decomposition for Software Architecture Evolution. | David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz |
| 2017 | Supporting Software Architecture Evolution by Functional Decomposition. | David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz |
| 2017 | Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking. | Martin Eyl, Clemens Reichmann, Klaus D. Mller-Glaser |
| 2017 | Surveying Co-evolution in Modeling Ecosystems. | Jrgen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger, Johannes Schnbck |
| 2017 | On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches. | Juergen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger |
| 2017 | Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | Automating the Customization of Model-Driven Software Engineering Environments. | Csar Cuevas Cuesta, Patricia Lpez Martnez, Jos M. Drake |
| 2017 | Use of Architecture Description to Maintain Consistency in Agile Processes. | Aurlien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, Franois Terrier |
| 2017 | A Domain-specific Language for Configurable Traceability Analysis. | Hendrik Bnder, Christoph Rieger, Herbert Kuchen |
| 2017 | Language Architecture: An Architecture Language for Model-Driven Engineering. | Niels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo |
| 2017 | Sommelier: A Tool for Validating TOSCA Application Topologies. | Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani |
| 2017 | Validating TOSCA Application Topologies. | Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani |
| 2017 | The Use of Model-driven Engineering for Crisis Management. | Frdrick Bnaben |
| 2017 | A Model-Driven fUML Execution Engine for C++. | Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Sven Jger, Armin Zimmermann |
| 2017 | Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | A Model Based Approach for Complex Dynamic Decision-Making. | Souvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn |
| 2017 | A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making. | Souvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn |
| 2017 | Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?. | Noura Azaiez, Jalel Akaichi |
| 2017 | Modelling the World of a Smart Room for Robotic Co-working. | Uwe Amann, Christian Piechnick, Georg Pschel, Maria Piechnick, Jan Falkenberg, Sebastian Werner |
| 2017 | Modeling for Robotic Co-Working. | Uwe Assmann |
| 2017 | CloudTL: A New Transformation Language based on Big Data Tools and the Cloud. | Jess M. Perera Aracil, Diego Sevilla Ruiz |
| 2017 | Combining Techniques to Verify Service-based Components. | Pascal Andr, J. Christian Attiogb, Jean-Marie Mottu |
| 2017 | Complex Event Processing for User-Centric Management of IoT Systems. | Moussa Amrani, Fabian Gilson, Vincent Englebert |
| 2017 | Towards User-centric DSLs to Manage IoT Systems. | Moussa Amrani, Fabian Gilson, Abdelmounaim Debieche, Vincent Englebert |