Scientific Publications

  1. Alexandre M. 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 V. Marquezini, Alberto Y. Hata. A Systematic Literature Review about the impact of Artificial Intelligence on Autonomous Vehicle Safety. CoRR abs/1904.02697 (2019).
  2. Andrii Berezovskyi, Jad El-Khoury, Elena Fersman. Linked Data Architecture for Plan Execution in Distributed CPS. (Proceedings of the 20th IEEE International Conference on Industrial Technology (ICIT), February 2019).
  3. C.B.S.T. Molina, L.F. Vismari, T.Y. Fujii, J.B. Camargo Jr, J.R. de Almeida Jr, Rafia Inam, Elena Fersman, A. Hata and M.V. Marquezini. Enhancing sensor capabilities of open-source simulation tools to support autonomous vehicles safety validation. (Proceedings of the 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018), September 2018).
  4. Rafia Inam, Klaus Raizer, Alberto Hata, Ricardo Souza, Elena Fersman, Enyu Cao, Shaolei Wang. Risk Assessment for Human-Robot Collaboration in an automated warehouse scenario. (Accepted for publication in proceedings of IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA 2018), September 2018).
  5. Alexandre Moreira Nascimento, Lucio Vismari, Paulo Cugnasca, Joao Camargo Jr., Jorge Almeida Jr., Rafia Inam, Elena Fersman, Alberto Hata and Maria Marquezini. Concerns on the differences between AI and system safety mindsets impacting autonomous vehicles safety. (Accepted for publication in proceedings of First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018), September 2018.)
  6. Rafia Inam, Elena Fersman, Klaus Raizer, Ricardo Souza, Amadeu Nascimento Jr., Alberto Hata. Safety for Automated Warehouse exhibiting collaborative robots. (Proceedings of European Safety and Reliability Conference, June 2018.)
  7. Naufal, Jamil; Camargo, Joao; Vismari, Lucio; Almeida Jr., Jorge; Molina, Caroline; Inam, Rafia; Fersman, Elena; M.V. Marquezini. Assessing autonomous vehicles behavior and their impacts over the Road Transportation Systems safety and efficiency by a simulation-based safety analysis framework. (Proceedings of European Safety and Reliability Conference, June 2018.)
  8. Didem Gürdür, Aneta Vulgarakis Feljan, Jad El-khoury, Swarup Kumar Mohalik, Ramamurthy Badrinath, Anusha Pradeep Mujumdar, Elena Fersman. Knowledge Representation of Cyber-Physical Systems for Monitoring Purpose. (Proceedings of 51st CIRP Conference on Manufacturing Systems, May 2018.)
  9. Naufal, Jamil; Camargo, Joao; Vismari, Lucio; Almeida Jr., Jorge; Molina, Caroline; Gonzales, Ignacio; Azevedo, Carlos; Inam, Rafia; Fersman, Elena. A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems. (IEEE Transactions on Intelligent Transportation Systems, volume 9, issue 6, June 2018.)
  10. Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin, Rafia Inam, Elena Fersman, Carlos R. B. Azevedo, Klaus Raizer and Ricardo S. Souza. KMARF: A Framework for Knowledge Management and Automated Reasoning. (Proceedings of Workshop on Development aspects of Intelligent Adaptive Systems, 2017)
  11. Rafia Inam, Nicolas Schrammar, Keven Wang, Athanasios Karapantelakis, Leonid Mokrushin, Aneta Vulgarakis Feljan, Elena Fersman. Feasibility Assessment to Realise Vehicle Teleoperation using Cellular Networks. (Proceedings of 19th IEEE Intelligent Transportation Systems Conference, 2016.)
  12. Athanasios Karapantelakis, Hongxin Liang, Keven Wang, Rafia Inam, Elena Fersman, Ignacio Mulas-Viela, Nicolas Seyvet, Vasileios Giannokostas and Konstantinos Vandikas. DevOps for IoT Applications using Cellular Networks and Cloud. (Proceedings of 4th IEEE International Conference on Future Internet of Things and Cloud, 2016.)
  13. Rafia Inam, Athanasios Karapantelakis, Konstantinos Vandikas, Leonid Mokrushin, Aneta Vulgarakis Feljan, Elena Fersman. Towards automated service-oriented lifecycle management for 5G networks. (Proceedings of 20th IEEE International Conference on Emerging Technologies and Factory Automation, 2015.)
  14. Elena Fersman, Paul Krcal, Paul Pettersson and Wang Yi. Task Automata: Schedulability, Decidability and Undecidability (Information and Computation 205 (8), 1149-1172, 2007.)
  15. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi. Schedulability Analysis of Fixed-Priority Systems using Timed Automata (Theoretical Computer Science 354 (2), 301-317, 2006.)
  16. Elena Fersman. A Generic Approach to Schedulability Analysis of Real-Time Systems. (Ph.D. Thesis, Uppsala Dissertations from Faculty of Science and Technology 49, ISBN 91-554-5774-6, ISSN 1104-2516, Uppsala University, November 2003.)
  17. Elena Fersman and Wang Yi. A Generic Approach to Schedulability Analysis of Real-Time Tasks. (Nordic Journal of Computing (NJC), pp.129-147, 2003.)
  18. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. (Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems,FORMATS 2003, Marseille, France, September 6-7, 2003.)
  19. Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis using Two Clocks. (Proceedings of 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Warsaw, Poland, April 7-11, 2003), Springer-Verlag, LNCS 2619, pages 224-239, Hubert Garavel, John Hatcliff (Eds.), 2003.
  20. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. Code Synthesis for Timed Automata. (Nordic Journal of Computing (NJC), pp.269-300, 2002.)
  21. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times – A Tool for Modelling and Implementation of Embedded Systems. (Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, Grenoble, France, April 8-12, 2002), pp.460-464, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
  22. Elena Fersman, Paul Pettersson, and Wang Yi. Timed Automata with Asynchronous Processes: Schedulability and Decidability. (Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, Grenoble, France, April 8-12, 2002), pp.67-82, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
  23. Tobias Amnell, Alexandre David, Elena Fersman, M.Oliver Möller, Paul Pettersson, and Wang Yi. Tools for Real-Time UML: Formal Verification and Code Synthesis. (Proceedings of workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, SIVOES 2001, Budapest, Hungary, June 18-22, 2001.
  24. Elena Fersman and Bengt Jonsson. Abstraction of Communication Channels in Promela: A Case Study. (Proceedings of 7th International SPIN Workshop, SPIN 2000, Stanford, CA, USA, August 30 – September 1, 2000), pp.187-204, Springer-Verlag, 2000. Lecture Notes in Computer Science, Vol.1885.