Robotics Innovation Center

Page 1 of 14.

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.

7. 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.

8. 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.

9. 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.

10. 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.

• 1
• 2
• 3
• …
• 14
• next