Amir Soltani Nezhad

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Data Availability

Development Environment

Real Time Systems

Replicated Data

Top Venues

SAFECOMP Workshops

Theor. Comput. Sci.

Publications

Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak
Behavior-driven Development for Real-time Embedded Systems. ETFA (2018)
Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel
An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. SAFECOMP Workshops (2016)
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
Towards an interoperable framework for mixed real-time simulations of industrial embedded systems. ETFA (2014)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
A protocol for implementing byzantine storage in churn-prone distributed systems. Theor. Comput. Sci. 512 (2013)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn. SSS (2011)
Silvia Bonomi, Amir Soltani Nezhad
Multi-writer regular registers in dynamic distributed systems with byzantine failures. TADDS (2011)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
Validity bound of regular registers with churn and byzantine processes. PODC (2011)