1. GSDetector: a tool for automatic detection of bad smells in GRL goal models

   • Mawal A. Mohammed
   • Jameleddine Hassine
   • Mohammad Alshayeb

   General 13 August 2022 Pages: 889 - 910

   

2. Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL

   • Jaehun Lee
   • Kyungmin Bae
   • Minseok Kang

   General 03 September 2022 Pages: 911 - 948

   

3. An automated framework for verifying or refuting trace properties of extended finite state machines

   • Ramsay G. Taylor
   • Michael Foster
   • Siobhán North

   General Open access 29 July 2022 Pages: 949 - 972

   

4. Formal methods and tools for industrial critical systems

   • Alberto Lluch Lafuente
   • Anastasia Mavridou

   General 28 October 2022 Pages: 973 - 976

5. Automated formal analysis of temporal properties of Ladder programs

   • Cláudio Belo Lourenço
   • Denis Cousineau
   • Hiroaki Inoue

   General 01 November 2022 Pages: 977 - 997

   

6. Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

   • Simon Thrane Hansen
   • Casper Thule
   • José Manuel Rodriguez

   General 12 November 2022 Pages: 999 - 1024

   

7. Randomized reachability analysis in UPPAAL: fast error detection in timed systems

   • Andrej Kiviriga
   • Kim Guldstrand Larsen
   • Ulrik Nyman

   General 17 November 2022 Pages: 1025 - 1042

   

8. SMT solving for the validation of B and Event-B models

   • Joshua Schmidt
   • Michael Leuschel

   General Open access 21 November 2022 Pages: 1043 - 1077