Hugo A. Andrade

25 papers A* 3A 1C 1Misc 4Journal 8Unranked 6

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