Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 4

Results: 9

The probabilistic model checker Storm.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 589, doi. 10.1007/s10009-021-00633-z

By:

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

Publication type:

Article

The Log Skeleton Visualizer in ProM 6.9: The winning contribution to the process discovery contest 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 549, doi. 10.1007/s10009-021-00618-y

By:

Verbeek, H. M. W.

Publication type:

Article

DisCoveR: accurate and efficient discovery of declarative process models.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 563, doi. 10.1007/s10009-021-00616-0

By:

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

Publication type:

Article

Correction to: Reliable benchmarking: requirements and solutions.

Published in:

2022

By:

Beyer, Dirk;
Löwe, Stefan;
Wendler, Philipp

Publication type:

Correction Notice

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

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 511, doi. 10.1007/s10009-022-00649-z

By:

Habibi, Elahe;
Mirian-Hosseinabadi, Seyed-Hasan

Publication type:

Article

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 611, doi. 10.1007/s10009-022-00664-0

By:

Legay, Axel;
Margaria, Tiziana

Publication type:

Article

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

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 635, doi. 10.1007/s10009-022-00663-1

By:

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

Publication type:

Article

Learning of behavioural models and dependency graphs for communicating systems with CkTailv2.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 529, doi. 10.1007/s10009-022-00651-5

By:

Salva, Sebastien;
Blot, Elliott

Publication type:

Article

Approximate verification of concurrent systems using token structures and invariants.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 613, doi. 10.1007/s10009-022-00650-6

By:

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

Publication type:

Article