Publikationen

Seite 1 von 14.

Rhea Rinaldo; Dieter Hutter
Dependency Graph Modularization for a Scalable Safety and Security Analysis
In: Maria Chiara Leva; Edoardo Patelli; Luca Podofillini; Simon Wilson (Hrsg.). 32nd European Safety and Reliability Conference. European Safety and …
Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller
Towards a secure and reliable IT-ecosystem in seaports
In: IAME 2021 Conference 'Accelerating Transitions'. Conference of the International Association of Maritime Economists (IAME-2021), November 24-27, …
Rhea Rinaldo; Dieter Hutter
Integrated Analysis of Safety and Security Hazards in Automotive Systems
In: Sokratis K. Katsikas; Frederic Cuppens (Hrsg.). ESORICS 2020 workshops CyberICPS, SECPRE, ADIoT. International Workshop on the Security of …
Victor Ferman; Dieter Hutter; Raul Monroy
WebMC for Browser Based Protocol Verification
In: Grigori Sidorov; Ulises Cortés (Hrsg.). Computación y Sistemas, Vol. 21, No. 1, Pages 101-114, Instituto Politécnico Nacional, Mexico, Mexico …
Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Peter Hevesi; Dieter Hutter; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; Torsten Spieldenner; Malte Wirkus; Ingo Zinnikus; Sirko Straube
Hybrid Teams of Humans, Robots and Virtual Agents in a Production Setting
In: Proceedings of the 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16), 12th, …
Helmar Hutschenreuter; Dieter Hutter
Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit
In: GI Informatik 2016. GI-Informatiktage (Informatik-2016), Workshop zur Nutzerzentrierten Sicherheit, September 26-30, Klagenfurt, Austria, LNI, GI, …
Serge Autexier; Dieter Hutter
SHIP - A Logic-Based Language and Tool to Program Smart Environments
In: Moreno Falaschi (Hrsg.). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based …
Berthold Hoffmann; Dieter Hutter; Hui Shi
Special Issue regarding Prof. Dr. Bernd Krieg-Bruckner's 66th birthday
In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 1-93, Institute …
Serge Autexier; Dieter Hutter
Structure Formation in Large Theories
In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July …
Bernd Krieg-Brückner
Chinese University Development Project
In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 95-111, Science …