Articles

1. Guest editorial for the special section on SEFM 2020 and 2021

   • Frank S. de Boer
   • Antonio Cerone

   Guest Editorial Open access 30 April 2024

2. Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models

   • Florian Cesal
   • Dominik Bork

   Special Section Paper Open access 30 April 2024

   

3. What makes a good modeling research contribution?

   • Richard F. Paige
   • Jordi Cabot

   Expert Voice 29 April 2024

4. Accelerating similarity-based model matching using dual hashing

   • Xiao He
   • Yi Liu
   • Huihong He

   Special Section Paper 29 April 2024

   

5. On the application of process management and process mining to Industry 4.0

   • Flavia Monti
   • Jerin George Mathew
   • Massimo Mecella

   Special Section Paper Open access 25 April 2024

   

6. Gamification of business process modeling education: an experimental analysis

   • Giacomo Garaccione
   • Riccardo Coppola
   • Marco Torchiano

   Regular Paper Open access 18 April 2024

   

7. Current trends in digital twin development, maintenance, and operation: an interview study

   • Hossain Muhammad Muctadir
   • David A. Manrique Negrin
   • Boudewijn R. Haverkort

   Regular Paper Open access 18 April 2024

   

8. Improving repair of semantic ATL errors using a social diversity metric

   • Zahra VaraminyBahnemiry
   • Jessie Galasso
   • Houari Sahraoui

   Regular Paper 18 April 2024

   

9. Guest editorial to the special section on SEFM’22

   • Bernd-Holger Schlingloff
   • Ming Chai

   Guest Editorial Open access 16 April 2024

10. Empirically evaluating modeling language ontologies: the Peira framework

    • Sotirios Liaskos
    • Saba Zarbaf
    • Shakil M. Khan

    Regular Paper 16 April 2024

    

11. Guest editorial to the theme section on Trends in Enterprise Architecture Research

    • Sybren de Kinderen
    • Dominik Bork

    Guest Editorial 12 April 2024

12. Model-based code generation works: But how far does it go?—on the role of the generator

    • Benoit Combemale
    • Jeff Gray
    • Bernhard Rumpe

    Editorial Open access 08 April 2024

13. From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain

    • Marien R. Krouwel
    • Martin Op ’t Land
    • Henderik A. Proper

    Special Section Paper Open access 08 April 2024

    

14. Correction: A framework for embedded software portability and verification: from formal models to low-level code

    • Renata Martins Gomes
    • Bernhard Aichernig
    • Marcel Baunach

    Correction Open access 04 April 2024

15. Active model learning of stochastic reactive systems (extended version)

    • Edi Muškardin
    • Martin Tappler
    • Ingo Pill

    Special Section Paper Open access 23 March 2024

    

16. Learning minimal automata with recurrent neural networks

    • Bernhard K. Aichernig
    • Sandra König
    • Martin Tappler

    Special Section Paper Open access 21 March 2024

    

17. Lazy model checking for recursive state machines

    • Clemens Dubslaff
    • Patrick Wienhöft
    • Ansgar Fehnker

    Special Section Paper Open access 20 March 2024

    

18. Exchanging information in cooperative software validation

    • Jan Haltermann
    • Heike Wehrheim

    Special Section Paper Open access 19 March 2024

    

19. Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

    • Thuy Nguyen
    • Imen Sayar
    • Jean-Michel Bruel

    Theme Section Paper 16 March 2024

    

20. A model-based reference architecture for complex assistive systems and its application

    • Judith Michael
    • Volodymyr A. Shekhovtsov

    Regular Paper Open access 16 March 2024

    

21. User journey games: automating user-centric analysis

    • Paul Kobialka
    • S. Lizeth Tapia Tarifa
    • Einar Broch Johnsen

    Special Section Paper Open access 14 March 2024

    

22. A lightweight approach to nontermination inference using Constrained Horn Clauses

    • Bishoksan Kafle
    • Graeme Gange
    • Peter J. Stuckey

    Special Section Paper 14 March 2024

    

23. Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

    • Rodrigo F. Calhau
    • João Paulo A. Almeida
    • Giancarlo Guizzardi

    Theme Section Paper Open access 05 March 2024

    

24. Circular systems engineering

    • Istvan David
    • Dominik Bork
    • Gerti Kappel

    Expert Voice 29 February 2024

    

25. FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

    • Arianna Fedeli
    • Fabrizio Fornari
    • Pedro Valderas

    Regular Paper Open access 28 February 2024

    

26. A technique for discovering BPMN collaboration diagrams

    • Flavio Corradini
    • Sara Pettinari
    • Francesco Tiezzi

    Special Section Paper 28 February 2024

    

