Amir Soltani Nezhad

An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System

Johan J. Lukkien, Richard Verhoeven, Martijn M. H. P. van den Heuvel, 2016, SAFECOMP Workshops.

Validity bound of regular registers with churn and byzantine processes

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad, 2011, PODC '11.

Behavior-driven Development for Real-time Embedded Systems

Johan J. Lukkien, Rudolf H. Mak, Amir Soltani Nezhad, 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

Multi-writer regular registers in dynamic distributed systems with byzantine failures

Silvia Bonomi, Amir Soltani Nezhad, 2011, TADDS '11.

Towards an interoperable framework for mixed real-time simulations of industrial embedded systems

Johan J. Lukkien, Richard Verhoeven, Martijn M. H. P. van den Heuvel, 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

A protocol for implementing byzantine storage in churn-prone distributed systems

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad, 2013, Theor. Comput. Sci..

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad, 2011, SSS.