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

    2017

  1. 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}
    }
  2. 2016

  3. 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, 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, Proceedings},
       pages = {441-456},
       volume = {9681 },
       month = {06},
       series = {Lecture Notes in Computer Science},
       address = {Reykjavik, Iceland}
    }
  4. 2015

  5. 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}
    }
  6. 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}
    }
  7. 2014

  8. 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}
    }
  9. 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}
    }
  10. 2013

  11. 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}
    }
  12. 2012

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