DI Dr.
Andreas Müller
Room: S30307
Tel.: +43 732 2468 4678
  • Publications
  • Projects

    2018

  1. Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer. A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers. pages: 91--110. 2018. BibTeX
    @inproceedings{DBLP:conf/cyphy/0015MSP18,
       title = {A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera {X} (Tool Demonstration)},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Wieland Schwinger and Andr{\'{e}} Platzer},
       year = {2018},
       booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers},
       pages = {91--110}
    }
  2. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. Tactical contract composition for hybrid system component verification. STTT. 20(6):615--643. 2018. BibTeX
    @article{DBLP:journals/sttt/MullerMRSP18,
       title = {Tactical contract composition for hybrid system component verification},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'{e}} Platzer},
       journal = {{STTT}},
       year = {2018},
       pages = {615--643},
       volume = {20},
       number = {6}
    }
  3. 2017

  4. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. A Benchmark for Component-based Hybrid Systems Safety Verification. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems. Goran Frehse and Matthias Althoff, editors, 48 of EPiC Series in Computing, pages: 65-74. EasyChair, April, 2017. BibTeX
    @inproceedings{ARCH17:Benchmark_for_Component_based_Hybrid,
       title = {A Benchmark for Component-based Hybrid Systems Safety Verification},
       author = {Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'e} Platzer},
       year = {2017},
       publisher = {EasyChair},
       booktitle = {4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
       pages = {65-74},
       volume = {48 },
       month = {04},
       series = {EPiC Series in Computing}
    }
  5. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. Change and Delay Contracts for Hybrid System Component Verification. Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Marieke Huisman and Julia Rubin, editors, Uppsala, Sweden,10202 of Lecture Notes in Computer Science, pages: 134--151. April, 2017. BibTeX
    @inproceedings{DBLP:conf/fase/0002MRSP17,
       title = {Change and Delay Contracts for Hybrid System Component Verification},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'{e}} Platzer},
       year = {2017},
       booktitle = {Fundamental Approaches to Software Engineering - 20th International Conference, {FASE} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Proceedings},
       pages = {134--151},
       volume = {10202 },
       month = {04},
       series = {Lecture Notes in Computer Science},
       address = {Uppsala, Sweden}
    }
  6. 2016

  7. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. A Component-Based Approach to Hybrid Systems Safety Verification. Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Erika {\'{A}}brah{\'{a}}m and Marieke Huisman, editors, Reykjavik, Iceland,9681 of Lecture Notes in Computer Science, pages: 441--456. Springer, June, 2016. PDF BibTeX
    @inproceedings{DBLP:conf/ifm/MullerMRSP16,
       title = {A Component-Based Approach to Hybrid Systems Safety Verification},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'{e}} Platzer},
       year = {2016},
       publisher = {Springer},
       booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
       pages = {441--456},
       volume = {9681 },
       month = {06},
       series = {Lecture Notes in Computer Science},
       address = {Reykjavik, Iceland}
    }
  8. 2015

  9. Andreas Müller, Stefan Mitsch, André Platzer. Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015. Gran Canaria, Spain,pages: 757--764. IEEE, September, 2015. PDF BibTeX
    @inproceedings{DBLP:conf/itsc/0002MP15,
       title = {Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Andr{\'{e}} Platzer},
       year = {2015},
       publisher = {IEEE},
       booktitle = {{IEEE} 18th International Conference on Intelligent Transportation Systems, {ITSC} 2015, Gran Canaria, Spain, September 15-18, 2015},
       pages = {757--764},
       month = {09},
       address = {Gran Canaria, Spain}
    }
  10. Andreas Müller. Component-based CPS Verification: A Recipe for Reusability. Doctoral Symposium of Formal Methods, co-located with the 20th International Symposium on Formal Methods (FM 2015). Oslo, Norway,pages: 33-37. June, 2015. PDF BibTeX
    @inproceedings{Mueller2015,
       title = {{Component-based CPS Verification: A Recipe for Reusability}},
       author = {Andreas M{\"{u}}ller},
       year = {2015},
       booktitle = {Doctoral Symposium of Formal Methods, co-located with the 20th International Symposium on Formal Methods (FM 2015)},
       pages = {33-37},
       month = {06},
       address = {Oslo, Norway}
    }
  11. 2014

  12. Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger. A Tour of BeAware! A Situation-Awareness Framework for Control Centers. Journal of Information Fusion, Elsevier. 20:155–173. November, 2014. PDF BibTeX
    @article{Baumgartner2014,
       title = {{A Tour of BeAware! A Situation-Awareness Framework for Control Centers}},
       author = {Norbert Baumgartner and Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
       journal = {Journal of Information Fusion, Elsevier},
       year = {2014},
       pages = {155–173},
       volume = {20},
       month = {11}
    }
  13. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings. Sibiu, Romania,pages: 368--379. Springer, October, 2014. PDF BibTeX
    @inproceedings{DBLP:conf/ksem/MullerMRS14,
       title = {A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems},
       author = {Andreas M{\"{u}}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2014},
       publisher = {Springer},
       booktitle = {Knowledge Science, Engineering and Management - 7th International Conference, {KSEM} 2014, Sibiu, Romania, October 16-18, 2014. Proceedings},
       pages = {368--379},
       month = {10},
       address = {Sibiu, Romania}
    }
  14. 2013

  15. Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger. A Survey on Clustering Techniques for Situation Awareness. Proc. of the 15th Asia-Pacific Web Conference (APWeb 2013). Ishikawa, Yoshiharu and Li Jianzhong and Wang Wei and Zhang Wenjie, editors, Heidelberg,Lecture Notes in Computer Science, pages: 815--826. Springer, 2013. PDF BibTeX
    @inproceedings{Mitsch2013,
       title = {{A Survey on Clustering Techniques for Situation Awareness}},
       author = {Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
       year = {2013},
       publisher = {Springer},
       booktitle = {{P}roc. of the 15th {A}sia-{P}acific {W}eb {C}onference ({A}{P}{W}eb 2013)},
       pages = {815--826},
       series = {Lecture Notes in Computer Science},
       address = {Heidelberg},
       isbn = {978-3-642-37400}
    }
  16. 2012

  17. Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger. The Situation Radar - Visualizing Collaborative Situation Awareness in Traffic Control Systems. Proceedings of the 19th World Congress on Intelligent Transport Systems. 2012. BibTeX
    @inproceedings{Baumgartner2012,
       title = {{The Situation Radar - Visualizing Collaborative Situation Awareness in Traffic Control Systems}},
       author = {Norbert Baumgartner and Stefan Mitsch and Andreas M\"{u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
       year = {2012},
       booktitle = {Proceedings of the 19th World Congress on Intelligent Transport Systems}
    }

CrowdSA - Crowdsourced Situation Awareness for Crisis Management

Funding: FFG - BRIDGE
Duration: Sep. 2013 - June 2016
Download

Collaborative Situation Awareness in Distributed Traffic Control Systems

Funding: FFG - FIT-IT Semantic Systems
Duration: October 2011 - September 2014

ProofAwarE CPS - Proof-Aware Engineering of Cyber-Physical Systems

Funding: FWF Stand-alone Project
Duration: August 2015 - July 2018
Download