|
 |
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.
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
|
|