fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: CAT

Liste als BibTeX-Datei exportieren

2024

2023

  • August 2023 Generating Event-Based Datasets for Robotic Applications Using MuJoCo-ESIM Camilo Amaya, Gintautas Palinauskas, Evan Eames, Michael Neumeier und Axel von Arnim In Proceedings of the 2023 International Conference on Neuromorphic Systems, Band 1 von ICONS 23, Seiten 7, New York, NY, USA, Association for Computing Machinery, Association for Computing Machinery. Details URL DOI BIB
  • Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir, Michell Guzman Cancimance, Cook Alasdair, Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details URL DOI BIB

2021

  • Dezember 2021 Requirements for Reliable Wireless Industrial Services (draft-ietf-raw-industrial-requirements-00) Rute C. Sofia, Matthias Kovatsch und Paulo M. Mendes Details URL BIB
  • Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne, Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, CEUR-WS. Details URL BIB

2020

2019

  • Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Springer, Cham. Details DOI BIB
  • Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani, Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB

2018

  • Februar 2018 Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication Caren Dripke, Ben Schneider, Mihai Dragan und Alexander Verl In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, Details PDF BIB
  • 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes, Javier Troya, Levi Lúcio und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB