Journal Articles

  1. Doaa Nabil, Abeer Mosad, and Hesham A. Hefny, “Web-Based Applications quality factors: A survey and a proposed conceptual model”, Egyptian Informatics Journal, 12 (3), 211-217, DOI: 10.1109/EDCC.2017.20, 2017. (Open Access)
  2. Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, and Karl Meinke, “Machine Learning for Dynamic Software Analysis: Potentials and Limits”, Dagstuhl Reports, 6 (4), 161-173, DOI: 10.4230/DagRep.6.4.161, 2016. (Open Access)
  3. Amirhossein Moravejosharieh, and Jaime Lloret, “A survey of IEEE 802.15.4 effective system parameters for wireless body sensor networks”, International Journal of Communication Systems, 29 (7), 1205-1337, DOI: 10.1002/dac.3098, 2016.
  4. Timo Sukuvaara, Kari Mäenpää, and Riika Ylitalo, “Vehicular networking and road weather related research in Sodankylä”, Geoscientific Instrumentation, Methods and Data Systems, 5, 513-520, DOI 10.5194/gi-5-513-2016, 2016. (Open Access)
  5. Ali Balador, Carlos T. Calafate, Juan-Carlos Can, and Pietro Manzoni, “A Density-Based Contention Window Control Scheme for Unicast Communications in Vehicular Ad Hoc Networks”, International Journal of Ad Hoc and Ubiquitous Computing, 24 (1/2), 65-75, DOI: 10.1504/ijahuc.2017.10001713; 10.1504/IJAHUC.2017.080913, 2017. (Open Access)
  6. Paul Pop, Detlef Scholle, Irfan Sljivo, Hans Hansson, Gunnar Widforss, and Malin Rosqvist, “Safe Cooperating Cyber-Physical Systems using Wireless Communication”, M. 2017, Microprocessors and Microsystems, 53, 42-50, DOI 10.1016/j.micpro.2017.07.003, 2017.
  7. Hung Tran, Johan Åkerberg, Mats Björkman, and Ha-Vu Tran, “RF Energy Harvesting: An Analysis of Wireless Sensor Networks for Reliable Communication”, Wireless Networks, DOI 10.1007/s11276-017-1546-6, 2017. (Open Access)
  8. Saeid Aghaeinezhadfirouzja, Hui Liu, andAli Balador, “Practical 3-D Beam Pattern Based Channel Modeling for Multi-Polarized Massive MIMO Systems”, Sensors, 18, 1186, DOI: 10.3390/s18041186, 2018. (Open Access)
  9. Saifullah Khan, Muhammad Alam, Martin Fränzle, Nils Müllner, and Yuanfang Chen, “A Traffic Aware Segment-based Routing Protocol for VANETs in Urban Scenarios”, Computers & Electrical Engineering, 68, 447-462, DOI: 10.1016/j.compeleceng.2018.04.017, 2018.
  10. Harrison Kurunathan, Ricardo Severino, Anis Koubâa, and Eduardo Tovar, “IEEE 802.15.4e in a Nutshell: Survey and Performance Evaluation”, IEEE Communications Surveys & Tutorials (COMST. 2018), IEEE, DOI: 10.1109/COMST.2018.2800898, 2018.
  11. Nguyen Thi Phuoc Van, Syed Faraz Hasan, Xiang Gui, Subhas Mukhopadhyay, and Hung Tran, “Three-Step Two-Way Decode and Forward Relay With Energy Harvesting”, IEEE Communications Letters, 21 (4), 857-860, DOI: 10.1109/LCOMM.2016.2637891, 2018.
  12. Hung Tran, Johan Åkerberg, Mats Björkman, and Ha-Vu Tran, “Supporting Beacon and Event-Driven Messages in Vehicular Platoons through Token-Based Strategies”, Sensors, 18, 955, DOI: 10.3390/s18040955, 2018. (Open Access)
  13. Ali Baldor et al. “Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems”, Sensors, 18(11), 4075, DOI: 10.3390/s18114075, 2018. (Open Access)
  14. Ali Balador et al. “Supporting Beacon and Event-Driven Messages in Vehicular Platoons through Token Based Strategies“, Sensors, 2018. (Open Access)
  15. N. Bonjorn, F. Foukalas, F. Canellas and P. Pop, “Cooperative resource allocation and scheduling for 5G eV2X services”, IEEE Access, pp. 1-1, January 2019

 

