fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2021

  • September 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur , Ulrich Schöpp and Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, September 2021. ACM. Details DOI BIB
  • August 2021 A Spiking Central Pattern Generator for the control of a simulated lamprey robot running on SpiNNaker and Loihi neuromorphic boards Emmanouil Angelidis , Emanuel Buchholz , Jonathan Patrick Arreguit O'Neil , Alexis Rougé , Terrence Stewart , Axel von Arnim , Alois Knoll and Auke Ijspeert Neuromorphic Computing and Engineering, 1(1):, August 2021. Details URL DOI BIB
  • August 2021 How Business Model Innovation fosters Organizational Resilience during COVID-19 Norman Schaffer , Patricia Garoz Pérez and Jörg Weking In Americas Conference on Information Systems (AMCIS) 2021, 2021, August 2021. Details BIB
  • August 2021 Safety Case Maintenance: A Systematic Literature Review Carmen Cârlan , Barbara Gallina and Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 12852 of LNCS, pages 115–129, August 2021. Springer, Cham. Details DOI BIB
  • July 2021 A generic type system for featherweight Java Ulrich Schöpp and Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, pages 9–15, July 2021. ACM. Details DOI BIB
  • July 2021 Empowering Workers in a Mixed Skills Concept for Collaborative Robot Systems Norbert Huchler , Ingmar Kessler , Florian Lay , Alexander Perzylo , Michael Seidler and Franz Steinmetz In Workshop on Accessibility of Robot Programming and Work of the Future, Robotics: Science and Systems (RSS), July 2021. Details URL BIB
  • July 2021 Forward Reasoning Decision Support: Toward a More Complete View of the Human-AI Interaction Design Space Zelun Tony Zhang , Yuanting Liu and Heinrich Hußmann In CHItaly '21: 14th Biannual Conference of the Italian SIGCHI Chapter, pages 18:1-18:5, July 2021. Details DOI BIB
  • July 2021 How to Manage Output Uncertainty: Targeting the Actual End User Problem in Interactions with AI Zelun Tony Zhang and Heinrich Hußmann In Joint Proceedings of the ACM IUI 2021 Workshops, July 2021. Details URL BIB
  • July 2021 Supercap-Python: An Open-source Python based Super capacitor Modelling Package Venkatesh Pampana , Daniel Lavin , Markus Duchon and Ankit Srivastava In ICGET 2021, July 2021. Details BIB
  • July 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering , Christoph Niedermeier , Ioana Olaru , Ulrich Schöpp , Kilian Telschig and Michael Villnow IEEE Computer, 54(7):57-68, July 2021. Details DOI BIB
  • June 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2021. IEEE. Details DOI BIB
  • June 2021 Dynamic Texture Recognition via Nuclear Distances on Kernelized Scattering Histogram Spaces Alexander Sagel , Julian Wörmann and Hao Shen In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages 3755–3759, June 2021. Details DOI BIB
  • June 2021 FROM SPECIALIZATION TO PLATFORMIZATION: BUSINESS MODEL EVOLUTION IN THE CASE OF SERVICENOW Norman Schaffer , Matthias Ritzenhoff , Martin Engert and Helmut Krcmar In Twenty-Ninth European Conference on Information Systems (ECIS 2021), 2021, June 2021. Details PDF BIB
  • June 2021 Neural Network and Correlation based Earth-Fault Localization utilizing a Digital Twin of a Medium-Voltage Grid Julian Wörmann , Melanie Urban , David Grubinger , Nuno Silva and Hans-Peter Schwefel In e-Energy '21: Proceedings of the Twelfth ACM International Conference on Future Energy Systems, pages 249–253, June 2021. Details DOI BIB
  • June 2021 Sensitivity Analysis of Earth Fault Localization based on Voltage Signatures in Medium Voltage Grids Julian Wörmann , Ehsan Tafehi , Markus Duchon , Nuno Silva and Hans-Peter Schwefel In ICC 2021 - IEEE International Conference on Communications, June 2021. IEEE. Details DOI BIB
  • May 2021 A Performance Analysis of Internet of Things Networking Protocols: Evaluating MQTT, CoAP, OPC UA Daniel Maniglia da Silva , Liliana I. Carvalho , José Soares and Rute C. Sofia MDPI Appl. Sci. 2021, 11(11), 4879; Highly Cited Paper Award, ():, May 2021. Details URL DOI BIB
  • May 2021 Holonic architectures for IoT-empowered energy management in districts Jan Mayer , Venkatesh Pampana , Michael Bernard , Denis Bytschkow , Thomas Stohl , Pragya Kirti Gupta and Markus Duchon In WF-IOT IEEE Conference, May 2021. Details BIB
  • April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu , Arne Nordmann , Peter Munk , Carmen Cârlan and Markus Voelter Domain-Specific Languages in Practice, ():131–164, April 2021. Details DOI BIB
  • April 2021 Smart Self-Adaptive Cyber-Physical Systems: How can Exploration and Learning Improve Performance in a Partially Observable Multi-Agent Context? Ana Petrovska , Malte Neuss , Sebastian Bergemann , Martin Büchner and Ansab Shohab In ADAPTIVE 2021: The Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, April 2021. Details URL BIB
  • March 2021 IoT Thing To Service Semantic Matching Nisrine Bnouhanna , Rute C. Sofia and Alexander Pretschner In inProc IEEE Percom 2021 (Best PhD paper award), March 2021. 2021 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). Details URL DOI BIB