EnTrust: Engineering Trustworthy Data-Intensive Systems

Potentialbereich, gefördert durch die Forschungsinitiative Rheinland-Pfalz

Projektbeschreibung


Data Science ist ein interdisziplinäres Gebiet, das wissenschaftliche Methoden, Prozesse, Algorithmen und Systeme verwendet, um Wissen aus und Einsichten in Daten zu gewinnen, die in unterschiedlichen Formaten vorliegen. Kennzeichnend für das Gebiet ist einerseits die hohe Signifikanz, die es aufweist. Aufgrund der gewonnenen Resultate werden zahlreiche wichtige Entscheidungen getroffen, die den einzelnen oder die Gesellschaft als Ganzes betreffen: Diagnosen, Therapien, Kreditentscheidungen, Raumplanungen, etc. Andererseits ist Data Science charakterisiert durch die iterative und empirischheuristische Vorgehensweise, mittels derer Wissen extrahiert und Entscheidungen abgeleitet werden. Was typischerweise zu kurz kommt, ist eine systematische, ingenieurorientierte Vorgehensweise, die Aussagen über die Qualität der Datenanalyse erlaubt.

Die Korrektheit von Softwaresystemen wird heute durch methodisches Vorgehen und formale Werkzeuge unterstützt oder gar bewiesen. Für Data Science und daraus entstehende datenintensive Software fehlt aber ein entsprechendes Inventar an Methoden, Prozessen, Algorithmen und Systemen, die zur Korrektheit beitragen. Insbesondere lässt sich auch nicht ohne weiteres "korrektes Verhalten" eines datenintensiven Systems beschreiben, denn das Ergebnis ist nicht vorherbestimmt und soll erst durch den Datenanalyseprozess gewonnen werden.

Das Ziel dieses Forschungsschwerpunktes ist es, methodische Vorgehensweisen und formale Werkzeuge zu erforschen, die die ingenieurmäßigen Entwicklung korrekter - oder zumindest vertrauenswürdiger - datenintensiver Software unterstützen. Dieses Ziel wird in verschiedenen Teilprojekten verfolgt, in einer Data-Science-Entwicklungsumgebung wie Jupyter implementiert, und in Anwendungsgebieten evaluiert werden.

Das Projekt beschäftigt sich mit den wissenschaftlichen Fragestellungen in Hinblick auf die Vertrauenswürdigkeit von Datenanalyse-Prozessen und ihrer Ergebnisse, die sich vor, zwischen und nach den einzelnen Phasen des Prozesses stellen. Vertrauenswürdige Daten-intensive Software muss demnach verschiedene Aspekte des Datenanalyse-Proezesses berücksichtigen. Diese werden in verschiedenen Teilprojekten untersucht:

Teilprojekt 1: Datenprovinienz
Prof. Dr. Rälf Lämmel, Prof. Dr. Steffen Staab
Woher kommen die Daten?
Teilprojekt 2: Compliance
Prof. Dr. Patrick Delfmann, Prof. Dr. Jan Jürjens, Prof. Dr. Andreas Mauthe
Welche Einschränkungen müssen bei der Datenanalyse und der Verwendung ihrer Ergebnisse berücksichtigt werden?
Teilprojekt 3: Erklärbarkeit
Prof. Dr. Viorica Sofronie-Stokkermans, PD Dr. Matthias Thimm, JProf. Dr. Claudia Wagner
Wie kommt die Software zu ihren Ergebnissen?
Teilprojekt 4: Resilienz
Prof. Dr. Andreas Mauthe, Prof. Dr. Steffen Staab, Prof. Dr. Jan Jürjens
Wie wird dabei eine Manipulation verhindert?

