Abstraction of Communication Channels in Promela: A Case Study. - Elena Fersman; Bengt Jonsson 001 (SPIN, 2000)

TIMES - A Tool for Modelling and Implementation of Embedded Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Timed Automata with Asynchronous Processes: Schedulability and Decidability. - Elena Fersman; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Code Synthesis for Timed Automata. - Tobias Amnell; Elena Fersman; Paul Pettersson; Hongyan Sun; Wang Yi 001 (Nord. J. Comput., 2002)

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (FORMATS, 2003)

Schedulability Analysis Using Two Clocks. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2003)

A Generic Approach to Schedulability Analysis of Real-Time Systems. - Elena Fersman (2003)

A Generic Approach to Schedulability Analysis of Real-Time Tasks. - Elena Fersman; Wang Yi 001 (Nord. J. Comput., 2004)

Schedulability analysis of fixed-priority systems using timed automata. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (Theor. Comput. Sci., 2006)

Task automata: Schedulability, decidability and undecidability. - Elena Fersman; Pavel Krcál; Paul Pettersson; Wang Yi 001 (Inf. Comput., 2007)

Towards automated service-oriented lifecycle management for 5G networks. - Rafia Inam; Athanasios Karapantelakis; Konstantinos Vandikas; Leonid Mokrushin; Aneta Vulgarakis Feljan; Elena Fersman (ETFA, 2015)

DevOps for IoT Applications Using Cellular Networks and Cloud. - Athanasios Karapantelakis; Hongxin Liang; Keven Wang; Konstantinos Vandikas; Rafia Inam; Elena Fersman; Ignacio Mulas-Viela; Nicolas Seyvet; Vasileios Giannokostas (FiCloud, 2016)

Feasibility assessment to realise vehicle teleoperation using cellular networks. - Rafia Inam; Nicolas Schrammar; Keven Wang; Athanasios Karapantelakis; Leonid Mokrushin; Aneta Vulgarakis Feljan; Elena Fersman (ITSC, 2016)

KMARF: A Framework for Knowledge Management and Automated Reasoning. - Aneta Vulgarakis Feljan; Athanasios Karapantelakis; Leonid Mokrushin; Rafia Inam; Elena Fersman; Carlos R. B. Azevedo; Klaus Raizer; Ricardo S. Souza (DIAS/EDUDM@ISEC, 2017)

A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems. - Aneta Vulgarakis Feljan; Athanasios Karapantelakis; Leonid Mokrushin; Hongxin Liang; Rafia Inam; Elena Fersman; Carlos R. B. Azevedo; Klaus Raizer; Ricardo S. Souza (CoRR, 2017)

Risk Assessment for Human-Robot Collaboration in an automated warehouse scenario. - Rafia Inam; Klaus Raizer; Alberto Y. Hata; Ricardo S. Souza; Elena Fersman; Enyu Cao; Shaolei Wang (ETFA, 2018)

A Fuzzy logic, risk-based autonomous vehicle control approach and its impacts on road transportation safety. - Lucio Flavio Vismari; João B. Camargo Junior; Jamil Kalil Naufal Jr.; Jorge Rady de Almeida Jr.; Caroline Bianca Santos Tancredi Molina; Rafia Inam; Elena Fersman; Maria V. Marquezini (ICVES, 2018)

Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation. - Caroline Bianca Santos Tancredi Molina; Lucio Flavio Vismari; T. Fuji; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Alberto Y. Hata; M. V. Marquezini (SAFECOMP Workshops, 2018)

Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety. - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Alberto Y. Hata; M. V. Marquezini (SAFECOMP Workshops, 2018)

A2CPS: A Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems. - Jamil Kalil Naufal Jr.; João Batista Camargo Jr.; Lucio Flavio Vismari; Jorge Rady de Almeida Jr.; Caroline Bianca Santos Tancredi Molina; Rodrigo Ignacio R. Gonzalez; Rafia Inam; Elena Fersman (IEEE Trans. Intell. Transp. Syst., 2018)

Linked Data Architecture for Plan Execution in Distributed CPS. - Andrii Berezovskyi; Jad El-khoury; Elena Fersman (ICIT, 2019)

Efficient State Update Exchange in a CPS Environment for Linked Data-based Digital Twins. - Andrii Berezovskyi; Rafia Inam; Jad El-khoury; Martin Törngren; Elena Fersman (INDIN, 2019)

Explainability Methods for Identifying Root-Cause of SLA Violation Prediction in 5G Network. - Ahmad Terra; Rafia Inam; Sandhya Baskaran; Pedro Batista 002; Ian Burdick; Elena Fersman (GLOBECOM, 2020)

A deep-Q learning approach to mobile operator collaboration. - Athanasios Karapantelakis; Elena Fersman (J. Commun. Networks, 2020)

A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety. - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Caroline Bianca Santos Tancredi Molina; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Maria Valéria Marquezini; Alberto Yukinobu Hata (IEEE Trans. Intell. Transp. Syst., 2020)

Towards 5G-Aware Robot Planning for Industrial Applications. - Nils Jörgensen; Ajay Kattepur; Swarup Mohalik; Aneta Vulgarakis; Elena Fersman (ETFA, 2022)

Using Counterfactuals to Proactively Solve Service Level Agreement Violations in 5G Networks. - Ahmad Terra; Rafia Inam; Pedro Batista 002; Elena Fersman (INDIN, 2022)

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness. - José Manuel Gaspar Sánchez; Nils Jörgensen; Martin Törngren; Rafia Inam; Andrii Berezovskyi; Lei Feng 002; Elena Fersman; Muhammad Rusyadi Ramli; Kaige Tan (ACM Trans. Cyber Phys. Syst., 2022)

Confessions of an AI Brain - Elena Fersman; Paul Pettersson; Athanasios Karapantelakis (Springer, 2023)

RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration. - Nils Jörgensen; Ajay Kattepur; Swarup Mohalik; Aneta Vulgarakis; Elena Fersman (ETFA, 2023)

A Taxonomical Framework for Autonomic Computing Within Cyber-Physical Systems of Systems. - Andrii Berezovskyi; Leonid Mokrushin; Fredrik Asplund; Jad El-khoury; Rafia Inam; Elena Fersman (J. Integr. Des. Process. Sci., 2023)

Integrating systems of systems with a federation of rule engines. - Andrii Berezovskyi; Rafia Inam; Jad El-khoury; Leonid Mokrushin; Elena Fersman (J. Ind. Inf. Integr., 2024)

To Sifu - Supervision, Mentorship and Lifelong Bond. - Elena Fersman; Paul Pettersson (Real Time and Such, 2025)