Conference and Workshop Papers

  1. Ali Balador, Annette Bohm, Elisabeth Uhlemann, Carlos T. Calafate, and Juan-Carlos Cano. “A Reliable and Efficient Token-Based MAC Protocol for Platooning Applications”. Swedish National Computer Networking Workshop (SNCNW’2016), Sundsvall, Sweden, June 1-2, 2016. (Open Access)
  2. Giovanni Agosta, Alessandro Barenghi, Carlo Brandolese, William Fornaciari, Gerardo Pelosi, Stefano Delucchi, Massimo Massa, Maurizio Mongelli, Enrico Ferrari, Leonardo Napoletani, Luciano Bozzi, Carlo Tieri, Dajana Cassioli, and Luigi Pomante. “V2I Cooperation for Traffic Management with SafeCOP”. In Proceedings of Euromicro DSD, ASAIT special session, Limassol, Cyprus, August-September 2016. DOI: 10.1109/DSD.2016.18
  3. Ali Balador, Annette Bohm, Carlos T. Calafate, and Juan-Carlos Cano. “A Reliable Token-Based MAC Protocol for V2V Communication in Urban VANET”. International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC’16), Valencia, Spain, September 4-7, 2016. DOI: 10.1109/PIMRC.2016.7794823
  4. Omar Jaradat, and Iain Bate, “Systematic Maintenance of Safety Cases to Reduce Risk”. International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016), Trondheim, Norway, September 20, 2016. DOI: 10.1007/978-3-319-45480-1_2
  5. Irfan Sljivo, Barbara Gallina, Jan Carlson, and Hans Hansson, “Configuration-aware Contracts”. International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016), Trondheim, Norway, September 20, 2016. DOI: 10.1007/978-3-319-45480-1_4
  6. Nils Mullner, Saifullah Khan, Md Habibur Rahman, Wasif Afzal, and Mehrdad Saadatmand, “Simulation-Based Safety Testing Brake-by-Wire”. International Conference on Software Testing, Verification and Validation Workshops (ICSTW’17), Tokyo, Japan, March 13-17, 2017. DOI: 10.1109/ICSTW.2017.17
  7. Elena Lisova, Elisabeth Uhlemann, Johan Åkerberg, and Mats Björkman, “Delay Attack Versus Clock Synchronization – A Time Chase”. International Conference on Industrial Technology (ICIT’17), Toronto, Canada, March 22-25, 2017. DOI: 10.1109/ICIT.2017.7915522
  8. Luigi Pomante, Marco Santic, Walter Tiberti, Carlo Centofanti, and Lorenzo Di Giuseppe. LabSmiling: a Framework, Composed of a Remotely Accessible Testbed and Related SW Tools, for Analysis and Design of Low Data-rate Wireless Personal Area Networks Based on IEEE 802.15.4. Conference on Design and Test Automation in Europe (DATE’17), Lausanne, Switzerland, March 27-31, 2017. (Open Access)
  9. Stephan Baumgart, Joakim Froberg, and Sasikumar Punnekkat, “Analyzing Hazards in System-of-systems: Described in a Quarry Site Automation Context”. International Systems Conference (SysCon 2017), Montreal, Canada, April 24-27, 2017. DOI: 10.1109/SYSCON.2017.7934783
  10. Carl Bergenhem, Alexey Vinel, and Magnus Jonsson, “Approaches for Platooning Protocols”. Swedish National Computer Networking Workshop (SNCNW 2017), Halmstad, Sweden, May 29-30, 2017. (Open Access)
  11. Elena Cinque, Francesco Valentini, Alessio Iovine, and Marco Pratesi. “An Adaptive Strategy to Mitigate Instability in the ETSI DCC: Experimental Validation”. In Proceedings of ITST 2017, Warsaw, Poland, May 29-31, 2017. DOI: 10.1109/ITST.2017.7972223
  12. Harrison Kurunathan, Ricardo Severino, Anis Koubâa, and Eduardo Tovar. “Worst-Case Bound Analysis for the Time-Critical MAC behaviors of IEEE 802.15.4e”. International Workshop on Factory Communication Systems Communication in Automation (WFCS 2017), Main track, Trondheim, Norway, May 31 – June 2, 2017. (Open Access)
  13. Pablo Gutiérrez Peón, Elisabeth Uhlemann, Wilfried Steiner, and Mats Björkman . “Applying Time Diversity for Improved Reliability in a Real-Time Heterogeneous MAC Protocol”. Vehicular Technology Conference (VTC2017-Spring), Sydney, Australia, June 4-7, 2017. DOI:10.1109/VTCSpring.2017.8108663 (Open Access)
  14. Le-Nam Hoang, Elisabeth Uhlemann, and Magnus Jonsson, “Low Complexity Algorithm for Efficient Relay Assignment in Unicast/Broadcast Wireless Networks”. Vehicular Technology Conference (VTC2017-Spring), Sydney, Australia, June 4-7, 2017. DOI: 10.1109/VTCSpring.2017.8108261
  15. Samer Medawar, Irfan Sljivo, and Detlef Scholle. “Cooperative Safety Critical CPS Platooning in SafeCOP”. EUROMICRO Workshop on Embedded and Cyber-Physical Systems (ECYPS2017), Bar, Montenegro, June 11-15, 2017. DOI:10.1109/MECO.2017.7977210 (Open Access)
  16. Xiaoming Wang, Kai Li, Salil S. Kanhere, Demin Li, Xiaolu Zhang, and Eduardo Tovar. “PELE: Power Efficient Legitimate Eavesdropping via Jamming in UAV Communications”. International Wireless Communications and Mobile Computing Conference (IWCMC 2017), Vehicular Communications Symposium, Valencia, Spain, 26-30 June, 2017, pp. 402-408. DOI: 10.1109/IWCMC.2017.7986320 (Open Access)
  17. Sanjay L. Joshi, Bharat Deshpande, and Sasikumar Punnekkat. “An Industrial Survey on the Influence of Process and Product Attributes on Software Product Reliability”. International Conference on Networks & Advances in Computational Technologies (NetACT2017), Thiruvananthapuram, India, July 20-22, 2017. (Open Access)
  18. Omar Jaradat, and Iain Bate. “Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases”. European Dependable Computing Conference (EDCC’17), Geneva, Switzerland, September 4-8, 2017. DOI: 10.1109/EDCC.2017.20.
  19. Ali Balador, Niclas Ericsson, and Zeynab Bakhshi. “Communication Middleware Technologies for Industrial Distributed Control Systems: A Literature Review”. International Conference on Emerging Technologies And Factory Automation (ETFA2017), Limassol, Cyprus, September 12-15, 2017. DOI: 10.1109/ETFA.2017.8247730
  20. Pablo Gutiérrez Peón, Pedro Manuel Rodríguez, Zaloa Fernández, Francisco Pozo, Elisabeth Uhlemann, Iñaki Val, and Wilfried Steiner. “Cognitive Radio for Improved Reliability in a Real-Time Wireless MAC Protocol based on TDMA”. International Conference on Emerging Technologies And Factory Automation (ETFA2017), Limassol, Cyprus, September 12-15, 2017. DOI: 10.1109/ETFA.2017.8247602 (Open Access)
  21. Quach Xuan Truong, Tran Hung, Elisabeth Uhlemann, and Mai Tran Truc. “Secrecy Performance of Cognitive Cooperative Industrial Radio Networks”. International Conference on Emerging Technologies And Factory Automation (ETFA2017), Limassol, Cyprus, September 12-15, 2017. DOI: 10.1109/ETFA.2017.8247604
  22. Tran Hung, Quach Xuan Truong, Ha-Vu Tran, and Elisabeth Uhlemann. “Optimal Energy Harvesting Time and Power Allocation Policy in CRN Under Security Constraints from Eavesdroppers”. International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC’17), Montreal, Canada, October 8-13, 2017. DOI: 10.1109/PIMRC.2017.8292734
  23. Cosmin F. Avasalcai, Dhanesh Budhrani, and Paul Pop. “Towards Industry Strength Mapping of AUTOSAR Automotive Functionality on Multicore Architectures: Work in Progress”. In Proceedings of International Conference on Compilers, Architectures and Synthesis for Embedded Systems Companion (CASES’17), Seoul, Republic of Korea, October 15-20, 2017. DOI: 10.1145/3125501.3125623
  24. Elena Lisova, Elisabeth Uhlemann, Johan Åkerberg, and Mats Björkman. “Monitoring of Clock Synchronization in Cyber-Physical Systems: A Sensitivity Analysis”. International Conference on Internet of Things, Embedded Systems and Communications 2017 (IINTEC 2017), Gafsa, Tunisia, October 20-22, 2017. DOI: 10.1109/IINTEC.2017.8325927 (Open Access)
  25. Aida Causevic. “A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems”. International Conference on Information, Communication and Automation Technologies (ICAT2017), Sarajevo, Bosnia and Herzegovina, October 26-28, 2017. DOI: 10.1109/ICAT.2017.8171624 (Open Access)
  26. Svetlana Girs, Irfan Sljivo, and Omar Jaradat. “Contract-Based Assurance for Wireless Cooperative Functions of Vehicular Systems”. Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, November 5-8, 2017. (Open Access)
  27. Elena Lisova, Aida Causevic, Elisabeth Uhlemann, and Mats Björkman. “Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems”. Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, November 5-8, 2017. DOI: 10.1109/IECON.2017.8217474 (Open Access)
  28. Luciano Bozzi, Lorenzo Di Giuseppe, Luigi Pomante, Marco Pugliese, Marco Santic, Fortunato Santucci, and Walter Tiberti. TinyWIDS: a WPM-based Intrusion Detection System for TinyOS2.x/802.15.4 Wireless Sensor Networks”. CS2 Workshop, HiPEAC Conference 2018, Manchester, U.K., January, 22-24, 2018. (Open Access)
  29. Zeinab Bakhshi, Ali Balador, and Jawad Mustafa. “Industrial IoT Security Threats and Concerns by Considering CISCO and Microsoft IoT Rreference Models”. Wireless Communications and Networking Conference (WCNC 2018), Barcelona, Spain, April 15, 2018. (Open Access)
  30. Kai Li, Eduardo Tovar, and Mohsen Guizani. “LCD: Low Latency Command Dissemination for a Platoon of Vehicles”. Accepted in IEEE International Conference on Communications (ICC 2018), Ad Hoc and Sensor Networking Symposium, Kansas, U.S.A., May 20-24, 2018. (Open Access)
  31. Enrico Ferrari, Alessandro Fermi, Maurizio Mongelli, and Marco Muselli, “Identification of Safety Regions in Vehicle Platooning via Machine Learning”. International Workshop on Factory Communication Systems (WFCS2018), Imperia, Italy, June 13-15, 2018. (Preprint)
  32. Carl Bergenhem, Karl Meinke and Fabian Ström, “Quantitative Safety Analysis of a Coordinated
    Emergency Brake Protocol for Vehicle Platoons”. ISOLA 2018 – Track: Verification and Validation of Distributed Systems, Limassol, Cyprus, October 30 – November 13 2018.
  33. Timo Sukuvaara, Kari Mäenpää, Daria Stepanova, Sakari Kantomaa  and Virve Karsisto, “ITS-enabled advanced road weather services and infrastructures for vehicle winter testing, professional traffic fleets and future automated driving“, 25th ITS World Congress, Copenhagen, Denmark, 17-21 September 2018.
  34. Virve Karsisto, Pertti Nurmi, Timo Sukuvaara and Kari Mäenpää, “Towards Intelligent Real-Time Road Weather Services Utilizing Mobile Vehicular Data“, 12th ITS European Congress, Strasbourg, France, 19-22 June 2017.
  35. Alessandro Barenghi and Gerardo Pelosi, “Side-channel security of superscalar CPUs: evaluating the impact of micro-architectural features“, Proceedings of the 55th Annual Design Automation Conference (DAC ’18). ACM, New York, NY, USA, Article 120, 6 pages. DOI: https://doi.org/10.1145/3195970.3196112
  36. Luciano Bozzi, Lorenzo Di Giuseppe, Luigi Pomante, Marco Pugliese, Marco Santic, Fortunato Santucci, Walter Tiberti, “TinyWIDS: a WPM-based Intrusion Detection System for TinyOS2.x/802.15.4 Wireless Sensor Networks“, Fifth Workshop on Cryptography and Security in Computing Systems (CS2), Manchester (UK) 2018, pp. 13-16
  37. N. Bonjorn, F. Foukalas and P. Pop, “Enhanced 5G V2X services using sidelink device-to-device communications”, 17th MedHocNet, June 2018
  38. Hojat Khosrowjerdi and Karl Meinke, “Learning-Based Testing for Autonomous Systems using Spatial and Temporal Requirements”, 1st International Workshop on Machine Learning and Software Engineering in Symbiosis (MASES), September 2018
  39. Erik Martin Campana, Nils Müllner, Saad Mubeen, “Interfacing a Brake-by-Wire Simulink Model with SUMO”, 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018), Dec 2018
  40. Tam Ninh Thi Thanh, Tran Hung, Nils Müllner, “Probabilistic Communication in Car Platoons“, International Conference on Advanced Technologies for Communications (ATC), Nov 2018
  41. Omar Jaradat, Abdallah Salameh, “A Safety-Centric Change Management Framework by Tailoring Agile and V-Model Processes”, 36th International System Safety Conference (ISSC 2018), Aug 2018
  42. Omar Jaradat, Sasikumar Punnekkat, “Using Safety Contracts to Verify Design Assumptions During Runtime”, 23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 (Ada-Europe-2018), Jun 2018
  43. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri, “Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation”, 23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 (Ada-Europe-2018), Jun 2018
  44. Carl Bergenhem, Daniel Skarin, Fabian Ström, “A Business Model for selling components with safety certificates”, presented at Safety-Critical Systems Club seminar on: COTS, Legacy and Reuse, 6th Dec. 2018, London
  45. Karl Meinke, “Integrated Testing Methodology“, KTH ICES 10 year anniversary Conference, 27-28 September, 2018

