DI (FH) Dr.
Stefan Mitsch
  • Publications
  • Projects

    2020

  1. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Towards CPS Verification Engineering. 22nd International Conference on Information Integration and Web-based Applications & Services, Proceedings. :367-372. 2020. PDF BibTeX
    @article{DBLP:conf/iiwas/RetschitzeggerSMM20,
       title = {Towards CPS Verification Engineering},
       author = {Andreas Müller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       journal = {22nd International Conference on Information Integration and Web-based Applications & Services, Proceedings},
       year = {2020},
       pages = {367-372}
    }
  2. 2018

  3. 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}
    }
  4. 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}
    }
  5. 2017

  6. 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}
    }
  7. 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}
    }
  8. 2016

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

  11. 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}
    }
  12. Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer. KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Amy P. Felty and Aart Middeldorp, editors, 9195of Lecture Notes in Computer Science, pages: 527--538. Springer, August, 2015. BibTeX
    @inproceedings{DBLP:conf/cade/FultonMQVP15,
       title = {KeYmaera {X:} An Axiomatic Tactical Theorem Prover for Hybrid Systems},
       author = {Nathan Fulton and Stefan Mitsch and Jan{-}David Quesel and Marcus V{\"{o}}lp and Andr{\'{e}} Platzer},
       year = {2015},
       publisher = {Springer},
       booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
       pages = {527--538},
       volume = {9195},
       month = {08},
       note = {http://www.cs.cmu.edu/~smitsch/pdf/keymaerax.pdf},
       series = {Lecture Notes in Computer Science}
    }
  13. Jan-David Quesel, Stefan Mitsch, Sarah Loos, Nikos Aréchiga, André Platzer. How to Model and Prove Hybrid Systems with KeYmaera: A Tutorial on Safety. STTT. . 2015. BibTeX
    @article{DBLP:journals/sttt/QueselMLAP15,
       title = {How to Model and Prove Hybrid Systems with {KeYmaera}: A Tutorial on Safety},
       author = {Jan-David Quesel and Stefan Mitsch and Sarah Loos and Nikos Ar{\'e}chiga and Andr{\'e} Platzer},
       journal = {STTT},
       year = {2015},
       note = {http://www.cs.cmu.edu/~smitsch/pdf/KeYmaera-tutorial.pdf}
    }
  14. Stefan Mitsch, André Platzer, Werner Retschitzegger, Wieland Schwinger. Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems. ACM Computing Surveys. 48(1):3:1--3:40. 2015. BibTeX
    @article{DBLP:journals/csur/MitschPRS15-copy,
       title = {Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems},
       author = {Stefan Mitsch and Andr{\'e} Platzer and Werner Retschitzegger and Wieland Schwinger},
       journal = {ACM Computing Surveys},
       year = {2015},
       pages = {3:1--3:40},
       volume = {48},
       number = {1},
       note = {http://www.cs.cmu.edu/~smitsch/pdf/surveydynamicspatial.pdf}
    }
  15. 2014

  16. 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}
    }
  17. 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}
    }
  18. Andrea Salfinger, Daniel Neidhart, Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch. SEM2 suite - Towards a tool suite for supporting knowledge management in situation awareness systems. Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014. San Francisco, CA, USA,pages: 351--360. August, 2014. PDF BibTeX
    @inproceedings{DBLP:conf/iri/SalfingerNRSM14,
       title = {SEM2 suite - Towards a tool suite for supporting knowledge management in situation awareness systems},
       author = {Andrea Salfinger and Daniel Neidhart and Werner Retschitzegger and Wieland Schwinger and Stefan Mitsch},
       year = {2014},
       booktitle = {Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15, 2014},
       pages = {351--360},
       month = {08},
       address = {San Francisco, CA, USA}
    }
  19. Stefan Mitsch, Jan-David Quesel, André Platzer. From Safety to Guilty and from Liveness to Niceness. Proceedings of the 5th Workshop on Formal Methods for Robotics and Automation. Berkeley, CA, USA, July, 2014. PDF BibTeX
    @inproceedings{Mitsch2014a,
       title = {{From Safety to Guilty and from Liveness to Niceness}},
       author = {Stefan Mitsch and Jan-David Quesel and Andr{\'e} Platzer},
       year = {2014},
       booktitle = {Proceedings of the 5th Workshop on Formal Methods for Robotics and Automation},
       month = {07},
       address = {Berkeley, CA, USA}
    }
  20. Stefan Mitsch, Jan-David Quesel, André Platzer. Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. Proceedings of the 19th International Symposium on Formal Methods (FM). Singapore, Springer, May, 2014. PDF BibTeX
    @inproceedings{Mitsch2014,
       title = {{Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems}},
       author = {Stefan Mitsch and Jan-David Quesel and Andr{\'e} Platzer},
       year = {2014},
       publisher = {Springer},
       booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM)},
       month = {05},
       address = {Singapore}
    }
  21. Stefan Mitsch, Grant Olney Passmore, André Platzer. Collaborative Verification-Driven Engineering of Hybrid Systems. Mathematics in Computer Science. 8(1):71--97. March, 2014. PDF BibTeX
    @article{DBLP:journals/mics/MitschPP14,
       title = {Collaborative Verification-Driven Engineering of Hybrid Systems},
       author = {Stefan Mitsch and Grant Olney Passmore and Andr{\'{e}} Platzer},
       journal = {Mathematics in Computer Science},
       year = {2014},
       pages = {71--97},
       volume = {8},
       number = {1},
       month = {03}
    }
  22. 2013

  23. Stefan Mitsch, Khalil Ghorbal, André Platzer. On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. Robotics: Science and Systems IX. 2013. PDF BibTeX
    @inproceedings{Mitsch2013a,
       title = {{On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles}},
       author = {Stefan Mitsch and Khalil Ghorbal and Andr{\'e} Platzer},
       year = {2013},
       booktitle = {Robotics: Science and Systems IX}
    }
  24. 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}
    }
  25. Stefan Mitsch, Grant Olney Passmore, André Platzer. A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems. Proceedings of Enabling Domain Experts to use Formalised Reasoning - Symposium AISB, Do-Form. Manfred Kerber and Christoph Lange and Colin Rowat, editors, pages: 8-17. 2013. PDF BibTeX
    @inproceedings{Mitsch2013b,
       title = {{A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems}},
       author = {Stefan Mitsch and Grant Olney Passmore and Andr{\'e} Platzer},
       year = {2013},
       booktitle = {Proceedings of Enabling Domain Experts to use Formalised Reasoning - Symposium AISB, Do-Form},
       pages = {8-17}
    }
  26. Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Elisabeth Kapsammer, Stefan Mitsch, Norbert Baumgartner, Gustavo Rossi, Gerald Czech, Jürgen Högl. crowdSA - Crowdsourced Situation Awareness for Crisis Management. Proceedings of Social Media and Semantic Technologies in Emergency Response (SMERST). 2013. PDF BibTeX
    @inproceedings{Proell2013,
       title = {{crowdSA - Crowdsourced Situation Awareness for Crisis Management}},
       author = {Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Elisabeth Kapsammer and Stefan Mitsch and Norbert Baumgartner and Gustavo Rossi and Gerald Czech and J\"{u}rgen H\"{o}gl},
       year = {2013},
       booktitle = {Proceedings of Social Media and Semantic Technologies in Emergency Response (SMERST)}
    }
  27. Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Stephan Lechner, Birgit Pröll, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Manuel Wimmer . Automatic data transformation: breaching the walled gardens of social network platforms. Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143. APCCM '13, pages: 89--98. Australian Computer Society, Inc., 2013. PDF BibTeX
    @inproceedings{Wischenbart2013,
       title = {{Automatic data transformation: breaching the walled gardens of social network platforms}},
       author = {Martin Wischenbart and Stefan Mitsch and Elisabeth Kapsammer and Angelika Kusel and Stephan Lechner and Birgit Pr\"{o}ll and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger and Manuel Wimmer },
       year = {2013},
       publisher = {Australian Computer Society, Inc.},
       booktitle = {Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143},
       pages = {89--98},
       series = {APCCM '13}
    }
  28. 2012

  29. 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}
    }
  30. Elisabeth Kapsammer, Angelika Kusel, Stefan Mitsch, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck, Manuel Wimmer, Martin Wischenbart, Stephan Lechner. User Profile Integration Made Easy - Model-Driven Extraction and Transformation of Social Network Schemas. Int. Workshop on Interoperability of User Profiles in Multi-Application Web Environments (WWW 2012). WWW '12 Companion, pages: 939--948. ACM, 2012. PDF BibTeX
    @inproceedings{Kapsammer2012,
       title = {{User Profile Integration Made Easy - Model-Driven Extraction and Transformation of Social Network Schemas}},
       author = {Elisabeth Kapsammer and Angelika Kusel and Stefan Mitsch and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Johannes Sch\"{o}nb\"{o}ck and Manuel Wimmer and Martin Wischenbart and Stephan Lechner},
       year = {2012},
       publisher = {ACM},
       booktitle = {Int. Workshop on Interoperability of User Profiles in Multi-Application Web Environments (WWW 2012)},
       pages = {939--948},
       series = {WWW '12 Companion}
    }
  31. Angelika Kusel, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Ralph Mayr, Johannes Schönböck. Ontology-Driven Generation of Multi-View Modeling Tools. Proceedings of 11th IASTED International Conference on Software Engineering (SE 2012). WWW '12 Companion, pages: 45-51. ACTA Press, 2012. PDF BibTeX
    @inproceedings{Kusel2012,
       title = {{Ontology-Driven Generation of Multi-View Modeling Tools}},
       author = {Angelika Kusel and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Ralph Mayr and Johannes Sch\"{o}nb\"{o}ck},
       year = {2012},
       publisher = {ACTA Press},
       booktitle = {Proceedings of 11th IASTED International Conference on Software Engineering (SE 2012)},
       pages = {45-51},
       series = {WWW '12 Companion}
    }
  32. Stefan Mitsch, Sarah M. Loos, André Platzer. Towards Formal Verification of Freeway Traffic Control. Proceedings of ACM/IEEE Third International Conference on Cyber-Physical Systems. Chenyang Lu, editors, pages: 171-180. IEEE, 2012. PDF BibTeX
    @inproceedings{Mitsch2012,
       title = {{Towards Formal Verification of Freeway Traffic Control}},
       author = {Stefan Mitsch and Sarah M. Loos and Andr{\'e} Platzer},
       year = {2012},
       publisher = {IEEE},
       booktitle = {Proceedings of ACM/IEEE Third International Conference on Cyber-Physical Systems},
       pages = {171-180}
    }
  33. 2011

  34. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. Proceedings of the 4th International Workshop on Data Quality in Integration Systems in conjunction with DASFAA 2011. Xu, Jianliang and Yu, Ge and Zhou, Shuigeng and Unland, Rainer, editors, pages: 490-501. Springer Berlin Heidelberg, 2011. PDF BibTeX
    @inproceedings{Baumgartner2011a,
       title = {{SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2011},
       publisher = {Springer Berlin Heidelberg},
       booktitle = {Proceedings of the 4th International Workshop on Data Quality in Integration Systems in conjunction with DASFAA 2011},
       pages = {490-501}
    }
  35. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Reasoning on Data Streams for Situation Awareness. Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD). 2011. PDF BibTeX
    @inproceedings{Baumgartner2011,
       title = {{Reasoning on Data Streams for Situation Awareness}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2011},
       booktitle = {Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD)}
    }
  36. Elisabeth Kapsammer, Stephan Lechner, Stefan Mitsch, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer, Martin Wischenbart. Towards a Reference Model for Social User Profiles: Concept & Implementation. Proceedings of the International Workshop on Personalized Access, Profile Management, and Context Awareness in Databases, at 37th International Conference on Very Large Data Bases (VLDB). 2011. PDF BibTeX
    @inproceedings{Kapsammer2011,
       title = {{Towards a Reference Model for Social User Profiles: Concept \& Implementation}},
       author = {Elisabeth Kapsammer and Stephan Lechner and Stefan Mitsch and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Manuel Wimmer and Martin Wischenbart},
       year = {2011},
       booktitle = {Proceedings of the International Workshop on Personalized Access, Profile Management, and Context Awareness in Databases, at 37th International Conference on Very Large Data Bases (VLDB)}
    }
  37. Elisabeth Kapsammer, Stefan Mitsch, Birgit Pröll, Wieland Schwinger, Manuel Wimmer, Martin Wischenbart. A First Step Towards a Conceptual Reference Model for Comparing Social User Profiles. Proceedings of the International Workshop on User Profile Data on the Social Semantic Web, at 8th Extended Semantic Web Conference (ESWC). 2011. PDF BibTeX
    @inproceedings{Kapsammer2011a,
       title = {{A First Step Towards a Conceptual Reference Model for Comparing Social User Profiles}},
       author = {Elisabeth Kapsammer and Stefan Mitsch and Birgit Pr\"{o}ll and Wieland Schwinger and Manuel Wimmer and Martin Wischenbart},
       year = {2011},
       booktitle = {Proceedings of the International Workshop on User Profile Data on the Social Semantic Web, at 8th Extended Semantic Web Conference (ESWC)}
    }
  38. Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. Proceedings of the 5th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS 2011). pages: 271--280. Springer-Verlag, 2011. PDF BibTeX
    @inproceedings{Mitsch2011,
       title = {{Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations}},
       author = {Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2011},
       publisher = {Springer-Verlag},
       booktitle = {Proceedings of the 5th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS 2011)},
       pages = {271--280}
    }
  39. Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch, Wolfgang Gottesheim, Birgit Pröll, Gustavo Rossi, Norbert Baumgartner, Robert Hutter. Making Workflows Situation Aware - An Ontology-Driven Framework for Dynamic Spatial Systems. Proceedings of the 13th International Conference on Information Integration and Web-based Applications & Services (iiWAS2011). Taniar, David and Pardede, Eric and Nguyen, Hong-Quang and Rahayu, J. Wenny and Khalil, Ismail, editors, pages: 182-188. 2011. PDF BibTeX
    @inproceedings{Retschitzegger2011,
       title = {{Making Workflows Situation Aware - An Ontology-Driven Framework for Dynamic Spatial Systems}},
       author = {Werner Retschitzegger and Wieland Schwinger and Stefan Mitsch and Wolfgang Gottesheim and Birgit Pr\"{o}ll and Gustavo Rossi and Norbert Baumgartner and Robert Hutter},
       year = {2011},
       booktitle = {Proceedings of the 13th International Conference on Information Integration and Web-based Applications \& Services (iiWAS2011)},
       pages = {182-188}
    }
  40. 2010

  41. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Towards Duplicate Detection for Situation Awareness Based on Spatio-Temporal Relations. Proceedings of the 9th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2010). Meersman, Robert and Dillon, Tharam and Herrero, Pilar, editors, pages: 1097-1107. Springer Berlin Heidelberg, 2010. PDF BibTeX
    @inproceedings{Baumgartner2010c,
       title = {{Towards Duplicate Detection for Situation Awareness Based on Spatio-Temporal Relations}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2010},
       publisher = {Springer Berlin Heidelberg},
       booktitle = {Proceedings of the 9th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2010)},
       pages = {1097-1107}
    }
  42. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. Proceedings of the 29th International Conference on Conceptual Modeling (ER). ER'10, pages: 202--218. Springer-Verlag, 2010. PDF BibTeX
    @inproceedings{Baumgartner2010,
       title = {{Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2010},
       publisher = {Springer-Verlag},
       booktitle = {Proceedings of the 29th International Conference on Conceptual Modeling (ER)},
       pages = {202--218},
       series = {ER'10}
    }
  43. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. BeAware! - Situation Awareness, the Ontology-Driven Way. Data & Knowledge Engineering. 69(11):1181-1193. 2010. PDF BibTeX
    @article{Baumgartner2010a,
       title = {{BeAware! - Situation Awareness, the Ontology-Driven Way}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       journal = {Data \& Knowledge Engineering},
       year = {2010},
       pages = {1181-1193},
       volume = {69},
       number = {11}
    }
  44. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Improving Situation Awareness in Traffic Management. Proceedings of the 8th International Workshop on Quality in Databases, QDB 2010 @ VLDB. 2010. PDF BibTeX
    @inproceedings{Baumgartner2010b,
       title = {{Improving Situation Awareness in Traffic Management}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2010},
       booktitle = {Proceedings of the 8th International Workshop on Quality in Databases, QDB 2010 @ VLDB}
    }
  45. Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. WorkAware - Situation-Aware Workflow Management. Proceedings of International Conference on Knowledge Management and Information Sharing (KMIS 2010). pages: 246-252. 2010. PDF BibTeX
    @inproceedings{Gottesheim2010,
       title = {{WorkAware - Situation-Aware Workflow Management}},
       author = {Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2010},
       booktitle = {Proceedings of International Conference on Knowledge Management and Information Sharing (KMIS 2010)},
       pages = {246-252}
    }
  46. 2009

  47. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. On Optimization of Predictions in Ontology-Driven Situation Awareness. Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management (KSEM 2009). Karagiannis, Dimitris and Jin, Zhi, editors, pages: 297-309. Springer Berlin Heidelberg, 2009. PDF BibTeX
    @inproceedings{Baumgartner2009,
       title = {{On Optimization of Predictions in Ontology-Driven Situation Awareness}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2009},
       publisher = {Springer Berlin Heidelberg},
       booktitle = {Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management (KSEM 2009)},
       pages = {297-309}
    }
  48. Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Same, Same but Different - A Survey on Duplicate Detection Methods for Situation Awareness. Proceedings of the 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2009). pages: 1050--1068. Springer-Verlag, 2009. PDF BibTeX
    @inproceedings{Baumgartner2009a,
       title = {{Same, Same but Different - A Survey on Duplicate Detection Methods for Situation Awareness}},
       author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
       year = {2009},
       publisher = {Springer-Verlag},
       booktitle = {Proceedings of the 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2009)},
       pages = {1050--1068}
    }

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

A Social Nexus for Privacy-Assured Personalization Brokerage

Funding: FFG - FIT-IT Semantic Systems
Duration: September 2010 - August 2013
Download

Situation-Aware Workflow Management

Funding: FFG - Basisprogramm
Duration: June 2011 - May 2013
Download

Lost in Time, Space, and Meaning or How to Gain Situation Awareness in Large-Scale Control Systems

Funding: FFG - FIT-IT Semantic Systems
Duration: April 2009 - March 2011
Download

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

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