SoSyM Journal-First

We have established a continuous collaboration between SoSyM and the MODELS conference in organizing the SoSyM "Journal-First" opportunity, which enables authors of recent SoSyM papers to present their work across the core conference sessions at MODELS. Through this collaboration, selected SoSyM authors have the opportunity to reach a broader audience to present their work. This also benefits the MODELS conference program by including research talks that explore more depth through analytical and empirical evidence than that can be presented in a traditional conference submission.

Papers are selected from accepted/published SoSyM papers within the previous year. In order for your paper to be considered for Journal-First, please confirm the participation for this program in step 6 of the submission process.

2021

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, and Andreas Wortmann
Multi-paradigm modelling for cyber–physical systems: a descriptive framework
Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, and Dániel Varró
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime
Ferenc A. Somogyi, Gergely Mezei, Zoltán Theisz, Sándor Bácsi, and Dániel Palatinszky
Playground for multi-level modeling constructs
Adrien Le Coënt, Julien Alexandre dit Sandretto, and Alexandre Chapoutot
Guaranteed master for interval-based cosimulation
Léa Brunschwig, Esther Guerra, and Juan de Lara
Modelling on mobile devices - A systematic mapping study
Saša Kuhar and Gregor Polancic
Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature review
Walter Cazzola, Sudipto Ghosh, Mohammed Al-Refai, and Gabriele Maurina
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection
Gábor Bergmann
Controllable and decomposable multidirectional synchronizations
Javier Troya, Nathalie Moreno, Manuel F. Bertoa, and Antonio Vallecillo
Uncertainty representation in software models: a survey
Lissette Almonte, Esther Guerra, Iván Cantador, and Juan de Lara
Recommender systems in model-driven engineering - A systematic mapping review
Martina De Sanctis, Ludovico Iovino, Maria Teresa Rossi, and Manuel Wimmer
MIKADO: a smart city KPIs assessment modeling framework
Wenjun Xiong, Emeline Legrand, Oscar Åberg, and Robert Lagerström
Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix
Alexander Boll, Florian Brokhausen, Tiago Amorim, Timo Kehrer, and Andreas Vogelsang
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, and Dániel Varró
Automated generation of consistent, diverse and structurally realistic graph models
Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, and Philippe Merle
Model-based cloud resource management with TOSCA and OCCI
Shahar Maoz and Jan Oliver Ringert
Spectra: a specification language for reactive systems
Swaib Dragule, Thorsten Berger, Claudio Menghi, and Patrizio Pelliccione
A survey on the design space of end-user-oriented languages for specifying robotic missions
Weslley Torres, Mark G. J. van den Brand, and Alexander Serebrenik
A systematic literature review of cross-domain model consistency checking by model management tools
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo
Wodel-Test: a model-based framework for language-independent mutation testing
Jaime Font, Lorena Arcega, Øystein Haugen, and Carlos Cetina
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility
Sina Madani, Dimitris Kolovos, and Richard F. Paige
Distributed model validation with Epsilon
Maher Fakih, Oliver Klemp, Stefan Puch, and Kim Grüttner
A modeling methodology for collaborative evaluation of future automotive innovations
Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, and Abdelwahab Hamou-Lhadj
MUPPIT: a method for using proper patterns in model transformations
Siamak Farshidi, Slinger Jansen, and Sven Fortuin
Model-driven development platform selection: four industry case studies
Arvind Nair, Xia Ning, and James H. Hill
Using recommender systems to improve proactive modeling
David Granada, Juan M. Vara, Mercedes Merayo, and Esperanza Marcos
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF
Matias Pol'la, Agustina Buccella, and Alejandra Cechich
Analysis of variability models: a systematic literature review
Feng Zhu and Jun Tang
Graphical composite modeling and simulation for multi-aircraft collision avoidance
Stefan Klikovits and Didier Buchs
Pragmatic reuse for DSML development
Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, and Juergen Dingel
Live modeling in the context of state machine models and code generation

2020

Yinling Liu, Tao Wang, Haiqing Zhang, and Vincent Cheutet
An improved approach on the model checking for an agent-based simulation system
Simin Cai, Barbara Gallina, Dag Nyström, and Cristina Seceleanu
Specification and automated verification of atomic concurrent real-time transactions
Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, and Albert Zündorf
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Milena Guessi, Flavio Oquendo, and Elisa Yumi Nakagawa
Ark: a constraint-based method for architectural synthesis of smart systems
Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, and Jaelson Castro
Using empirical studies to mitigate symbol overload in iStar extensions
Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, and Juergen Dingel
A model-based architecture for interactive run-time monitoring
Karim Jahed, Mojtaba Bagherzadeh, and Juergen Dingel
On the benefits of file-level modularity for EMF models
Stefan Götz, Matthias Tichy, and Raffaela Groner
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
Juan C. Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, and João Sousa
Towards high-level fuzzy control specifications for building automation systems
Bence Graics, Vince Molnár, András Vörös, István Majzik, and Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems

2019

