Sergey Zverlov

Publications

Export list as BibTeX file

  • June 2019Model-based methodology for space vehiclesSergey Zverlov, Sebastian Voss, Thomas Böhm, Hans-Jürgen Herpel and Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), DetailsBIB
  • September 2017Bringing DSE to life: exploring the design space of an industrial automotive use caseJohannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil and Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 270–280, IEEE, DetailsDOIBIB
  • 2015Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 ContextBernhard Schätz, Sergey Zverlov and Sebastian Voss In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, DetailsDOIBIB
  • 2015Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based developmentSergey Zverlov, Maged Khalil and Mayank Chaudhary In SAFECOMP 2015 Workshop proceedings, DetailsBIB
  • 2014Design Space Exploration in AutoFOCUS3 - An OverviewSebastian Voss and Sergey Zverlov In Vladimír Mařík, JoseL. Martinez Lastra and Petr Skobelev, editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, Springer, DetailsBIB
  • 2014Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A SurveyPhilipp Diebold, Constanza Lampasona, Sergey Zverlov and Sebastian Voss In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pages 1:1–1:10, New York, NY, USA, ACM. DetailsDOIBIB
  • 2014Synthesis of Pareto Efficient Technical Architectures for Multi-core SystemsSergey Zverlov and Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, DetailsDOIBIB