Nicholas DeMarinis
Identifiers
No identifiers captured yet.
Papers (2)
- Scanning the Internet for ROS: A View of Security in Robotics Research cs.CR · 2018 · author #1
- Compiling Stateful Network Properties for Runtime Verification cs.NI · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Rodrigo Fonseca 2 shared papers
- George Konidaris 1 shared papers
- Shriram Krishnamurthi 1 shared papers
- Stefanie Tellex 1 shared papers
- Tim Nelson 1 shared papers
- Timothy Adam Hoff 1 shared papers
- Vasileios Kemerlis 1 shared papers