A tour of BeAware - A situation awareness framework for control centers

Information Fusion

Volumn 20, Issue 1, 2014, Pages 155-173

  Baumgartner, Norbert ^a   Mitsch, Stefan ^b   Müller, Andreas ^c   Retschitzegger, Werner ^c   Salfinger, Andrea ^c   Schwinger, Wieland ^c  

^a Team Communication Technology Management GmbH   (Austria)

^b Carnegie Mellon University   (United States)

^c JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Framework; Ontologies; Road traffic control; Situation awareness; Spatio temporal reasoning

Indexed keywords

INFORMATION FUSION; ONTOLOGY; SOFTWARE ENGINEERING;

FRAMEWORK; HETEROGENEOUS DATA SOURCES; INFORMATION OVERLOADS; ROAD TRAFFIC CONTROL; RUN-TIME PERFORMANCE; SEMANTIC WEB TECHNOLOGY; SITUATION AWARENESS; SPATIO-TEMPORAL REASONING;

COMPUTER PROGRAMMING;

EID: 84901596980     PISSN: 15662535     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.inffus.2014.01.008     Document Type: Article

References (115)

1. J. Naisbitt Megatrends: Ten New Directions Transforming Our Lives 1982 Grand Central Publishing
2. F. Dylla, and R. Moratz Exploiting qualitative spatial neighborhoods in the situation calculus C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky, Spatial Cognition IV. Reasoning, Action, Interaction LNCS vol. 3343 2005 Springer Berlin Heidelberg 304 322 10.1007/978-3-540-32255-9-18 (Pubitemid 41421897)
3. A.G. Cohn, and J. Renz Qualitative spatial representation and reasoning F. van Hermelen, V. Lifschitz, B. Porter, Handbook of Knowledge Representation 2008 Elsevier 551 596
4. H. Chen, F. Perich, T. Finin, and A. Joshi SOUPA: standard ontology for ubiquitous and pervasive applications Mobile and Ubiquitous Systems: Networking and Services 2004 IEEE 258 267 (Pubitemid 40184601)
5. M.M. Kokar, C.J. Matheus, and K. Baclawski Ontology-based situation awareness Int. J. Inform. Fusion 10 2009 83 98
6. N. Baumgartner, W. Retschitzegger, and W. Schwinger Lost in time, space, and meaning - an ontology-based approach to road traffic situation awareness Proc. of the 3rd Workshop on Context Awareness for Proactive Systems (CAPS) CCSR 2007 University of Surrey Guildford, UK
7. B. Mcguinness, L. FoyA, A subjective measure of SA: the crew awareness rating scale (CARS), in: M.R. Endsley, D.B. Kaber (Eds.), Proc. of Human Performance, Situation Awareness and Automation: User-Centered Design for the New Millenium, SA Technologies, Savannah, GA, USA, 2000.
8. M.R. Endsley Theoretical underpinnings of situation awareness: a critical review M.R. Endsley, D.J. Garland, Situation Awareness Analysis and Measurement 2000 Lawrence Erlbaum Associates New Jersey, USA 3 33
9. B. Motik, and R. Rosati Reconciling description logics and rules J. ACM 57 2010
10. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger Reasoning on data streams for situation awareness Proc. of the 3rd Int. Conf. on Knowledge Engineering and Ontology Development 2010 INSTICC 6
11. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger Towards duplicate detection for situation awareness based on spatio-temporal relations Proc. of the 9th Int. Conf. ODBASE 2010 Springer 1097 1107
12. J. Boyd, The Essence of Winning and Losing, 2010. < http://dnipogo.org/john-r-boyd/ > (Last access 07.0213).
13. J.F. Allen Maintaining knowledge about temporal intervals Commun. ACM 26 1983 832 843
14. C. Freksa Conceptual neighborhood and its role in temporal and spatial reasoning Proc. of the Imacs Int. Workshop on Decision Support Systems and Qualitative Reasoning 1991 North-Holland 181 187
15. R. Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 The MIT Press
16. I. Horrocks, and P.F. Patel-Schneider Three theses of representation in the semantic web G. Hencsey, B. White, Y.-F.R. Chen, L. Kovács, S. Lawrence, Proc. of the 12th Int. WWW Conference 2003 ACM New York, NY, USA 39 47
17. B. Motik On the properties of metamodeling in OWL J. Logic Comput. 17 2007 617 637 (Pubitemid 47357624)
18. B.C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler OWL 2: the next step for OWL J. Web Semantics 6 2008 309 322
19. E. Rahm, and H.H. Do Data cleaning: problems and current approaches IEEE Data Eng. Bull. 23 2000 3 13
20. H. Chen, T. Finin, and A. Joshi The SOUPA ontology for pervasive computing V. Tamma, S. Cranefield, T. Finin, S. Willmott, Ontologies for Agents: Theory and Experiences Whitestein Series in Software Agent Technologies 2005 Springer Berlin Heidelberg 233 258
21. X.H. Wang, D.Q. Zhang, T. Gu, and H.K. Pung Ontology based context modeling and reasoning using OWL A. Tripathi, L. Iftode, K. Nahrstedt, P. Nixon, Proc. of the 2nd Annual Conference on Pervasive Computing and Communications, Workshops 2004 IEEE 18 22
22. L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan A framework for the management of context-aware workflow systems J. Filipe, J. Cordeiro, B. Encarnação, V. Pedrosa, Proc. of the 7th Int. Conf. on Web Information Systems and Technologies 2007 INSTICC Press 1870 1875
23. M. Heravizadeh, and D. Edmond Making workflows context-aware: a way to support knowledge-intensive tasks A. Hinze, M. Kirchberg, Proc. of the 5th Asia-Pacific Conf. on Conceptual Modelling 2008 Australian Computer Society 79 88
24. J. Li, Y. Bu, S. Chen, X. Tao, and J. Lu FollowMe: on research of pluggable infrastructure for context awareness Proc. of the 20th Int. Conf. on Advanced Information Networking and Applications 2006 IEEE 199 204 (Pubitemid 44761155)
25. K. Shin, Y. Cho, J. Choi, and C.-W. Yoo A workflow language for context-aware services S. soo Kim, J.H. Park, N. Pissinou, T. hoon Kim, W.C. Fang, D. Slezak, H.-R. Arabnia, D. Howard, Proc. of the Int. Conf. on Multimedia and Ubiquitous Engineering 2007 IEEE 1227 1232 (Pubitemid 350301653)
26. D. Rajpathak, and E. Motta An ontological formalization of the planning task A.C. Varzi, L. Vieu, Proc. of the Int. Conf. on Formal Ontology in Information Systems 2004 IOS Press 305 316
27. Y. Gil, and J. Blythe PLANET: a shareable and reusable ontology for representing plans Proc. of the AAAI 2000 Workshop on Representational Issues for Real-World Planning Systems 2000 AAAI Press 28 33
28. L. Morgenstern, D. Riecken, SNAP: an action-based ontology for e-commerce reasoning, in: M. Cristani, R. Cuel (Es.), Proc. Formal Ontologies Meet Industry, University of Verona, 2005, pp. 1-12.
29. A. Schwering Evaluation of a semantic similarity measure for natural language spatial relations S. Winter, M. Duckham, L. Kulik, B. Kuipers, Spatial Information Theory LNCS vol. 4736 2007 Springer Berlin Heidelberg 116 132 10.1007/978-3-540-74788-8-8
30. A. Schwering Approaches to semantic similarity measurement for geo-spatial data: a survey Trans. GIS 12 2008 5 29
31. M. Weis, F. Naumann, U. Jehle, J. Lufter, and H. Schuster Industry-scale duplicate detection Proc. VLDB Endowment 1 2008 1253 1264
32. J. Bleiholder, and F. Naumann Data fusion ACM Comput. Surv. 41 2008 1 41
33. A. Bilke, J. Bleiholder, C. Böhm, K. Draba, F. Naumann, and M. Weis Automatic data fusion with HumMer K. Böhm, C.S. Jensen, L.M. Haas, M.L. Kersten, P.-Å. Larson, B.C. Ooi, Proc. of the 31st Int. Conf. on Very Large Data Bases 2005 ACM 1251 1254 (Pubitemid 43991095)
34. T. Strang, and C. Linnhoff-Popien A context modeling survey Proc. of the 1st Int. Workshop on Advanced Context Modelling, Reasoning and Management 2004 Springer 8
35. C. Bolchini, C.A. Curino, E. Quintarelli, F.A. Schreiber, and L. Tanca A data-oriented survey of context models SIGMOD Rec. 36 2007 19 26 (Pubitemid 351500298)
36. M. Wieland, O. Kopp, D. Nicklas, and F. Leymann Towards context-aware workflows Proc. of the CAiSE'07 Workshops and Doctoral Cons 2007 Springer 1 15
37. A. Haller, E. Oren, and P. Kotinurmi An ontology for internal and external business processes Proc. of the 15th Int. Conf. on World Wide Web 2006 ACM Press 1055 1056 (Pubitemid 46946776)
38. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger "Same, Same but Different" - a survey on duplicate detection methods for situation awareness Proc. of the 8th Int. Conf. ODBASE 2009 Springer 1050 1068
39. S. Mitsch, A. Müller, W. Retschitzegger, A. Salfinger, W. Schwinger, A survey on clustering techniques for situation awareness, in: I. Yoshiharu, L. Jianzhong, W. Wei, Z. Wenjie (Eds.), Proc. of the 15th Asia-Pacific Web Conference (APWeb 2013), LNCS, vol. 7808, Springer, 2013, pp. 815-826.
40. N. Baumgartner, and W. Retschitzegger A survey of upper ontologies for situation awareness Proc. of the 4th Int. Conf. on Knowledge Sharing and Collaborative Engineering 2006 ACTA Press 1 9
41. R.T. Snodgrass Developing Time-Oriented Database Applications in SQL 1999 Morgan Kaufman Publishers, Inc. USA
42. J. Bateman, S. Farrar, Spatial Ontology Baseline, Internal Report, Collaborative Research Center for Spatial Cognition, 2004.
43. I. Niles, and A. Pease Towards a standard upper ontology C. Welty, B. Smith, Proc. of the 2nd Int. Conf. on Formal Ontology in Information Systems 2001 ACM 2 9
44. B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, and R. Ross Specification of an ontology for route graphs Spatial Cognition IV: Reasoning, Action, and Interaction 2005 Springer 390 412 (Pubitemid 41421901)
45. J.R. Hobbs, and F. Pan An ontology of time for the semantic web ACM Trans. Asian Lang. Process. (TALIP): Special Issue Temporal Inform. Process. 3 2004 66 85
46. W.M.P. van der Aalst, and A.H.M. ter Hofstede Yawl: Yet another workflow language Inform. Syst. 30 2005 245 275 (Pubitemid 40415107)
47. D. Gasevic, and V. Devedzic Petri net ontology J. Knowl.-Based Syst. 19 2006 220 234 (Pubitemid 44051870)
48. P. Haase, and B. Motik A mapping system for the integration of OWL-DL ontologies Proc. of the 1st Int. Workshop on Interoperability of Heterogeneous Information Systems 2005 ACM 9 16 10.1145/1096967.1096970 (Pubitemid 44447464)
49. J. Euzenat Algebras of ontology alignment relations Proc. of the 7th Int. Conf. on The Semantic Web 2008 Springer Heidelberg 387 402 10.1007/978-3-540- 88564-1-25
50. F. Scharffe, J. Euzenat, and D. Fensel Towards design patterns for ontology alignment Proc. of the 23rd Annual Symp. on Applied Computing 2008 ACM 2321 2325
51. M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schönböck, and W. Schwinger Surviving the heterogeneity jungle with composite mapping operators Proc. of the 3rd Int. Conf. on Model Transformation 2010 Springer 260 275
52. M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schönböck, and W. Schwinger Towards an expressivity benchmark for mappings based on a systematic classification of heterogeneities Proc. of the 1st Int. Workshop on Model-Driven Interoperability 2010 ACM 32 41
53. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger Improving situation awareness in traffic management Proc. of the 8th Int. Workshop on Quality in Databases 2010 ACM 5
54. J. Barwise, and J. Perry Situations and Attitudes 1983 MIT Press
55. H. Rolka, J.C. O'Connor, and D. Walker Public health information fusion for situation awareness Proc. Workshop BioSecure 2008 Springer 1 9
56. J. Llinas, C. Bowman, G. Rogova, A. Steinberg, Revisions and extensions to the JDL data fusion model II, in: P. Svensson, J. Schubert (Eds.), Proc. of the 7th Int. Conf. on Information Fusion, International Society of Information Fusion (ISIF), Mountain View, CA, 2004, pp. 1218-1230.
57. J. Salerno, M. Hinman, D. Boulware, and P. Bello Information fusion for situational awareness Proc. Information Fusion 2003 ISIF 507 513
58. D.A. Lambert A blueprint for higher-level fusion systems Inform. Fusion 10 2009
59. A. Gangemi, and P. Mika Understanding the semantic web through descriptions and situations Proc. of the Int. Conf. on Ontologies, Databases and Applications of Semantics 2003 Springer 689 706
60. C. Matheus, M. Kokar, K. Baclawski, J. Letkowski, C. Call, M. Hinman, J. Salerno, and D. Boulware SAWA: an assistant for higher-level fusion and situation awareness Proc. of SPIE Conf. on Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2005 SPIE 75 85 (Pubitemid 41545470)
61. P.R. Smart, A. Russell, N.R. Shadbolt, M.C. Schraefel, and L.A. Carr AKTiveSA: a technical demonstrator system for enhanced situation awareness in military operations other than war Comput. J. 50 2007 703 716 (Pubitemid 350031418)
62. S.S. Yau, and J. Liu Hierarchical situation modeling and reasoning for pervasive computing Proc. of the 3rd Workshop on Software Technologies for Future Embedded and Ubiquitous Systems 2006 IEEE Computer Society 5 10 (Pubitemid 44724815)
63. K. Sycara, R. Glintona, B. Yu, J. Giampapa, S. Owens, M. Lewis, and C. Grindle An integrated approach to high-level information fusion Inform. Fusion 10 2009 25 50
64. C.J. Matheus, M.M. Kokar, K. Baclawski, and J. Letkowski An application of semantic web technologies to situation awareness Proc. of the Int. Semantic Web Conference 2005 Springer Berlin Heidelberg 944 958
65. A.G. Cohn, B. Bennett, J.M. Gooday, and N. Gotts RCC: a calculus for region based qualitative spatial reasoning GeoInformatica 1 1997 275 316
66. m Proc. of the 29th Annual German Conf. on AI 2007 Springer 274 288
67. M. Ragni, and S. Wölfl Temporalizing cardinal directions: from constraint satisfaction to planning Proc. of 10th Int. Conf. on Principles of Knowledge Representation and Reasoning 2006 AAAI Press 472 480
68. D. Hernández, E. Clementini, and P.D. Felice Qualitative distances Proc. of the Int. Conf. COSIT '95 1995 Springer 45 57
69. O. Raiman Order of magnitude reasoning Artif. Intell. 51 1991 11 38
70. C. Freksa Temporal reasoning based on semi-intervals Artif. Intell. 54 1992 199 227
71. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, W3C Member Submission, SWRL: A Semantic Web Rule Language, 2004. < http://www.w3.org/Submission/SWRL >.
72. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger BeAware! - situation awareness, the ontology-driven way J. Data Knowl. Eng. 69 2010 1181 1193
73. J. Holsopple, and S.J. Yang FuSIA: future situation and impact awareness Proc. of the 11th Int. Conf. on Information Fusion 2008 IEEE 1 8
74. Z. Cui, A.G. Cohn, and D.A. Randell Qualitative simulation based on a logical formalism of space and time Proc. AAAI-92 1992 AAAI Press 679 684 (Pubitemid 23633514)
75. J.M. Gooday, and A.G. Cohn Transition-based qualitative simulation Proc. of the 10th Int. Workshop on Qualitative Reasoning 1996 AAAI Press 74 82
76. A.G. Cohn, N.M. Gotts, D.A. Randell, Z. Cui, B. Bennett, and J.M. Gooday Exploiting temporal continuity in qualitative spatial calculi Spatial and Temporal Reasoning in Geographical Information Systems: Report on the Specialist Meeting on Time in Geographic Space 1998 Oxford University Press 25
77. E. Davis Qualitative reasoning and spatio-temporal continuity S.M. Hazarika, Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions 2012 IGI Global 50
78. N. van de Weghe, and P.D. Maeyer Conceptual neighborhood diagrams for representing moving objects Proc. of the ER Workshop on Perspectives in Conceptual Modeling 2005 Springer 228 238
79. F. Dylla, and J.O. Wallgrün Qualitative spatial reasoning with conceptual neighborhoods for agent control J. Intell. Robot. Syst. 48 2007 55 78 (Pubitemid 46066368)
80. K.R. Apt, and S. Brand Constraint-based qualitative simulation Proc. of the 12th Int. Symp. on Temporal Representation and Reasoning 2005 IEEE 26 34
81. M. Bhatt Reasoning about space, actions and change S.M. Hazarika, Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions 2012 IGI Global 52
82. P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas Probabilistic situation calculus Ann. Math. Artif. Intell. 32 2001 393 431
83. D. Fava, J. Holsopple, S.J. Yang, and B. Argauer Terrain and behavior modeling for projecting multistage cyber attacks Proc. of the 10th Int. Conf. on Information Fusion 2007 IEEE 1 7
84. M. Sabry, H. Abd-El-Latif, S. Yousef, and N. Badra A time-series forecasting of average daily traffic volume Aust. J. Basic Appl. Sci. 1 2007 386 394
85. S. Sun, C. Zhang, and G. Yu A bayesian network approach to traffic flow forecasting IEEE Trans. Intell. Transport. Syst. 7 2006 124 132
86. B. Kuipers Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge 1994 MIT Press
87. G. Ligozat Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning Proc. of the AAAI-94 Workshop on Spatial and Temporal Resoning 1994 AAAI 55 59
88. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger On optimization of predictions in ontology-driven situation awareness Proc. of the 3rd Int. Conf. on Knowledge, Science, Engineering and Management 2009 Springer Berlin Heidelberg 297 309
89. M. Bhatt, W. Rahayu, and G. Sterling Qualitative simulation: towards a situation calculus based unifying semantics for space, time and actions Spatial Information Theory (Doctoral Colloqium) 2005 Springer 6
90. A.D. Sarma, O. Benjelloun, A. Halevy, S. Nabar, J. Widom, Representing uncertain data: models, and properties and algorithms The VLDB J. 18 5 2009 989 1019
91. N. Baumgartner, W. Retschitzegger, W. Schwinger, G. Kotsis, and C. Schwietering Of situations and their neighbors - evolution and similarity in ontology-based approaches to situation awareness Proc. of the 6th Int. and Interdisc. Conf. on Modeling and Using Context 2007 Springer 29 42 (Pubitemid 350271200)
92. S. Mitsch, W. Retschitzegger, and W. Schwinger Towards modeling dynamic behavior with integrated qualitative spatial relations Proc. of the 5th Int. Workshop on Semantic and Conceptual Issues in GIS 2011 Springer 271 280
93. A. Galton Continuous motion in discrete space Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning 2000 Morgan Kaufman 26 37
94. N. Baumgartner, W. Gottesheim, S. Mitsch, W. Retschitzegger, and W. Schwinger Situation prediction nets - playing the token game for ontology-driven situation awareness Proc. of the 29th Int. Conf. on Conceptual Modeling 2010 Springer 202 218
95. K. Jensen, L.M. Kristensen, and L. Wells Coloured Petri Netsand CPN tools for modeling and validation of concurrent systems J. Softw. Tools Technol. Transfer 9 2007 213 254 (Pubitemid 46876307)
96. N. Baumgartner, W. Retschitzegger, and W. Schwinger A software architecture for ontology-driven situation awareness Proc. of the 23rd Annual Symp. on Applied Computing 2008 ACM 2326 2330 10.1145/1363686.1364237
97. M. Westergaard, and L.M. Kristensen The Access/CPN framework: a tool for interacting with the CPN tools simulator Applications and Theory of Petri Nets 2009 Springer 313 322
98. R. Chrobok, O. Kaumann, J. Wahle, M. Schreckenberg, Three categories of traffic data: Historical, current, and predictive, in: E. Schnieder, U. Becker (Ed.), Proc. of the 9th Int. Fed. Automatic Control Symposium: Control in Transporation Systems, International Federation of Automatic Control (IFAC), Braunschweig, Germany, 2000, pp. 250-255.
99. J. Holsopple, and S.J. Yang Designing a data fusion system using a top-down approach Proc. of the Military Communications Conf 2009 IEEE 1 7
100. U. Draisbach, and F. Naumann A generalization of blocking and windowing algorithms for duplicate detection 2011 International Conference on Data and Knowledge Engineering (ICDKE) 2011 IEEE 18 24 10.1109/ICDKE.2011.6053920
101. U. Draisbach, F. Naumann, S. Szott, and O. Wonneberg Adaptive windows for duplicate detection A. Kementsietsidis, M.A.V. Salles, ICDE 2012 IEEE Computer Society 1073 1083
102. M. Georgeff, B. Pell, M. Pollack, M. Tambe, and M. Wooldridge The belief-desire-intention model of agency J. Mller, A. Rao, M. Singh, Intelligent Agents V: Agents Theories, Architectures, and Languages Lecture Notes in Computer Science vol. 1555 1999 Springer Berlin Heidelberg 1 10 10.1007/3-540-49057-4-1
103. M. Uschold, and M. King Towards a methodology for building ontologies In Workshop on Basic Ontological Issues in Knowledge Sharing, held in conjunction with IJCAI-95 AIAI-TR-183 1995 University of Edinburgh
104. T.R. Gruber Toward principles for the design of ontologies used for knowledge sharing? Int. J. Hum.-Comput. Stud. 43 1995 907 928
105. S. Staab, and R. Studer Handbook on Ontologies 2nd ed. International Handbooks on Information Systems 2009 Springer
106. P.R. Alexander, C. Nyulas, T. Tudorache, P.L. Whetzel, N.F. Noy, and M.A. Musen Semantic infrastructure to enable collaboration in ontology development W.W. Smari, G. Fox, CTS 2011 IEEE 423 430
107. A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L. Schneider Sweetening ontologies with DOLCE Proc. of the 13th Int. Conf. on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web (EKAW) 2002 Springer 166 181
108. V. Presutti, E. Blomqvist, E. Daga, and A. Gangemi Pattern-based ontology design M. del Carmen Suárez-Figueroa, A. Gómez-Pérez, E. Motta, A. Gangemi, Ontology Engineering in a Networked World 2012 Springer 35 64
109. A. Scherp, C. Saathoff, T. Franz, and S. Staab Designing core ontologies Appl. Ontol. 6 2011 177 221
110. N. Guarino, and C.A. Welty An overview of OntoClean S. Staab, R. Studer, Handbook on Ontologies International Handbooks on Information Systems 2004 Springer 151 172
111. A. Kusel, S. Mitsch, W. Retschitzegger, W. Schwinger, R. Mayr, J. Schönböck, Ontology-driven generation of multi-view modeling tools, in: A. Alexandridis (Ed.), Software Engineering, IASTED, Crete, Greece, 2012, pp. 45-51.
112. A. Salfinger, W. Retschitzegger, and W. Schwinger Maintaining situation awareness over time - a survey on the evolution support of situation awareness systems Conf. on Technologies and Applications of Artificial Intelligence (TAAI) 2013 IEEE
113. S. Mitsch, S.M. Loos, and A. Platzer Towards formal verification of freeway traffic control Proc. of the 3rd Int. Conf. on Cyber-Physical Systems 2012 IEEE/ACM 171 180
114. S. Mitsch, K. Ghorbal, and A. Platzer On provably safe obstacle avoidance for autonomous robotic ground vehicles Robotics: Science and Systems 2013 Springer
115. S. Mitsch, G.O. Passmore, and A. Platzer A vision of collaborative verification-driven engineering of hybrid systems M. Kerber, C. Lange, C. Rowat, Do-Form 2013 AISB 8 17