Raphael Weber

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

Collaborative distances:

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

2024

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems.

Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Nikos Petrellis, Vasilios I. Kelefouras, Michail Mavropoulos, Konstantinos Antonopoulos, Christos P. Antonopoulos, Nikolaos S. Voros, Alexander Ahlbrecht, Wanja Zaeske, Vincent Janson, Phillip Nöldeke, Umut Durak, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Clemens Reichmann, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens, Sakir Sezer, Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sena Yengec Tasdemir, Balmukund Sonigara, Henry Hui, Esther Soriano Viguer, Aridane Álvarez Suárez, Vicente Nicolau Gallego, Manuel Muñoz Alcobendas, Miguel Masmano Tello

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

XANDAR: Verification & Validation Approach for Safety-critical Systems.

Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui, Raphael Weber, Konstantinos Antonopoulos, Christos Panagiotou, Christos P. Antonopoulos, Georgios Keramidas, Nikolaos S. Voros, Sena Yengec Tasdemir, Henry Hui, Kieran McLaughlin

Proceedings of the 36th IEEE International System-on-Chip Conference, 2023

Trustful Model-Based Information Exchange in Collaborative Engineering.

David Schmelter, Jan-Philipp Steghöfer, Karsten Albers, Mats Ekman, Jörg Tessmer, Raphael Weber

Proceedings of the Systems, Software and Services Process Improvement, 2023

2022

Complex event models for automotive embedded systems.

Lukas Krawczyk, Mahmoud Bazzal, Harald Mackamul, Raphael Weber, Carsten Wolff

J. Syst. Archit., 2022

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems.

Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Alexander Ahlbrecht, Wanja Zaeske, Umut Durak, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Géza Németh, Victor Morales, Paco Gomez, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Christos Panagiotou, Dimitris Karadimas

Proceedings of the 95th IEEE Vehicular Technology Conference, 2022

Towards Automating a Software-Centered Development Process that considers Timing Properties.

Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann

Proceedings of the 35th IEEE International System-on-Chip Conference, 2022

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems.

Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Géza Németh, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems.

Jürgen Becker, Leonard Masing, Tobias Dörr, Florian Schade, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Florian Oszwald, Dominik Reinhardt, Mohamad Chamas, Adnan Bekan, Graham Smethurst, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2019

Towards Model-Based Generation and Optimization of AUTOSAR Runnable-to-Task Mapping.

Thomas Wilhelm, Raphael Weber

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2016

The SPES XT Tool Platform.

Karsten Albers, Ömer Gürsoy, Stefan Henkler, Michael Schulze, Bastian Tenbergen, Axel Terfloth, Raphael Weber

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

Optimal Deployment.

Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, Raphael Weber

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

System Function Networks.

Karsten Albers, Stefan Beck, Matthias Büker, Marian Daun, John MacGregor, Andrea Salmon, Raphael Weber, Thorsten Weyer

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

2015

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.

Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander

Complex Syst. Informatics Model. Q., 2015

A Concept to Guide the System Engineer During the Design Space Exploration Process.

Maike Rosinger, Matthias Büker, Raphael Weber

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.

Peter Battram, Bernhard Kaiser, Raphael Weber

Proceedings of the Joint Proceedings of REFSQ-2015 Workshops, 2015

State-Based Real-Time Analysis for Function Networks and Marte.

Tayfun Gezgin, Raphael Weber, Matthias Büker

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

2012

Technical Viewpoint.

Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand

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.

Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber

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.

Raphael Weber, Achim Rettberg

Proceedings of the Analysis, 2009

Implementation of the AES Algorithm for a Reconfigurable, Bit Serial, Fully Pipelined Architecture.

Raphael Weber, Achim Rettberg

Proceedings of the Reconfigurable Computing: Architectures, 2009

2007

Optimization techniques for a reconfigurable, self-timed, and bit-serial architecture.

Florian Dittmann, Achim Rettberg, Raphael Weber

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Latency Optimization for a Reconfigurable, Self-Timed, and Bit-Serial Architecture.

Florian Dittmann, Achim Rettberg, Raphael Weber

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.

Florian Dittmann, Achim Rettberg, Raphael Weber

Proceedings of the 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, 2006

2005

Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.

Florian Dittmann, Achim Rettberg, Raphael Weber

Proceedings of the Embedded and Ubiquitous Computing, 2005