@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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)}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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)}
}								

@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)}
}								

@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)}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}								

@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}
}