Guest editorial for the special section on SEFM 2020 and 2021 Frank S. de BoerAntonio Cerone Guest Editorial Open access 30 April 2024
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
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
Active model learning of stochastic reactive systems (extended version) Edi MuškardinMartin TapplerIngo Pill Special Section Paper Open access 23 March 2024
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
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
User journey games: automating user-centric analysis Paul KobialkaS. Lizeth Tapia TarifaEinar Broch Johnsen Special Section Paper Open access 14 March 2024
A lightweight approach to nontermination inference using Constrained Horn Clauses Bishoksan KafleGraeme GangePeter J. Stuckey Special Section Paper 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
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
P-stable abstractions of hybrid systems Anna BecchiAlessandro CimattiEnea Zaffanella Special Section Paper Open access 29 January 2024
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
On the persistent rumors of the programmer’s imminent demise Hessam MohammadiWided GhardallouAli Mili Expert Voice 15 November 2023 Pages: 1969 - 1976
From network traffic data to business activities: a conceptualization and a recognition approach Moshe HadadGal EngelbergPnina Soffer Special Section Paper 08 November 2023 Pages: 1827 - 1854
From process mining to augmented process execution David Chapela-CampaMarlon Dumas Expert Voice Open access 04 November 2023 Pages: 1977 - 1986
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