Software and systems modeling

Keyphrases

Publications

2023

Steffen Zschaler, Fiona A C Polack
Trustworthy agent-based simulation: the case for domain-specific modelling languages. Software and systems modeling (2023)
Steffen Zschaler, Fiona A C Polack
Trustworthy agent-based simulation: the case for domain-specific modelling languages. Software and systems modeling (2023)
Marne De Vries, Petra Opperman
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software. Software and systems modeling (2023)
Michael Austin Langford, Kenneth H Chan, Jonathon Emil Fleck, Philip K McKinley, Betty H C Cheng
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Software and systems modeling (2023)
Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sébastien Gérard, Simone Bassanelli, Federica Gini, Annapaola Marconi
Gamifying model-based engineering: the PapyGame experience. Software and systems modeling (2023)
Marne De Vries, Petra Opperman
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software. Software and systems modeling (2023)
Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sébastien Gérard, Simone Bassanelli, Federica Gini, Annapaola Marconi
Gamifying model-based engineering: the PapyGame experience. Software and systems modeling (2023)
Michael Austin Langford, Kenneth H Chan, Jonathon Emil Fleck, Philip K McKinley, Betty H C Cheng
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Software and systems modeling (2023)

volume 23, number 3, 2023

Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and systems modeling 23 (3) (2023)
Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and systems modeling 23 (3) (2023)

volume 22, number 2, 2023

Benoit Combemale, Jeff Gray, Bernhard Rumpe
How to define modeling languages? Software and systems modeling 22 (2) (2023)

2022

Anne Gutschmidt, Birger Lantow, Ben Hellmanzik, Ben Ramforth, Matteo Wiese, Erko Martins
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality. Software and systems modeling (2022)
Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels
Design and evaluation of a collaborative UML modeling environment in virtual reality. Software and systems modeling (2022)

volume 22, number 1, 2022

Luciano Marchezan, Roland Kretschmer, Wesley K G Assunção, Alexander Reder, Alexander Egyed
Generating repairs for inconsistent models. Software and systems modeling 22 (1) (2022)
Luciano Marchezan, Roland Kretschmer, Wesley K G Assunção, Alexander Reder, Alexander Egyed
Generating repairs for inconsistent models. Software and systems modeling 22 (1) (2022)

volume 21, number 1, 2022

Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
SoSyM reflections: the 2021 "state of the journal" report. Software and systems modeling 21 (1) (2022)

volume 21, number 3, 2022

Sagar Sunkle, Krati Saxena, Ashwini Patil, Vinay Kulkarni
AI-driven streamlined modeling: experiences and lessons learned from multiple domains. Software and systems modeling 21 (3) (2022)

volume 21, number 4, 2022

Mohamed El-Attar
Are models better read on paper or on screen? A comparative study. Software and systems modeling 21 (4) (2022)

volume 21, number 5, 2022

Ana Ivanchikj, Souhaila Serbout, Cesare Pautasso
Live process modeling with the BPMN Sketch Miner. Software and systems modeling 21 (5) (2022)

2021

Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
SoSyM reflections: the 2020 "State of the Journal" report. Software and systems modeling (2021)
Rick Gilsing, Anna Wilbik, Paul Grefen, Oktay Turetken, Baris Ozkan, Onat Ege Adali, Frank Berkers
Defining business model key performance indicators using intentional linguistic summaries. Software and systems modeling (2021)
Jens Gulden
Special section of business process modeling, development and support (BPMDS) 2019: transformative BPMDS. Software and systems modeling (2021)
Ricardo Pérez-Castillo, Andrea Delgado, Francisco Ruiz, Virginia Bacigalupe, Mario Piattini
A method for transforming knowledge discovery metamodel to ArchiMate models. Software and systems modeling (2021)
Giancarlo Guizzardi, Tiago Prince Sales, João Paulo A Almeida, Geert Poels
Automated conceptual model clustering: a relator-centric approach. Software and systems modeling (2021)
Roman Lukyanenko, Veda C Storey, Oscar Pastor
Foundations of information technology based on Bunge's systemist philosophy of reality. Software and systems modeling (2021)
Eugene Syriani, Manuel Wimmer
Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems. Software and systems modeling (2021)

volume 21, number 5, 2021

Aren A Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models using qualitative abstractions and exploration strategies. Software and systems modeling 21 (5) (2021)

volume 20, number 2, 2021

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation testing with hyperproperties. Software and systems modeling 20 (2) (2021)

volume 20, number 6, 2021

Beatriz A Sanchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris Kolovos, Richard F Paige, Justin C Cooper, Jason Hampson
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Software and systems modeling 20 (6) (2021)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-driven engineering city spaces via bidirectional model transformations. Software and systems modeling 20 (6) (2021)

volume 20, number 2, 2020

Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed
Consistent change propagation within models. Software and systems modeling 20 (2) (2020)

volume 19, number 4, 2020

Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, Wieland Schwinger
Behavioral interfaces for executable DSLs. Software and systems modeling 19 (4) (2020)

volume 18, number 6, 2019

Christoph Czepa, Amirali Amiri, Evangelos Ntentos, Uwe Zdun
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. Software and systems modeling 18 (6) (2019)
Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu
ChronoSphere: a graph-based EMF model repository for IT landscape models. Software and systems modeling 18 (6) (2019)

volume 17, number 2, 2017

Thomas Baier, Claudio Di Ciccio, Jan Mendling, Mathias Weske
Matching events and activities by integrating behavioral aspects and label analysis. Software and systems modeling 17 (2) (2017)
Andrea Burattin, Vered Bernstein, Manuel Neurauter, Pnina Soffer, Barbara Weber
Detection and quantification of flow consistency in business process models. Software and systems modeling 17 (2) (2017)

volume 17, number 4, 2017

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
The Train Benchmark: cross-technology performance evaluation of continuous model queries. Software and systems modeling 17 (4) (2017)

volume 17, number 1, 2016

Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel
Leveraging annotation-based modeling with Jump. Software and systems modeling 17 (1) (2016)
István Dávid, István Ráth, Dániel Varró
Foundations for Streaming Model Transformations by Complex Event Processing. Software and systems modeling 17 (1) (2016)
Chris Partridge, Sergio de Cesare, Andrew Mitchell, James Odell
Formalization of the classification pattern: survey of classification modeling in information systems engineering. Software and systems modeling 17 (1) (2016)
Bernd Neumayr, Christoph G Schuetz, Manfred A Jeusfeld, Michael Schrefl
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Software and systems modeling 17 (1) (2016)

volume 17, number 2, 2016

Christian Vögele, André van Hoorn, Eike Schulz, Wilhelm Hasselbring, Helmut Krcmar
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction-a model-driven approach for session-based application systems. Software and systems modeling 17 (2) (2016)
Sander J J Leemans, Dirk Fahland, Wil M P van der Aalst
Scalable process discovery and conformance checking. Software and systems modeling 17 (2) (2016)
Cornelia Haisjackl, Pnina Soffer, Shao Yi Lim, Barbara Weber
How do humans inspect BPMN models: an exploratory study. Software and systems modeling 17 (2) (2016)

volume 17, number 3, 2016

Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser, Andreas Grimmer
Multi-purpose, multi-level feature modeling of large-scale industrial software systems. Software and systems modeling 17 (3) (2016)

volume 17, number 4, 2016

Federico Ciccozzi
On the automated translational execution of the action language for foundational UML. Software and systems modeling 17 (4) (2016)

volume 16, number 4, 2016

Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed
Variability extraction and modeling for product variants. Software and systems modeling 16 (4) (2016)