Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire
  • ISIS VPN
  • Printers

Home

ISIS Publications

  • List
  • Filter
Export 3 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Anastasia Mavridou  [Clear All Filters]
2019
Mavridou, A., A. Laszka, E. Stachtiari, and A. Dubey, "VeriSolid: Correct-by-Design Smart Contracts for Ethereum", Financial Cryptograph, St. Kitts, 2019. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: verisolid.pdf (1.02 MB)
2018
Eisele, S., A. Laszka, A. Mavridou, and A. Dubey, "SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities", Blockchain-2018: The 2018 IEEE International Conference on Blockchain, vol. abs/1804.08133, Halifax, Nova Scotia, 08/2018. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Eisele et al. - SolidWorx A Resilient and Trustworthy Transactive.pdf (881.45 KB)
Meijer, P., and A. Mavridou, How to Build a Design Studio with WebGME, , Nashville, Institute for Software Integrated Systems, 05/09/2018.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: isis-tech-report-How-to-Build-a-Design-Studio-with-WebGME.pdf (786.59 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering