Volume 18, Issue 4

December 2022

Modeling, verification and Testing of dependable Critical systems (DETECT)

Issue Editors:

6 articles in this issue

Advances in modeling, verification and testing of safety-critical software architectures
Abderrahim Ait Wakrime
Yassine Ouhammou
Editorial 01 November 2022 Pages: 483 - 484
Awas: AADL information flow and error propagation analysis framework
Hariharan Thiagarajan
John Hatcliff
Robby
S.I. : DETECT 2020 19 July 2021 Pages: 485 - 504
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems
Marwa Hachicha
Riadh Ben Halima
Ahmed Hadj Kacem
S.I. : DETECT 2020 19 July 2021 Pages: 505 - 521
Formal verification and validation of run-to-completion style state charts using Event-B
K. Morris
C. Snook
M. Butler
S.I. : DETECT 2020 Open access 04 March 2022 Pages: 523 - 541
Formal model-driven executable DSLs
Akram Idani
S.I. : DETECT 2020 11 July 2021 Pages: 543 - 566
Integrating runtime verification into an automated UAS traffic management system
Abigail Hammer
Matthew Cauwels
Kristin Y. Rozier
S.I. : DETECT 2020 14 July 2021 Pages: 567 - 580

Search