{"id":66,"date":"2014-02-10T19:00:50","date_gmt":"2014-02-11T00:00:50","guid":{"rendered":"https:\/\/my.vanderbilt.edu\/simko\/?page_id=66"},"modified":"2014-02-10T19:13:28","modified_gmt":"2014-02-11T00:13:28","slug":"talks","status":"publish","type":"page","link":"https:\/\/my.vanderbilt.edu\/simko\/talks\/","title":{"rendered":"Talks"},"content":{"rendered":"

Talks<\/strong><\/p>\n

\n
Oct. 2013. Formal Specifications for Secure Component Deployment. NSF Foundations
\nof Resilient Cyber-Physical Systems, PI Meeting, Arlington VA, USA.<\/div>\n
Oct. 2013. Specification of Cyber-Physical Components with Formal Semantics \u2013 Integration and Composition. MODELS 2013, Miami FL, USA.<\/div>\n
Oct. 2013. A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Modeling. MPM 2013, Miami FL, USA.<\/div>\n
Oct. 2013. Semantic Specifications for Domain-Specific Modeling Languages. ACM Competition, MODELS 2013, Miami FL, USA.<\/div>\n
Aug. 2013. Verification of Periodically Controlled Hybrid Systems. Microsoft Research, Redmond WA, USA.<\/div>\n
Apr. 2013. A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS 2013, Phoenix AZ, USA.<\/div>\n
Apr. 2013. Towards a Theory for Cyber-Physical Systems Modeling. CyPhy 2013, Philadelphia PA, USA.<\/div>\n
Nov. 2012. Formal Methods for Domain-Specific Modeling Language (DSML specification,
\nmodel checking and theorem proving. WithIT seminar, Vanderbilt University, Nashville TN, USA.<\/div>\n
July 2012. Formal Specification of Domain Specific Modeling Languages for Cyber-
\nPhysical Systems. SRI International, Menlo Park CA, USA.<\/div>\n
July 2012. Semantic Backplane: Formal Specification of CyPhyML. DARPA Tactical
\nTechnology Office, PI Meeting, Camp Pendleton CA, USA.<\/div>\n
Oct. 2011. Towards Statistical Properties of Design Space Exploration Algorithms. Microsoft Research, Redmond WA, USA.<\/div>\n
Sept. 2011. Temporal Logic Monitoring. Microsoft Research, Redmond WA, USA.<\/div>\n
Feb. 2011. Real-time Metric Linear Temporal Logic Monitoring. Carnegie Mellon University,
\nPittsburgh PA.<\/div>\n
2009. Elimination of clavicle shadows to help automatic lung nodule detection on chest radiographs. EMBEC 2009, Brussels, Belgium.<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Talks Oct. 2013. Formal Specifications for Secure Component Deployment. NSF Foundations of Resilient Cyber-Physical Systems, PI Meeting, Arlington VA, USA. Oct. 2013. Specification of Cyber-Physical Components with Formal Semantics \u2013 Integration and Composition. MODELS 2013, Miami FL, USA. Oct. 2013. … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":2720,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-66","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/66","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/users\/2720"}],"replies":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/comments?post=66"}],"version-history":[{"count":4,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/66\/revisions"}],"predecessor-version":[{"id":71,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/66\/revisions\/71"}],"wp:attachment":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/media?parent=66"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}