Andreas Rausch -

Registered user since Sun 14 Apr 2024

Name:Andreas Rausch

Contributions

2025

SE4ADS

Author of Deep Driving Workshop for Education and Training of Behaviour-Based End-to-End Learning Autonomous Driving Systems within the SE for Autonomous Driving Systems-track

ASYDE

Author of VeriODD: From YAML to SMT-LIB – Automating Verification of Operational Design Domains within the ASYDE 2025-track
Author of LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations within the ASYDE 2025-track

GREENS

Author of Specification Completion for Sustainable Software Development via Sustainability-Driven Mining within the Green and Sustainable Software-track

NSE

Author of Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference within the Neuro-Symbolic SE-track

2024

ECSA

Author of Party without a cake? Onto an inter-modal HitchHike logistics platform for passengers and products transportation within the Workshops/Tutorials-track

2021

SESoS

Author of Toward Formalizing The Emergent Behavior in Software Engineering within the SESoS/WDES 2021-track