Volume 22, Issue 5

October 2020

SPIN 2019 (pp. 563-654)

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

Approximate reduction of finite automata for high-speed network intrusion detection
Milan Češka
Vojtěch Havlena
Tomáš Vojnar
Regular Paper 24 May 2019 Pages: 523 - 539
Variable order metrics for decision diagrams in system verification
Elvio G. Amparore
Susanna Donatelli
Gianfranco Ciardo
Regular Paper 14 June 2019 Pages: 541 - 562
Introduction to the special issue for SPIN 2019
Fabrizio Biondi
Thomas Given-Wilson
Axel Legay
STTT 04 June 2020 Pages: 563 - 564
Extracting safe thread schedules from incomplete model checking results
Patrick Metzler
Neeraj Suri
Georg Weissenbacher
STTT Open access 26 June 2020 Pages: 565 - 581
Swarm model checking on the GPU
Richard DeFrancisco
Shenghsun Cho
Scott A. Smolka
STTT 16 June 2020 Pages: 583 - 599
A study of learning likely data structure properties using machine learning models
Muhammad Usman
Wenxi Wang
Sarfraz Khurshid
STTT 07 June 2020 Pages: 601 - 615
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
Farnaz Yousefi
Ehsan Khamespanah
Ali Movaghar
STTT 30 June 2020 Pages: 617 - 633
Dependency graphs with applications to verification
Søren Enevoldsen
Kim G. Larsen
Jiří Srba
STTT 06 June 2020 Pages: 635 - 654

Search