Sebastian Voss

According to our database, Sebastian Voss authored at least 32 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy.

Tarik Terzimehic, Kirill Dorofeev, Sebastian Voss

Proceedings of the Software Engineering 2022, 2022

2021

Towards Service Deployment and Composition in Industry 4.0.

Tarik Terzimehic, Kirill Dorofeev, Sebastian Bergemann, Alois Zoitl, Sebastian Voss

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Engineering of Collaborative Embedded Systems.

Birthe Böhm, Wolfgang Böhm, Marian Daun, Alexander Hayward, Sieglinde Kranz, Nikolaus Regnat, Sebastian Schröck, Ingo Stierand, Andreas Vogelsang, Jan Vollmar, Sebastian Voss, Thorsten Weyer, Andreas Wortmann

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures.

Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov, Maged Khalil

Softw. Syst. Model., 2020

2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

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

ACM SIGSOFT Softw. Eng. Notes, 2019

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.

Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

SMT-Based Deployment Calculation in Industrial Automation Domain.

Tarik Terzimehic, Monika Wenger, Sebastian Voss, Sten Grüner, Haitham Elfaham

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Formal analysis of feature degradation in fault-tolerant automotive systems.

Klaus Becker, Sebastian Voss, Bernhard Schätz

Sci. Comput. Program., 2018

From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures.

Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov, Maged Khalil

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Handling system complexity in sCPS: usable design space exploration.

Sebastian Voss, Johannes Eder

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems.

Tarik Terzimehic, Sebastian Voss, Monika Wenger

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures.

Johannes Kroß, Sebastian Voss, Helmut Krcmar

Open J. Internet Things, 2017

Model-based deployment generation for safety-critical avionics systems.

Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

ExplicitCase: Integrated Model-Based Development of System and Safety Cases.

Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss

Proceedings of the Computer Safety, Reliability, and Security, 2017

Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case.

Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, Alexandru Ipatiov

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

A Lightweight Design Space Exploration and Optimization Language.

Alexander Diewald, Sebastian Voss, Simon Barner

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

Usable Design Space Exploration in AutoFOCUS3.

Johannes Eder, Sebastian Voss

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.

Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems.

Klaus Becker, Sebastian Voss

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems.

Klaus Becker, Sebastian Voss

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context.

Bernhard Schätz, Sebastian Voss, Sergey Zverlov

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Design Space Exploration and its Visualization in AUTOFOCUS3.

Sebastian Voss, Johannes Eder, Florian Hölzl

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains: a survey.

Philipp Diebold, Constanza Lampasona, Sergey Zverlov, Sebastian Voss

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems.

Sergey Zverlov, Sebastian Voss

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario.

Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications.

Sebastian Voss, Bernhard Schätz

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.

Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories.

Sebastian Voss, Bernhard Schätz

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2010

Integrated Task and Message Scheduling in Time-Triggered Aeronautic Systems

Sebastian Voss

PhD thesis, 2010

2009

SAL-Based Symbolic Scheduling in Time-Triggered Networks.

Sebastian Voss, Maria Sorea, Klaus Echtle

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2007

Scheduling in Time-Triggered Networks.

Sebastian Voss

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006

Flexible Communication Architecture for Dependable Time-Triggered Systems.

Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006