Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ahmed Nassar 0001

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pieee/MostlSEDNRKWSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/MostlSEDNRKWSH18
Mischa Möstl, Johannes Schlatow, Rolf Ernst, Nikil D. Dutt, Ahmed Nassar, Amir-Mohammad Rahmani, Fadi J. Kurdahi, Thomas Wild, Armin Sadighi, Andreas Herkersdorf:
Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS. Proc. IEEE 106(9): 1543-1567 (2018)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SadighiDKMMNRWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SadighiDKMMNRWD18
Armin Sadighi, Bryan Donyanavard, Thawra Kadeed, Kasra Moazzemi, Tiago Mück, Ahmed Nassar, Amir M. Rahmani, Thomas Wild, Nikil D. Dutt, Rolf Ernst, Andreas Herkersdorf, Fadi J. Kurdahi:
Design methodologies for enabling self-awareness in autonomous systems. DATE 2018: 1532-1537
2016
[b1]
- view
  - electronic edition @ escholarship.org
  - no references & citations available
- export record
  dblp key:
  - phd/us/Nassar16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Nassar16
Ahmed Nassar:
Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. University of California, Irvine, USA, 2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/NassarK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/NassarK16
Ahmed Nassar, Fadi J. Kurdahi:
Lattice-based Boolean diagrams. ASP-DAC 2016: 468-473
[c3]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/NassarKZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NassarKZ16
Ahmed Nassar, Fadi J. Kurdahi, Salam R. Zantout:
Topaz: Mining high-level safety properties from logic simulation traces. DATE 2016: 1473-1476
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cases/NassarKE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cases/NassarKE15
Ahmed Nassar, Fadi J. Kurdahi, Wael M. Elsharkasy:
NUVA: Architectural support for runtime verification of parametric specifications over multicores. CASES 2015: 137-146
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/idt/NassarK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idt/NassarK13
Ahmed Nassar, Fadi J. Kurdahi:
Architectural support for runtime verification on ccNUMA multiprocessors. IDT 2013: 1-6

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.