Christoph Torens

According to our database, Christoph Torens authored at least 13 papers between 2010 and 2024.

Collaborative distances:

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

2024

Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage.

Joachim Rüter, Theresa Maienschein, Sebastian Schirmer, Simon Schopferer, Christoph Torens

Sensors, February, 2024

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Can Urban Air Mobility become reality? Opportunities, challenges and selected research results.

Henry Pak, Lukas Asmer, Petra Kokus, Bianca I. Schuchardt, Albert End, Frank Meller, Karolin Schweiger, Christoph Torens, Carolina Barzantny, Dennis Becker, Johannes Maria Ernst, Florian Jäger, Tim Laudien, Nabih Naeem, Anne Papenfuß, Jan Pertz, Prajwal Shiva Prakasha, Patrick Ratei, Fabian Reimer, Patrick Sieb, Chen Zhu

CoRR, 2023

2020

Towards Using Formal Methods in Prototyping: Advantage or Impediment?

Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Architectural design of a Safe Mission Manager for Unmanned Aircraft Systems.

Hector Usach, Juan A. Vila, Christoph Torens, Florian Adolf

J. Syst. Archit., 2018

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.

Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer

Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards Autonomy and Safety for Unmanned Aircraft Systems.

Christoph Torens, Johann C. Dauer, Florian Adolf

Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2017

Stream Runtime Monitoring on UAS.

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens

Proceedings of the Runtime Verification - 17th International Conference, 2017

2014

Certification and Software Verification Considerations for Autonomous Unmanned Aircraft.

Christoph Torens, Florian-M. Adolf, Lukas Goormann

J. Aerosp. Inf. Syst., 2014

2011

Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases.

Christoph Torens, Lars Ebrecht, Karsten Lemmer

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Starting Model-Based Testing Based on Existing Test Cases Used for Model Creation.

Christoph Torens, Lars Ebrecht, Karsten Lemmer

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010

RemoteTest: A Framework for Testing Distributed Systems.

Christoph Torens, Lars Ebrecht

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010