Detailseite
Projekt Druckansicht

Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications

Fachliche Zuordnung Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
Förderung Förderung von 2005 bis 2014
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5454659
 
Erstellungsjahr 2008

Zusammenfassung der Projektergebnisse

Keine Zusammenfassung vorhanden

Projektbezogene Publikationen (Auswahl)

  • Applications and architectures in organic computing (dfg spp 1183 “organic computing”). Technical Report 21, Institut für Informatik, Universität Augsburg, 2006
    Matthias Güdemann, Florian Nafz, Andreas Pietzowski, Wolfgang Reif, Benjamin Satzger, Hella Seebach, and Theo Ungerer
  • Applications in organic computing (dfg spp 1183 “organic computing”). Technical Report 22, Institut für Informatik, Universität Augsburg, 2006
    Florian Nafz, Matthias Güdemann, Wolfgang Reif, and Hella Seebach
  • Formal modeling and verification of systems with self-x properties. In: Laurence T. Yang, Hai Jin, Jianhua Ma, and Theo Ungerer, editors, Proceedings of the Third International Conference on Autonomic and Trusted Computing (ATC-06), volume 4158 of Lecture Notes in Computer Science, pages 38–47, Berlin/Heidelberg, September 2006. Springer
    M. Güdemann, F. Ortmeier, and W. Reif
  • Safety and dependability analysis of selfadaptive systems. In: Proceedings of ISoLA 2006. IEEE CS Press, 2006
    M. Güdemann, F. Ortmeier, and W. Reif
  • Towards safe and secure organic computing applications. In: Christian Hochberger and Rüdiger Liskowsky, editors, INFORMATIK 2006 – Informatik für Menschen, volume P-93 of GI-Edition – Lecture Notes in Informatics, pages 153–160, Bonn, Germany, September 2006. Köllen Verlag
    Matthias Güdemann, Florian Nafz, Wolfgang Reif, and Hella Seebach
  • Design and Construction of Organic Computing Systems. In: Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, 2007
    Hella Seebach, Frank Ortmeier, and Wolfgang Reif
  • Modeling of self-adaptive systems with SCADE. In: Proceedings of the 2007 IEEE International Symposium on Circuits and Systems, ISCAS07. IEEE, 2007
    Matthias Güdemann, Andreas Angerer, Frank Ortmeier, and Wolfgang Reif
  • A specification and construction paradigm for organic computing systems. In: Sven Brueckner, Paul Robertson, and Umesh Bellur, editors, Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pages 233–242. IEEE Computer Society Press (2008), 2008
    Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif
  • Implementing Organic Systems with AgentService. In: Evaluation of Novel Approaches to Software Engineering ENASE 2008. Springer, 2008
    Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, and Wolfgang Reif
  • Organic computing for health care systems - possible benefits and challenges. In: HEALTHINF (2), pages 286–290, 2008
    Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung