


default search action
Software and Systems Modeling, Volume 23
Volume 23, Number 1, February 2024
- Stéphanie Challita, Benoît Combemale, Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
Report on the state of the SoSyM journal (2023 summary). 1-5 - Judith Michael
, Dominik Bork, Manuel Wimmer, Heinrich C. Mayr:
Quo Vadis modeling? 7-28 - Bhisma Adhikari, Eric J. Rapos
, Matthew Stephan
:
SimIMA: a virtual Simulink intelligent modeling assistant. 29-56 - Ángel Mora Segura
, Juan de Lara, Manuel Wimmer:
Modelling assistants based on information reuse: a user evaluation for language engineering. 57-84 - Maxim Bragilovski, Roni Stern, Arnon Sturm
:
How do I find reusable models? 85-102 - Maxime Savary-Leblanc
, Xavier Le Pallec, Sébastien Gérard:
Understanding the need for assistance in software modeling: interviews with experts. 103-135 - Siamak Farshidi, Izaak Beer Kwantes, Slinger Jansen
:
Business process modeling language selection for research modelers. 137-162 - Johannes Erbel, Jens Grabowski:
Scientific workflow execution in the cloud using a dynamic runtime model. 163-193 - Hector A. Duran-Limon, Perla Velasco-Elizondo, Manuel Mora, Maria Elena Meda-Campaña, Karina Aguilar, Martha Hernández Ochoa, Leonardo Soto Sumuano:
Verifying consistency of software product line architectures with product architectures. 195-221 - Bernard Carré
, Gilles Vanwormhoudt, Olivier Caron:
Model projection relative to submetamodeling dimensions. 223-248 - Shalini Chakraborty, Grischa Liebel
:
Modelling guidance in software engineering: a systematic literature review. 249-265
Volume 23, Number 2, April 2024
- Benoît Combemale, Jeffrey G. Gray, Bernhard Rumpe:
Model-based code generation works: But how far does it go? - on the role of the generator. 267-268 - Istvan David
, Dominik Bork
, Gerti Kappel
:
Circular systems engineering. 269-283 - Frank S. de Boer, Antonio Cerone:
Guest editorial for the special section on SEFM 2020 and 2021. 285-287 - Renata Martins Gomes, Bernhard K. Aichernig
, Marcel Baunach
:
A framework for embedded software portability and verification: from formal models to low-level code. 289-315 - Renata Martins Gomes, Bernhard K. Aichernig
, Marcel Baunach
:
Correction: A framework for embedded software portability and verification: from formal models to low-level code. 317 - Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard
, Peter J. Stuckey:
A lightweight approach to nontermination inference using Constrained Horn Clauses. 319-342 - Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Quantitative modelling and analysis of BDI agents. 343-367 - Clemens Dubslaff, Patrick Wienhöft
, Ansgar Fehnker:
Lazy model checking for recursive state machines. 369-401 - Anna Becchi
, Alessandro Cimatti
, Enea Zaffanella
:
P-stable abstractions of hybrid systems. 403-426 - Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. 427-453 - Cole Vick
, Eunsuk Kang, Stavros Tripakis:
Counterexample classification. 455-472 - Livia Lestingi
, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. 473-502 - Edi Muskardin, Martin Tappler
, Bernhard K. Aichernig, Ingo Pill:
Active model learning of stochastic reactive systems (extended version). 503-524
Volume 23, Number 3, June 2024
- Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Model modularity for reuse, libraries and composition: symbol management is key. 525-526 - Richard F. Paige, Jordi Cabot:
What makes a good modeling research contribution? 527-531 - Sybren de Kinderen, Dominik Bork
:
Guest editorial to the theme section on Trends in Enterprise Architecture Research. 533-534 - Jan A. H. Schoonderbeek
, Henderik A. Proper
:
Toward an ontology for EA modeling and EA model quality. 535-558 - Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula
, Giancarlo Guizzardi:
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities. 559-598 - Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula, Giancarlo Guizzardi:
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities. 599-601 - Bernd-Holger Schlingloff, Ming Chai:
Guest editorial to the special section on SEFM'22. 603-604 - Paul Kobialka
, Silvia Lizeth Tapia Tarifa
, Gunnar R. Bergersen
, Einar Broch Johnsen
:
User journey games: automating user-centric analysis. 605-624 - Bernhard K. Aichernig, Sandra König
, Cristinel Mateis, Andrea Pferscher
, Martin Tappler:
Learning minimal automata with recurrent neural networks. 625-655 - Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda:
A refinement-based approach to safe smart contract deployment and evolution. 657-693 - Jan Haltermann
, Heike Wehrheim:
Exchanging information in cooperative software validation. 695-719 - Yizhak Yisrael Elboher
, Elazar Cohen
, Guy Katz
:
On applying residual reasoning within neural network verification. 721-736 - Bentley James Oakes
, Javier Troya, Jessie Galasso, Manuel Wimmer:
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. 737-763 - Flávia Falcão
, Lucas Lima
, Augusto Sampaio
, Pedro Antonino
:
A formal component model for UML based on CSP aiming at compositional verification. 765-798
Volume 23, Number 4, August 2024
- Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations. 799-800 - Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel
, Kai Marquardt
, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari
, Robert Heinrich, Sandra Greiner, Satrio Adi Rukmono, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral:
Human factors in model-driven engineering: future research goals and initiatives for MDE. 801-819 - Reyhaneh Kalantari
, Julian Oertel
, Joeri Exelmans, Satrio Adi Rukmono, Vasco Amaral, Matthias Tichy, Katharina Juhnke, Jan-Philipp Steghöfer, Silvia Abrahão:
Systematizing modeler experience (MX) in model-driven engineering success stories. 821-832 - Balbir S. Barn
, Kurt Sandkuhl
, Souvik Barat
, Tony Clark
:
Guest editorial to the special section on PoEM'2022. 833-835 - Marien R. Krouwel
, Martin Op't Land
, Henderik A. Proper
:
From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain. 837-864 - Florian Cesal, Dominik Bork
:
Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models. 865-894 - Georgios Koutsopoulos
, Anna Andersson, Janis Stirna
, Martin Henkel
:
Application and evaluation of interlinked approaches for modeling changing capabilities. 895-924 - Italo Jose da Silva Oliveira
, Tiago Prince Sales
, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli, Giancarlo Guizzardi:
Ontology-based security modeling in ArchiMate. 925-952 - Felix Cammaerts
, Monique Snoeck:
Assessing the testing skills transfer of model-based testing on testing skill acquisition. 953-971 - Pierre-Alain Yvars, Laurent Zimmer:
DEPS: a model- and property-based language for system synthesis problems. 973-1002 - Riccardo Pinciroli
, Connie U. Smith, Catia Trubiani
:
Modeling more software performance antipatterns in cyber-physical systems. 1003-1023 - Sotirios Liaskos
, Saba Zarbaf, John Mylopoulos, Shakil M. Khan:
Empirically evaluating modeling language ontologies: the Peira framework. 1025-1052
Volume 23, Number 5, October 2024
- Benoît Combemale, Jeff Gray, Jean-Marc Jézéquel, Bernhard Rumpe:
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty. 1053-1054 - Jörg Kienzle, Steffen Zschaler
, William Barnett
, Timur Saglam
, Antonio Bucchiarone, Silvia Abrahão, Eugene Syriani, Dimitrios S. Kolovos, Timothy Lethbridge, Sadaf Mustafiz, Sofia Meacham:
Requirements for modelling tools for teaching. 1055-1073 - Dominik Bork
, Henderik A. Proper
:
Guest editorial for EMMSAD'2023 special section. 1075-1076 - Roman Lukyanenko, Binny M. Samuel
, Jeffrey Parsons
, Veda C. Storey, Oscar Pastor
, Araz Jabbari:
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research. 1077-1100 - Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front:
Supporting method engineering with a low-code approach: the LOMET tool. 1101-1122 - Tong Li
, Yiting Wang, Xiang Wei, Xueying Zhang, Yu Liu:
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements. 1123-1155 - Cesar Gonzalez-Perez
, Martin Pereira-Fariña
, Beatriz Calderón-Cerrato
, Patricia Martín-Rodilla
:
IAT/ML: a metamodel and modelling approach for discourse analysis. 1157-1181 - Charlotte Verbruggen
, Monique Snoeck
:
TEC-MAP: a taxonomy of evaluation criteria and its application to the multi-modelling of data and processes. 1183-1216 - Arianna Fedeli
, Fabrizio Fornari, Andrea Polini, Barbara Re, Victoria Torres, Pedro Valderas:
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. 1217-1246 - Judith Michael
, Volodymyr A. Shekhovtsov:
A model-based reference architecture for complex assistive systems and its application. 1247-1274 - Hossain Muhammad Muctadir
, David A. Manrique Negrin
, Raghavendran Gunasekaran
, Loek Cleophas
, Mark van den Brand
, Boudewijn R. Haverkort
:
Current trends in digital twin development, maintenance, and operation: an interview study. 1275-1305
Volume 23, Number 6, December 2024
- Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Model hybridization: towards a unifying theory for inductive and deductive reasoning. 1307-1308 - Javier Cámara, Lola Burgueño, Javier Troya:
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework. 1309-1318 - Selmin Nurcan, Rainer Schmidt:
Special Section of BPMDS 2022 - reflections on interactions and responsibility in a digitized business processes ecosystem. 1319-1321 - Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
A technique for discovering BPMN collaboration diagrams. 1323-1343 - Lisa Zimmermann
, Francesca Zerbato, Barbara Weber:
What makes life for process mining analysts difficult? A reflection of challenges. 1345-1373 - Tarek Skouti
, Ronny Seiger
, Frank J. Furrer
, Susanne Strahringer
:
RBPMN: the value of roles for business process modeling. 1375-1406 - Flavia Monti
, Jerin George Mathew
, Francesco Leotta
, Agnes Koschmider
, Massimo Mecella
:
On the application of process management and process mining to Industry 4.0. 1407-1419 - Engjëll Ahmeti, Martin Käppel, Stefan Jablonski:
Redescription mining-based business process deviance analysis. 1421-1450 - Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Lola Burgueño, Muhammad Aminu Umar:
Introduction to theme section on requirements formalisation. 1451-1453 - Maria Stella de Biase, Simona Bernardi, Stefano Marrone, José Merseguer, Angelo Palladino:
Completion of SysML state machines from Given-When-Then requirements. 1455-1491 - Fatma Bozyigit, Tolgahan Bardakci, Alireza Khalilipour, Moharram Challenger, Guus Ramackers, Önder Babur, Michel R. V. Chaudron:
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools. 1493-1511 - Thuy Nguyen, Imen Sayar, Sophie Ebersold
, Jean-Michel Bruel
:
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. 1513-1545 - Zahra VaraminyBahnemiry, Jessie Galasso, Bentley J. Oakes
, Houari A. Sahraoui:
Improving repair of semantic ATL errors using a social diversity metric. 1547-1568 - Giacomo Garaccione
, Riccardo Coppola
, Luca Ardito
, Marco Torchiano
:
Gamification of business process modeling education: an experimental analysis. 1569-1594

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.