Login / Signup
Softw. Syst. Model.
2002
2007
2017
2024
2002
2024
Keyphrases
Publications
volume 23, number 1, 2024
Bhisma Adhikari
,
Eric J. Rapos
,
Matthew Stephan
SimIMA: a virtual Simulink intelligent modeling assistant.
Softw. Syst. Model.
23 (1) (2024)
Siamak Farshidi
,
Izaak Beer Kwantes
,
Slinger Jansen
Business process modeling language selection for research modelers.
Softw. Syst. Model.
23 (1) (2024)
Johannes Erbel
,
Jens Grabowski
Scientific workflow execution in the cloud using a dynamic runtime model.
Softw. Syst. Model.
23 (1) (2024)
Maxime Savary-Leblanc
,
Xavier Le Pallec
,
Sébastien Gérard
Understanding the need for assistance in software modeling: interviews with experts.
Softw. Syst. Model.
23 (1) (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).
Softw. Syst. Model.
23 (1) (2024)
Maxim Bragilovski
,
Roni Stern
,
Arnon Sturm
How do I find reusable models?
Softw. Syst. Model.
23 (1) (2024)
Shalini Chakraborty
,
Grischa Liebel
Modelling guidance in software engineering: a systematic literature review.
Softw. Syst. Model.
23 (1) (2024)
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.
Softw. Syst. Model.
23 (1) (2024)
Judith Michael
,
Dominik Bork
,
Manuel Wimmer
,
Heinrich C. Mayr
Quo Vadis modeling?
Softw. Syst. Model.
23 (1) (2024)
Ángel Mora Segura
,
Juan de Lara
,
Manuel Wimmer
Modelling assistants based on information reuse: a user evaluation for language engineering.
Softw. Syst. Model.
23 (1) (2024)
Bernard Carré
,
Gilles Vanwormhoudt
,
Olivier Caron
Model projection relative to submetamodeling dimensions.
Softw. Syst. Model.
23 (1) (2024)
volume 23, number 2, 2024
Frank S. de Boer
,
Antonio Cerone
Guest editorial for the special section on SEFM 2020 and 2021.
Softw. Syst. Model.
23 (2) (2024)
Bishoksan Kafle
,
Graeme Gange
,
Peter Schachte
,
Harald Søndergaard
,
Peter J. Stuckey
A lightweight approach to nontermination inference using Constrained Horn Clauses.
Softw. Syst. Model.
23 (2) (2024)
Renata Martins Gomes
,
Bernhard K. Aichernig
,
Marcel Baunach
Correction: A framework for embedded software portability and verification: from formal models to low-level code.
Softw. Syst. Model.
23 (2) (2024)
Blair Archibald
,
Muffy Calder
,
Michele Sevegnani
,
Mengwei Xu
Quantitative modelling and analysis of BDI agents.
Softw. Syst. Model.
23 (2) (2024)
Edi Muskardin
,
Martin Tappler
,
Bernhard K. Aichernig
,
Ingo Pill
Active model learning of stochastic reactive systems (extended version).
Softw. Syst. Model.
23 (2) (2024)
Istvan David
,
Dominik Bork
,
Gerti Kappel
Circular systems engineering.
Softw. Syst. Model.
23 (2) (2024)
Alessandro Cimatti
,
Luca Geatti
,
Nicola Gigante
,
Angelo Montanari
,
Stefano Tonetta
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis.
Softw. Syst. Model.
23 (2) (2024)
Renata Martins Gomes
,
Bernhard K. Aichernig
,
Marcel Baunach
A framework for embedded software portability and verification: from formal models to low-level code.
Softw. Syst. Model.
23 (2) (2024)
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.
Softw. Syst. Model.
23 (2) (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.
Softw. Syst. Model.
23 (2) (2024)
Cole Vick
,
Eunsuk Kang
,
Stavros Tripakis
Counterexample classification.
Softw. Syst. Model.
23 (2) (2024)
Clemens Dubslaff
,
Patrick Wienhöft
,
Ansgar Fehnker
Lazy model checking for recursive state machines.
Softw. Syst. Model.
23 (2) (2024)
Anna Becchi
,
Alessandro Cimatti
,
Enea Zaffanella
P-stable abstractions of hybrid systems.
Softw. Syst. Model.
23 (2) (2024)
volume 23, number 3, 2024
Richard F. Paige
,
Jordi Cabot
What makes a good modeling research contribution?
Softw. Syst. Model.
23 (3) (2024)
Sybren de Kinderen
,
Dominik Bork
Guest editorial to the theme section on Trends in Enterprise Architecture Research.
Softw. Syst. Model.
23 (3) (2024)
Bernd-Holger Schlingloff
,
Ming Chai
Guest editorial to the special section on SEFM'22.
Softw. Syst. Model.
23 (3) (2024)
Paul Kobialka
,
Silvia Lizeth Tapia Tarifa
,
Gunnar R. Bergersen
,
Einar Broch Johnsen
User journey games: automating user-centric analysis.
Softw. Syst. Model.
23 (3) (2024)
Bentley James Oakes
,
Javier Troya
,
Jessie Galasso
,
Manuel Wimmer
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.
Softw. Syst. Model.
23 (3) (2024)
Pedro Antonino
,
Juliandson Ferreira
,
Augusto Sampaio
,
A. W. Roscoe
,
Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution.
Softw. Syst. Model.
23 (3) (2024)
Flávia Falcão
,
Lucas Lima
,
Augusto Sampaio
,
Pedro Antonino
A formal component model for UML based on CSP aiming at compositional verification.
Softw. Syst. Model.
23 (3) (2024)
Benoît Combemale
,
Jeff Gray
,
Bernhard Rumpe
Model modularity for reuse, libraries and composition: symbol management is key.
Softw. Syst. Model.
23 (3) (2024)
Yizhak Yisrael Elboher
,
Elazar Cohen
,
Guy Katz
On applying residual reasoning within neural network verification.
Softw. Syst. Model.
23 (3) (2024)
Jan A. H. Schoonderbeek
,
Henderik A. Proper
Toward an ontology for EA modeling and EA model quality.
Softw. Syst. Model.
23 (3) (2024)
Jan Haltermann
,
Heike Wehrheim
Exchanging information in cooperative software validation.
Softw. Syst. Model.
23 (3) (2024)
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.
Softw. Syst. Model.
23 (3) (2024)
Bernhard K. Aichernig
,
Sandra König
,
Cristinel Mateis
,
Andrea Pferscher
,
Martin Tappler
Learning minimal automata with recurrent neural networks.
Softw. Syst. Model.
23 (3) (2024)
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.
Softw. Syst. Model.
23 (3) (2024)
volume 22, number 6, 2023
Moshe Hadad
,
Gal Engelberg
,
Pnina Soffer
From network traffic data to business activities: a conceptualization and a recognition approach.
Softw. Syst. Model.
22 (6) (2023)
Mandira Roy
,
Souvick Das
,
Novarun Deb
,
Agostino Cortesi
,
Rituparna Chaki
,
Nabendu Chaki
Correlating contexts and NFR conflicts from event logs.
Softw. Syst. Model.
22 (6) (2023)
Iris Reinhartz-Berger
,
Dominik Bork
Guest editorial for EMMSAD'2022 special section.
Softw. Syst. Model.
22 (6) (2023)
Elena Planas
,
Salvador Martínez
,
Marco Brambilla
,
Jordi Cabot
Modeling and enforcing access control policies in conversational user interfaces.
Softw. Syst. Model.
22 (6) (2023)
Monique Snoeck
,
Charlotte Verbruggen
,
Johannes De Smedt
,
Jochen De Weerdt
Supporting data-aware processes with MERODE.
Softw. Syst. Model.
22 (6) (2023)
Hessam Mohammadi
,
Wided Ghardallou
,
Elijah Brick
,
Ali Mili
On the persistent rumors of the programmer's imminent demise.
Softw. Syst. Model.
22 (6) (2023)
David Chapela-Campa
,
Marlon Dumas
From process mining to augmented process execution.
Softw. Syst. Model.
22 (6) (2023)
Mario Gleirscher
,
Jaco van de Pol
,
Jim Woodcock
A manifesto for applicable formal methods.
Softw. Syst. Model.
22 (6) (2023)
Artur Boronat
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time.
Softw. Syst. Model.
22 (6) (2023)
J. Christian Attiogbé
,
Sadok Ben Yahia
,
Ladjel Bellatreche
A theme section on the central role of modeling in designing and explaining data-driven systems and software.
Softw. Syst. Model.
22 (6) (2023)
Renata Guizzardi
,
Glenda C. M. Amaral
,
Giancarlo Guizzardi
,
John Mylopoulos
An ontology-based approach to engineering ethicality requirements.
Softw. Syst. Model.
22 (6) (2023)
Simon Curty
,
Felix Härer
,
Hans-Georg Fill
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review.
Softw. Syst. Model.
22 (6) (2023)