Behavior-driven development for real-time embedded systems AS Nezhad, JJ Lukkien, RH Mak 2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018 | 5 | 2018 |
Multi-writer regular registers in dynamic distributed systems with byzantine failures S Bonomi, AS Nezhad Proceedings of the 3rd International Workshop on Theoretical Aspects of …, 2011 | 5 | 2011 |
Validity bound of regular registers with churn and byzantine processes R Baldoni, S Bonomi, A Soltani Nezhad Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011 | 5 | 2011 |
An algorithm for implementing bft registers in distributed systems with bounded churn R Baldoni, S Bonomi, A Soltani Nezhad Stabilization, Safety, and Security of Distributed Systems: 13th …, 2011 | 5 | 2011 |
Regular registers in dynamic distributed systems with byzantine processes: Bounds and performance analysis R Baldoni, S Bonomi, A Soltani Nezhad Submitted to 9th European Dependable Computing Conference (EDCC 2012), Sibiu …, 2011 | 5 | 2011 |
A protocol for implementing byzantine storage in churn-prone distributed systems R Baldoni, S Bonomi, AS Nezhad Theoretical Computer Science 512, 28-40, 2013 | 4 | 2013 |
Towards an interoperable framework for mixed real-time simulations of industrial embedded systems AS Nezhad, LFB Ferreira, MMHP van den Heuvel, R Verhoeven, ... Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 1 | 2014 |
An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System A Soltani Nezhad, JJ Lukkien, RH Mak, R Verhoeven, ... Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016 | | 2016 |
Byzantine Fault-Tolerant Storage in Dynamic Distributed Systems AS Nezhad | | 2011 |
A Multi-Layered Architecture for a Secure Virtualization Environment IIT MODEL | | |