publications: - title: "Reference Architectures for Trustworthy Energy Management and Desktop Grid Computing Applications" author: - name: "Gerrit Anders" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/anders/" - name: "Lukas Klejnowski" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/" - name: "Jan-Philipp Steghöfer" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/" - name: "Florian Siefert" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/siefert/" - name: "Wolfgang Reif" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/" year: "2011" tags: - "architecture" researchr: "https://researchr.org/publication/refarch2011" cites: 0 citedby: 0 institution: "Universitätsbibliothek der Universität Augsburg" number: "2011-11" address: "Universitätsstr. 22, 86159 Augsburg" kind: "techreport" key: "refarch2011" - title: "Formal Specification and Analysis of Trusted Communities" author: - name: "Jan-Philipp Steghöfer" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/" - name: "Florian Nafz" link: "http://" - name: "Wolfgang Reif" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/" - name: "Yvonne Bernard" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/bernard/" - name: "Lukas Klejnowski" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/" - name: "Jörg Hähner" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/juniorprofessor/" - name: "Christian Müller-Schloer" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/fachgebietsleitung/" year: "2010" abstract: "Trusted Communities are a way to improve the performance of self-organising agent systems by limiting the interactions to trustworthy partners and excluding agents that behaved uncooperatively. We describe the mechanism in an abstract way and identify three central decisions each agent has to make if it supports Trusted Communities. Based on a formal specification of the agent behaviour in an instantiation of the mechanism for Desktop Grid Systems, we identify one of the system goals and show by formal verification that this goal is reached. Additionally, we provide certain requirements for the decision procedures that become evident during the analysis process. " tags: - "rule-based" - "analysis" researchr: "https://researchr.org/publication/steghoefer2010fstc" cites: 0 citedby: 0 booktitle: "Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems" kind: "inproceedings" key: "steghoefer2010fstc" - title: "Towards Trust in Desktop Grid Systems" author: - name: "Yvonne Bernard" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/bernard/" - name: "Lukas Klejnowski" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/" - name: "Jörg Hähner" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/juniorprofessor/" - name: "Christian Müller-Schloer" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/fachgebietsleitung/" year: "2010" doi: "http://doi.ieeecomputersociety.org/10.1109/CCGRID.2010.73" links: doi: "http://doi.ieeecomputersociety.org/10.1109/CCGRID.2010.73" researchr: "https://researchr.org/publication/bernard2010towards" cites: 0 citedby: 0 journal: "IEEE International Symposium on Cluster Computing and the Grid" kind: "article" key: "bernard2010towards" - title: "Trustworthy Organic Computing Systems: Challenges and Perspectives " author: - name: "Jan-Philipp Steghöfer" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/" - name: "Rolf Kiefhaber" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/sik/mitarbeiter/kiefhaber/" - name: "Karin Leichtenstern" link: "http://mm-werkstatt.informatik.uni-augsburg.de/Karin-Leichtenstern.html" - name: "Yvonne Bernard" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/bernard/" - name: "Lukas Klejnowski" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/" - name: "Wolfgang Reif" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/" - name: "Theo Ungerer" link: "http://www.informatik.uni-augsburg.de/lehrstuehle/sik/mitarbeiter/ungerer/" - name: "Elisabeth André" link: "http://mm-werkstatt.informatik.uni-augsburg.de/Elisabeth-Andre.html" - name: "Jörg Hähner" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/juniorprofessor/" - name: "Christian Müller-Schloer" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/fachgebietsleitung/" year: "2010" abstract: "Organic Computing (OC) systems dier from classical software systems as the topology and the participating components of the system are not predened and therefore are subject to unforeseeable change during the systems' runtime. Thus, completely new challenges to the verication and validation of such systems as well as for interactions between system components and, of course, between the system and the user arise. These challenges can be subsumed by the terms trustworthiness or trust. This paper proposes { after exploring the notions and principles of trust in the literature { a denition of trust which encompasses all aspects that dene the trustworthiness of an Organic Computing system. It then outlines the dierent research challenges that have to be tackled in order to provide an understanding of trust in OC-systems and gives perspectives on how this endeavour can be taken on. Current research initiatives in the area of trust in computing systems are reviewed and discussed." tags: - "software components" - "literature review" - "software component" - "principles" - "reviewing" researchr: "https://researchr.org/publication/steghoefer2010-tocs" cites: 0 citedby: 0 booktitle: "Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010)" kind: "inproceedings" key: "steghoefer2010-tocs" - title: "An architecture for trust-adaptive agents" author: - name: "Lukas Klejnowski" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/" - name: "Yvonne Bernard" link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/bernard/" - name: "Jörg Hähner" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/juniorprofessor/" - name: "Christian Müller-Schloer" link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/fachgebietsleitung/" year: "2010" tags: - "architecture" researchr: "https://researchr.org/publication/klejnowski2010" cites: 0 citedby: 0 booktitle: "Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems" kind: "inproceedings" key: "klejnowski2010"