Publications
Export list as BibTeX file
- July 2020Hardware architecture exploration: automatic exploration of distributed automotive hardware architecturesJohannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov and Maged KhalilSoftware and Systems Modeling,
19():911–934,
July 2020.
DetailsDOIBIB
- 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 Cârlan
In
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
DetailsDOIBIB
- October 2018From deployment to platform exploration: automatic synthesis of distributed automotive hardware architecturesJohannes Eder, Andreas Bayha, 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,
DetailsDOIBIB
- 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
- May 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,
DetailsDOIBIB
- 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
- 2018[T3] Develop your Own CarLevi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder and Sudeep KanavDetailsURLBIB
- 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
- September 2017ExplicitCase: Integrated Model-based Development of System and Safety CasesCarmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss
In
Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS,
volume 10489 of LNCS,pages 52 – 63,
Springer.
DetailsDOIBIB
- 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ätz
In
SAE 2016 World Congress and Exhibition,
SAE International.
DetailsDOIBIB
- 2016Usable Design Space Exploration in AutoFOCUS3Johannes Eder and Sebastian Voss
In
EduSymp/OSS4MDE@ MoDELS,
pages 51–58,
DetailsURLBIB
- April 2015Safety Case Driven Model-Based Systems ConstructionSebastian Voss, Carmen Cârlan, Bernhard Schätz and Tim Kelly
In
Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015),
DetailsURLBIB
- 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,
DetailsDOIBIB
- 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 AutoFOCUS3Sebastian Voss, Johannes Eder and Florian Hölzl
In
Software Engineering (Workshops),
pages 57–66,
DetailsURLBIB
- 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
- June 2013Sicher steuern mit Multicore-ProzessorenSimon Barner, Jia Huang and Sebastian VossComputer & Automation,
():24-29,
June 2013.
DetailsURLBIB
- May 2013Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)Tim Kelly, Carmen Cârlan and Sebastian Voss
In
Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013),
DetailsURLBIB
- April 2013Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory ApplicationsSebastian Voss and Bernhard Schätz
In
Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13),
pages 100–109,
Phoenix, AZ, USA,
IEEE.
DetailsDOIBIB
- April 2013Seamless Model-based Development of Embedded Systems with AF3 PhoenixSebastian Voss, Antoaneta Kondeva, Daniel Ratiu and Bernhard Schätz
In
Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS),
pages 212,
DetailsDOIBIB
- 2013Emergency Shutdown System Demonstrator using AutoFOCUS3Anton Hattendorf and Sebastian Voss
In
Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE),
DetailsBIB
- 2013Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approachPaul Pop, Leonidas Tsiopoulos, Sebastian Voss, Oscar Slotosch, Christoph Ficek, Ulrik Nyman and Alejandra Ruiz Lopez
In
Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE),
DetailsURLBIB
- 2013Towards Modular Certification using Integrated Model-Based Safety CasesSebastian Voss, Bernhard Schätz, Maged Khalil and Carmen Cârlan
In
Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV),
Springer.
DetailsURLBIB
- February 2012Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo TheoriesSebastian Voss and Bernhard Schätz
In
Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012,
DetailsURLBIB