Publikationen


  • Martin Leinberger, Ralf Lämmel, Steffen Staab: The Essence of Functional Programming on Semantic Data. In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 750-776, 2017.
    @inproceedings{DBLP:conf/esop/LeinbergerLS17, author = {Martin Leinberger and Ralf L{\"{a}}mmel and Steffen Staab}, title = {The Essence of Functional Programming on Semantic Data}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, pages = {750--776}, year = {2017}, crossref = {DBLP:conf/esop/2017}, url = {https://doi.org/10.1007/978-3-662-54434-1_28}, doi = {10.1007/978-3-662-54434-1\_28}, timestamp = {Sat, 19 Oct 2019 20:28:04 +0200}, biburl = {https://dblp.org/rec/bib/conf/esop/LeinbergerLS17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas: Semantic Web Application Development with LITEQ. In: The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, pp. 212-227, 2014.
    @inproceedings{DBLP:conf/semweb/LeinbergerSLSTV14, author = {Martin Leinberger and Stefan Scheglmann and Ralf L{\"{a}}mmel and Steffen Staab and Matthias Thimm and Evelyne Viegas}, title = {Semantic Web Application Development with {LITEQ}}, booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}}, pages = {212--227}, year = {2014}, crossref = {DBLP:conf/semweb/2014-2}, url = {https://doi.org/10.1007/978-3-319-11915-1_14}, doi = {10.1007/978-3-319-11915-1\_14}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/bib/conf/semweb/LeinbergerSLSTV14}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Christoph Ringelstein, Steffen Staab: Papel: Provenance-Aware Policy Definition and Execution. In: IEEE Internet Computing, vol. 15, no. 1, pp. 49-58, 2011.
    @article{DBLP:journals/internet/RingelsteinS11, author = {Christoph Ringelstein and Steffen Staab}, title = {Papel: Provenance-Aware Policy Definition and Execution}, journal = {{IEEE} Internet Computing}, volume = {15}, number = {1}, pages = {49--58}, year = {2011}, url = {https://doi.org/10.1109/MIC.2010.128}, doi = {10.1109/MIC.2010.128}, timestamp = {Sat, 20 May 2017 00:25:47 +0200}, biburl = {https://dblp.org/rec/bib/journals/internet/RingelsteinS11}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Simon Schenk, Renata Queiroz Dividino, Steffen Staab: Using provenance to debug changing ontologies. In: J. Web Semant., vol. 9, no. 3, pp. 284-298, 2011.
    @article{DBLP:journals/ws/SchenkDS11, author = {Simon Schenk and Renata Queiroz Dividino and Steffen Staab}, title = {Using provenance to debug changing ontologies}, journal = {J. Web Semant.}, volume = {9}, number = {3}, pages = {284--298}, year = {2011}, url = {https://doi.org/10.1016/j.websem.2011.06.009}, doi = {10.1016/j.websem.2011.06.009}, timestamp = {Tue, 29 Jan 2019 12:27:03 +0100}, biburl = {https://dblp.org/rec/bib/journals/ws/SchenkDS11}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, Jan Jürjens: Model-based privacy and security analysis with CARiSMA. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 989-993, 2017.
    @inproceedings{DBLP:conf/sigsoft/AhmadianPRJ17, author = {Amir Shayan Ahmadian and Sven Peldszus and Qusai Ramadan and Jan J{\"{u}}rjens}, title = {Model-based privacy and security analysis with CARiSMA}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017}, pages = {989--993}, year = {2017}, crossref = {DBLP:conf/sigsoft/2017}, url = {https://doi.org/10.1145/3106237.3122823}, doi = {10.1145/3106237.3122823}, timestamp = {Wed, 25 Sep 2019 18:22:27 +0200}, biburl = {https://dblp.org/rec/bib/conf/sigsoft/AhmadianPRJ17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Jörg Becker, Patrick Delfmann, Hanns-Alexander Dietrich, Matthias Steinhorst, Mathias Eggert: Business process compliance checking - applying and evaluating a generic pattern matching approach for conceptual models in the financial sector. In: Information Systems Frontiers, vol. 18, no. 2, pp. 359-405, 2016.
    @article{DBLP:journals/isf/BeckerDDSE16, author = {J{\"{o}}rg Becker and Patrick Delfmann and Hanns{-}Alexander Dietrich and Matthias Steinhorst and Mathias Eggert}, title = {Business process compliance checking - applying and evaluating a generic pattern matching approach for conceptual models in the financial sector}, journal = {Information Systems Frontiers}, volume = {18}, number = {2}, pages = {359--405}, year = {2016}, url = {https://doi.org/10.1007/s10796-014-9529-y}, doi = {10.1007/s10796-014-9529-y}, timestamp = {Sat, 24 Nov 2018 11:58:54 +0100}, biburl = {https://dblp.org/rec/bib/journals/isf/BeckerDDSE16}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Dominic Breuker, Martin Matzner, Patrick Delfmann, Jörg Becker: Comprehensible Predictive Models for Business Processes. In: MIS Quarterly, vol. 40, no. 4, pp. 1009-1034, 2016.
    @article{DBLP:journals/misq/BreukerMDB16, author = {Dominic Breuker and Martin Matzner and Patrick Delfmann and J{\"{o}}rg Becker}, title = {Comprehensible Predictive Models for Business Processes}, journal = {{MIS} Quarterly}, volume = {40}, number = {4}, pages = {1009--1034}, year = {2016}, url = {http://misq.org/comprehensible-predictive-models-for-business-processes.html}, timestamp = {Thu, 22 Feb 2018 16:52:23 +0100}, biburl = {https://dblp.org/rec/bib/journals/misq/BreukerMDB16}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   URL 
  • Jens Bürger, Daniel Strüber, Stefan Gärtner, Thomas Ruhroth, Jan Jürjens, Kurt Schneider: A framework for semi-automated co-evolution of security knowledge and system models. In: Journal of Systems and Software, vol. 139, pp. 142-160, 2018.
    @article{DBLP:journals/jss/BurgerSGRJS18, author = {Jens B{\"{u}}rger and Daniel Str{\"{u}}ber and Stefan G{\"{a}}rtner and Thomas Ruhroth and Jan J{\"{u}}rjens and Kurt Schneider}, title = {A framework for semi-automated co-evolution of security knowledge and system models}, journal = {Journal of Systems and Software}, volume = {139}, pages = {142--160}, year = {2018}, url = {https://doi.org/10.1016/j.jss.2018.02.003}, doi = {10.1016/j.jss.2018.02.003}, timestamp = {Tue, 26 Mar 2019 15:10:24 +0100}, biburl = {https://dblp.org/rec/bib/journals/jss/BurgerSGRJS18}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Qusai Ramadan, Mattia Salnitri, Daniel Strüber, Jan Jürjens, Paolo Giorgini: From Secure Business Process Modeling to Design-Level Security Verification. In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 123-133, 2017.
    @inproceedings{DBLP:conf/models/RamadanS0JG17, author = {Qusai Ramadan and Mattia Salnitri and Daniel Str{\"{u}}ber and Jan J{\"{u}}rjens and Paolo Giorgini}, title = {From Secure Business Process Modeling to Design-Level Security Verification}, booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22, 2017}, pages = {123--133}, year = {2017}, crossref = {DBLP:conf/models/2017}, url = {https://doi.org/10.1109/MODELS.2017.10}, doi = {10.1109/MODELS.2017.10}, timestamp = {Mon, 02 Dec 2019 08:27:58 +0100}, biburl = {https://dblp.org/rec/bib/conf/models/RamadanS0JG17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Viorica Sofronie-Stokkermans: On Interpolation and Symbol Elimination in Theory Extensions. In: Logical Methods in Computer Science, vol. 14, no. 3, 2018.
    @article{DBLP:journals/lmcs/Sofronie-Stokkermans18, author = {Viorica Sofronie{-}Stokkermans}, title = {On Interpolation and Symbol Elimination in Theory Extensions}, journal = {Logical Methods in Computer Science}, volume = {14}, number = {3}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(3:23)2018}, doi = {10.23638/LMCS-14(3:23)2018}, timestamp = {Fri, 12 Oct 2018 16:14:07 +0200}, biburl = {https://dblp.org/rec/bib/journals/lmcs/Sofronie-Stokkermans18}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans: Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 186-202, 2015.
    @inproceedings{DBLP:conf/frocos/DammHS15, author = {Werner Damm and Matthias Horbach and Viorica Sofronie{-}Stokkermans}, title = {Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata}, booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings}, pages = {186--202}, year = {2015}, crossref = {DBLP:conf/frocos/2015}, url = {https://doi.org/10.1007/978-3-319-24246-0_12}, doi = {10.1007/978-3-319-24246-0_12}, timestamp = {Wed, 25 Sep 2019 18:06:13 +0200}, biburl = {https://dblp.org/rec/bib/conf/frocos/DammHS15}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Viorica Sofronie-Stokkermans: Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. In: Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, pp. 360-376, 2013.
    @inproceedings{DBLP:conf/cade/Sofronie-Stokkermans13, author = {Viorica Sofronie{-}Stokkermans}, title = {Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems}, booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, pages = {360--376}, year = {2013}, crossref = {DBLP:conf/cade/2013}, url = {https://doi.org/10.1007/978-3-642-38574-2\_25}, doi = {10.1007/978-3-642-38574-2\_25}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/bib/conf/cade/Sofronie-Stokkermans13}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Markus Ulbricht, Matthias Thimm, Gerhard Brewka: Measuring Strong Inconsistency. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 1989-1996, 2018.
    @inproceedings{DBLP:conf/aaai/UlbrichtTB18, author = {Markus Ulbricht and Matthias Thimm and Gerhard Brewka}, title = {Measuring Strong Inconsistency}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {1989--1996}, year = {2018}, crossref = {DBLP:conf/aaai/2018}, url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16383}, timestamp = {Tue, 23 Oct 2018 06:42:15 +0200}, biburl = {https://dblp.org/rec/bib/conf/aaai/UlbrichtTB18}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   URL 
  • Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata: Towards Artificial Argumentation. In: AI Magazine, vol. 38, no. 3, pp. 25-36, 2017.
    @article{DBLP:journals/aim/AtkinsonBGHPRST17, author = {Katie Atkinson and Pietro Baroni and Massimiliano Giacomin and Anthony Hunter and Henry Prakken and Chris Reed and Guillermo Ricardo Simari and Matthias Thimm and Serena Villata}, title = {Towards Artificial Argumentation}, journal = {{AI} Magazine}, volume = {38}, number = {3}, pages = {25--36}, year = {2017}, url = {https://www.aaai.org/ojs/index.php/aimagazine/article/view/2704}, timestamp = {Mon, 09 Oct 2017 16:13:59 +0200}, biburl = {https://dblp.org/rec/bib/journals/aim/AtkinsonBGHPRST17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   URL 
  • Fariba Karimi, Mathieu Génois, Claudia Wagner, Philipp Singer, Markus Strohmaier: Visibility of minorities in social networks. In: CoRR, vol. abs/1702.00150, 2017.
    @article{DBLP:journals/corr/KarimiGWSS17, author = {Fariba Karimi and Mathieu G{\'{e}}nois and Claudia Wagner and Philipp Singer and Markus Strohmaier}, title = {Visibility of minorities in social networks}, journal = {CoRR}, volume = {abs/1702.00150}, year = {2017}, url = {http://arxiv.org/abs/1702.00150}, archivePrefix = {arXiv}, eprint = {1702.00150}, timestamp = {Tue, 17 Sep 2019 14:15:20 +0200}, biburl = {https://dblp.org/rec/bib/journals/corr/KarimiGWSS17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   URL 
  • Claudia Wagner, Philipp Singer, Fariba Karimi, Jürgen Pfeffer, Markus Strohmaier: Sampling from Social Networks with Attributes. In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017, pp. 1181-1190, 2017.
    @inproceedings{DBLP:conf/www/WagnerSKPS17, author = {Claudia Wagner and Philipp Singer and Fariba Karimi and J{\"{u}}rgen Pfeffer and Markus Strohmaier}, title = {Sampling from Social Networks with Attributes}, booktitle = {Proceedings of the 26th International Conference on World Wide Web, {WWW} 2017, Perth, Australia, April 3-7, 2017}, pages = {1181--1190}, year = {2017}, crossref = {DBLP:conf/www/2017}, url = {https://doi.org/10.1145/3038912.3052665}, doi = {10.1145/3038912.3052665}, timestamp = {Tue, 11 Jun 2019 17:00:50 +0200}, biburl = {https://dblp.org/rec/bib/conf/www/WagnerSKPS17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Aniko Hannak, Claudia Wagner, David García, Alan Mislove, Markus Strohmaier, Christo Wilson: Bias in Online Freelance Marketplaces: Evidence from TaskRabbit and Fiverr. In: Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2017, Portland, OR, USA, February 25 - March 1, 2017, pp. 1914-1933, 2017.
    @inproceedings{DBLP:conf/cscw/HannakWGMSW17, author = {Aniko Hannak and Claudia Wagner and David Garc{\'{i}}a and Alan Mislove and Markus Strohmaier and Christo Wilson}, title = {Bias in Online Freelance Marketplaces: Evidence from TaskRabbit and Fiverr}, booktitle = {Proceedings of the 2017 {ACM} Conference on Computer Supported Cooperative Work and Social Computing, {CSCW} 2017, Portland, OR, USA, February 25 - March 1, 2017}, pages = {1914--1933}, year = {2017}, crossref = {DBLP:conf/cscw/2017}, url = {http://dl.acm.org/citation.cfm?id=2998327}, timestamp = {Tue, 12 Nov 2019 12:16:20 +0100}, biburl = {https://dblp.org/rec/bib/conf/cscw/HannakWGMSW17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   URL 
  • Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Volker Riediger, Jan Jürjens: Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings, pp. 179-198, 2018.
    @inproceedings{DBLP:conf/ecmdafa/Ramadan0SRJ18, author = {Qusai Ramadan and Daniel Str{\"{u}}ber and Mattia Salnitri and Volker Riediger and Jan J{\"{u}}rjens}, title = {Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models}, booktitle = {Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings}, pages = {179--198}, year = {2018}, crossref = {DBLP:conf/ecmdafa/2018}, url = {https://doi.org/10.1007/978-3-319-92997-2_12}, doi = {10.1007/978-3-319-92997-2\_12}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/bib/conf/ecmdafa/Ramadan0SRJ18}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Muhammad Azizi Mohd Ariffin, Angelos K. Marnerides, Andreas U. Mauthe: Multi-level resilience in networked environments: Concepts & principles. In: 14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017, pp. 272-275, 2017.
    @inproceedings{DBLP:conf/ccnc/AriffinMM17, author = {Muhammad Azizi Mohd Ariffin and Angelos K. Marnerides and Andreas U. Mauthe}, title = {Multi-level resilience in networked environments: Concepts {\&} principles}, booktitle = {14th {IEEE} Annual Consumer Communications {\&} Networking Conference, {CCNC} 2017, Las Vegas, NV, USA, January 8-11, 2017}, pages = {272--275}, year = {2017}, crossref = {DBLP:conf/ccnc/2017}, url = {https://doi.org/10.1109/CCNC.2017.7983118}, doi = {10.1109/CCNC.2017.7983118}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/bib/conf/ccnc/AriffinMM17}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Syed Noorulhassan Shirazi, Steven Simpson, Antonios Gouglidis, Andreas Mauthe, David Hutchison: Anomaly Detection in the Cloud Using Data Density. In: 9th IEEE International Conference on Cloud Computing, CLOUD 2016, San Francisco, CA, USA, June 27 - July 2, 2016, pp. 616-623, 2016.
    @inproceedings{DBLP:conf/IEEEcloud/ShiraziSGMH16, author = {Syed Noorulhassan Shirazi and Steven Simpson and Antonios Gouglidis and Andreas Mauthe and David Hutchison}, title = {Anomaly Detection in the Cloud Using Data Density}, booktitle = {9th {IEEE} International Conference on Cloud Computing, {CLOUD} 2016, San Francisco, CA, USA, June 27 - July 2, 2016}, pages = {616--623}, year = {2016}, crossref = {DBLP:conf/IEEEcloud/2016}, url = {https://doi.org/10.1109/CLOUD.2016.0087}, doi = {10.1109/CLOUD.2016.0087}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/bib/conf/IEEEcloud/ShiraziSGMH16}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI 
  • Angelos K. Marnerides, Dimitrios P. Pezaros, Joemon M. Jose, Andreas U. Mauthe, David Hutchison: A Situation Aware Information Infrastructure (SAI2) Framework. In: Smart Objects and Technologies for Social Good - Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 - December 1, 2016, Proceedings, pp. 186-194, 2016.
    @inproceedings{DBLP:conf/goodtechs/MarneridesPJMH16, author = {Angelos K. Marnerides and Dimitrios P. Pezaros and Joemon M. Jose and Andreas U. Mauthe and David Hutchison}, title = {A Situation Aware Information Infrastructure (SAI2) Framework}, booktitle = {Smart Objects and Technologies for Social Good - Second International Conference, {GOODTECHS} 2016, Venice, Italy, November 30 - December 1, 2016, Proceedings}, pages = {186--194}, year = {2016}, crossref = {DBLP:conf/goodtechs/2016}, url = {https://doi.org/10.1007/978-3-319-61949-1_20}, doi = {10.1007/978-3-319-61949-1_20}, timestamp = {Fri, 03 May 2019 08:16:21 +0200}, biburl = {https://dblp.org/rec/bib/conf/goodtechs/MarneridesPJMH16}, bibsource = {dblp computer science bibliography, https://dblp.org} }
     BibTeX   DOI