Liste als BibTeX-Datei exportieren

2023

• Februar 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp, Simon Barner und Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), Seiten 180-191, SciTePress. Details DOI BIB

2021

• Mai 2021 A Performance Analysis of Internet of Things Networking Protocols: Evaluating MQTT, CoAP, OPC UA Daniel Maniglia da Silva, Liliana I. Carvalho, José Soares und Rute C. Sofia MDPI Appl. Sci. 2021, 11(11), 4879; Highly Cited Paper Award, ():, Mai 2021. Details URL DOI BIB

2020

• Juni 2020 Global Mobility Management for Next Generation Networks Rute C. Sofia Band ISBN-13: 978-1-5275-4848-0, ISBN-10: 1-5275-4848-1. Cambridge Scholars, , 2020 Computer Science Ausgabe, Juni 2020. Details URL BIB

2017

• Januar 2017 Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Murat Kirtay, Igor Peric, Oliver Denninger, Nino Cauli, Arne Roennau, Gudrun Klinker, Axel von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martinez-Canada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Huber, David Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillmann, Paul Levi, Cecilia Laschi, Alois Knoll und Marc-Oliver Gewaltig Frontiers in Neurorobotics, ():, Januar 2017. Details URL PDF DOI BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, Details DOI BIB

2016

• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy und Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, IEEE. Details DOI BIB

2014

• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil, Alejandro Prieto und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, Springer. Details DOI BIB