Amir Soltani Nezhad

According to our database, Amir Soltani Nezhad authored at least 7 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Behavior-driven Development for Real-time Embedded Systems.

Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2016

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

Proceedings of the Computer Safety, Reliability, and Security, 2016

2014

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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

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

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad

Theor. Comput. Sci., 2013

2011

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

Silvia Bonomi, Amir Soltani Nezhad

Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

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

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Validity bound of regular registers with churn and byzantine processes.

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011