High level transition systems of CSP specifications and their application in automated testing. - Markus Dahlweid; Uwe Schulze (2004)

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. - Jörg Brauer; Jan Peleska 001; Uwe Schulze (ICTSS, 2012)

Model-Based Testing from Controlled Natural Language Requirements. - Gustavo Carvalho; Flávia de Almeida Barros; Florian Lapschies; Uwe Schulze; Jan Peleska 001 (FTSCS, 2013)

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. - Cécile Braunstein; Anne E. Haxthausen; Wen-ling Huang; Felix Hübner 001; Jan Peleska 001; Uwe Schulze; Linh Vu Hong (ICFEM, 2014)

Model-Based Testing for Avionics Systems. - Jörg Brauer; Uwe Schulze (FM, 2018)

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. - Uwe Schulze; Detlef Kanwischer; Inga Gryl; Alexandra Budke (AGIT Journal Angew. Geoinformatik, 2020)

"GIS works!" - But why, how, and for whom? Findings from a systematic review. - Uwe Schulze (Trans. GIS, 2021)

Bringing RoboStar and RT-Tester Together. - Ana Cavalcanti 001; Alvaro Miyazawa; Uwe Schulze; Jon Timmis (Applicable Formal Methods for Safe Industrial Products, 2023)