Uwe Schulze

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Rainfall Runoff

Systematic Review

Equivalence Class

Model Based Testing

Top Venues

Applicable Formal Methods for Safe Industrial Products

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products (2023)
Uwe Schulze
"GIS works!" - But why, how, and for whom? Findings from a systematic review. Trans. GIS 25 (2) (2021)
Uwe Schulze, Detlef Kanwischer, Inga Gryl, Alexandra Budke
Mündigkeit und digitale Geomedien - Implementation eines digitalen Fachkonzepts in der geographischen Lehrkräftebildung / Implementing an Innovative Digital Pedagogical Concept for Critical-reflexive Digital Geomedia Education in Geography. AGIT Journal 6 (2020)
Jörg Brauer, Uwe Schulze
Model-Based Testing for Avionics Systems. FM (2018)
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM (2014)
Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
Model-Based Testing from Controlled Natural Language Requirements. FTSCS (2013)
Jörg Brauer, Jan Peleska, Uwe Schulze
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ICTSS (2012)