Export list as BibTeX file

2024

• May 2024 A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design Yuri Gil Dantas , Vivek Nigam and Ulrich Schöpp SN Computer Science, 5(5):, May 2024. Details DOI BIB

2023

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

2021

• 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

2020

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

2017

• January 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 and Marc-Oliver Gewaltig Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB

2016

• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Fernando Eizaguirre , Anatoly Vasilevskiy and Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. 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 and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB