Raphael Weber

Orcid: 0000-0002-2883-4811

According to our database1, Raphael Weber authored at least 24 papers between 2005 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024

2023
XANDAR: Verification & Validation Approach for Safety-critical Systems.
Proceedings of the 36th IEEE International System-on-Chip Conference, 2023

Trustful Model-Based Information Exchange in Collaborative Engineering.
Proceedings of the Systems, Software and Services Process Improvement, 2023

2022
Complex event models for automotive embedded systems.
J. Syst. Archit., 2022


Towards Automating a Software-Centered Development Process that considers Timing Properties.
Proceedings of the 35th IEEE International System-on-Chip Conference, 2022


2021

2019
Towards Model-Based Generation and Optimization of AUTOSAR Runnable-to-Task Mapping.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2016
The SPES XT Tool Platform.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

Optimal Deployment.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

System Function Networks.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.
Complex Syst. Informatics Model. Q., 2015

A Concept to Guide the System Engineer During the Design Space Exploration Process.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design.
Proceedings of the Joint Proceedings of REFSQ-2015 Workshops, 2015

State-Based Real-Time Analysis for Function Networks and Marte.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2012
Technical Viewpoint.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2010
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

2009
Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture.
Proceedings of the Analysis, 2009

Implementation of the AES Algorithm for a Reconfigurable, Bit Serial, Fully Pipelined Architecture.
Proceedings of the Reconfigurable Computing: Architectures, 2009

2007
Optimization techniques for a reconfigurable, self-timed, and bit-serial architecture.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Latency Optimization for a Reconfigurable, Self-Timed, and Bit-Serial Architecture.
Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2007

2006
Towards the Implementation of Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.
Proceedings of the 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, 2006

2005
Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.
Proceedings of the Embedded and Ubiquitous Computing, 2005


  Loading...