Uwe Schulze

According to our database, Uwe Schulze authored at least 8 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bringing RoboStar and RT-Tester Together.

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2021

"GIS works!" - But why, how, and for whom? Findings from a systematic review.

Uwe Schulze

Trans. GIS, 2021

2020

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

2018

Model-Based Testing for Avionics Systems.

Jörg Brauer, Uwe Schulze

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2014

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.

Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Model-Based Testing from Controlled Natural Language Requirements.

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.

Jörg Brauer, Jan Peleska, Uwe Schulze

Proceedings of the Testing Software and Systems, 2012

2004

High level transition systems of CSP specifications and their application in automated testing.

Markus Dahlweid, Uwe Schulze

PhD thesis, 2004