Home
People
Leadership
Co-Investigators
External Collaborators
Students
Presentations
Publications
Members-Only
Blog
Search form
Search
Publications
Search
Show only items where
Author
any
Abbas, Houssam
Abbas, H.
Abbas, Houssam
Amini, Alexander
Amini, Alexander
Ashikaga, Hiroshi
Bak, S.
Barrio, Roberto
Bartocci, E.
Bartocci, Ezio
Bartocci, Ezio
Beccani, Marco
Belta, Calin
Belta, Calin
Berg, Lucas A.
Berman, John P.
Bhatia, Neal K
Bhatia, Neal
Bishop, Martin
Bittihn, Philip
Bonakdarpour, B.
Borah, Manashita
Borelli, Massimo
Bortolussi, Luca
Bortolussi, L.
Bortolussi, Luca
Bozga, Marius
Bufo, Sara
Buskirk, Christopher P.
Byrne, Greg
Byrne, Greg
Cairns, D. I.
Cairns, Darby I.
Cairoli, F.
Chatzieleftheriou, G.
Chebbok, M.
Chen, Diandian Diana
Chen, H.
CHERRY, ELIZABETH M.
Cherry, Elizabeth M
Cherry, E. M.
Cherry, Elizabeth M
Cherry, E. M.
Cherry, Elizabeth
Cherry, Elizabeth M.
Cherubini, Christian
Cho, S.
Christoph, Jan
Clarke, Edmund M.
Clarke, Edmund
Cleaveland, Rance
Cleaveland, R.
Cleaveland, Rance
Clua, Esteban WG
Coombes, Stephen
Cordeiro, Jonathan M
Cun, Wenjing
Cun, Wenjing
Cyranka, Jacek
Cyranka, Jacek
Cyranka, J.
Damare, A.
Das, Debanita
Das, Jnaneshwar
Daumé, Hal
Daw, Zamira
Daw, Zamira
de Barros, Bruno G.
de Queiroz, Rafael A. B.
DeFrancisco, R.
Delgado, Cristian
Desroches, Mathieu
DeTal, Noah
Diep, Madeline
Dixit, Sanjay
Dixit, S.
EM, Cherry
Fenton, Flavio H.
Fenton, F. H.
Fenton, Flavio
Fenton, Flavio
FENTON, FLAVIO H.
Fenton, Flavio H
Fenton, Flavio H
Fenton, F. H.
Ferdman, M.
Ferlez, James
Ferlez, James
Filippi, Simonetta
Fontana, Peter
Galappaththige, Suran K
Galappaththige, Suran K
Ganesan, G.
Ganesan, D.
Gao, Sicun
Gayan, Antara
Gelzer, Anna R. M.
Ghalebi, Elahe
Gilmour, Robert F.
Gilmour, Robert F.
Gilmour, Robert F
Gizzi, Alessio
Glimm, James
Glimm, James
Glimm, J.
GLIMM, JAMES
Gol, Ebru Aydin
Gomes, Johnny Moreira
Gomes, Johnny M.
Gray, Richard A
Gray, Richard A.
Gray, Richard A.
Gray, Richard A
Greco, Edwin F
Grosu, Radu
Grosu, R.
Grosu, Radu
Gruenbacher, S.
Gruenbacher, Sophie
Gumbart, James C
Hafsteinsson, S.
Haghighi, Iman
Hasani, Ramin
Hasani, Ramin
Hasenfuss, Gerd
Henzinger, Thomas A.
Herndon, Conner
Herndon, Conner
Hoffman, Matthew J.
Hoffman, M. J.
Holt, Nathan
Holt, N.
Holzmann, G.
Hornung, Daniel
Huang, Samuel
Huang, Samuel
Iaizzo, Paul A.
Iles, Tinen
Iravanian, Shahriar
Islam, Md. Ariful
Islam, Md Ariful
Islam, Md. A.
Islam, Md. Ariful
Jaksic, Stefan
Jang, K.
Jang, K.J.
Jang, Kuk Jin
Jang, Kuk
Jansen, Nils
Ji, Yanyan C.
Jiang, Zhihao
Jiang, Zhihao
Jiang, Z.
Jiang, Kuk Jin
Jones, Austin
Jones, Paul L.
Jones, Paul L.
Jones, Paul L
K., Elahe Ghalebi
Kaboudian, Abouzar
Katsaros, P.
Keiren, Jeroen J. A.
Keiren, Jeroen JA
Kim, Soojin
Kong, Zhaodan
Kong, Soonho
Kuenning, G.
Kumar, Vijay
Kwiatkowska, Marta
Langberg, Jonathan
LaVigne, Nicholas S.
LaVigne, N. S.
Lechner, Mathias
Lechner, M.
Lechner, Mathias
Lee-Trimble, Casey
Legay, Axel
Leskovec, Jure
Liang, J.
Liang, Jackson
Liangy, Jackson
LIM, HYUNKYUNG
Lim, Hyunkyung
Lim, Hyunkyung
Lin, Shan
Lin, Shan
Lin, WeiYe
Lin, S.
Lindvall, Mikael
Lindvall, Mikael
Lindvall, M.
Liò, Pietro
Liu, K. S.
Liu, Y.
Liu, Kin Sum
Liu, Ben R.
LM, Munoz
Lobosco, Marcelo
Loppini, Alessandro
Lucangelo, Umberto
Lukina, Anna
Luther, Stefan
Mahyar, Hamidreza
Mangharam, Rahul
Mangharam, Rahul
Mangharam, R.
Mangino, John
Marcus, S. I.
Marcus, Steven I
Marcus, Steven I.
Margaria, Tiziana
Mehmood, U.
Mehmood, Usama
Mehmood, Usama
Mirzasoleiman, Baharan
MO, Ampofo
Moleski, W.
Mosterman, Pieter J
Munoz, Laura
Murthy, A.
Nenzi, Laura
Nickovic, Dejan
Nithiarasu, P.
Otani, Niels F.
others
Paoletti, Nicola
Paoletti, N.
Paoletti, Nicola
Patanè, Andrea
Pathmanathan, Pras
Phan, Dung T.
Phan, D.
Phan, Dung
Phan, Dung
Porter, Adam
Pueyo, Esther
Qian, Wei
Ramasubramanian, Bhaskar
Ramasubramanian, B.
Rameh, Raffael Bechara
Ray, Arnab
Rees, Stephen
Richter, Carl
Robertson, A. M.
Rocha, Bernardo M.
Rodionova, Alena
Roscoe, A. W.
Roth, Bradley J
Roy, Shouvik
Roy, S.
Rus, Daniela
Rus, Daniela
Sanguinetti, Guido
Sanguinetti, Guido
Santos, Rodrigo Weber dos
Santos, Rodrigo W. dos
Santos, Rodrigo Weber dos
Schmittle, Matt
Schröder-Schetelig, Johannes
Schröder-Scheteling, Johannes
Schulze, Christoph
Schulze, Christoph
Shmarov, F.
Shmarov, Fedor
Shotwell, Matthew S
Siles-Paredes, Jimena G
Singh, Aarti
Smolka, S. D.
Smolka, Scott A
Smolka, Scott A.
Smolka, S. A.
Smolka, Scott
Smolka, Scott A.
Sokolsky, Oleg
Soudjani, S.
Steffen, Bernhard
Stein, Seth
Stoller, S. D.
Stoller, Scott D.
Stoller, Scott D.
Strege, S. L.
Su, W.
Sztipanovits, Janos
Tiwari, Ashish
Tiwari, Ashish
Tiwari, A.
Tulala, Peter
Ulysses, Jesuliana N.
Uzelac, Ilija
Uzelac, Ilija
Vacek, Lukas
Vasconcellos, Eduardo C
Wang, Yue
Welsh, Andrea J
XUE, SHUAI
Yang, J.
Yang, Junxing
Zadok, E.
Zamith, Marcelo
Zhang, Timothy
Zuliani, Paolo
Zuliani, P.
Type
any
Miscellaneous
Journal Article
Conference Paper
Book Chapter
Web Article
Term
any
Year
any
2021
2020
2019
2018
2017
2016
2015
2014
Keyword
any
adversarial observer
aerospace computing
allowed switching sequences
alternans
API
application program interfaces
arrhythmia (mechanisms)
automated test generation
Automation
Bifurcation analysis
Cardiac alternans
cardiac electrophysiology
Cardiac modeling
colluding adversary
Computer architecture
computer-based model
Computers
Concurrency
Concurrent computing
concurrent design
concurrent flight software bus
concurrent publisher-subscriber architecture style
concurrent system testing
Context
cyber-physical system
Cyber-physical systems
dblp
decentralized opacity
directed graph
directed graphs
discrete time systems
discrete-time switched linear systems
electrophysiology
embedded boundary method
Flight Software
Formal methods
heart modeling
Hybrid systems
icds
Invariant mining
ISO
life-critical cps
linear system
linear systems
Mathematical model
MBT technique
medical devices
message passing
Microsoft Spec Explorer MBT tool
middleware
Model Based Testing
model-based development
model-based test automation
NASA
NASA Core Flight Software software bus module
networked dynamical systems
observers
parameter synthesis
Power systems
Probabilistic reachability
program testing
Publish-Subscribe
safety-critical software
safety-critical system
Software
software architecture
spatial temporal logic
statistical model checking
stormed systems
SUT
switched linear systems
Switched systems
Switches
switching systems (control)
system-under-test
Temporal logic
tensor diffusion
test case analysis
Testing
Timed automata
timed transition systems
Trajectory
transition systems
ventricular fibrillation
verification and validation
Export 28 results:
BibTeX
EndNote XML
Author
Title
Type
[
Year
]
Filters:
First Letter Of Last Name
is
B
[Clear All Filters]
2021
Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson's and Ebola virus diseases
,
Borah, Manashita
,
Das Debanita
,
Gayan Antara
,
Fenton Flavio
, and
Cherry Elizabeth
, Chaos, Solitons & Fractals, 12/2021, Volume 153, (2021)
Google Scholar
BibTeX
EndNote XML
Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts
,
Berman, John P.
,
FENTON FLAVIO H.
,
CHERRY ELIZABETH M.
,
Iles Tinen
,
Iaizzo Paul A.
, and
Kaboudian Abouzar
, (2021)
Google Scholar
BibTeX
EndNote XML
Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches
,
Bortolussi, L.
,
Cairoli F.
,
Paoletti N.
,
Smolka S. A.
, and
Stoller S. D.
, International Journal on Software Tools for Technology Transfer, 05/2021, (2021)
Google Scholar
BibTeX
EndNote XML
Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations
,
Uzelac, Ilija
,
Kaboudian Abouzar
,
Iravanian Shahriar
,
Siles-Paredes Jimena G.
,
Gumbart James C.
,
Ashikaga Hiroshi
,
Bhatia Neal
,
Gilmour, Jr Robert F.
,
Cherry Elizabeth M.
, and
Fenton Flavio H.
, Heart Rhythm O2, 08/2021, Volume 2, Issue 4, (2021)
Google Scholar
BibTeX
EndNote XML
Safe CPS from Unsafe Controllers
,
Mehmood, U.
,
Bak S.
,
Smolka S. A.
, and
Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
Google Scholar
BibTeX
EndNote XML
2020
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
,
Shmarov, F.
,
Soudjani S.
,
Paoletti N.
,
Bartocci E.
,
Lin S.
,
Smolka S. A.
, and
Zuliani P.
, IEEE Access, (2020)
Google Scholar
BibTeX
EndNote XML
Bayesian Neural Predictive Monitoring
,
Bortolussi, L.
,
Cairoli F.
,
Paoletti N.
,
Smolka S. A.
, and
Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Google Scholar
BibTeX
EndNote XML
Excitable dynamics in neural and cardiac systems
,
Barrio, Roberto
,
Coombes Stephen
,
Desroches Mathieu
,
Fenton Flavio
,
Luther Stefan
, and
Pueyo Esther
, Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
Google Scholar
BibTeX
EndNote XML
Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19
,
Uzelac, Ilija
,
Iravanian Shahriar
,
Ashikaga Hiroshi
,
Bhatia Neal K.
,
Herndon Conner
,
Kaboudian Abouzar
,
Gumbart James C.
,
Cherry Elizabeth M.
, and
Fenton Flavio H.
, Heart Rhythm, 09/2020, Volume 17, Issue 9, (2020)
Google Scholar
BibTeX
EndNote XML
2019
From Automated MRI Scan to Finite Elements
,
Glimm, James
,
Lim Hyunkyung
,
Bishop Martin
, and
Kim Soojin
, p.35-48, (2019)
Google Scholar
BibTeX
EndNote XML
(647.88 KB)
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
,
Bartocci, Ezio
,
Cleaveland Rance
,
Grosu Radu
, and
Sokolsky Oleg
, (2019)
Google Scholar
BibTeX
EndNote XML
2018
An Algebraic Framework for Runtime Verification
,
Jaksic, Stefan
,
Bartocci Ezio
,
Grosu Radu
, and
Nickovic Dejan
, CoRR, Volume abs/1802.03775, (2018)
Google Scholar
BibTeX
EndNote XML
(708.43 KB)
Electromechanical vortex filaments during cardiac fibrillation
,
Christoph, Jan
,
Chebbok M.
,
Richter Carl
,
Schröder-Schetelig Johannes
,
Bittihn Philip
,
Stein Seth
,
Uzelac Ilija
,
FENTON FLAVIO H.
,
Hasenfuss Gerd
,
Gilmour Robert F.
, et al.
, Nature, Volume 555, p.667+, (2018)
Google Scholar
BibTeX
EndNote XML
(11.33 MB)
OpenUAV: A UAV Testbed for the CPS and Robotics Community
,
Schmittle, Matt
,
Lukina Anna
,
Vacek Lukas
,
Das Jnaneshwar
,
Buskirk Christopher P.
,
Rees Stephen
,
Sztipanovits Janos
,
Grosu Radu
, and
Kumar Vijay
, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)
Google Scholar
BibTeX
EndNote XML
(825.63 KB)
An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models
,
Ulysses, Jesuliana N.
,
Berg Lucas A.
,
CHERRY ELIZABETH M.
,
Liu Ben R.
,
Santos Rodrigo W. dos
,
de Barros Bruno G.
,
Rocha Bernardo M.
, and
de Queiroz Rafael A. B.
, IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
Google Scholar
BibTeX
EndNote XML
2017
Lagrangian Reachabililty
,
Cyranka, Jacek
,
Islam Md. Ariful
,
Byrne Greg
,
Jones Paul L.
,
Smolka Scott A.
, and
Grosu Radu
, Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)
Google Scholar
BibTeX
EndNote XML
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
,
Abbas, Houssam
,
Rodionova Alena
,
Bartocci Ezio
,
Smolka Scott A.
, and
Grosu Radu
, International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)
Google Scholar
BibTeX
EndNote XML
(1.06 MB)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
,
Shmarov, Fedor
,
Paoletti Nicola
,
Bartocci Ezio
,
Lin Shan
,
Smolka Scott
, and
Zuliani Paolo
, Haifa Verification Conference, to appear, (2017)
Google Scholar
BibTeX
EndNote XML
2016
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.
,
Islam, Md. Ariful
,
Byrne Greg
,
Kong Soonho
,
Clarke Edmund M.
,
Cleaveland Rance
,
Fenton Flavio H.
,
Grosu Radu
,
Jones Paul L.
, and
Smolka Scott A.
, CMSB, (2016)
Google Scholar
BibTeX
EndNote XML
(795.28 KB)
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.
,
Islam, Md. Ariful
,
Byrne Greg
,
Kong Soonho
,
Clarke Edmund M.
,
Cleaveland Rance
,
Fenton Flavio H.
,
Grosu Radu
,
Jones Paul L.
, and
Smolka Scott A.
, CMSB, (2016)
Google Scholar
BibTeX
EndNote XML
(795.28 KB)
High-level modeling for computer-aided clinical trials of medical devices
,
Abbas, Houssam
,
Jiang Zhihao
,
Jang Kuk Jin
,
Beccani Marco
,
Liangy Jackson
, and
Mangharam Rahul
, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, (2016)
Google Scholar
BibTeX
EndNote XML
(4.01 MB)
In-silico pre-clinical trials for implantable cardioverter defibrillators
,
Jiang, Zhihao
,
Abbas Houssam
,
Jang Kuk Jin
,
Beccani Marco
,
Liang Jackson
,
Dixit Sanjay
, and
Mangharam Rahul
, Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the, (2016)
Google Scholar
BibTeX
EndNote XML
(4.99 MB)
2015
Abstract Model Repair
,
Chatzieleftheriou, G.
,
Bonakdarpour B.
,
Katsaros P.
, and
Smolka S. A.
, Logical Methods in Computer Science, Volume 3:11, (2015)
Google Scholar
BibTeX
EndNote XML
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation
,
Islam, Md. A.
,
Murthy A.
,
Bartocci E.
,
Cherry E. M.
,
Fenton F. H.
,
Glimm J.
,
Smolka S. A.
, and
Grosu R.
, Theoretical Computer Science, 09/2015, Volume 599C, (2015)
Google Scholar
BibTeX
EndNote XML
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems
,
Haghighi, Iman
,
Jones Austin
,
Kong Zhaodan
,
Bartocci Ezio
,
Grosu Radu
, and
Belta Calin
, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)
Google Scholar
BibTeX
EndNote XML
(679.39 KB)
Pages
1
2
next ›
last »