Combination of Isabelle/HOL with Automatic Tools. - Sergey Tverdyshev (FroCoS, 2005)

Formal Device and Programming Model for a Serial Interface. - Eyad Alkassar; Mark A. Hillebrand; Steffen Knapp; Rostislav Rusev; Sergey Tverdyshev (VERIFY, 2007)

Efficient Bit-Level Model Reductions for Automated Hardware Verification. - Sergey Tverdyshev; Eyad Alkassar (TIME, 2008)

Formal Verification of Gate-Level Computer Systems. - Mark A. Hillebrand; Sergey Tverdyshev (CSR, 2009)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

A verified platform for a gate-level electronic control unit. - Sergey Tverdyshev (FMCAD, 2009)

Towards the Formal Verification of a Distributed Real-Time Automotive System. - Erik Endres; Christian Müller 009; Andrey Shadrin; Sergey Tverdyshev (NASA Formal Methods, 2010)

Proving Memory Separation in a Microkernel by Code Level Verification. - Christoph Baumann; Thorsten Bormer; Holger Blasum; Sergey Tverdyshev (ISORC Workshops, 2011)

Extending the GWV Security Policy and Its Modular Application to a Separation Kernel. - Sergey Tverdyshev (NASA Formal Methods, 2011)

MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. - Kevin Mueller; Michael Paulitsch; Sergey Tverdyshev; Holger Blasum (DSN Workshops, 2012)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Security Architecture and Specification Framework for Safe and Secure Industrial Automation. - Sergey Tverdyshev; Holger Blasum; Ekaterina Rudina; Dmitry Kulagin; Pavel Dyakin; Stanislav Moiseev (CRITIS, 2015)

Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik). - Daniel Adam; Sergey Tverdyshev; Carsten Rolfes; Timo Sandmann (MILS@HiPEAC, 2015)

EURO-MILS: Building and certifying modular secure systems. - Sergey Tverdyshev (MILS@HiPEAC, 2015)

Formal API Specification of the PikeOS Separation Kernel. - Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Burkhart Wolff; Yakoub Nemouchi (NFM, 2015)

Security by Design: Introduction to MILS. - Sergey Tverdyshev (MILS, 2017)

Classic and Adaptive AUTOSAR in MILS terms. - Holger Blasum; Sergey Tverdyshev (MILS@DSN, 2018)

System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems. - Marine Kadar; Sergey Tverdyshev; Gerhard Fohler (CERTS, 2019)

Security Requirements Engineering in Safety-Critical Railway Signalling Networks. - Markus Heinrich; Tsvetoslava Vateva-Gurova; Tolga Arul; Stefan Katzenbeisser 001; Neeraj Suri; Henk Birkholz; Andreas Fuchs 002; Christoph Krauß; Maria Zhdanova; Don Kuzhiyelil; Sergey Tverdyshev; Christian Schlehuber (Secur. Commun. Networks, 2019)

Towards Host Intrusion Detection for Embedded Industrial Systems. - Marine Kadar; Sergey Tverdyshev; Gerhard Fohler (DSN (Supplements), 2020)

Towards Transparent Control-Flow Integrity in Safety-Critical Systems. - Don Kuzhiyelil; Philipp Zieris; Marine Kadar; Sergey Tverdyshev; Gerhard Fohler (ISC, 2020)

Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms. - Gautam Gala; Carlos Rodriguez; Veaceslav Monaco; Javier Castillo; Gerhard Fohler; Veaceslav Falico; Sergey Tverdyshev (DSD, 2022)

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (MODELSWARD, 2022)

RDMA-Based Deterministic Communication Architecture for Autonomous Driving. - Hazem Abaza; Abhinaba Habishyashi; Debayan Roy; Andrea Bastoni; Zain Alabedin Haj Hammadeh; Shiqing Fan; Selma Saidi; Sergey Tverdyshev (RTCSA, 2023)

A Toolchain for Synthesizing and Validating Safety Architectures. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (SN Comput. Sci., 2023)