Publications

Page 1 of 14.

Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth
How Deduction Systems Can Help You To Verify Stability Properties
In: Conference on Decision and Control. IEEE Conference on Decision and Control (CDC-2024), December 16-19, Milano, Italy, Vol. abs/2404.10747, IEEE, 2024.
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 Reliability Conference (ESREL-2022), August 28 - September 1, Dublin, Ireland, Research Publishing, Singapore, 2022.
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, Rotterdam, Netherlands, arxiv.org/abs/2111.13436, 2021.
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 Industrial Control Systems and of Cyber-Physical Systems (CyberICPS-2020), located at ESORICS 2020, September 14-18, online, United Kingdom, Lecture Notes in Computer Science (LNCS), Vol. 12501, Springer, 11/2020.
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 City, 4/2017.
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, September 12-13, London, United Kingdom, IEEE, 9/2016.
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, 2016.
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 Program Synthesis and Transformation (LOPSTR-2015), July 13-15, Siena, Italy, Pages 313-330, Lecture Notes in Computer Science, (LNCS), Vol. 9527, Springer-Verlag, 11/2015.
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 of Software, the Chinese Academy of Sciences, 8/2015.
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 13-17, Washington, DC, USA, Lecture Notes on Artificial Intelligence (LNAI), Springer, 7/2015.