Christoph Torens

17 papers B 2C 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
A ROS Adapter for RTLola.
RV
Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens
2024 J jnl
Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage.
Sensors
Joachim Rüter, Theresa Maienschein, Sebastian Schirmer, Simon Schopferer, Christoph Torens
2024 — conf
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 J jnl
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2023 J jnl
Can Urban Air Mobility become reality? Opportunities, challenges and selected research results.
CoRR
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
2020 — conf
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 J jnl
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CoRR
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 C conf
Towards Using Formal Methods in Prototyping: Advantage or Impediment?
Software Engineering (Workshops)
Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer
2018 J jnl
Architectural design of a Safe Mission Manager for Unmanned Aircraft Systems.
J. Syst. Archit.
Hector Usach, Juan A. Vila, Christoph Torens, Florian Adolf
2018 — conf
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.
SAFECOMP Workshops
Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer
2018 J jnl
Stream Runtime Monitoring on UAS.
CoRR
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
2018 — ch.
Towards Autonomy and Safety for Unmanned Aircraft Systems.
Advances in Aeronautical Informatics
Christoph Torens, Johann C. Dauer, Florian Adolf
2017 B conf
Stream Runtime Monitoring on UAS.
RV
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
2014 J jnl
Certification and Software Verification Considerations for Autonomous Unmanned Aircraft.
J. Aerosp. Inf. Syst.
Christoph Torens, Florian-M. Adolf, Lukas Goormann
2011 — conf
Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases.
ICST Workshops
Christoph Torens, Lars Ebrecht, Karsten Lemmer
2011 C conf
Starting Model-Based Testing Based on Existing Test Cases Used for Model Creation.
CIT
Christoph Torens, Lars Ebrecht, Karsten Lemmer
2010 C conf
RemoteTest: A Framework for Testing Distributed Systems.
ICSEA
Christoph Torens, Lars Ebrecht