Ausgabe 5/2020
SPIN 2019 (pp. 563-654)
Inhalt (8 Artikel)
Regular Paper
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
Regular Paper
Variable order metrics for decision diagrams in system verification
Elvio G. Amparore, Susanna Donatelli, Gianfranco Ciardo
STTT
Introduction to the special issue for SPIN 2019
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Open Access
STTT
Extracting safe thread schedules from incomplete model checking results
Patrick Metzler, Neeraj Suri, Georg Weissenbacher
STTT
Swarm model checking on the GPU
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
STTT
A study of learning likely data structure properties using machine learning models
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
STTT
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
STTT
Dependency graphs with applications to verification
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba