Mario Gleirscher -

Registered user since Sat 21 Aug 2021

Name:Mario Gleirscher

Country:Germany

Affiliation:University of Bremen

Contributions

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