Sergey Tverdyshev

30 papers B 2C 5Misc 1Journal 3Unranked 15

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2023	B	`conf`	RDMA-Based Deterministic Communication Architecture for Autonomous Driving. RTCSA Hazem Abaza, Abhinaba Habishyashi, Debayan Roy, Andrea Bastoni, Zain Alabedin Haj Hammadeh, Shiqing Fan, Selma Saidi, Sergey Tverdyshev
2022	C	`conf`	A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022	C	`conf`	Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms. DSD Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev
2020	—	`conf`	Towards Host Intrusion Detection for Embedded Industrial Systems. DSN (Supplements) Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
2020	C	`conf`	Towards Transparent Control-Flow Integrity in Safety-Critical Systems. ISC Don Kuzhiyelil, Philipp Zieris, Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
2019	J	`jnl`	Security Requirements Engineering in Safety-Critical Railway Signalling Networks. Secur. Commun. 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
2019	—	`conf`	System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems. CERTS Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
2018	—	`conf`	Classic and Adaptive AUTOSAR in MILS terms. MILS@DSN Holger Blasum, Sergey Tverdyshev
2018	—	`ed.`	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. MILS@DSN Sergey Tverdyshev
2017	—	`ed.`	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017. MILS Sergey Tverdyshev
2017	—	`conf`	Security by Design: Introduction to MILS. MILS Sergey Tverdyshev
2016	—	`conf`	EURO-MILS: Building and certifying modular secure systems. MILS@HiPEAC Sergey Tverdyshev
2016	—	`ed.`	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016. MILS@HiPEAC Sergey Tverdyshev
2015	—	`conf`	EURO-MILS: Building and certifying modular secure systems. MILS@HiPEAC Sergey Tverdyshev
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2015	—	`ed.`	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015. MILS@HiPEAC Sergey Tverdyshev
2015	C	`conf`	Security Architecture and Specification Framework for Safe and Secure Industrial Automation. CRITIS Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev
2015	—	`conf`	Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik). MILS@HiPEAC Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2012	—	`conf`	MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. DSN Workshops Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum
2011	—	`conf`	Extending the GWV Security Policy and Its Modular Application to a Separation Kernel. NASA Formal Methods Sergey Tverdyshev
2011	—	`conf`	Proving Memory Separation in a Microkernel by Code Level Verification. ISORC Workshops Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev
2010	—	`conf`	Towards the Formal Verification of a Distributed Real-Time Automotive System. NASA Formal Methods Erik Endres, Christian Müller, Andrey Shadrin, Sergey Tverdyshev
2009	B	`conf`	A verified platform for a gate-level electronic control unit. FMCAD Sergey Tverdyshev
2009	Misc	`conf`	Formal Verification of Gate-Level Computer Systems. CSR Mark A. Hillebrand, Sergey Tverdyshev
2009	—	`conf`	Invariants, Modularity, and Rights. Ershov Memorial Conference 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
2008	C	`conf`	Efficient Bit-Level Model Reductions for Automated Hardware Verification. TIME Sergey Tverdyshev, Eyad Alkassar
2007	—	`conf`	Formal Device and Programming Model for a Serial Interface. VERIFY Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
2005	—	`conf`	Combination of Isabelle/HOL with Automatic Tools. FroCoS Sergey Tverdyshev