Innov. Syst. Softw. Eng.

Keyphrases

Publications

volume 20, number 1, 2024

Kamel Barkaoui, Belgacem Ben Hedia
Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. 20 (1) (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Saeedeh Ghaedi Heidari, Shohreh Ajoudanian
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method. Innov. Syst. Softw. Eng. 20 (1) (2024)
Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20 (1) (2024)
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20 (1) (2024)
Amir Eaman, Amy P. Felty
A certified access control policy language: TEpla. Innov. Syst. Softw. Eng. 20 (1) (2024)
Shahrokh Vahabi, Amir Hozhabri
Automatic use case classification based on topic grouping for requirements engineering. Innov. Syst. Softw. Eng. 20 (1) (2024)

volume 19, number 1, 2023

volume 19, number 2, 2023

volume 19, number 3, 2023

volume 19, number 4, 2023

volume 18, number 3, 2022

Zixin Huang, Saikat Dutta, Sasa Misailovic
Automated quantized inference for probabilistic programs with AQUA. Innov. Syst. Softw. Eng. 18 (3) (2022)
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18 (3) (2022)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18 (3) (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18 (3) (2022)
Zhé Hóu, Vijay Ganesh, Jing Sun
Editorial. Innov. Syst. Softw. Eng. 18 (3) (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying verified code. Innov. Syst. Softw. Eng. 18 (3) (2022)

volume 18, number 4, 2022