Ahmed Nassar

Affiliations:

NVIDIA Corp., Santa Clara, CA, USA
University of California, Irvine, Center for Embedded and Cyber-physical Systems, CA, USA (PhD 2016)
Cairo University, Department of electronics engineering, Egypt

According to our database¹, Ahmed Nassar authored at least 7 papers between 2013 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS.

[BibT_eX]

[DOI]

Amir-Mohammad Rahmani

Proc. IEEE, 2018

Design methodologies for enabling self-awareness in autonomous systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2016

Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures.

[BibT_eX]

[DOI]

Ahmed Nassar

PhD thesis, 2016

Topaz: Mining high-level safety properties from logic simulation traces.

[BibT_eX]

[DOI]

Ahmed Nassar

Fadi J. Kurdahi

Salam R. Zantout

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Lattice-based Boolean diagrams.

[BibT_eX]

[DOI]

Ahmed Nassar

Fadi J. Kurdahi

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

NUVA: Architectural support for runtime verification of parametric specifications over multicores.

[BibT_eX]

[DOI]

Ahmed Nassar

Fadi J. Kurdahi

Wael M. Elsharkasy

Proceedings of the 2015 International Conference on Compilers, 2015

2013

Architectural support for runtime verification on ccNUMA multiprocessors.

[BibT_eX]

[DOI]

Ahmed Nassar

Fadi J. Kurdahi

Proceedings of the 8th International Design and Test Symposium, 2013

Ahmed Nassar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...