BibTeX records: Sergey Tverdyshev

download as .bib file

@article{DBLP:journals/sncs/DantasMCNBFPST23,
  author       = {Yuri Gil Dantas and
                  Tiziano Munaro and
                  Carmen C{\^{a}}rlan and
                  Vivek Nigam and
                  Simon Barner and
                  Shiqing Fan and
                  Alexander Pretschner and
                  Ulrich Sch{\"{o}}pp and
                  Sergey Tverdyshev},
  title        = {A Toolchain for Synthesizing and Validating Safety Architectures},
  journal      = {{SN} Comput. Sci.},
  volume       = {4},
  number       = {4},
  pages        = {335},
  year         = {2023},
  url          = {https://doi.org/10.1007/s42979-023-01712-5},
  doi          = {10.1007/S42979-023-01712-5},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sncs/DantasMCNBFPST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtcsa/AbazaHRBHFST23,
  author       = {Hazem Abaza and
                  Abhinaba Habishyashi and
                  Debayan Roy and
                  Andrea Bastoni and
                  Zain Alabedin Haj Hammadeh and
                  Shiqing Fan and
                  Selma Saidi and
                  Sergey Tverdyshev},
  title        = {RDMA-Based Deterministic Communication Architecture for Autonomous
                  Driving},
  booktitle    = {29th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
                  - Sept. 1, 2023},
  pages        = {137--146},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RTCSA58653.2023.00025},
  doi          = {10.1109/RTCSA58653.2023.00025},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/AbazaHRBHFST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/GalaRMCFFT22,
  author       = {Gautam Gala and
                  Carlos Rodriguez and
                  Veaceslav Monaco and
                  Javier Castillo and
                  Gerhard Fohler and
                  Veaceslav Falico and
                  Sergey Tverdyshev},
  title        = {Monitoring Framework to Support Mixed-Criticality Applications on
                  Multicore Platforms},
  booktitle    = {25th Euromicro Conference on Digital System Design, {DSD} 2022, Maspalomas,
                  Spain, August 31 - Sept. 2, 2022},
  pages        = {649--656},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DSD57027.2022.00092},
  doi          = {10.1109/DSD57027.2022.00092},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/GalaRMCFFT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/modelsward/DantasMCNBFPST22,
  author       = {Yuri Gil Dantas and
                  Tiziano Munaro and
                  Carmen C{\^{a}}rlan and
                  Vivek Nigam and
                  Simon Barner and
                  Shiqing Fan and
                  Alexander Pretschner and
                  Ulrich Sch{\"{o}}pp and
                  Sergey Tverdyshev},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Edwin Seidewitz},
  title        = {A Model-based System Engineering Plugin for Safety Architecture Pattern
                  Synthesis},
  booktitle    = {Proceedings of the 10th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2022, Online Streaming, February
                  6-8, 2022},
  pages        = {36--47},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010831700003119},
  doi          = {10.5220/0010831700003119},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/DantasMCNBFPST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/KadarTF20,
  author       = {Marine Kadar and
                  Sergey Tverdyshev and
                  Gerhard Fohler},
  title        = {Towards Host Intrusion Detection for Embedded Industrial Systems},
  booktitle    = {50th Annual {IEEE-IFIP} International Conference on Dependable Systems
                  and Networks, {DSN} 2020, Valencia, Spain, June 29 - July 2, 2020
                  - Supplemental Volume},
  pages        = {5--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DSN-S50200.2020.00014},
  doi          = {10.1109/DSN-S50200.2020.00014},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/KadarTF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isw/KuzhiyelilZKTF20,
  author       = {Don Kuzhiyelil and
                  Philipp Zieris and
                  Marine Kadar and
                  Sergey Tverdyshev and
                  Gerhard Fohler},
  editor       = {Willy Susilo and
                  Robert H. Deng and
                  Fuchun Guo and
                  Yannan Li and
                  Rolly Intan},
  title        = {Towards Transparent Control-Flow Integrity in Safety-Critical Systems},
  booktitle    = {Information Security - 23rd International Conference, {ISC} 2020,
                  Bali, Indonesia, December 16-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12472},
  pages        = {290--311},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62974-8\_17},
  doi          = {10.1007/978-3-030-62974-8\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isw/KuzhiyelilZKTF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scn/HeinrichVAKSBFK19,
  author       = {Markus Heinrich and
                  Tsvetoslava Vateva{-}Gurova and
                  Tolga Arul and
                  Stefan Katzenbeisser and
                  Neeraj Suri and
                  Henk Birkholz and
                  Andreas Fuchs and
                  Christoph Krau{\ss} and
                  Maria Zhdanova and
                  Don Kuzhiyelil and
                  Sergey Tverdyshev and
                  Christian Schlehuber},
  title        = {Security Requirements Engineering in Safety-Critical Railway Signalling
                  Networks},
  journal      = {Secur. Commun. Networks},
  volume       = {2019},
  pages        = {8348925:1--8348925:14},
  year         = {2019},
  url          = {https://doi.org/10.1155/2019/8348925},
  doi          = {10.1155/2019/8348925},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scn/HeinrichVAKSBFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecrts/KadarTF19,
  author       = {Marine Kadar and
                  Sergey Tverdyshev and
                  Gerhard Fohler},
  editor       = {Mikael Asplund and
                  Michael Paulitsch},
  title        = {System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality
                  Systems},
  booktitle    = {4th International Workshop on Security and Dependability of Critical
                  Embedded Real-Time Systems, CERTS@ECRTS 2019, July 9, 2019, Stuttgart,
                  Germany},
  series       = {OASIcs},
  volume       = {73},
  pages        = {2:1--2:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.CERTS.2019.2},
  doi          = {10.4230/OASICS.CERTS.2019.2},
  timestamp    = {Tue, 15 Feb 2022 09:40:05 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/KadarTF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/BlasumT18,
  author       = {Holger Blasum and
                  Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {Classic and Adaptive {AUTOSAR} in {MILS} terms},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@DSN 2018, Luxembourg, June 25, 2018},
  publisher    = {Zenodo},
  year         = {2018},
  url          = {https://doi.org/10.5281/zenodo.1307651},
  doi          = {10.5281/ZENODO.1307651},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/BlasumT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2018mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@DSN 2018, Luxembourg, June 25, 2018},
  publisher    = {Zenodo},
  year         = {2018},
  url          = {http://mils-workshop-2018.mils.community/},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2018mils.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev17,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {Security by Design: Introduction to {MILS}},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571164},
  doi          = {10.5281/ZENODO.571164},
  timestamp    = {Fri, 21 Sep 2018 12:12:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2017mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {http://mils-workshop-2017.mils.community/},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2017mils.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev16,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {{EURO-MILS:} Building and certifying modular secure systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47975},
  doi          = {10.5281/ZENODO.47975},
  timestamp    = {Thu, 02 Aug 2018 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2016mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {http://mils-workshop-2016.mils.community/},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2016mils.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/critis/TverdyshevBRKDM15,
  author       = {Sergey Tverdyshev and
                  Holger Blasum and
                  Ekaterina Rudina and
                  Dmitry Kulagin and
                  Pavel Dyakin and
                  Stanislav Moiseev},
  editor       = {Erich Rome and
                  Marianthi Theocharidou and
                  Stephen D. Wolthusen},
  title        = {Security Architecture and Specification Framework for Safe and Secure
                  Industrial Automation},
  booktitle    = {Critical Information Infrastructures Security - 10th International
                  Conference, {CRITIS} 2015, Berlin, Germany, October 5-7, 2015, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9578},
  pages        = {3--14},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-33331-1\_1},
  doi          = {10.1007/978-3-319-33331-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/critis/TverdyshevBRKDM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/AdamTRS15,
  author       = {Daniel Adam and
                  Sergey Tverdyshev and
                  Carsten Rolfes and
                  Timo Sandmann},
  editor       = {Sergey Tverdyshev},
  title        = {Two Architecture Approaches for {MILS} Systems in Mobility Domains
                  (Automobile, Railway and Avionik)},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47991},
  doi          = {10.5281/ZENODO.47991},
  timestamp    = {Thu, 02 Aug 2018 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/AdamTRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev15,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {{EURO-MILS:} Building and certifying modular secure systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47972},
  doi          = {10.5281/ZENODO.47972},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/VerbeekHSTBL0WN15,
  author       = {Freek Verbeek and
                  Oto Havle and
                  Julien Schmaltz and
                  Sergey Tverdyshev and
                  Holger Blasum and
                  Bruno Langenstein and
                  Werner Stephan and
                  Burkhart Wolff and
                  Yakoub Nemouchi},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Formal {API} Specification of the PikeOS Separation Kernel},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {375--389},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_26},
  doi          = {10.1007/978-3-319-17524-9\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/VerbeekHSTBL0WN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2015mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {http://mils-workshop-2015.mils.community/},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2015mils.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/VerbeekTHBLSNFWS14,
  author       = {Freek Verbeek and
                  Sergey Tverdyshev and
                  Oto Havle and
                  Holger Blasum and
                  Bruno Langenstein and
                  Werner Stephan and
                  Yakoub Nemouchi and
                  Abderrahmane Feliachi and
                  Burkhart Wolff and
                  Julien Schmaltz},
  title        = {Formal Specification of a Generic Separation Kernel},
  journal      = {Arch. Formal Proofs},
  volume       = {2014},
  year         = {2014},
  url          = {https://www.isa-afp.org/entries/CISC-Kernel.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/VerbeekTHBLSNFWS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/MullerPTB12,
  author       = {Kevin Mueller and
                  Michael Paulitsch and
                  Sergey Tverdyshev and
                  Holger Blasum},
  title        = {MILS-related information flow control in the avionic domain: {A} view
                  on security-enhancing software architectures},
  booktitle    = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
                  Workshops, {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DSNW.2012.6264665},
  doi          = {10.1109/DSNW.2012.6264665},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MullerPTB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isorc/BaumannBBT11,
  author       = {Christoph Baumann and
                  Thorsten Bormer and
                  Holger Blasum and
                  Sergey Tverdyshev},
  title        = {Proving Memory Separation in a Microkernel by Code Level Verification},
  booktitle    = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
                  Newport Beach, CA, USA, March 28-31, 2011},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISORCW.2011.14},
  doi          = {10.1109/ISORCW.2011.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/BaumannBBT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Tverdyshev11,
  author       = {Sergey Tverdyshev},
  editor       = {Mihaela Gheorghiu Bobaru and
                  Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Extending the {GWV} Security Policy and Its Modular Application to
                  a Separation Kernel},
  booktitle    = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
                  Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6617},
  pages        = {391--405},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20398-5\_28},
  doi          = {10.1007/978-3-642-20398-5\_28},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Tverdyshev11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/EndresMST10,
  author       = {Erik Endres and
                  Christian M{\"{u}}ller and
                  Andrey Shadrin and
                  Sergey Tverdyshev},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Towards the Formal Verification of a Distributed Real-Time Automotive
                  System},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {212--216},
  year         = {2010},
  url          = {https://ntrs.nasa.gov/api/citations/20100018553/downloads/20100018553.pdf},
  timestamp    = {Mon, 14 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/EndresMST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/HillebrandT09,
  author       = {Mark A. Hillebrand and
                  Sergey Tverdyshev},
  editor       = {Anna E. Frid and
                  Andrey Morozov and
                  Andrey Rybalchenko and
                  Klaus W. Wagner},
  title        = {Formal Verification of Gate-Level Computer Systems},
  booktitle    = {Computer Science - Theory and Applications, Fourth International Computer
                  Science Symposium in Russia, {CSR} 2009, Novosibirsk, Russia, August
                  18-23, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5675},
  pages        = {322--333},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03351-3\_30},
  doi          = {10.1007/978-3-642-03351-3\_30},
  timestamp    = {Mon, 01 Mar 2021 13:46:21 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/HillebrandT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
  author       = {Ernie Cohen and
                  Eyad Alkassar and
                  Vladimir Boyarinov and
                  Markus Dahlweid and
                  Ulan Degenbaev and
                  Mark A. Hillebrand and
                  Bruno Langenstein and
                  Dirk Leinenbach and
                  Michal Moskal and
                  Steven Obua and
                  Wolfgang J. Paul and
                  Hristo Pentchev and
                  Elena Petrova and
                  Thomas Santen and
                  Norbert Schirmer and
                  Sabine Schmaltz and
                  Wolfram Schulte and
                  Andrey Shadrin and
                  Stephan Tobies and
                  Alexandra Tsyban and
                  Sergey Tverdyshev},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Invariants, Modularity, and Rights},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {43--55},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_4},
  doi          = {10.1007/978-3-642-11486-1\_4},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Tverdyshev09,
  author       = {Sergey Tverdyshev},
  title        = {A verified platform for a gate-level electronic control unit},
  booktitle    = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages        = {164--171},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FMCAD.2009.5351125},
  doi          = {10.1109/FMCAD.2009.5351125},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Tverdyshev09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/TverdyshevA08,
  author       = {Sergey Tverdyshev and
                  Eyad Alkassar},
  editor       = {St{\'{e}}phane Demri and
                  Christian S. Jensen},
  title        = {Efficient Bit-Level Model Reductions for Automated Hardware Verification},
  booktitle    = {15th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
                  Canada, 16-18 June 2008},
  pages        = {164--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/TIME.2008.11},
  doi          = {10.1109/TIME.2008.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/TverdyshevA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AlkassarHKRT07,
  author       = {Eyad Alkassar and
                  Mark A. Hillebrand and
                  Steffen Knapp and
                  Rostislav Rusev and
                  Sergey Tverdyshev},
  editor       = {Bernhard Beckert},
  title        = {Formal Device and Programming Model for a Serial Interface},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/AlkassarHKRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/frocos/Tverdyshev05,
  author       = {Sergey Tverdyshev},
  editor       = {Bernhard Gramlich},
  title        = {Combination of Isabelle/HOL with Automatic Tools},
  booktitle    = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
                  2005, Vienna, Austria, September 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3717},
  pages        = {302--309},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11559306\_18},
  doi          = {10.1007/11559306\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/Tverdyshev05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.