Sebastian Voss

According to our database1, Sebastian Voss authored at least 31 papers between 2006 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy.
Proceedings of the Software Engineering 2022, 2022

2021
Towards Service Deployment and Composition in Industry 4.0.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

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

2020
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures.
Softw. Syst. Model., 2020

2019
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.
ACM SIGSOFT Softw. Eng. Notes, 2019

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

SMT-Based Deployment Calculation in Industrial Automation Domain.
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.
Sci. Comput. Program., 2018

From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures.
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.
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.
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.
Open J. Internet Things, 2017

Model-based deployment generation for safety-critical avionics systems.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

ExplicitCase: Integrated Model-Based Development of System and Safety Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case.
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.
Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

Usable Design Space Exploration in AutoFOCUS3.
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.
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.
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.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Design Space Exploration and its Visualization in AUTOFOCUS3.
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.
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems.
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.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications.
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.
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.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2009
SAL-Based Symbolic Scheduling in Time-Triggered Networks.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2007
Scheduling in Time-Triggered Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006
Flexible Communication Architecture for Dependable Time-Triggered Systems.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006


  Loading...