Validity bound of regular registers with churn and byzantine processes. - Roberto Baldoni; Silvia Bonomi; Amir Soltani Nezhad (PODC, 2011)

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn. - Roberto Baldoni; Silvia Bonomi; Amir Soltani Nezhad (SSS, 2011)

Multi-writer regular registers in dynamic distributed systems with byzantine failures. - Silvia Bonomi; Amir Soltani Nezhad (TADDS, 2011)

A protocol for implementing byzantine storage in churn-prone distributed systems. - Roberto Baldoni; Silvia Bonomi; Amir Soltani Nezhad (Theor. Comput. Sci., 2013)

Towards an interoperable framework for mixed real-time simulations of industrial embedded systems. - Amir Soltani Nezhad; Luis F. B. Ferreira; Martijn M. H. P. van den Heuvel; Richard Verhoeven; Johan J. Lukkien; Rudolf H. Mak; Eric Korff de Gidts (ETFA, 2014)

An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. - Amir Soltani Nezhad; Johan J. Lukkien; Rudolf H. Mak; Richard Verhoeven; Martijn M. H. P. van den Heuvel (SAFECOMP Workshops, 2016)

Behavior-driven Development for Real-time Embedded Systems. - Amir Soltani Nezhad; Johan J. Lukkien; Rudolf H. Mak (ETFA, 2018)