Hugo A. Andrade

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 9

Top Topics

Mazurkiewicz Traces

Timing Constraints

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade
A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocess. Microsystems 101 (2023)
Peter Marwedel, Tulika Mitra, Martin Edin Grimheden, Hugo A. Andrade
Guest Editors' Introduction: Selected Papers from IEEE VLSI Test Symposium. IEEE Des. Test 37 (6) (2020)
Peter Marwedel, Tulika Mitra, Martin Edin Grimheden, Hugo A. Andrade
Survey on Education for Cyber-Physical Systems. IEEE Des. Test 37 (6) (2020)
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC (2018)
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, Kevin B. Stanton
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin B. Stanton, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, John C. Eidson
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC (2017)
Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Kevin B. Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John C. Eidson, Sundeep Chandhoke
Time in cyber-physical systems. CODES+ISSS (2016)
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. 85 (1) (2016)
Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin B. Stanton, Marc Weiss
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. ReConFig (2015)
Hugo A. Andrade, Simon Hogg, Stephan Ahrends
Making FPGAs Accessible to Scientists and Engineers as Domain Expert Software Programmers with LabVIEW. CoRR (2014)
Guoqiang Wang, Randy Allen, Hugo A. Andrade, Alberto L. Sangiovanni-Vincentelli
Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint. Comput. Electr. Eng. 40 (6) (2014)
Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade
A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. FCCM (2012)
Hugo A. Andrade, Arkadeb Ghosal, Kaushik Ravindran, Brian L. Evans
A methodology for the design and deployment of reliable systems on heterogeneous platforms. ReConFig (2012)
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade
Analysis techniques for static dataflow models with access patterns. DASIP (2012)
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Hugo A. Andrade, Alejandro Asenjo, Takao Inoue, Douglas Kim, Ankita Prasad, Trung N. Tran, Mike Trimborn, Guoqiang Wang, Guang Yang
Tools for deploying dataflow models on FPGA targets. DASIP (2012)
Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
Static dataflow with access patterns: semantics and analysis. DAC (2012)
Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang
Early timing estimation for system-level design using FPGAs (abstract only). FPGA (2012)
Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong
Correct and non-defensive glue design using abstract models. CODES+ISSS (2011)
Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
A graphical programming and design environment for FPGA-based hardware. FPT (2010)
Guoqiang Wang, Hugo A. Andrade
LabVIEW™: A graphical system design environment for adaptive hardware/software systems. AHS (2010)
Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. DS-RT (2008)
Ram Rajagopal, Subramanian Ramamoorthy, Lothar Wenzel, Hugo A. Andrade
A Rapid Prototyping Tool for Embedded, Real-Time Hierarchical Control Systems. EURASIP J. Embed. Syst. 2008 (2008)
Hugo A. Andrade, Margarida F. Jacome
The Common Hardware and Software Object Model: CHSOM. PDPTA (2000)