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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2015 Abstract Model Repair , G. Chatzieleftheriou, B. Bonakdarpour, P. Katsaros, S. Smolka, (2015) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS An Extensible Operational Semantics for {UML} Activity Diagrams , Zamira Daw, Rance Cleaveland, (2015) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Comparing model checkers for timed UML activity diagrams , Zamira Daw, Rance Cleaveland, (2015) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS High-Confidence Medical Device Software Development , Z. Jiang, R. Mangharam, (2015) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Security assurance cases for medical cyber–physical systems , Arnab Ray, Rance Cleaveland, (2015) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS System design of stochastic models using robustness of temporal properties , Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti, (2015) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS UML-VT: A Formal Verification Environment for UML Activity Diagrams. , Zamira Daw, John Mangino, Rance Cleaveland, (2015) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2014 A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems , Ebru Gol, Ezio Bartocci, Calin Belta, (2014) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Data-Driven Statistical Learning of Temporal Logic Properties , Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti, Axel Legay, Marius Bozga, (2014) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Page 3 Page 4 Current page 5