• Sign in
  • Sign up
conf.researchr.org / Alexander Weigl
  • ICSE 2020 profile
  • ICSE 2024 profile
  • SPLASH 2021 profile

Registered user since Mon 5 Jul 2021

Name:Alexander Weigl
Country:Germany
Affiliation:KIT

Contributions

2024

FormaliSE

  • Author of Contract Automata: A Specification Language for Mode-Based Systems within the FormaliSE 2024-track

2021

SPLASH

  • Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track
  • Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track

2020

FormaliSE

  • Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track
Share
xTue 2 Sep 16:56
using conf.researchr.org (v1.70.0)
Support page
Sign Up