Invited Papers

  1. Alessio Agneessens, Francesco Buemi, Stefano Delucchi, Massimo Massa, Giovanni Agosta, Alessandro Barenghi, Carlo Brandolese, William Fornaciari, Gerardo Pelosi, Dajana Cassioli and Luigi Pomante, Leonardo Napoletani, Luciano Bozzi, Enrico Ferrari, Carlo Tieri, and Maurizio Mongelli. “Safe Cooperative CPS: A V2I Traffic Management scenario in the SafeCOP project”. In Proceedings of the SAMOS XVI Conference, Agios Konstantinos, Greece, July 2016. DOI: 10.1109/SAMOS.2016.7818365
  2. Paul Pop, Detlef Scholle, Hans Hansson, Gunnar Widforss, and Malin Rosqvist. “The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems using Wireless Communication”. In Proceedings of Euromicro DSD, EPDSD special session, Limassol, Cyprus, August-September 2016. (Best Paper Award). DOI: 10.1109/DSD.2016.25

Chapters in Books

  1. Falk Howar, Karl Meinke, and Andreas Rausch (2016) “Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems”. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science, vol 9953. Springer, Cham. DOI: 10.1007/978-3-319-47169-3_50
  2. DeJiu Chen, and Zhonghai Lu (2017) “A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems”. In: Bozzano M., Papadopoulos Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science, vol 10437. Springer, Cham. DOI: 10.1007/978-3-319-64119-5_15
  3. Rolf Johansson, Jonas Nilsson, Carl Bergenhem, Sagar Behere, Jörgen Tryggvesson, Stig Ursing, Andreas Söderberg, Martin Törngren, and Fredrik Warg (2017) “Functional Safety and Evolvable Architectures for Autonomy”. In: Watzenig D., Horn M. (eds) Automated Driving. Springer, Cham. DOI: 10.1007/978-3-319-31895-0_25
  4. Karl Meinke (2017) “Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study”. In: Reinecke P., Di Marco A. (eds) Computer Performance Engineering. EPEW 2017. Lecture Notes in Computer Science, vol 10497. Springer, Cham. DOI: 10.1007/978-3-319-66583-2_9

Posters

  1. Ali Balador, “A Token-Based MAC Protocol for Achieving High Reliability in VANET”. BMW Summer School, Lake Tegernsee, Bavaria, Germany, July 18-23, 2016.

Presentations

  1. Leonardo Napoletani, “CO-CPS: A sample XSTAMPP usage in V2I traffic management scenario based on STAMP model”. Scandinavian Conference on System and Software Safety (SCSSS), Stockholm, Sweden, May 22-23, 2017. (Open Access)