Bassel Rafie

According to our database, Bassel Rafie authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

VeriODD: From YAML to SMT-LIB - Automating Verification of Operational Design Domains.

Bassel Rafie, Christian Schindler, Andreas Rausch

CoRR, November, 2025

2024

Software Process as a Service: Towards A Software Process Ecosystem.

Oliver Greulich, Christoph Knieke, Bassel Rafie, Andreas Rausch, Marco Kuhrmann

Proceedings of the 2024 International Conference on Software and Systems Processes, 2024