ModelXGlue: a benchmarking framework for ML tools in MDE José Antonio Hernández LópezJesús Sánchez CuadradoDavide Di Ruscio Special Section Paper Open access 10 June 2024
Using reactive links to propagate changes across engineering models Cosmina-Cristina RaţiuWesley K. G. AssunçãoAlexander Egyed Special Section Paper Open access 10 June 2024
MBFair: a model-based verification methodology for detecting violations of individual fairness Qusai RamadanMarco KonersmannSteffen Staab Regular Paper 10 June 2024
OIL: an industrial case study in language engineering with Spoofax Olav BunteJasper DenkersAndy Zaidman Regular Paper Open access 03 June 2024
Modular language product lines: concept, tool and analysis Juan de LaraEsther GuerraPaolo Bottoni Special Section Paper Open access 28 May 2024
Application and evaluation of interlinked approaches for modeling changing capabilities Georgios KoutsopoulosAnna AnderssonMartin Henkel Special Section Paper Open access 20 May 2024
Going beyond templates: composition and evolution in nested OSTRICH João Costa SecoHugo LourençoCarla Ferreira Special Section Paper Open access 20 May 2024
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities Rodrigo F. CalhauJoão Paulo A. AlmeidaGiancarlo Guizzardi Publisher Correction Open access 10 May 2024
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools Fatma BozyigitTolgahan BardakciMichel R. V. Chaudron Theme Section Paper 08 May 2024
Guest editorial for the special section on SEFM 2020 and 2021 Frank S. de BoerAntonio Cerone Guest Editorial Open access 30 April 2024 Pages: 285 - 287
Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models Florian CesalDominik Bork Special Section Paper Open access 30 April 2024
What makes a good modeling research contribution? Richard F. PaigeJordi Cabot Expert Voice 29 April 2024
Accelerating similarity-based model matching using dual hashing Xiao HeYi LiuHuihong He Special Section Paper 29 April 2024
On the application of process management and process mining to Industry 4.0 Flavia MontiJerin George MathewMassimo Mecella Special Section Paper Open access 25 April 2024
Gamification of business process modeling education: an experimental analysis Giacomo GaraccioneRiccardo CoppolaMarco Torchiano Regular Paper Open access 18 April 2024
Current trends in digital twin development, maintenance, and operation: an interview study Hossain Muhammad MuctadirDavid A. Manrique NegrinBoudewijn R. Haverkort Regular Paper Open access 18 April 2024
Improving repair of semantic ATL errors using a social diversity metric Zahra VaraminyBahnemiryJessie GalassoHouari Sahraoui Regular Paper 18 April 2024
Guest editorial to the special section on SEFM’22 Bernd-Holger SchlingloffMing Chai Guest Editorial Open access 16 April 2024
Empirically evaluating modeling language ontologies: the Peira framework Sotirios LiaskosSaba ZarbafShakil M. Khan Regular Paper 16 April 2024
Guest editorial to the theme section on Trends in Enterprise Architecture Research Sybren de KinderenDominik Bork Guest Editorial 12 April 2024
Model-based code generation works: But how far does it go?—on the role of the generator Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 08 April 2024 Pages: 267 - 268
From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain Marien R. KrouwelMartin Op ’t LandHenderik A. Proper Special Section Paper Open access 08 April 2024
Correction: A framework for embedded software portability and verification: from formal models to low-level code Renata Martins GomesBernhard AichernigMarcel Baunach Correction Open access 04 April 2024 Pages: 317 - 317
Active model learning of stochastic reactive systems (extended version) Edi MuškardinMartin TapplerIngo Pill Special Section Paper Open access 23 March 2024 Pages: 503 - 524
Learning minimal automata with recurrent neural networks Bernhard K. AichernigSandra KönigMartin Tappler Special Section Paper Open access 21 March 2024
Lazy model checking for recursive state machines Clemens DubslaffPatrick WienhöftAnsgar Fehnker Special Section Paper Open access 20 March 2024 Pages: 369 - 401
Exchanging information in cooperative software validation Jan HaltermannHeike Wehrheim Special Section Paper Open access 19 March 2024
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements Thuy NguyenImen SayarJean-Michel Bruel Theme Section Paper 16 March 2024
A model-based reference architecture for complex assistive systems and its application Judith MichaelVolodymyr A. Shekhovtsov Regular Paper Open access 16 March 2024
A lightweight approach to nontermination inference using Constrained Horn Clauses Bishoksan KafleGraeme GangePeter J. Stuckey Special Section Paper 14 March 2024 Pages: 319 - 342
User journey games: automating user-centric analysis Paul KobialkaS. Lizeth Tapia TarifaEinar Broch Johnsen Special Section Paper Open access 14 March 2024
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities Rodrigo F. CalhauJoão Paulo A. AlmeidaGiancarlo Guizzardi Theme Section Paper Open access 05 March 2024
Circular systems engineering Istvan DavidDominik BorkGerti Kappel Expert Voice 29 February 2024 Pages: 269 - 283
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes Arianna FedeliFabrizio FornariPedro Valderas Regular Paper Open access 28 February 2024
A technique for discovering BPMN collaboration diagrams Flavio CorradiniSara PettinariFrancesco Tiezzi Special Section Paper 28 February 2024
Report on the state of the SoSyM journal (2023 summary) Stéphanie ChallitaBenoit CombemaleMartin Schindler Editorial Open access 19 February 2024 Pages: 1 - 5
Ontology-based security modeling in ArchiMate Ítalo OliveiraTiago Prince SalesGiancarlo Guizzardi Special Section Paper Open access 16 February 2024
Toward an ontology for EA modeling and EA model quality Jan A. H. SchoonderbeekHenderik A. Proper Theme Section Paper Open access 03 February 2024
A framework for embedded software portability and verification: from formal models to low-level code Renata Martins GomesBernhard AichernigMarcel Baunach Special Section Paper Open access 01 February 2024 Pages: 289 - 315
P-stable abstractions of hybrid systems Anna BecchiAlessandro CimattiEnea Zaffanella Special Section Paper Open access 29 January 2024 Pages: 403 - 426
A refinement-based approach to safe smart contract deployment and evolution Pedro AntoninoJuliandson FerreiraFilipe Arruda Special Section Paper 25 January 2024
Assessing the testing skills transfer of model-based testing on testing skill acquisition Felix CammaertsMonique Snoeck Special Section Paper 22 January 2024
Modeling more software performance antipatterns in cyber-physical systems Riccardo PinciroliConnie U. SmithCatia Trubiani Regular Paper Open access 20 December 2023
Special section of BPMDS’2021 business process improvement Adriano AugustoSelmin NurcanRainer Schmidt Guest Editorial 18 December 2023 Pages: 1751 - 1753
Guest editorial for EMMSAD’2022 special section Iris Reinhartz-BergerDominik Bork Guest Editorial 08 December 2023 Pages: 1855 - 1856
Adopting the concept of a function as an underlying semantic paradigm for modeling languages Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 30 November 2023 Pages: 1733 - 1735
A theme section on the central role of modeling in designing and explaining data-driven systems and software Christian AttiogbéSadok Ben YahiaLadjel Bellatreche Guest Editorial 22 November 2023 Pages: 1945 - 1947
Modeling and enforcing access control policies in conversational user interfaces Elena PlanasSalvador MartínezJordi Cabot Special Section Paper Open access 22 November 2023 Pages: 1925 - 1944
What makes life for process mining analysts difficult? A reflection of challenges Lisa ZimmermannFrancesca ZerbatoBarbara Weber Special Section Paper Open access 17 November 2023
On applying residual reasoning within neural network verification Yizhak Yisrael ElboherElazar CohenGuy Katz Special Section Paper 16 November 2023