| 2023 | RTCSA | 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 |
| 2022 | DSD | Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms. | Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev |
| 2022 | MODELSWARD | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. | Yuri Gil Dantas, Tiziano Munaro, Carmen Crlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schpp, Sergey Tverdyshev |
| 2020 | DSN | Towards Host Intrusion Detection for Embedded Industrial Systems. | Marine Kadar, Sergey Tverdyshev, Gerhard Fohler |
| 2019 | ECRTS | System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems. | Marine Kadar, Sergey Tverdyshev, Gerhard Fohler |
| 2015 | CRITIS | Security Architecture and Specification Framework for Safe and Secure Industrial Automation. | Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev |
| 2012 | DSN | MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. | Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum |
| 2011 | ISORC | Proving Memory Separation in a Microkernel by Code Level Verification. | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
| 2009 | CSR | Formal Verification of Gate-Level Computer Systems. | Mark A. Hillebrand, Sergey Tverdyshev |
| 2009 | FMCAD | A verified platform for a gate-level electronic control unit. | Sergey Tverdyshev |
| 2008 | TIME | Efficient Bit-Level Model Reductions for Automated Hardware Verification. | Sergey Tverdyshev, Eyad Alkassar |
| 2007 | CADE | Formal Device and Programming Model for a Serial Interface. | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |