1. 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

   

2. Variable order metrics for decision diagrams in system verification

   • Elvio G. Amparore
   • Susanna Donatelli
   • Gianfranco Ciardo

   Regular Paper 14 June 2019 Pages: 541 - 562

   

3. Introduction to the special issue for SPIN 2019

   • Fabrizio Biondi
   • Thomas Given-Wilson
   • Axel Legay

   STTT 04 June 2020 Pages: 563 - 564

4. Extracting safe thread schedules from incomplete model checking results

   • Patrick Metzler
   • Neeraj Suri
   • Georg Weissenbacher

   STTT Open access 26 June 2020 Pages: 565 - 581

   

5. Swarm model checking on the GPU

   • Richard DeFrancisco
   • Shenghsun Cho
   • Scott A. Smolka

   STTT 16 June 2020 Pages: 583 - 599

   

6. 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

   

7. 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

   

8. Dependency graphs with applications to verification

   • Søren Enevoldsen
   • Kim G. Larsen
   • Jiří Srba

   STTT 06 June 2020 Pages: 635 - 654