Yentl Van Tendeloo, Simon Van Mierlo, and Hans Vangheluwe
A Multi-Paradigm Modelling approach to live modelling
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, and Jim Woodcock
RoboChart: modelling and verification of the functional behaviour of robotic applications
Patrick Leserf, Pierre de Saqui-Sannes, and Jérôme Hugues
Trade-off analysis for SysML models using decision points and CSPs
Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, and Erwan Bousse
Model execution tracing: a systematic mapping study
Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, and Javier Merchán Sánchez-Jara
Applying static code analysis for domain-specific languages
Jenny Ruiz, Estefanía Serral, and Monique Snoeck
Evaluating user interface generation approaches: model-based versus model-driven development
Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, and Manuel Wimmer
Thirteen years of SysML: a systematic mapping study

2018

Alexandre Petrenko
Toward testing from finite state machines with symbolic inputs and outputs
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid co-simulation: it's about time
Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
A feature-based survey of model view approaches
Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann
Using language workbenches and domain-specific languages for safety-critical software development

2017

Markus Völter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, and Arie van Deursen
Lessons learned from developing mbeddr: a case study in language engineering with MPS
presentation at MODELS 2017
Ulyana Tikhonova
Reusable specification templates for defining dynamic semantics of DSLs
presentation at MODELS 2017
Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, and Krzysztof Czarnecki
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
presentation at MODELS 2017
Michalis Famelis and Marsha Chechik
Managing design-time uncertainty
presentation at MODELS 2017
Marina Egea and Carolina Dania
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
presentation at MODELS 2017
Thomas Hartmann, Assaad Moawad, Francois Fouquet, and Yves Le Traon
The next evolution of MDE: a seamless integration of machine learning into domain modeling
presentation at MODELS 2017

2016

Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, and Vladimir A. Rubin
Process mining using BPMN: relating event logs and process models
Ana Ivanchikj, Cesare Pautasso, and Silvia Schreier
Visual modeling of RESTful conversations with RESTalk
Vlad Acretoaie, Harald Störrle, and Daniel Strüber
VMTL: a language for end-user model transformation
Katrina Falkner, Claudia Szabo, Vanea Chiprianov, Gavin Puddy, Marianne Rieckmann, Dan Fraser, and Cathlyn Aston
Model-driven performance prediction of systems of systems

2015

Alejandro Rago, Claudia Marcos, and J. Andres Diaz-Pace
Identifying duplicate functionality in textual use cases by aligning semantic actions
Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, and Khalil Drira
Enhanced graph rewriting systems for complex software domains
Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke
A situational method for semi-automated Enterprise Architecture Documentation
Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix

Follow @sosym_journal

