Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

M. Islam, H. Lim, N. Paoletti, H. Abbas, Z. Jiang, J. Cyranka, R. Cleaveland, S. Gao, E. Clarke, R. Grosu, R. Mangharam, E. Cherry, F. Fenton, R. Gray, J. Glimm, S. Lin, Q. Wang, and S. Smolka. BIBM, page 1445-1452. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Abbas El Hachem University of Stuttgart

Other publications of authors with the same name

Suppression of Mosquito Noise by Recursive Epsilon-Filters.H. Abbas, and L. Karam. ICASSP (1), page 773-776. IEEE, (2007)Computing descent direction of MTL robustness for non-linear systems.H. Abbas, and G. Fainekos. ACC, page 4405-4410. IEEE, (2013)Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.Y. Pant, H. Abbas, and R. Mangharam. CDC, page 5694-5699. IEEE, (2016)High-level modeling for computer-aided clinical trials of medical devices.H. Abbas, Z. Jiang, K. Jang, M. Beccani, J. Liang, and R. Mangharam. HLDVT, page 85-92. IEEE, (2016)Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta. ACM Trans. Embedded Comput. Syst., 12 (2s): 95:1-95:30 (2013)Towards composition of conformant systems.H. Abbas, and G. Fainekos. CoRR, (2015)Linear Hybrid System Falsification Through DescentH. Abbas, and G. Fainekos. CoRR, (2011)Hardware Optimizations for Anytime Perception and Control.N. N., P. Kelkar, D. Kumar, Y. Pant, H. Abbas, J. Devietti, and R. Mangharam. RTSS, page 380. IEEE Computer Society, (2015)Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.H. Abbas. Arizona State University, Tempe, USA, (2015)base-search.net (ftarizonastateun:item:29861).Embedded software for robotics: challenges and future directions: special session.H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, and D. Ulus. EMSOFT, page 10. IEEE, (2018)

PUMA

Disambiguation of "Abbas, Houssam"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

Please choose a person to relate this publication to

Abbas El Hachem University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Abbas, Houssam"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

Please choose a person to relate this publication to

Abbas El Hachem University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.