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