Beispiel: Einfache Liste mit BibTeX- und Volltext-Links

  • Christof Budnik, Sebastian Eckl and Marco Gario: A Hybrid Testbed for Verification of Cyber-physical Production Systems. 4th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, 2017 mehr… BibTeX
  • Sebastian Eckl, Daniel Krefft, Uwe Baumgarten: Migration of Components and Processes as means for dynamic Reconfiguration in Distributed Embedded Real-Time Operating Systems. OSPERT 2017, 2017 the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications mehr… BibTeX
  • Prehofer, C.; Horst, O.; Dodi, R.; Geven, A.; Kornaros, G.; Montanari, E.; Paolino, M.: Towards Trusted Apps platforms for open CPS. 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), 2016 mehr… BibTeX Volltext ( DOI )
  • Ruhland, Andreas; Prehofer, Christian; Horst, Oliver: embSFI: An Approach for Software Fault Isolation in Embedded Systems. 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2016co-located with the IEEE Real-Time Systems Symposium 2016 mehr… BibTeX
  • Kannengiesser, Nils; Neutze, Johannes; Baumgarten, Uwe; Song, Sejun;: An Insight to Cracking Solutions and Circumvention of Major Protection Methods for Android. International Symposium on Ambient Intelligence and Embedded Systems, 2016 mehr… BibTeX