Sergey Tverdyshev

According to our database, Sergey Tverdyshev authored at least 25 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., July, 2023

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

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

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

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms.

Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2020

Towards Transparent Control-Flow Integrity in Safety-Critical Systems.

Don Kuzhiyelil, Philipp Zieris, Marine Kadar, Sergey Tverdyshev, Gerhard Fohler

Proceedings of the Information Security - 23rd International Conference, 2020

Towards Host Intrusion Detection for Embedded Industrial Systems.

Marine Kadar, Sergey Tverdyshev, Gerhard Fohler

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2019

Security Requirements Engineering in Safety-Critical Railway Signalling Networks.

Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul, Stefan Katzenbeisser, Neeraj Suri, Henk Birkholz, Andreas Fuchs, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Sergey Tverdyshev, Christian Schlehuber

Secur. Commun. Networks, 2019

System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems.

Marine Kadar, Sergey Tverdyshev, Gerhard Fohler

Proceedings of the 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2019

2018

Classic and Adaptive AUTOSAR in MILS terms.

Holger Blasum, Sergey Tverdyshev

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

2017

Security by Design: Introduction to MILS.

Sergey Tverdyshev

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017

2016

EURO-MILS: Building and certifying modular secure systems.

Sergey Tverdyshev

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016

2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik).

Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Security Architecture and Specification Framework for Safe and Secure Industrial Automation.

Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev

Proceedings of the Critical Information Infrastructures Security, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

2012

MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.

Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Extending the GWV Security Policy and Its Modular Application to a Separation Kernel.

Sergey Tverdyshev

Proceedings of the NASA Formal Methods, 2011

Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010

Towards the Formal Verification of a Distributed Real-Time Automotive System.

Erik Endres, Christian Müller, Andrey Shadrin, Sergey Tverdyshev

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

A verified platform for a gate-level electronic control unit.

Sergey Tverdyshev

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

Formal Verification of Gate-Level Computer Systems.

Mark A. Hillebrand, Sergey Tverdyshev

Proceedings of the Computer Science, 2009

2008

Efficient Bit-Level Model Reductions for Automated Hardware Verification.

Sergey Tverdyshev, Eyad Alkassar

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

2007

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2005

Combination of Isabelle/HOL with Automatic Tools.

Sergey Tverdyshev

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005