SParTSim: A Space Partitioning Guided by Road Network for Distributed Traffic Simulations. IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT).
.
2012. Service Placement in the Cloud. the 1st IAIS Workshop on Cloud Computing Research.
.
2013. EDAS- Energy-Efficient Device-based Adaptive Cross-Layer Scheme for Wireless Multimedia Transmission. International Symposium on Wireless Personal Multimedia CommunicationsInternational Symposium on Wireless Personal Multimedia Communications.
.
2015. DEAR: An Energy-centric Adaptive Region of Interest Mechanism for Wireless Mobile Devices. International Symposium on Wireless Personal Multimedia Communications.
.
2015. Clustered Architecture for Adaptive Multimedia Streaming in WiMAX-based Cellular Networks. World Congress on Engineering and Computer Science (WCECS)World Congress on Engineering and Computer Science (WCECS).
.
2009. DE-BAR: Device Energy-Centric Backlight and Adaptive Region of Interest Mechanism for Wireless Mobile Devices. Wireless Personal Communications. 100:351–377.
.
2018. Intersection Management Systems and Internet of Things: A Review. 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP).
.
2020. IoT-based system for monitoring conditions in an industrial painting booth. Conference: 2022 33rd Irish Signals and Systems Conference (ISSC).
.
2022. .
2022. Autonomous Driving Architectures, Perception and Data Fusion: A Review. 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP).
.
2020. An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).
.
2014. Parallel Multi Channel convolution using General Matrix Multiplication. 2017 IEEE 28th International Conference on Application-specific Systems, Architectures and Processors (ASAP)2017 IEEE 28th International Conference on Application-specific Systems, Architectures and Processors (ASAP).
.
2017. Safe Artificial Intelligence and Formal Methods. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Engineering Requirements for Autonomy Features. Software Engineering for Collective Autonomic Systems: Results of the ASCENS ProjectSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project.
.
2015. Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer. 48(2)
.
2015. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems. 1(8)
.
2015. Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12
.
2016. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. 11
.
2015. The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. :268–296.
.
2019. Toward Artificial Intelligence through Knowledge Representation for Awareness. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Requirements Engineering for Adaptive and Self-Adaptive Systems. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. .
2017. Stability analysis for adaptive behavior (position paper). VEHITS 2018 - Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems. 2018-March:481-487.
.
2018. Model Checking for Autonomic Systems Specified with ASSL. In Proc. 1st NASA Formal Methods Symposium (NFM 2009)In Proc. 1st NASA Formal Methods Symposium (NFM 2009).
.
2009.