Houssam Abbas

Houssam Abbas , Georgios Fainekos
allerton conference on communication, control, and computing 1594 -1601

Matthew O'Kelly , Houssam Abbas , Rahul Mangharam
2017 Resilience Week (RWS) 90 -96

Houssam Abbas , Lina J. Karam
international conference on acoustics, speech, and signal processing 1 773 -776

Houssam Abbas , Indranil Saha , Yasser Shoukry , Rudiger Ehlers
embedded software 8537236

Houssam Abbas , Zhihao Jiang , Kuk Jin Jang , Marco Beccani
high level design validation and test 85 -92

Colin Shea-Blymyer , Houssam Abbas
Smpte Journal 15 -20

Bardh Hoxha , Houssam Abbas , Georgios Fainekos ,
ARCH@ CPSWeek 34 25 -30

Houssam Abbas , Andrew Winn , Georgios Fainekos , A Agung Julius
2014 American Control Conference 2312 -2317

Bardh Hoxha , Hoang Bach , Houssam Abbas , Adel Dokhanchi
Int. Workshop on Design and Implementation of Formal Tools and Systems

Houssam Abbas , Bardh Hoxha , Georgios Fainekos , Jyotirmoy V Deshmukh
arXiv preprint arXiv:1401.5200

Bardh Hoxha , Houssam Abbas , Georgios Fainekos
Proceedings of the Applied Verification for Continuous and Hybrid Systems (ARCH 2014)

Houssam Abbas , Georgios Fainekos
arXiv preprint arXiv:1511.05273

Georgios Fainekos , Bardh Hoxha , Houssam Abbas

Houssam Abbas , Georgios Fainekos
arXiv preprint arXiv:1105.1733

Houssam Abbas , Bardh Hoxha , Takashi Ichimasa , Ezio Bartocci

Houssam Abbas , Alena Rodionova , Konstantinos Mamouras , Ezio Bartocci
IEEE/ACM Transactions on Computational Biology and Bioinformatics 16 ( 5) 1586 -1597

Houssam Abbas , Alena Rodionova , Ezio Bartocci , Scott A Smolka
arXiv preprint arXiv:1612.07770

Radu Grosu , Houssam Abbas

Rajeev Alur , Insup Lee , Rahul Mangharam , Mayur Naik
Contract 66001 ( 18-C) 4007 -4007

Yash Vardhan Pant , Houssam Abbas , Kartik Mohta , Rhudii A Quaye
IEEE Transactions on Control Systems Technology 29 ( 2) 768 -779