- Zahra VaraminyBahnemiry, Jessie Galasso, Bentley J. Oakes, Houari A. Sahraoui. Improving repair of semantic ATL errors using a social diversity metric. Software and Systems Modeling, 23(6):1547-1568, December 2024.
- Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen. User journey games: automating user-centric analysis. Software and Systems Modeling, 23(3):605-624, June 2024.
- Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. A lightweight approach to nontermination inference using Constrained Horn Clauses. Software and Systems Modeling, 23(2):319-342, April 2024.
- Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill. Active model learning of stochastic reactive systems (extended version). Software and Systems Modeling, 23(2):503-524, April 2024.
- Georgios Koutsopoulos, Anna Andersson, Janis Stirna, Martin Henkel. Application and evaluation of interlinked approaches for modeling changing capabilities. Software and Systems Modeling, 23(4):895-924, August 2024.
- Cole Vick, Eunsuk Kang, Stavros Tripakis. Counterexample classification. Software and Systems Modeling, 23(2):455-472, April 2024.
- Anna Becchi, Alessandro Cimatti, Enea Zaffanella. P-stable abstractions of hybrid systems. Software and Systems Modeling, 23(2):403-426, April 2024.
- Pierre-Alain Yvars, Laurent Zimmer. DEPS: a model- and property-based language for system synthesis problems. Software and Systems Modeling, 23(4):973-1002, August 2024.
- Reyhaneh Kalantari, Julian Oertel, Joeri Exelmans, Satrio Adi Rukmono, Vasco Amaral 0001, Matthias Tichy, Katharina Juhnke, Jan-Philipp Steghöfer, Silvia Abrahão. Systematizing modeler experience (MX) in model-driven engineering success stories. Software and Systems Modeling, 23(4):821-832, August 2024.
- Stéphanie Challita, Benoît Combemale, Hüseyin Ergin, Jeff Gray 0001, Bernhard Rumpe, Martin Schindler. Report on the state of the SoSyM journal (2023 summary). Software and Systems Modeling, 23(1):1-5, February 2024.