Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 5/2020

Ausgabe 5/2020

SPIN 2019 (pp. 563-654)

Inhaltsverzeichnis ( 8 Artikel )

24.05.2019 | Regular Paper | Ausgabe 5/2020

Approximate reduction of finite automata for high-speed network intrusion detection

Milan Češka, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar

14.06.2019 | Regular Paper | Ausgabe 5/2020

Variable order metrics for decision diagrams in system verification

Elvio G. Amparore, Susanna Donatelli, Gianfranco Ciardo

04.06.2020 | STTT | Ausgabe 5/2020

Introduction to the special issue for SPIN 2019

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

26.06.2020 | STTT | Ausgabe 5/2020 Open Access

Extracting safe thread schedules from incomplete model checking results

Patrick Metzler, Neeraj Suri, Georg Weissenbacher

16.06.2020 | STTT | Ausgabe 5/2020

Swarm model checking on the GPU

Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka

07.06.2020 | STTT | Ausgabe 5/2020

A study of learning likely data structure properties using machine learning models

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

30.06.2020 | STTT | Ausgabe 5/2020

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

06.06.2020 | STTT | Ausgabe 5/2020

Dependency graphs with applications to verification

Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba

Aktuelle Ausgaben

Premium Partner