Houssam Abbas

Identifiers

• name variant Houssam Abbas 0.60 · backfill

Papers (7)

1. F1/10: An Open-Source Autonomous Cyber-Physical Platform cs.RO · 2019 · author #3
2. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices cs.SY · 2018 · author #4
3. Quantitative Regular Expressions for Arrhythmia Detection Algorithms cs.LO · 2016 · author #1
4. Model Checking Implantable Cardioverter Defibrillators cs.SY · 2015 · author #1
5. Towards composition of conformant systems cs.SY · 2015 · author #1
6. Conformance Testing as Falsification for Cyber-Physical Systems cs.SY · 2014 · author #1
7. Linear Hybrid System Falsification With Descent cs.SY · 2011 · author #1

Mentions

• 1105.1733 #1 · backfill · confidence 0.70 Houssam Abbas

Frequent Coauthors

• Georgios Fainekos 3 shared papers
• Rahul Mangharam 3 shared papers
• Scott A. Smolka 2 shared papers
• Zhihao Jiang 2 shared papers
• Alena Rodionova 1 shared papers
• Bardh Hoxha 1 shared papers
• Chris Kao 1 shared papers
• Dipshil Agarwal 1 shared papers
• Ezio Bartocci 1 shared papers
• Jack Harkins 1 shared papers
• James Kapinski 1 shared papers
• Jyotirmoy V. Deshmukh 1 shared papers
• Koichi Ueda 1 shared papers
• Kuk Jin Jang 1 shared papers
• Madhur Behl 1 shared papers
• Marko Bertogna 1 shared papers
• Matthew O'Kelly 1 shared papers
• Md Ariful Islam 1 shared papers
• Nicola Paoletti 1 shared papers
• Paolo Burgio 1 shared papers