Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Bridging the Gap Between AI and Reality