Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hugo A. Andrade
@article{DBLP:journals/mam/MehrabianKSDA23,
author = {Mohammadreza Mehrabian and
Mohammad Khayatian and
Aviral Shrivastava and
Patricia Derler and
Hugo A. Andrade},
title = {A run-time verification method with consideration of uncertainties
for cyber-physical systems},
journal = {Microprocess. Microsystems},
volume = {101},
pages = {104890},
year = {2023},
url = {https://doi.org/10.1016/j.micpro.2023.104890},
doi = {10.1016/J.MICPRO.2023.104890},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/MehrabianKSDA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MarwedelMGA20,
author = {Peter Marwedel and
Tulika Mitra and
Martin Edin Grimheden and
Hugo A. Andrade},
title = {Guest Editors' Introduction: Selected Papers from {IEEE} {VLSI} Test
Symposium},
journal = {{IEEE} Des. Test},
volume = {37},
number = {6},
pages = {5--7},
year = {2020},
url = {https://doi.org/10.1109/MDAT.2020.3009638},
doi = {10.1109/MDAT.2020.3009638},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/MarwedelMGA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MarwedelMGA20a,
author = {Peter Marwedel and
Tulika Mitra and
Martin Edin Grimheden and
Hugo A. Andrade},
title = {Survey on Education for Cyber-Physical Systems},
journal = {{IEEE} Des. Test},
volume = {37},
number = {6},
pages = {56--70},
year = {2020},
url = {https://doi.org/10.1109/MDAT.2020.3009613},
doi = {10.1109/MDAT.2020.3009613},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/MarwedelMGA20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MehrabianKMSLDG18,
author = {Mohammadreza Mehrabian and
Mohammad Khayatian and
Ahmed Mousa and
Aviral Shrivastava and
Ya{-}Shian Li{-}Baboud and
Patricia Derler and
Edward R. Griffor and
Hugo A. Andrade and
Marc Weiss and
John C. Eidson and
Dhananjay M. Anand},
title = {An efficient timestamp-based monitoring approach to test timing constraints
of cyber-physical systems},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {144:1--144:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196130},
doi = {10.1145/3195970.3196130},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MehrabianKMSLDG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MehrabianKSEDAL17,
author = {Mohammadreza Mehrabian and
Mohammad Khayatian and
Aviral Shrivastava and
John C. Eidson and
Patricia Derler and
Hugo A. Andrade and
Ya{-}Shian Li{-}Baboud and
Edward R. Griffor and
Marc Weiss and
Kevin B. Stanton},
title = {Timestamp Temporal Logic {(TTL)} for Testing the Timing of Cyber-Physical
Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {169:1--169:20},
year = {2017},
url = {https://doi.org/10.1145/3126510},
doi = {10.1145/3126510},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/MehrabianKSEDAL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShrivastavaMKDA17,
author = {Aviral Shrivastava and
Mohammadreza Mehrabian and
Mohammad Khayatian and
Patricia Derler and
Hugo A. Andrade and
Kevin B. Stanton and
Ya{-}Shian Li{-}Baboud and
Edward R. Griffor and
Marc Weiss and
John C. Eidson},
title = {A Testbed to Verify the Timing Behavior of Cyber-Physical Systems:
Invited},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {69:1--69:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3072955},
doi = {10.1145/3061639.3072955},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ShrivastavaMKDA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/TripakisLRWAG16,
author = {Stavros Tripakis and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Hugo A. Andrade and
Arkadeb Ghosal},
title = {Tokens vs. Signals: On Conformance between Formal Models of Dataflow
and Hardware},
journal = {J. Signal Process. Syst.},
volume = {85},
number = {1},
pages = {23--43},
year = {2016},
url = {https://doi.org/10.1007/s11265-015-0971-y},
doi = {10.1007/S11265-015-0971-Y},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/TripakisLRWAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ShrivastavaDLSK16,
author = {Aviral Shrivastava and
Patricia Derler and
Ya{-}Shian Li{-}Baboud and
Kevin B. Stanton and
Mohammad Khayatian and
Hugo A. Andrade and
Marc Weiss and
John C. Eidson and
Sundeep Chandhoke},
title = {Time in cyber-physical systems},
booktitle = {Proceedings of the Eleventh {IEEE/ACM/IFIP} International Conference
on Hardware/Software Codesign and System Synthesis, {CODES} 2016,
Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2968456.2974012},
doi = {10.1145/2968456.2974012},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/ShrivastavaDLSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AndradeAH16,
author = {Hugo A. Andrade and
Stephan Ahrends and
Simon Hogg},
editor = {Dirk Koch and
Frank Hannig and
Daniel Ziener},
title = {Making FPGAs Accessible with LabVIEW},
booktitle = {FPGAs for Software Programmers},
pages = {63--79},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-26408-0\_4},
doi = {10.1007/978-3-319-26408-0\_4},
timestamp = {Thu, 14 Oct 2021 08:45:49 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/AndradeAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/AndradeDELSSW15,
author = {Hugo A. Andrade and
Patricia Derler and
John C. Eidson and
Ya{-}Shian Li{-}Baboud and
Aviral Shrivastava and
Kevin B. Stanton and
Marc Weiss},
editor = {Michael H{\"{u}}bner and
Maya B. Gokhale and
Ren{\'{e}} Cumplido},
title = {Towards a reconfigurable distributed testbed to enable advanced research
and development of timing and synchronization in cyber-physical systems},
booktitle = {International Conference on ReConFigurable Computing and FPGAs, ReConFig
2015, Riviera Maya, Mexico, December 7-9, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ReConFig.2015.7393352},
doi = {10.1109/RECONFIG.2015.7393352},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/reconfig/AndradeDELSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/WangAAS14,
author = {Guoqiang Wang and
Randy Allen and
Hugo A. Andrade and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Communication storage optimization for static dataflow with access
patterns under periodic scheduling and throughput constraint},
journal = {Comput. Electr. Eng.},
volume = {40},
number = {6},
pages = {1858--1873},
year = {2014},
url = {https://doi.org/10.1016/j.compeleceng.2014.05.002},
doi = {10.1016/J.COMPELECENG.2014.05.002},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/WangAAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/RavindranGLKACKWWYETPT14,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Douglas Kim and
Hugo A. Andrade and
Jeff Correll and
Jacob Kornerup and
Ian C. Wong and
Gerald Wang and
Guang Yang and
Amal Ekbal and
Mike Trimborn and
Ankita Prasad and
Trung N. Tran},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Haibo Zeng and
Marco Di Natale and
Peter Marwedel},
title = {Modeling, Analysis, and Implementation of Streaming Applications for
Hardware Targets},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
pages = {19--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-3879-3\_2},
doi = {10.1007/978-1-4614-3879-3\_2},
timestamp = {Fri, 14 Apr 2023 11:09:08 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/RavindranGLKACKWWYETPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndradeHA14,
author = {Hugo A. Andrade and
Simon Hogg and
Stephan Ahrends},
title = {Making FPGAs Accessible to Scientists and Engineers as Domain Expert
Software Programmers with LabVIEW},
journal = {CoRR},
volume = {abs/1408.4715},
year = {2014},
url = {http://arxiv.org/abs/1408.4715},
eprinttype = {arXiv},
eprint = {1408.4715},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndradeHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GhosalLRTPWTA12,
author = {Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Stavros Tripakis and
Ankita Prasad and
Guoqiang Wang and
Trung N. Tran and
Hugo A. Andrade},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Static dataflow with access patterns: semantics and analysis},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {656--663},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228479},
doi = {10.1145/2228360.2228479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GhosalLRTPWTA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/RavindranGLAAIKPTTWY12,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Hugo A. Andrade and
Alejandro Asenjo and
Takao Inoue and
Douglas Kim and
Ankita Prasad and
Trung N. Tran and
Mike Trimborn and
Guoqiang Wang and
Guang Yang},
title = {Tools for deploying dataflow models on {FPGA} targets},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--2},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385426/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/RavindranGLAAIKPTTWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/RavindranGLWYA12,
author = {Kaushik Ravindran and
Arkadeb Ghosal and
Rhishikesh Limaye and
Guoqiang Wang and
Guang Yang and
Hugo A. Andrade},
title = {Analysis techniques for static dataflow models with access patterns},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385382/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/RavindranGLWYA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/LiuLVWA12,
author = {Isaac Liu and
Edward A. Lee and
Matthew Viele and
Guoqiang Wang and
Hugo A. Andrade},
title = {A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional
Computational Fluid Dynamics on FPGAs},
booktitle = {2012 {IEEE} 20th Annual International Symposium on Field-Programmable
Custom Computing Machines, {FCCM} 2012, 29 April - 1 May 2012, Toronto,
Ontario, Canada},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/FCCM.2012.31},
doi = {10.1109/FCCM.2012.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/LiuLVWA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/AndradeGLMPRTWY12,
author = {Hugo A. Andrade and
Arkadeb Ghosal and
Rhishikesh Limaye and
Sadia Malik and
Newton Petersen and
Kaushik Ravindran and
Trung N. Tran and
Guoqiang Wang and
Guang Yang},
editor = {Katherine Compton and
Brad L. Hutchings},
title = {Early timing estimation for system-level design using FPGAs (abstract
only)},
booktitle = {Proceedings of the {ACM/SIGDA} 20th International Symposium on Field
Programmable Gate Arrays, {FPGA} 2012, Monterey, California, USA,
February 22-24, 2012},
pages = {271},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145694.2145761},
doi = {10.1145/2145694.2145761},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/fpga/AndradeGLMPRTWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/AndradeGRE12,
author = {Hugo A. Andrade and
Arkadeb Ghosal and
Kaushik Ravindran and
Brian L. Evans},
title = {A methodology for the design and deployment of reliable systems on
heterogeneous platforms},
booktitle = {2012 International Conference on Reconfigurable Computing and FPGAs,
ReConFig 2012, Cancun, Mexico, December 5-7, 2012},
pages = {1--7},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ReConFig.2012.6416722},
doi = {10.1109/RECONFIG.2012.6416722},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/reconfig/AndradeGRE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/TripakisAGLRWYKW11,
author = {Stavros Tripakis and
Hugo A. Andrade and
Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Guang Yang and
Jacob Kornerup and
Ian C. Wong},
editor = {Robert P. Dick and
Jan Madsen},
title = {Correct and non-defensive glue design using abstract models},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {59--68},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039382},
doi = {10.1145/2039370.2039382},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/TripakisAGLRWYKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/WangA10,
author = {Guoqiang Wang and
Hugo A. Andrade},
editor = {Tughrul Arslan and
Didier Keymeulen and
David Merodio and
Khaled Benkrid and
Ahmet T. Erdogan and
Umeshkumar D. Patel},
title = {LabVIEW{\texttrademark}: {A} graphical system design environment for
adaptive hardware/software systems},
booktitle = {2010 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
2010, Anaheim, California, USA, June 15-18, 2010},
pages = {82},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AHS.2010.5546280},
doi = {10.1109/AHS.2010.5546280},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ahs/WangA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/WangTA10,
author = {Guoqiang Wang and
Trung N. Tran and
Hugo A. Andrade},
editor = {Jinian Bian and
Qiang Zhou and
Peter Athanas and
Yajun Ha and
Kang Zhao},
title = {A graphical programming and design environment for FPGA-based hardware},
booktitle = {Proceedings of the International Conference on Field-Programmable
Technology, {FPT} 2010, 8-10 December 2010, Tsinghua University, Beijing,
China},
pages = {337--340},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/FPT.2010.5681433},
doi = {10.1109/FPT.2010.5681433},
timestamp = {Thu, 01 Feb 2018 14:20:39 +0100},
biburl = {https://dblp.org/rec/conf/fpt/WangTA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/RajagopalRWA08,
author = {Ram Rajagopal and
Subramanian Ramamoorthy and
Lothar Wenzel and
Hugo A. Andrade},
title = {A Rapid Prototyping Tool for Embedded, Real-Time Hierarchical Control
Systems},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2008},
year = {2008},
url = {https://doi.org/10.1155/2008/162747},
doi = {10.1155/2008/162747},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/RajagopalRWA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ForbesPLA08,
author = {Shanna{-}Shaye Forbes and
Hiren D. Patel and
Edward A. Lee and
Hugo A. Andrade},
editor = {David J. Roberts and
Abdulmotaleb El{-}Saddik and
Alois Ferscha},
title = {An Automated Mapping of Timed Functional Specification to a Precision
Timed Architecture},
booktitle = {12th {IEEE/ACM} International Symposium on Distributed Simulation
and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada,
Proceedings},
pages = {322--325},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DS-RT.2008.45},
doi = {10.1109/DS-RT.2008.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ForbesPLA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AndradeJ00,
author = {Hugo A. Andrade and
Margarida F. Jacome},
editor = {Hamid R. Arabnia},
title = {The Common Hardware and Software Object Model: {CHSOM}},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Mon, 08 Dec 2003 16:35:08 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/AndradeJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-03-02 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
