Publications Sort by Year of Publication Order AscDesc 2016 Towards Model Checking of Implantable Cardioverter Defibrillators (2016) Houssam Abbas – Kuk Jiang – Zhihao Jiang – Rahul Mangharam DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2015 Abstract Model Repair (2015) G. Chatzieleftheriou – B. Bonakdarpour – P. Katsaros – S. Smolka Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS An Extensible Operational Semantics for {UML} Activity Diagrams (2015) Zamira Daw – Rance Cleaveland DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Comparing model checkers for timed UML activity diagrams (2015) Zamira Daw – Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS High-Confidence Medical Device Software Development (2015) Z. Jiang – R. Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation (2015) Md. Islam – A. Murthy – E. Bartocci – E. Cherry – F. Fenton – J. Glimm – S. Smolka – R. Grosu Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Security assurance cases for medical cyber–physical systems (2015) Arnab Ray – Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems (2015) Iman Haghighi – Austin Jones – Zhaodan Kong – Ezio Bartocci – Radu Grosu – Calin Belta DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS System design of stochastic models using robustness of temporal properties (2015) Ezio Bartocci – Luca Bortolussi – Laura Nenzi – Guido Sanguinetti DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS UML-VT: A Formal Verification Environment for UML Activity Diagrams. (2015) Zamira Daw – John Mangino – Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2014 A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems (2014) Ebru Gol – Ezio Bartocci – Calin Belta Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data-Driven Statistical Learning of Temporal Logic Properties (2014) Ezio Bartocci – Luca Bortolussi – Guido Sanguinetti – Axel Legay – Marius Bozga DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients (2014) Sara Bufo – Ezio Bartocci – Guido Sanguinetti – Massimo Borelli – Umberto Lucangelo – Luca Bortolussi – Tiziana Margaria – Bernhard Steffen DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Page 3 Page 4 Current page 5
