Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mario Gleirscher
conf.researchr.org general profile
ESEC/FSE 2021 profile
ICTSS 2023 profile
PLDI 2025 profile
SPLASH 2023 profile
Registered user since Sat 21 Aug 2021
Name:
Mario Gleirscher
Country:
Germany
Affiliation:
University of Bremen
Contributions
2025
PLDI
Committee Member of Verifying Cyber-Physical Systems with IsaVODEs within the Workshops and Tutorials-track
Organizer of Verifying Cyber-Physical Systems with IsaVODEs within the Tutorials-track
2023
FTSCS
Author of Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains within the FTSCS 2023-track
ICTSS
Author of Complete Property-Oriented Module Testing within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
2021
ESEC/FSE
Author of Formal methods in dependable systems engineering: a survey of professionals from Europe and North America within the Journal First-track
Share
x
Sun 21 Sep 17:51