Publications

@inproceedings{KimVLSID2019,

title = {WCET-Aware Stack Frame Management of Embedded Systems using Scratchpad Memories},

author = {Yooseong Kim and Mohammad Khayatian and Aviral Shrivastava},

url = {https://mpslab-asu.github.io/publications/papers/Kim2019VLSID.pdf, paper

https://mpslab-asu.github.io/publications/slides/Kim2019VLSID.pptx, slides},

year  = {2019},

date = {2019-01-01},

booktitle = {Proceedings of 2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID)},

keywords = {Cyber Physical and IoT Systems, Power, Temperature and Variation Aware Computing, Real-Time Systems, Software Managed Manycore (SMM)},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hekmatnejad2019MEMOCODE,

title = {Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic},

author = {Mohammad Hekmatnejad and Shakiba Yaghoubi and Adel Dokhanchi and Heni Ben Amor and Aviral Shrivastava and Lina Karam and Georgios Fainekos},

url = {https://mpslab-asu.github.io/publications/papers/Hekmatnejad2019MEMOCODE.pdf, paper

https://mpslab-asu.github.io/publications/slides/Hekmatnejad2019MEMOCODE.pdf, slides},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {Proceedings of the 2019 17th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{MehrabianDAC2018,

title = {TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems},

author = {Mohammadreza Mehrabian and Mohammad Khayatian and Ahmed Moussa and Aviral Shrivastava and Ya-Shian Li and Patricia Derler and Edward Griffor and Hugo A Andrade and Marc Weiss and John Eidson},

url = {https://mpslab-asu.github.io/publications/papers/Mehrabian2018DAC.pdf, paper

https://mpslab-asu.github.io/publications/slides/Mehrabian2018DAC.pptx, slides},

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the 55th Annual Design Automation Conference (DAC)},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ShrivastavaDAC2017,

title = {A Testbed to Verify the Timing Behavior of Cyber-Physical Systems},

author = {Aviral Shrivastava and Mohammadreza Mehrabian and Mohammad Khayatian and Patricia Derler and Hugo A Andrade and Kevin Stanton and Ya-Shian Li-Baboud and Edward Griffor and Marc Weiss and John Eidson},

url = {https://mpslab-asu.github.io/publications/papers/Shrivastava2017DAC.pdf, paper

},

year  = {2017},

date = {2017-01-01},

booktitle = {Proceedings of The 54th Annual Design Automation Conference (DAC)},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ShrivastavaCODESISSS2016,

title = {Time in Cyber-Physical Systems},

author = {Aviral Shrivastava and Patricia Derler and Ya-Shian Li and Kevin Stanton and Mohammad Khayatian and Hugo A Andrade and Marc Weiss and John Eidson and Sundeep Chandhoke},

url = {https://mpslab-asu.github.io/publications/papers/Shrivastava2016CODES.pdf, paper

},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of the international symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HokeunRTAS2015,

title = {A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems},

author = {Hokeun Kim and David Broman and Edward A Lee and Michael Zimmer and Aviral Shrivastava and Junkwang Oh},

url = {https://mpslab-asu.github.io/publications/papers/Kim2015RTAS.pdf, paper

https://mpslab-asu.github.io/publications/slides/Kim2015RTAS.pdf, slides},

year  = {2015},

date = {2015-01-01},

publisher = {Real-Time and Embedded Technology and Applications Symposium (RTAS)},

keywords = {Cyber Physical and IoT Systems, Real-Time Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AndradeRECONFIG2015,

title = {Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems},

author = {Hugo A Andrade and Patricia Derler and John Eidson and Ya-Shian Li-Baboud and Aviral Shrivastava and Kevin Stanton and Marc Weiss},

url = {https://mpslab-asu.github.io/publications/papers/Andrade2015RECONFIG.pdf, paper

},

year  = {2015},

date = {2015-01-01},

booktitle = {International Conference on ReConFigurable Computing and FPGAs (ReConFig)},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{KimRTAS2014,

title = {WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores},

author = {Yooseong Kim and David Broman and Jian Cai and Aviral Shrivastava},

url = {https://mpslab-asu.github.io/publications/papers/Kim2014RTAS.pdf, paper

https://mpslab-asu.github.io/publications/slides/Kim2014RTAS.pptx, slides},

year  = {2014},

date = {2014-01-01},

booktitle = {Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},

keywords = {Cyber Physical and IoT Systems, Power, Temperature and Variation Aware Computing, Real-Time Systems, Software Managed Manycore (SMM)},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BromanESLSYN2013,

title = {Precision Timed Infrastructure: Design Challenges},

author = {David Broman and Michael Zimmer and Yooseong Kim and Hokeun Kim and Jian Cai and Aviral Shrivastava and Stephen A Edwards and Edward A Lee},

url = {https://mpslab-asu.github.io/publications/papers/Broman2013ESLSYN.pdf, paper},

year  = {2013},

date = {2013-01-01},

booktitle = {Proceedings of the Electronic System Level Synthesis Conference (ESLsyn 2013)},

keywords = {Cyber Physical and IoT Systems, Real-Time Systems},

pubstate = {published},

tppubtype = {inproceedings}

}