sosym.org - Profile | ThreadSky | a Reddit-style client for Bluesky

#OnlineFirst The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices Philipp-Lorenz Glaser, Emanuel Sallinger & Dominik Bork doi.org/10.1007/s102...

submitted 6 days ago • 0 comments

#OnlineFirst The technological landscape of collaborative model-driven software engineering Abhishek Choudhury, Ivano Malavolta, Federico Ciccozzi, Kousar Aslam & Patricia Lago doi.org/10.1007/s102...

submitted 7 days ago • 0 comments

#OnlineFirst Developing configurations and solutions for logical puzzles with UML and OCL Martin Gogolla & Jesús Sánchez Cuadrado doi.org/10.1007/s102...

submitted 8 days ago • 0 comments

#OnlineFirst Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems Pablo Valle, Aitor Arrieta, Liping Han, Shaukat Ali & Tao Yue doi.org/10.1007/s102...

submitted 17 days ago • 0 comments

#OnlineFirst Networcat: applying analysis techniques of shared memory software on message-passing distributed systems Levente Bajczi & Vince Molnár doi.org/10.1007/s102...

submitted 23 days ago • 0 comments

#OnlineFirst SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators Alexandra Mazak-Huemer, Michael Vierhauser & Iris Groher doi.org/10.1007/s102...

submitted 24 days ago • 0 comments

#OnlineFirst Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features Reza Aalikhani, Mohammad Fathian & Mohammad Reza Rasouli doi.org/10.1007/s102...

submitted 30 days ago • 0 comments

💡 Get ready for No.2 of our #SoSyM interview series! We provide first-hand insights into the past, present, and future of the SoSyM journal from the Editors-in-Chief. This time in the spotlight: our Editor-in-Chief Benoit Combemale! To the interview: www.linkedin.com/pulse/interv...

submitted 31 days ago • 0 comments

#OnlineFirst Requirements specification using templates: a model-driven approach Ikram Darif, Ghizlane El Boussaidi & Sègla Kpodjedo doi.org/10.1007/s102...

submitted 31 days ago • 0 comments

#OnlineFirst On the use of large language models in model-driven engineering Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Phuong T. Nguyen & Riccardo Rubei doi.org/10.1007/s102...

submitted 32 days ago • 0 comments

Congratulations to the 2024 #BestReviewers of SoSyM and thanks for your hard work! You can find the full list here: www.sosym.org/reviewer_awa...

submitted 33 days ago • 0 comments

#OnlineFirst Integrating smart contracts into the modeling paradigm to harness the potential of models Cristian Gómez-Macías, Francisco Javier Pérez-Blanco, David Granada & Juan Manuel Vara doi.org/10.1007/s102...

submitted 35 days ago • 0 comments

#OnlineFirst Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections Martin Rindarøy, Håvard Nordahl, Severin Sadjina, Stian Skjong & Marianne Hagaseth doi.org/10.1007/s102...

submitted 36 days ago • 0 comments

Excellent news: 🤩 Our SoSyM Associate Editor-in-Chief, Marsha Chechik, is named as 2024 ACM Fellow for her contributions to formal reasoning for quality software development at scale. Our warmest congratulations, Marsha! 👏

submitted 41 days ago • 0 comments

#OnlineFirst Refactoring goal-oriented models: a linguistic improvement using large language models Nouf Alturayeif & Jameleddine Hassine doi.org/10.1007/s102...

submitted 43 days ago • 0 comments

#OnlineFirst Code generation for classical-quantum software systems modeled in UML Luis Jiménez-Navajas, Ricardo Pérez-Castillo & Mario Piattini doi.org/10.1007/s102...

submitted 44 days ago • 0 comments

#OnlineFirst Impromptu: a framework for model-driven prompt engineering Sergio Morales, Robert Clarisó & Jordi Cabot doi.org/10.1007/s102...

submitted 48 days ago • 0 comments

#OnlineFirst Adaptive caching for operation-based versioning of models Jakob Pietron, Heiko Raab & Matthias Tichy doi.org/10.1007/s102...

submitted 49 days ago • 0 comments

#OnlineFirst Safety behavior abstraction and model evolution in autonomous driving Chao Tan, Tiexin Wang, Man Zhang & Tao Yue doi.org/10.1007/s102...

submitted 50 days ago • 0 comments

#OnlineFirst A reference architecture for the development of GLSP-based web modeling tools Haydar Metin & Dominik Bork doi.org/10.1007/s102...

submitted 51 days ago • 0 comments

#OnlineFirst Extract, model, refine: improved modelling of program verification tools through data enrichment Sophie Lathouwers, Yujie Liu & Vadim Zaytsev doi.org/10.1007/s102...

submitted 52 days ago • 0 comments

#OnlineFirst Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering Jingxi Zhang, Carsten Ellwein, Malte Heithoff, Judith Michael & Andreas Wortmann doi.org/10.1007/s102...

submitted 55 days ago • 0 comments

#OnlineFirst Model-based verification of data protection mechanisms in collaborative business processes Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re & Francesco Tiezzi doi.org/10.1007/s102...

submitted 60 days ago • 0 comments

#OnlineFirst Boosting bug localization in software models of video games with simulations and component-specific genetic operations Rodrigo Casamayor, Lorena Arcega, Francisca Pérez & Carlos Cetina doi.org/10.1007/s102...

submitted 61 days ago • 0 comments

