Publications
Export list as BibTeX file
- September 2019SMT-Based Deployment Calculation in Industrial Automation DomainTarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham
In
Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA),
DetailsBIB
- 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
- 2019ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System ModelsVivek Nigam, Alexandros Tsalidis, Sebastian Voss and Carmen Carlan
In
The 9th IEEE International Workshop on Software Certification WoSoCer,
DetailsBIB
- August 2018Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based SystemsTarik Terzimehić, Sebastian Voss and Monika Wenger
In
14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018),
DetailsBIB
- April 2018Applying DSE for Solving the Deployment Problem in Industry 4.0Tarik Terzimehić, Sebastian Voss, Monika Wenger and Vincent Aravantinos
In
14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES),
fortiss GmbH.
DetailsBIB
- March 2018Architecture Exploration for Safety-Critical SystemsAlexander Diewald, Simon Barner and Sebastian Voss
In
Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR),
DetailsBIB
- February 2018Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation SystemsBen Schneider, Sebastian Voss, Monika Wenger and Alois Zoitl
In
9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018),
DetailsPDFBIB
- 2018From deployment to platform exploration: automatic synthesis of distributed automotive hardware architecturesJohannes Eder, Andreas Bahya, Sebastian Voss, Alexandru Ipatiov and Maged Khalil
In
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems,
pages 438–446,
ACM,
DetailsBIB
- 2018Handling system complexity in sCPS: usable design space explorationSebastian Voss and Johannes Eder
In
2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS),
pages 2–5,
IEEE,
DetailsBIB
- September 2017ExplicitCase: Integrated Model-based Development of System and Safety CasesCarmen Carlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss
In
Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS,
pages 52 – 63,
Springer.
DetailsDOIBIB
- 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,
DetailsBIB
- 2017Towards a Model-driven Performance Prediction Approach for Internet of Things ArchitecturesJohannes Kroß, Sebastian Voss and Helmut KrcmarOpen Journal of Internet Of Things,
3(1):136-141,
2017.
DetailsURLBIB
- 2016A Lightweight Design Space Exploration and Optimization LanguageAlexander Diewald, Sebastian Voss and Simon Barner
In
Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16),
pages 190–193,
New York, NY, USA,
ACM.
DetailsDOIBIB
- 2016Schedule synthesis for multi-period sw componentsSebastian Voss, Johannes Eder and Bernhard SchätzSAE Technical Paper,
DetailsBIB
- 2016Usable Design Space Exploration in AutoFOCUS3.Johannes Eder and Sebastian Voss
In
EduSymp/OSS4MDE@ MoDELS,
pages 51–58,
DetailsBIB
- April 2015Safety Case Driven Model-Based Systems ConstructionSebastian Voss, Carmen Carlan, Bernhard Schätz and Tim Kelly,
():,
April 2015.
DetailsBIB
- 2015A Formal Model and Analysis of Feature Degradation in Fault-Tolerant SystemsKlaus Becker and Sebastian Voss
In
4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS),
Paris, France,
DetailsBIB
- 2015Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time SystemsKlaus Becker and Sebastian Voss
In
18th IEEE Symposium on Real-Time Distributed Computing (ISORC),
IEEE.
DetailsBIB
- 2015AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded SystemsVincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl and Bernhard Schätz
In
ACES-MB&WUCOR@MoDELS 2015,
.
CEUR-WS.org,
1508 edition,
DetailsURLBIB
- 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,
DetailsBIB
- 2014A Pattern-based Approach towards Modular Safety Analysis and ArgumentationMaged Khalil, Bernhard Schätz and Sebastian Voss
In
Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France,
DetailsBIB
- 2014Design Space Exploration and its Visualization in AUTOFOCUS3.Sebastian Voss, Johannes Eder and Florian Hölzl
In
Software Engineering (Workshops),
pages 57–66,
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,
DetailsBIB
- June 2013Sicher steuern mit Multicore-ProzessorenSimon Barner, Jia Huang and Sebastian VossComputer & Automation,
():24-29,
June 2013.
DetailsURLBIB
- 2013Towards Modular Certification using Integrated Model-Based Safety CasesSebastian Voss, Bernhard Schätz, Maged Khalil and Carmen Carlan,
():,
2013.
DetailsBIB
