Editorial Alessandro FantechiAnne E. HaxthausenJim Woodcock Editorial 21 December 2021 Pages: 923 - 924
Editorial Wolfgang AhrendtSilvia Lizeth Tapia TarifaHeike Wehrheim Editorial 21 December 2021 Pages: 827 - 827
Statistical model checking for variability-intensive systems: applications to bug detection and minimization Maxime CordySami LazregAxel Legay Original Article Open access 15 December 2021 Pages: 1147 - 1172
A refinement-based development of a distributed signalling system Paulius StankaitisAlexei IliasovAlexander Romanovsky Original Article Open access 24 November 2021 Pages: 1009 - 1036
TOrPEDO: witnessing model correctness with topological proofs Claudio MenghiAlessandro Maria RizziPaola Spoletini Original Article Open access 06 November 2021 Pages: 1039 - 1066
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics Bjørnar LutebergetChristian Johansen Original Article Open access 20 October 2021 Pages: 829 - 854
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks Francesco FlamminiStefano MarroneValeria Vittorini Original Article Open access 24 September 2021 Pages: 989 - 1007
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter Hoang-Dung TranNeelanjana PalTaylor T. Johnson Original Article 28 August 2021 Pages: 519 - 545
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming Nils WeidmannAnthony Anjorin Original Article Open access 24 August 2021 Pages: 1115 - 1145
A tale of two graph models: a case study in wireless sensor networks Blair ArchibaldGéza KulcsárMichele Sevegnani Original Article Open access 17 August 2021 Pages: 1249 - 1277
Foundations of programming languages Reinhard Wilhelm Book Review Open access 16 August 2021 Pages: 1279 - 1280
Language Family Engineering with Product Lines of Multi-level Models Juan de LaraEsther Guerra Original Article Open access 10 August 2021 Pages: 1173 - 1208
Efficient data validation for geographical interlocking systems Jan PeleskaNiklas KrafczykRalf Pinger Original Article Open access 10 August 2021 Pages: 925 - 955
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management Patrick StünkelHarald KönigAdrian Rutle OriginalPaper Open access 30 July 2021 Pages: 1067 - 1114
Hybrid dynamic logic institutions for event/data-based systems Rolf HennickerAlexander KnappAlexandre Madeira Original Article Open access 29 July 2021 Pages: 1209 - 1248
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker Davide BasileAlessandro FantechiGianluca Mandò Original Article 29 July 2021 Pages: 957 - 987
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation Pengfei YangJianlin LiLijun Zhang Original Article 10 June 2021 Pages: 407 - 435
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM Simon FosterYakoub NemouchiTim Kelly Original Article Open access 08 June 2021 Pages: 855 - 884
Denotational semantics of channel mobility in UTP-CSP Gerard Ekembe Ngondi Original Article Open access 27 May 2021 Pages: 803 - 826
RiskStructures: A design algebra for risk-aware machines Mario GleirscherRadu CalinescuJim Woodcock Original Article Open access 26 May 2021 Pages: 763 - 802
Enhancing Probabilistic Model Checking with Ontologies Clemens DubslaffPatrick KoopmannAnni-Yasmin Turhan Original Article Open access 26 May 2021 Pages: 885 - 921
Machine learning steered symbolic execution framework for complex software code Lei BuYongjuan LiangXuandong Li Original Article 26 May 2021 Pages: 301 - 323
Semantics of the probabilistic Lambda Calculus By Dirk Draheim Michele Loreti Book Review 19 May 2021 Pages: 457 - 458
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems Zhibin YangYang BaoZonghua Gu Original Article 17 May 2021 Pages: 343 - 384
Verifying correctness of persistent concurrent data structures: a sound and complete method John DerrickSimon DohertyHeike Wehrheim Original Article Open access 17 May 2021 Pages: 547 - 573
Counterexample-guided inductive synthesis for probabilistic systems Milan ČeškaChristian HenselJoost-Pieter Katoen Original Article 09 May 2021 Pages: 637 - 667
GR(1)*: GR(1) specifications extended with existential guarantees Gal AmramShahar MaozOr Pistiner Original Article Open access 05 May 2021 Pages: 729 - 761
An axiomatic approach to existence and liveness for differential equations Yong Kiam TanAndré Platzer Original Article Open access 12 April 2021 Pages: 461 - 518
Inferring Switched Nonlinear Dynamical Systems Xiangyu JinJie AnMiaomiao Zhang Original Article 11 April 2021 Pages: 385 - 406
Learning safe neural network controllers with barrier certificates Hengjun ZhaoXia ZengJim Woodcock Original Article 02 April 2021 Pages: 437 - 455
\(L^*\)-based learning of Markov decision processes (extended version) Martin TapplerBernhard K. AichernigKim G. Larsen Original Article Open access 31 March 2021 Pages: 575 - 615
From generic partition refinement to weighted tree automata minimization Thorsten WißmannHans-Peter DeifelLutz Schröder Original Article Open access 23 March 2021 Pages: 695 - 727
Modeling and analysis of communicating systems Matteo Rossi Book Review 11 March 2021 Pages: 297 - 298
A process calculus BigrTiMo of mobile systems and its formal semantics Wanling XieHuibiao ZhuQiwen Xu Original Article 06 March 2021 Pages: 207 - 249
SDLV: Verification of Steering Angle Safety for Self-Driving Cars Huihui WuDeyun LvWeiqiang Kong Original Article 04 March 2021 Pages: 325 - 341
Model-based Safety Assessment of a Triple Modular Generator with xSAP Marco BozzanoAlessandro CimattiCristian Mattarei Original Article 06 April 2021 Pages: 251 - 295
UNITY and Büchi automata Wim H. Hesselink Original Article Open access 10 February 2021 Pages: 185 - 205
Quantitative verification of Kalman filters Alexandros EvangelidisDavid Parker Original Article 05 February 2021 Pages: 669 - 693
Symbolic execution formally explained Frank S. de BoerMarcello Bonsangue Original Article Open access 02 February 2021 Pages: 617 - 636
Modular verification of programs with effects and effects handlers Thomas LetanYann Régis-GianasGuillaume Hiet Original Article 15 December 2020 Pages: 127 - 150
On the Interactive Power of Higher-order Processes Extended with Parameterization Wenbo ZhangXian XuHuan Long Original Article 08 December 2020 Pages: 151 - 183
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula Shanyan ChenGuohui WangYong Guan Original Article 05 November 2020 Pages: 417 - 437
A Weakness Measure for GR(1) Formulae Davide G. CavezzaDalal AlrajehAndrás György Original Article Open access 02 November 2020 Pages: 27 - 63
Optimal and robust controller synthesis using energy timed automata with uncertainty Giovanni BacciPatricia BouyerPierre-Alain Reynier Original Article 24 October 2020 Pages: 3 - 25
TFA: an efficient and precise virtual method call resolution for Java Xilong ZhuoChenyi Zhang Original Article 06 October 2020 Pages: 395 - 416
An Event-B based approach for cloud composite services verification Aida LahouijLazhar HamelBéchir el Ayeb Original Article 19 September 2020 Pages: 361 - 393