Sign in
Emmet Murphy
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 1
Top Topics
Finite State
Automated Verification
Model Checking
Computation Tree Logic
Top Venues
FPGA
</>
Publications
</>
Jiahui Xu
,
Emmet Murphy
,
Jordi Cortadella
,
Lana Josipovic
Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking.
FPGA
(2023)
Ralph A. Morelli
,
Emmet Murphy
,
Trishan R. de Lanerolle
An Open Source Mobile App for Assisting Health and Agricultural Aid in Haiti.
GHTC
(2011)