main page submission review process editor guidelines theme sections special sections journal first best paper awards reviewer awards pictures banner SoSyM online contact		SoSyM Journal-First We have established a continuous collaboration between SoSyM and the MODELS conference in organizing the SoSyM "Journal-First" opportunity, which enables authors of recent SoSyM papers to present their work across the core conference sessions at MODELS. Through this collaboration, selected SoSyM authors have the opportunity to reach a broader audience to present their work. This also benefits the MODELS conference program by including research talks that explore more depth through analytical and empirical evidence than that can be presented in a traditional conference submission. Papers are selected from accepted/published SoSyM papers within the previous year. In order for your paper to be considered for Journal-First, please confirm the participation for this program in step 6 of the submission process. 2021 Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, and Andreas Wortmann Multi-paradigm modelling for cyber–physical systems: a descriptive framework Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, and Dániel Varró Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime Ferenc A. Somogyi, Gergely Mezei, Zoltán Theisz, Sándor Bácsi, and Dániel Palatinszky Playground for multi-level modeling constructs Adrien Le Coënt, Julien Alexandre dit Sandretto, and Alexandre Chapoutot Guaranteed master for interval-based cosimulation Léa Brunschwig, Esther Guerra, and Juan de Lara Modelling on mobile devices - A systematic mapping study Saša Kuhar and Gregor Polancic Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature review Walter Cazzola, Sudipto Ghosh, Mohammed Al-Refai, and Gabriele Maurina Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection Gábor Bergmann Controllable and decomposable multidirectional synchronizations Javier Troya, Nathalie Moreno, Manuel F. Bertoa, and Antonio Vallecillo Uncertainty representation in software models: a survey Lissette Almonte, Esther Guerra, Iván Cantador, and Juan de Lara Recommender systems in model-driven engineering - A systematic mapping review Martina De Sanctis, Ludovico Iovino, Maria Teresa Rossi, and Manuel Wimmer MIKADO: a smart city KPIs assessment modeling framework Wenjun Xiong, Emeline Legrand, Oscar Åberg, and Robert Lagerström Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix Alexander Boll, Florian Brokhausen, Tiago Amorim, Timo Kehrer, and Andreas Vogelsang Characteristics, potentials, and limitations of open-source Simulink projects for empirical research Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, and Dániel Varró Automated generation of consistent, diverse and structurally realistic graph models Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, and Philippe Merle Model-based cloud resource management with TOSCA and OCCI Shahar Maoz and Jan Oliver Ringert Spectra: a specification language for reactive systems Swaib Dragule, Thorsten Berger, Claudio Menghi, and Patrizio Pelliccione A survey on the design space of end-user-oriented languages for specifying robotic missions Weslley Torres, Mark G. J. van den Brand, and Alexander Serebrenik A systematic literature review of cross-domain model consistency checking by model management tools Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo Wodel-Test: a model-based framework for language-independent mutation testing Jaime Font, Lorena Arcega, Øystein Haugen, and Carlos Cetina Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility Sina Madani, Dimitris Kolovos, and Richard F. Paige Distributed model validation with Epsilon Maher Fakih, Oliver Klemp, Stefan Puch, and Kim Grüttner A modeling methodology for collaborative evaluation of future automotive innovations Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, and Abdelwahab Hamou-Lhadj MUPPIT: a method for using proper patterns in model transformations Siamak Farshidi, Slinger Jansen, and Sven Fortuin Model-driven development platform selection: four industry case studies Arvind Nair, Xia Ning, and James H. Hill Using recommender systems to improve proactive modeling David Granada, Juan M. Vara, Mercedes Merayo, and Esperanza Marcos CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF Matias Pol'la, Agustina Buccella, and Alejandra Cechich Analysis of variability models: a systematic literature review Feng Zhu and Jun Tang Graphical composite modeling and simulation for multi-aircraft collision avoidance Stefan Klikovits and Didier Buchs Pragmatic reuse for DSML development Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, and Juergen Dingel Live modeling in the context of state machine models and code generation 2020 Yinling Liu, Tao Wang, Haiqing Zhang, and Vincent Cheutet An improved approach on the model checking for an agent-based simulation system Simin Cai, Barbara Gallina, Dag Nyström, and Cristina Seceleanu Specification and automated verification of atomic concurrent real-time transactions Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, and Albert Zündorf Benchmarking bidirectional transformations: theory, implementation, application, and assessment Milena Guessi, Flavio Oquendo, and Elisa Yumi Nakagawa Ark: a constraint-based method for architectural synthesis of smart systems Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, and Jaelson Castro Using empirical studies to mitigate symbol overload in iStar extensions Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, and Juergen Dingel A model-based architecture for interactive run-time monitoring Karim Jahed, Mojtaba Bagherzadeh, and Juergen Dingel On the benefits of file-level modularity for EMF models Stefan Götz, Matthias Tichy, and Raffaela Groner Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review Juan C. Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, and João Sousa Towards high-level fuzzy control specifications for building automation systems Bence Graics, Vince Molnár, András Vörös, István Majzik, and Dániel Varró Mixed-semantics composition of statecharts for the component-based design of reactive systems 2019 Yentl Van Tendeloo, Simon Van Mierlo, and Hans Vangheluwe A Multi-Paradigm Modelling approach to live modelling Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, and Jim Woodcock RoboChart: modelling and verification of the functional behaviour of robotic applications Patrick Leserf, Pierre de Saqui-Sannes, and Jérôme Hugues Trade-off analysis for SysML models using decision points and CSPs Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, and Erwan Bousse Model execution tracing: a systematic mapping study Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, and Javier Merchán Sánchez-Jara Applying static code analysis for domain-specific languages Jenny Ruiz, Estefanía Serral, and Monique Snoeck Evaluating user interface generation approaches: model-based versus model-driven development Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, and Manuel Wimmer Thirteen years of SysML: a systematic mapping study 2018 Alexandre Petrenko Toward testing from finite state machines with symbolic inputs and outputs Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis Hybrid co-simulation: it's about time Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer A feature-based survey of model view approaches Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann Using language workbenches and domain-specific languages for safety-critical software development 2017 Markus Völter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, and Arie van Deursen Lessons learned from developing mbeddr: a case study in language engineering with MPS presentation at MODELS 2017 Ulyana Tikhonova Reusable specification templates for defining dynamic semantics of DSLs presentation at MODELS 2017 Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, and Krzysztof Czarnecki Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems presentation at MODELS 2017 Michalis Famelis and Marsha Chechik Managing design-time uncertainty presentation at MODELS 2017 Marina Egea and Carolina Dania SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language presentation at MODELS 2017 Thomas Hartmann, Assaad Moawad, Francois Fouquet, and Yves Le Traon The next evolution of MDE: a seamless integration of machine learning into domain modeling presentation at MODELS 2017 2016 Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, and Vladimir A. Rubin Process mining using BPMN: relating event logs and process models Ana Ivanchikj, Cesare Pautasso, and Silvia Schreier Visual modeling of RESTful conversations with RESTalk Vlad Acretoaie, Harald Störrle, and Daniel Strüber VMTL: a language for end-user model transformation Katrina Falkner, Claudia Szabo, Vanea Chiprianov, Gavin Puddy, Marianne Rieckmann, Dan Fraser, and Cathlyn Aston Model-driven performance prediction of systems of systems 2015 Alejandro Rago, Claudia Marcos, and J. Andres Diaz-Pace Identifying duplicate functionality in textual use cases by aligning semantic actions Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, and Khalil Drira Enhanced graph rewriting systems for complex software domains Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke A situational method for semi-automated Enterprise Architecture Documentation Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen Formalizing and verifying stochastic system architectures using Monterey Phoenix Follow @sosym_journal