27. Report on the state of the SoSyM journal (2023 summary)

    • Stéphanie Challita
    • Benoit Combemale
    • Martin Schindler

    Editorial Open access 19 February 2024 Pages: 1 - 5

    

28. Ontology-based security modeling in ArchiMate

    • Ítalo Oliveira
    • Tiago Prince Sales
    • Giancarlo Guizzardi

    Special Section Paper Open access 16 February 2024

    

29. Toward an ontology for EA modeling and EA model quality

    • Jan A. H. Schoonderbeek
    • Henderik A. Proper

    Theme Section Paper Open access 03 February 2024

    

30. A framework for embedded software portability and verification: from formal models to low-level code

    • Renata Martins Gomes
    • Bernhard Aichernig
    • Marcel Baunach

    Special Section Paper Open access 01 February 2024

    

31. P-stable abstractions of hybrid systems

    • Anna Becchi
    • Alessandro Cimatti
    • Enea Zaffanella

    Special Section Paper Open access 29 January 2024

    

32. A refinement-based approach to safe smart contract deployment and evolution

    • Pedro Antonino
    • Juliandson Ferreira
    • Filipe Arruda

    Special Section Paper 25 January 2024

    

33. Assessing the testing skills transfer of model-based testing on testing skill acquisition

    • Felix Cammaerts
    • Monique Snoeck

    Special Section Paper 22 January 2024

    

34. Modeling more software performance antipatterns in cyber-physical systems

    • Riccardo Pinciroli
    • Connie U. Smith
    • Catia Trubiani

    Regular Paper Open access 20 December 2023

    

35. Special section of BPMDS’2021 business process improvement

    • Adriano Augusto
    • Selmin Nurcan
    • Rainer Schmidt

    Guest Editorial 18 December 2023 Pages: 1751 - 1753

36. Guest editorial for EMMSAD’2022 special section

    • Iris Reinhartz-Berger
    • Dominik Bork

    Guest Editorial 08 December 2023 Pages: 1855 - 1856

37. Adopting the concept of a function as an underlying semantic paradigm for modeling languages

    • Benoit Combemale
    • Jeff Gray
    • Bernhard Rumpe

    Editorial Open access 30 November 2023 Pages: 1733 - 1735

    

38. A theme section on the central role of modeling in designing and explaining data-driven systems and software

    • Christian Attiogbé
    • Sadok Ben Yahia
    • Ladjel Bellatreche

    Guest Editorial 22 November 2023 Pages: 1945 - 1947

39. Modeling and enforcing access control policies in conversational user interfaces

    • Elena Planas
    • Salvador Martínez
    • Jordi Cabot

    Special Section Paper Open access 22 November 2023 Pages: 1925 - 1944

    

40. What makes life for process mining analysts difficult? A reflection of challenges

    • Lisa Zimmermann
    • Francesca Zerbato
    • Barbara Weber

    Special Section Paper Open access 17 November 2023

    

41. On applying residual reasoning within neural network verification

    • Yizhak Yisrael Elboher
    • Elazar Cohen
    • Guy Katz

    Special Section Paper 16 November 2023

    

42. On the persistent rumors of the programmer’s imminent demise

    • Hessam Mohammadi
    • Wided Ghardallou
    • Ali Mili

    Expert Voice 15 November 2023 Pages: 1969 - 1976

    

43. From network traffic data to business activities: a conceptualization and a recognition approach

    • Moshe Hadad
    • Gal Engelberg
    • Pnina Soffer

    Special Section Paper 08 November 2023 Pages: 1827 - 1854

    

44. From process mining to augmented process execution

    • David Chapela-Campa
    • Marlon Dumas

    Expert Voice Open access 04 November 2023 Pages: 1977 - 1986

    

45. DEPS: a model- and property-based language for system synthesis problems

    • Pierre-Alain Yvars
    • Laurent Zimmer

    Regular Paper 19 October 2023

    

46. Quo Vadis modeling?

    • Judith Michael
    • Dominik Bork
    • Heinrich C. Mayr

    Expert Voice Open access 10 October 2023 Pages: 7 - 28

    

47. A formal component model for UML based on CSP aiming at compositional verification

    • Flávia Falcão
    • Lucas Lima
    • Pedro Antonino

    Regular Paper 04 October 2023

    

48. Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis

    • Bentley James Oakes
    • Javier Troya
    • Manuel Wimmer

    Regular Paper Open access 29 September 2023

    

49. Large language models as an “operating” system for software and systems modeling

    • Benoit Combemale
    • Jeff Gray
    • Bernhard Rumpe

    Editorial Open access 16 September 2023 Pages: 1391 - 1392

50. Quantitative modelling and analysis of BDI agents

    • Blair Archibald
    • Muffy Calder
    • Mengwei Xu

    Special Section Paper Open access 28 August 2023