default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 24
Volume 24, Number 1, February 2025
- Stéphanie Challita, Benoît Combemale, Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
Report on the State of the SoSyM Journal (2024 summary). 1-5 - Han van der Aa, Rainer Schmidt:
Special section of BPMDS'2023. 7-8 - Charlotte Verbruggen
, Alexandre Goossens, Johannes De Smedt, Jan Vanthienen, Monique Snoeck:
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling. 9-33 - Charlotte Verbruggen, Alexandre Goossens, Johannes De Smedt, Jan Vanthienen, Monique Snoeck:
Correction: iDOCEM. 35 - Leo Poss, Stefan Schönig:
Location-aware business process modeling and execution. 37-67 - Kerstin Andree, Dorina Bano, Mathias Weske:
A closer look at activity relationships to improve business process redesign. 69-86 - Aaron Friedrich Kurz, Timotheus Kampik, Luise Pufahl, Ingo Weber:
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives. 87-109 - Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab:
MBFair: a model-based verification methodology for detecting violations of individual fairness. 111-136 - Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab:
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness. 137 - Olav Bunte, Jasper Denkers, Louis C. M. van Gool, Jurgen J. Vinju, Eelco Visser, Tim A. C. Willemse, Andy Zaidman:
OIL: an industrial case study in language engineering with Spoofax. 139-182 - Jörg Holtmann, Jennifer Horkoff, Rebekka Wohlrab, Victoria Vu, Rashidah Kasauli, Salome Maro, Jan-Philipp Steghöfer, Eric Knauss:
Using boundary objects and methodological island (BOMI) modeling in large-scale agile systems development. 183-207 - Daniel Farias, Bruno Nogueira, Ivaldir Honório de Farias Júnior, Ermeson Carneiro de Andrade:
A modeling-based approach for dependability analysis of a constellation of satellites. 209-224 - Shaghayegh Tavassoli, Ramtin Khosravi:
Efficient construction of family-based behavioral models from adaptively learned models. 225-251 - Alexander Ahlbrecht, Jasper Sprockhoff, Umut Durak:
A system-theoretic assurance framework for safety-driven systems engineering. 253-270
Volume 24, Number 2, April 2025
- Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Formal methods in the scope of the Software and Systems Modeling journal. 271-272 - Jörg Holtmann, Federico Ciccozzi, Wim Bast, Joost van Pinxten:
An elucidation of blended modeling from an industrial perspective. 273-285 - Dalila Tamzalit, Ludovico Iovino:
Theme section on models and evolution. 287-288 - Jakob Pietron, Heiko Raab, Matthias Tichy:
Adaptive caching for operation-based versioning of models. 289-310 - Juha-Pekka Tolvanen, Steven Kelly, Juri Di Rocco, Alfonso Pierantonio, Giordano Tinella:
A framework for evaluating tool support for co-evolution of modeling languages, tools and models. 311-338 - Eban Escott:
Jidoka: automation with a human touch. 339-358 - Istvan David, Ankica Barisic, Dominik Bork:
Theme section on modeling and sustainability. 359 - Patricia Lago, Nelly Condori-Fernández, Iffat Fatima, Markus Funke, Ivano Malavolta:
The sustainability assessment framework toolkit: a decade of modeling experience. 361-383 - Alexandra Mazak-Huemer, Michael Vierhauser, Iris Groher:
SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators. 385-410 - Sascha Lehmann, Sibylle Schupp:
A model template for reachability-based containment checking of imprecise observations in timed automata. 411-444 - Simon Rädler, Luca Berardinelli, Karolin Winter, Abbas Rahimi, Stefanie Rinderle-Ma:
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering. 445-469 - Martin Rindarøy, Håvard Nordahl, Severin Sadjina, Stian Skjong, Marianne Hagaseth:
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections. 471-487 - Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re, Francesco Tiezzi:
Model-based verification of data protection mechanisms in collaborative business processes. 489-521 - Louis-Edouard Lafontant, Eugene Syriani:
Modeling with Gentleman: a web-based projectional editor. 523-551 - Ioannis Korontanis, Antonios Makris, Konstantinos Tserpes:
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration. 553-571 - Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher, Olivier Barais:
Automated testing of metamodels and code co-evolution. 573-591
Volume 24, Number 3, June 2025
- Stéphanie Challita, Marsha Chechik, Benoît Combemale, Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
Antonio Vallecillo. 593-594 - Javier Troya, Alfonso Pierantonio:
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo. 595-600 - Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi:
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices. 601-613 - Jean-Marc Jézéquel:
Taming uncertainty with MDE: an historical perspective. 615-628 - Javier Cámara:
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling. 629-650 - Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby:
Uncertainty-aware environment simulation of medical devices digital twins. 651-677 - Pablo Valle, Aitor Arrieta, Liping Han, Shaukat Ali, Tao Yue:
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems. 679-704 - Iván Alfonso, Jean-Sébastien Sottet, Pierre Brimont, Jordi Cabot:
Modeling the obsolescence of models. 705-719 - Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe:
Operation-based versioning as a foundation for live executable models. 721-739 - Peter F. Linington, Zoran Milosevic, Akira Tanaka, Igor Dejanovic:
Using DSLs to manage consistency in long-lived enterprise language specifications. 741-754 - Cesar Gonzalez-Perez:
Conceptual modelling of temporality and subjectivity as cross-cutting concerns. 755-770 - Jingxi Zhang, Carsten Ellwein, Malte Heithoff, Judith Michael, Andreas Wortmann:
Digital twin and the asset administration shell. 771-793 - Luis Jiménez-Navajas, Ricardo Pérez-Castillo, Mario Piattini:
Code generation for classical-quantum software systems modeled in UML. 795-821 - Cristian Gómez Macías, Francisco Javier Pérez-Blanco, David Granada, Juan Manuel Vara:
Integrating smart contracts into the modeling paradigm to harness the potential of models. 823-842 - Chao Tan, Tiexin Wang, Man Zhang, Tao Yue:
Safety behavior abstraction and model evolution in autonomous driving. 843-863 - Martin Gogolla, Jesús Sánchez Cuadrado:
Developing configurations and solutions for logical puzzles with UML and OCL. 865-889 - Martin Eisenberg, Manuel Wimmer:
From single-objective to multi-objective reinforcement learning-based model transformation. 891-921 - Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Phuong T. Nguyen, Riccardo Rubei:
On the use of large language models in model-driven engineering. 923-948 - Francisco Javier Alcaide, José Raúl Romero, Aurora Ramírez:
Can explainable artificial intelligence support software modelers in model comprehension? 949-974
Volume 24, Number 4, August 2025
- Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe:
On theory and management of dependencies between models. 975-976 - Nelly Bencomo, Houari A. Sahraoui, Eugene Syriani, Manuel Wimmer:
Guest editorial for the special section on MODELS 2022. 977-980 - Juan de Lara, Esther Guerra, Paolo Bottoni:
Modular language product lines: concept, tool and analysis. 981-1010 - Xiao He, Yi Liu, Huihong He:
Accelerating similarity-based model matching using dual hashing. 1011-1034 - José Antonio Hernández López, Jesús Sánchez Cuadrado, Riccardo Rubei, Davide Di Ruscio:
ModelXGlue: a benchmarking framework for ML tools in MDE. 1035-1058 - Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. 1059-1089 - Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. 1091 - Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
SymboleoPC: checking properties of legal contracts. 1093-1126 - Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos:
Automated generation of smart contract code from legal contract specifications with Symboleo2SC. 1127-1156 - Rodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina:
Boosting bug localization in software models of video games with simulations and component-specific genetic operations. 1157-1185 - Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Djamel Eddine Khelladi, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara:
A language-parametric test amplification framework for executable domain-specific languages. 1187-1212 - Cosmina-Cristina Ratiu, Wesley K. G. Assunção, Edvin Herac, Rainer Haas, Christophe Lauwerys, Alexander Egyed:
Using reactive links to propagate changes across engineering models. 1213-1239 - João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira:
Going beyond templates: composition and evolution in nested OSTRICH. 1241-1266 - Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau:
Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. 1267-1292 - Sophie Lathouwers, Yujie Liu, Vadim Zaytsev:
Extract, model, refine: improved modelling of program verification tools through data enrichment. 1293-1313
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.
last updated on 2025-08-24 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
