Sebastian Voss

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 17

Top Topics

Design Space Exploration

Satisfiability Modulo Theories

Literature Review

Graceful Degradation

Top Venues

COMPSAC Workshops

Publications

Tarik Terzimehic, Kirill Dorofeev, Sebastian Voss
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy. Software Engineering (2022)
Tarik Terzimehic, Kirill Dorofeev, Sebastian Bergemann, Alois Zoitl, Sebastian Voss
Towards Service Deployment and Composition in Industry 4.0. ETFA (2021)
Tarik Terzimehic, Kirill Dorofeev, Sebastian Voss
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy. MoDELS (2021)
Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov, Maged Khalil
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. Softw. Syst. Model. 19 (4) (2020)
Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops (2019)
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Tarik Terzimehic, Monika Wenger, Sebastian Voss, Sten Grüner, Haitham Elfaham
SMT-Based Deployment Calculation in Industrial Automation Domain. ETFA (2019)
Tarik Terzimehic, Sebastian Voss, Monika Wenger
Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems. CASE (2018)
Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov, Maged Khalil
From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures. MoDELS (2018)
Sebastian Voss, Johannes Eder
Handling system complexity in sCPS: usable design space exploration. SEsCPS@ICSE (2018)
Klaus Becker, Sebastian Voss, Bernhard Schätz
Formal analysis of feature degradation in fault-tolerant automotive systems. Sci. Comput. Program. 154 (2018)
Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, Alexandru Ipatiov
Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case. MoDELS (2017)
Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz
Model-based deployment generation for safety-critical avionics systems. SIES (2017)
Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss
ExplicitCase: Integrated Model-Based Development of System and Safety Cases. SAFECOMP Workshops (2017)
Johannes Kroß, Sebastian Voss, Helmut Krcmar
Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures. Open J. Internet Things 3 (1) (2017)
Alexander Diewald, Sebastian Voss, Simon Barner
A Lightweight Design Space Exploration and Optimization Language. SCOPES (2016)
Johannes Eder, Sebastian Voss
Usable Design Space Exploration in AutoFOCUS3. EduSymp/OSS4MDE@MoDELS (2016)
Klaus Becker, Sebastian Voss
Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems. ISORC (2015)
Klaus Becker, Sebastian Voss
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems. FTSCS (2015)
Bernhard Schätz, Sebastian Voss, Sergey Zverlov
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. DAC (2015)
Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. ACES-MB&WUCOR@MoDELS (2015)
Philipp Diebold, Constanza Lampasona, Sergey Zverlov, Sebastian Voss
Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains: a survey. EASE (2014)
Sebastian Voss, Johannes Eder, Florian Hölzl
Design Space Exploration and its Visualization in AUTOFOCUS3. Software Engineering (Workshops) (2014)
Sergey Zverlov, Sebastian Voss
Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems. COMPSAC Workshops (2014)
Sebastian Voss, Bernhard Schätz
Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. ECBS (2013)
Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss
Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. FedCSIS (2013)
Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS (2013)
Sebastian Voss, Bernhard Schätz
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES (2012)
Sebastian Voss, Maria Sorea, Klaus Echtle
SAL-Based Symbolic Scheduling in Time-Triggered Networks. IFM (2009)
Sebastian Voss
Scheduling in Time-Triggered Networks. OTM Workshops (2) (2007)
Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss
Flexible Communication Architecture for Dependable Time-Triggered Systems. WADS (2006)