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

    2015

  1. Andreas Müller, Stefan Mitsch, André Platzer. Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems. Proceedings of the 18th IEEE International Conference on Intelligent Transportation Systems (ITSC 2015). Gran Canaria, Spain,pages: 757-764. IEEE, September, 2015. PDF BibTeX
    @inproceedings{Mueller2015a,
       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 = {Proceedings of the 18th IEEE International Conference on Intelligent Transportation Systems (ITSC 2015)},
       pages = {757-764},
       month = {09},
       address = {Gran Canaria, Spain}
    }
  2. 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}
    }
  3. 2014

  4. 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}
    }
  5. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. Proceedings of the 7th International Conference on Knowledge Science, Engineering and Management. Sibiu, Romania, Springer, October, 2014. PDF BibTeX
    @inproceedings{Mueller2014,
       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 = {Proceedings of the 7th International Conference on Knowledge Science, Engineering and Management},
       month = {10},
       address = {Sibiu, Romania}
    }
  6. 2013

  7. 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}
    }
  8. 2012

  9. 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