#OnlineFirst Can explainable artificial intelligence support software modelers in model comprehension? Francisco Javier Alcaide, José Raúl Romero & Aurora Ramírez doi.org/10.1007/s102...

submitted 62 days ago • 0 comments

#OnlineFirst How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices Robbert Jongeling, Antonio Cicchetti & Federico Ciccozzi doi.org/10.1007/s102...

submitted 74 days ago • 0 comments

#OnlineFirst Jidoka: automation with a human touch Eban Escott doi.org/10.1007/s102...

submitted 76 days ago • 0 comments

#SoSyM-Issue 2024/06 has been published: link.springer.com/journal/1027...

submitted 80 days ago • 0 comments

#OnlineFirst Experimenting with modeling-specific word embeddings José Antonio Hernández López, Carlos Durá & Jesús Sánchez Cuadrado doi.org/10.1007/s102...

submitted 83 days ago • 0 comments

#OnlineFirst Automated testing of metamodels and code co-evolution Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher & Olivier Barais doi.org/10.1007/s102...

submitted 84 days ago • 0 comments

#OnlineFirst Conceptual modelling of temporality and subjectivity as cross-cutting concerns Cesar Gonzalez-Perez doi.org/10.1007/s102...

submitted 85 days ago • 0 comments

#OnlineFirst Run-time threat models for systematic and continuous risk assessment Stef Verreydt, Dimitri Van Landuyt & Wouter Joosen doi.org/10.1007/s102...

submitted 87 days ago • 0 comments

#OnlineFirst An elucidation of blended modeling from an industrial perspective Jörg Holtmann, Federico Ciccozzi, Wim Bast & Joost van Pinxten doi.org/10.1007/s102...

submitted 88 days ago • 0 comments

#OnlineFirst R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management Aurélie Congès, Audrey Fertier, Nicolas Salatgé, Sébastien Rebière & Frederick Benaben doi.org/10.1007/s102...

submitted 91 days ago • 0 comments

#OnlineFirst Using DSLs to manage consistency in long-lived enterprise language specifications Peter Linington, Zoran Milosevic, Akira Tanaka & Igor Dejanovic doi.org/10.1007/s102...

submitted 93 days ago • 0 comments

💡Did you know, that #SoSyM has already published more than 70 special sections? Such special sections are prepared based on work from highly innovative conferences & workshops in the modeling area. Interested in creating a special section? Find out more here: www.sosym.org/special_sect...

submitted 94 days ago • 0 comments

#OnlineFirst Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives Aaron Friedrich Kurz, Timotheus Kampik, Luise Pufahl & Ingo Weber doi.org/10.1007/s102...

submitted 94 days ago • 0 comments

#OnlineFirst gLTSdiff: a generalized framework for structural comparison of software behavior Dennis Hendriks & Wytse Oortwijn doi.org/10.1007/s102...

submitted 97 days ago • 0 comments

#OnlineFirst Completion of SysML state machines from Given–When–Then requirements Maria Stella de Biase, Simona Bernardi, Stefano Marrone, José Merseguer & Angelo Palladino doi.org/10.1007/s102...

submitted 98 days ago • 0 comments

#OnlineFirst A closer look at activity relationships to improve business process redesign Kerstin Andree, Dorina Bano & Mathias Weske doi.org/10.1007/s102...

submitted 99 days ago • 0 comments

#OnlineFirst Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration Ioannis Korontanis, Antonios Makris & Konstantinos Tserpes doi.org/10.1007/s102...

submitted 104 days ago • 0 comments

#OnlineFirst From single-objective to multi-objective reinforcement learning-based model transformation Martin Eisenberg & Manuel Wimmer doi.org/10.1007/s102...

submitted 105 days ago • 0 comments

#OnlineFirst Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching Matthias Barkowsky & Holger Giese doi.org/10.1007/s102...

submitted 106 days ago • 0 comments

#OnlineFirst Redescription mining-based business process deviance analysis Engjëll Ahmeti, Martin Käppel & Stefan Jablonski doi.org/10.1007/s102...

submitted 107 days ago • 0 comments

#OnlineFirst The sustainability assessment framework toolkit: a decade of modeling experience Patricia Lago, Nelly Condori Fernandez, Iffat Fatima, Markus Funke & Ivano Malavolta doi.org/10.1007/s102...

submitted 108 days ago • 0 comments

#OnlineFirst Modeling the obsolescence of models Iván Alfonso, Jean-Sébastien Sottet, Pierre Brimont & Jordi Cabot doi.org/10.1007/s102...

submitted 111 days ago • 0 comments

#OnlineFirst Continuous Evolution of Digital Twins using the DarTwin Notation Joost Mertens, Stefan Klikovits, Francis Bordeleau, Joachim Denil & Øystein Haugen doi.org/10.1007/s102...

submitted 113 days ago • 0 comments

#OnlineFirst Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling Javier Cámara doi.org/10.1007/s102...

submitted 114 days ago • 0 comments

#OnlineFirst An architecture for coupled digital twins with semantic lifting Santiago Gil, Eduard Kamburjan, Prasad Talasila & Peter Gorm Larsen doi.org/10.1007/s102...

submitted 120 days ago • 0 comments

#OnlineFirst Uncertainty-aware environment simulation of medical devices digital twins Hassan Sartaj, Shaukat Ali & Julie Marie Gjøby doi.org/10.1007/s102...

submitted 121 days ago • 0 comments