Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 4/2022

Inhalt (9 Artikel)

General

Generating test as a web service (TaaWS) through a method-based attribute grammar

Elahe Habibi, Seyed-Hasan Mirian-Hosseinabadi

Open Access Competitions and Challenges

The Log Skeleton Visualizer in ProM 6.9

H. M. W. Verbeek

Competitions and Challenges

DisCoveR: accurate and efficient discovery of declarative process models

Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard

Open Access Competitions and Challenges

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

General

Approximate verification of concurrent systems using token structures and invariants

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Open Access General

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert

Correction

Correction to: Reliable benchmarking: requirements and solutions

Dirk Beyer, Stefan Löwe, Philipp Wendler

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner