publication venue for Is your FPGA bitstream Hardware Trojan-free? Machine learning can provide an answer. 128:1-11. 2022 Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges. 91:83-102. 2018 Integration of Data Distribution Service and distributed partitioned systems. 83:23-31. 2018 Introduction to the special section on Real time computing and distributed systems. 83:32-33. 2018 A few open problems and solutions for software technologies for dependable distributed systems . 73:1-5. 2017 Real-time and distributed computing in emerging applications. Foreword by the general chairs of Reaction 2012. 61:267-268. 2016 A library for developing real-time and embedded applications in C. 61:239-255. 2015 Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems. 60:221-233. 2014 Challenges in real-time virtualization and predictable cloud computing. 60:726-740. 2014 A real-time perspective of service composition: Key concepts and some contributions. 59:1414-1423. 2013 WEVAN ─ A mechanism for evidence creation and verification in VANETs. 59:985-995. 2013