Report on the State of the SoSyM Journal (2024 summary).
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 1, doi. 10.1007/s10270-025-01268-3
- By:
- Publication type:
- Article
Works matching IS 16191366 AND DT 2025 AND VI 24 AND IP 1
Results: 14
1
2
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness.
- Published in:
- 2025
- By:
- Publication type:
- Correction Notice
3
Special section of BPMDS'2023: Special section of BPMDS'2023: H. van der Aa, R. Schmidt.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 7, doi. 10.1007/s10270-024-01248-z
- By:
- Publication type:
- Article
4
A closer look at activity relationships to improve business process redesign: A closer look at activity relationships...: K. Andree et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 69, doi. 10.1007/s10270-024-01234-5
- By:
- Publication type:
- Article
5
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 87, doi. 10.1007/s10270-024-01229-2
- By:
- Publication type:
- Article
6
Location-aware business process modeling and execution: Location-aware business process modeling and execution: L. Poss, S. Schönig.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 37, doi. 10.1007/s10270-024-01224-7
- By:
- Publication type:
- Article
7
A system-theoretic assurance framework for safety-driven systems engineering: A System-Theoretic Assurance Framework...: A. Ahlbrecht et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 253, doi. 10.1007/s10270-024-01209-6
- By:
- Publication type:
- Article
8
Correction: iDOCEM.
- Published in:
- 2025
- By:
- Publication type:
- Correction Notice
9
Efficient construction of family-based behavioral models from adaptively learned models: Efficient construction of family-based behavioral models from adaptively learned models: S. Tavassoli, R. Khosravi.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 225, doi. 10.1007/s10270-024-01199-5
- By:
- Publication type:
- Article
10
A modeling-based approach for dependability analysis of a constellation of satellites: A modeling-based approach for dependability analysis of a constellation of satellites: D. Farias et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 209, doi. 10.1007/s10270-024-01197-7
- By:
- Publication type:
- Article
11
Using boundary objects and methodological island (BOMI) modeling in large-scale agile systems development: Using boundary objects and methodological island (BOMI) modeling...: J. Holtmann et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 183, doi. 10.1007/s10270-024-01193-x
- By:
- Publication type:
- Article
12
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling: iDOCEM: C. Verbruggen et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 9, doi. 10.1007/s10270-024-01191-z
- By:
- Publication type:
- Article
13
OIL: an industrial case study in language engineering with Spoofax: OIL: an industrial case study in language engineering with Spoofax: O. Bunte et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 139, doi. 10.1007/s10270-024-01185-x
- By:
- Publication type:
- Article
14
MBFair: a model-based verification methodology for detecting violations of individual fairness: MBFair: a model-based verification methodology for detecting violations of individual fairness: Q. Ramadan et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 111, doi. 10.1007/s10270-024-01184-y
- By:
- Publication type:
- Article