All Stories

  1. Contingency Management considerations for Unmanned Aircrafts

    Article • January 2017, American Institute of Aeronautics and Astronautics (AIAA)

    Prof. Juan A. Vila-Carbó, Mr Florian Michael Adolf, Hector Usach

  2. Towards Intelligent System Health Management using Runtime Monitoring

    Article • January 2017, American Institute of Aeronautics and Astronautics (AIAA)

    Mr Florian Michael Adolf

  3. Towards Generic Requirements and Models for Automated Mission Tasks with RPAS

    Article • January 2016, American Institute of Aeronautics and Astronautics (AIAA)

    Mr Florian Michael Adolf

  4. Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft

    Article • January 2015, American Institute of Aeronautics and Astronautics (AIAA)

    Mr Florian Michael Adolf