DEPS: a model- and property-based language for system synthesis problems Pierre-Alain YvarsLaurent Zimmer Regular Paper 19 October 2023
Quo Vadis modeling? Judith MichaelDominik BorkHeinrich C. Mayr Expert Voice Open access 10 October 2023 Pages: 7 - 28
A formal component model for UML based on CSP aiming at compositional verification Flávia FalcãoLucas LimaPedro Antonino Regular Paper 04 October 2023
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Bentley James OakesJavier TroyaManuel Wimmer Regular Paper Open access 29 September 2023
Large language models as an “operating” system for software and systems modeling Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 16 September 2023 Pages: 1391 - 1392
Quantitative modelling and analysis of BDI agents Blair ArchibaldMuffy CalderMengwei Xu Special Section Paper Open access 28 August 2023 Pages: 343 - 367
A manifesto for applicable formal methods Mario GleirscherJaco van de PolJim Woodcock Expert Voice Open access 18 August 2023 Pages: 1737 - 1749
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification Livia LestingiAndrea ManglavitiMatteo Rossi Special Section Paper Open access 17 August 2023 Pages: 473 - 502
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis Alessandro CimattiLuca GeattiStefano Tonetta Special Section Paper Open access 11 August 2023 Pages: 427 - 453
Evaluating user acceptance of knowledge-intensive business process modeling languages Amin Jalali Special Section Paper Open access 02 August 2023 Pages: 1803 - 1826
Research software engineering and the importance of scientific models Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 29 July 2023 Pages: 1081 - 1083
Counterexample classification Cole VickEunsuk KangStavros Tripakis Special Section Paper 26 July 2023 Pages: 455 - 472
An ontology-based approach to engineering ethicality requirements Renata GuizzardiGlenda AmaralJohn Mylopoulos Special Section Paper Open access 22 July 2023 Pages: 1897 - 1923
Modelling guidance in software engineering: a systematic literature review Shalini ChakrabortyGrischa Liebel Regular Paper 17 July 2023 Pages: 249 - 265
Model projection relative to submetamodeling dimensions Bernard CarréGilles VanwormhoudtOlivier Caron Regular Paper 12 July 2023 Pages: 223 - 248
Verifying consistency of software product line architectures with product architectures Hector A. Duran-LimonPerla Velasco-ElizondoLeonardo Soto Sumuano Regular Paper 08 July 2023 Pages: 195 - 221
Scientific workflow execution in the cloud using a dynamic runtime model Johannes ErbelJens Grabowski Regular Paper Open access 23 June 2023 Pages: 163 - 193
Repository mining for changes in Simulink and Stateflow models Monika JaskolkaVera PantelicMark Lawford Special Section Paper 16 June 2023 Pages: 1713 - 1732
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time Artur Boronat Theme Section Paper Open access 12 June 2023 Pages: 1949 - 1968
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review Simon CurtyFelix HärerHans-Georg Fill Special Section Paper Open access 11 June 2023 Pages: 1857 - 1895
Business process modeling language selection for research modelers Siamak FarshidiIzaak Beer KwantesSlinger Jansen Regular Paper Open access 29 May 2023 Pages: 137 - 162
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML Javier CámaraJavier TroyaAntonio Vallecillo Expert Voice Open access 22 May 2023 Pages: 781 - 793
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model Alessio BucaioniFederico CiccozziMikael Sjödin Export Voice Open access 19 May 2023 Pages: 1085 - 1097
Guest editorial for the special section on MODELS 2021 Shiva NejatiDániel Varró Guest Editorial 18 May 2023 Pages: 1393 - 1396
ChatGPT in software modeling Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 11 May 2023 Pages: 777 - 779
Understanding the need for assistance in software modeling: interviews with experts Maxime Savary-LeblancXavier Le PallecSébastien Gérard Regular Paper 02 May 2023 Pages: 103 - 135
Modelling assistants based on information reuse: a user evaluation for language engineering Ángel Mora SeguraJuan de LaraManuel Wimmer Regular Paper 17 April 2023 Pages: 57 - 84
How do I find reusable models? Maxim BragilovskiRoni SternArnon Sturm Regular Paper 06 April 2023 Pages: 85 - 102
MORGAN: a modeling recommender system based on graph kernel Claudio Di SipioJuri Di RoccoPhuong T. Nguyen Special Section Paper Open access 04 April 2023 Pages: 1427 - 1449
Detecting cross-case associations in an event log: toward a pattern-based detection Yael DubinskyPnina SofferIrit Hadar Special Section Paper 01 April 2023 Pages: 1755 - 1777
Span(Graph): a canonical feedback algebra of open transition systems Elena Di LavoreAlessandro GianolaPaweł Sobociński Special Section Paper 21 March 2023 Pages: 495 - 520
Synthesizing verified components for cyber assured systems engineering Eric MercerKonrad SlindDavid Hardin Special Section Paper 21 March 2023 Pages: 1451 - 1471
A personal retrospective on language workbenches Mark van den Brand Expert Voice Open access 20 March 2023 Pages: 847 - 850
How to define modeling languages? Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 20 March 2023 Pages: 449 - 451
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty Michael Austin LangfordKenneth H. ChanBetty H. C. Cheng Special Section Paper 18 March 2023 Pages: 1543 - 1563
Supporting data-aware processes with MERODE Monique SnoeckCharlotte VerbruggenJochen De Weerdt Special Section Paper 13 March 2023 Pages: 1779 - 1802
SimIMA: a virtual Simulink intelligent modeling assistant Bhisma AdhikariEric J. RaposMatthew Stephan Regular Paper 13 March 2023 Pages: 29 - 56
In memory of Heinrich Hussmann, long-time friend and SoSyM editor Manfred BroyAlbrecht SchmidtMartin Wirsing Memorial 13 March 2023 Pages: 453 - 454
Guest editorial for the theme section on modeling language engineering Benoît CombemaleRomina EramoJuan de Lara Guest Editorial 10 March 2023 Pages: 795 - 796
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development Majid BabaeiJuergen Dingel Special Section Paper 06 March 2023 Pages: 1565 - 1587
Gamifying model-based engineering: the PapyGame experience Antonio BucchiaroneMaxime Savary-LeblancAnnapaola Marconi Regular Paper Open access 04 March 2023 Pages: 1369 - 1389
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software Marne De VriesPetra Opperman Regular Paper Open access 01 March 2023 Pages: 1341 - 1368
Correlating contexts and NFR conflicts from event logs Mandira RoySouvick DasNabendu Chaki Regular Paper Open access 25 February 2023 Pages: 1987 - 2010
Assessing the usefulness of a visual programming IDE for large-scale automation software Bianca WiesmayrAlois ZoitlRick Rabiser Special Section Paper 09 February 2023 Pages: 1619 - 1643
Guest editorial to the special section on PoEM’2021 Estefanía SerralJanis StirnaJanis Grabis Guest Editorial 09 February 2023 Pages: 547 - 550
Trustworthy agent-based simulation: the case for domain-specific modelling languages Steffen ZschalerFiona A. C. Polack Expert Voice Open access 08 February 2023 Pages: 455 - 470
Report on the State of the SoSyM Journal end of 2022 Stéphanie ChallitaBenoit CombemaleMartin Schindler Editorial Open access 02 February 2023 Pages: 1 - 7
Editorial for FACS 2021 special section (SoSyM) Gwen Salaün Editorial 01 February 2023 Pages: 471 - 472
Involving users in the development of a modeling language for customer journeys Ragnhild HalvorsrudOdnan Ref SanchezMarita Skjuve Special Section Paper Open access 19 January 2023 Pages: 1589 - 1618
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties Stefan JohnJens KosiolGabriele Taentzer Regular Paper Open access 17 January 2023 Pages: 1281 - 1318
