] Filters: First Letter Of Title is V [Clear All Filters]
"VeriSolid: Correct-by-Design Smart Contracts for Ethereum",
Financial Cryptograph, St. Kitts, 2019.
Abstract
Download: verisolid.pdf (1.02 MB)
"Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models",
ISGT, Washington DC, IEEE, 02/2018.
Abstract
Download: ISGT-2018.pdf (393.8 KB); ISGT_2018_presentation_new.pdf (823.5 KB)
"Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants",
NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017.
Abstract
Download: persistence-safety-nfm-2017.pdf (1.25 MB)
"Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models",
Innovative Smart Grid Technologies (ISGT 2018), Washington DC, 2017.
Abstract
Download: paper.pdf (411.12 KB)
"Vulnerability of fixed-time control of signalized intersections to cyber-tampering",
Resilience Week (RWS), Chicago, IL, IEEE, 08/2016.
Download: paper.pdf (553.83 KB)
"Vulnerability of transportation networks to traffic-signal tampering",
Proceedings of the 7th International Conference on Cyber-Physical Systems, Vienna, Austria, IEEE Press, pp. 16, 2016.
"Visualization Techniques in Collaborative Domain-Specific Modeling Environment",
SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015.
Abstract
"Verification and Design Exploration through Meta Tool Integration with OpenModelica",
10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.
Download: Modelica2014_ecp14096037.pdf (1.51 MB)
"VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design",
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014.
Abstract
Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
"Visual exploratory data analysis methods to characterize student progress in intelligent learning environments",
2010 International Conference on Technology for Education, Mumbai, pp. 114-121, 2010.
"Verifying Model Transformations by Structural Correspondence",
Electronic Communications of the EASST, vol. 10, 2008.
Download: 25_AN_GK.pdf (394.52 KB)
"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.
Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
"Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking",
International Journal of Time-Critical Computing Systems, 2005.
Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
"Viewpoints and Aspects in Domain-Specific Modeling",
1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
"Visual Specification of Model Interpreters",
Master's Thesis: Vanderbilt University, 2000.
Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering