Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Houssam Abbas
@article{DBLP:journals/sttt/MomtazBAB23,
author = {Anik Momtaz and
Niraj Basnet and
Houssam Abbas and
Borzoo Bonakdarpour},
title = {Predicate monitoring in distributed cyber-physical systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {4},
pages = {541--556},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00718-x},
doi = {10.1007/S10009-023-00718-X},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/MomtazBAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MomtazAB23,
author = {Anik Momtaz and
Houssam Abbas and
Borzoo Bonakdarpour},
editor = {Sayan Mitra and
Nalini Venkatasubramanian and
Abhishek Dubey and
Lu Feng and
Mahsa Ghasemi and
Jonathan Sprinkle},
title = {Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems},
booktitle = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
USA, May 9-12, 2023},
pages = {154--165},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576841.3585937},
doi = {10.1145/3576841.3585937},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/MomtazAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KollMBA23,
author = {Charles Koll and
Anik Momtaz and
Borzoo Bonakdarpour and
Houssam Abbas},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Decentralized Predicate Detection Over Partially Synchronous Continuous-Time
Signals},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {213--230},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_11},
doi = {10.1007/978-3-031-44267-4\_11},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KollMBA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-02763,
author = {Charles Koll and
Anik Momtaz and
Borzoo Bonakdarpour and
Houssam Abbas},
title = {Decentralized Predicate Detection over Partially Synchronous Continuous-Time
Signals},
journal = {CoRR},
volume = {abs/2308.02763},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.02763},
doi = {10.48550/ARXIV.2308.02763},
eprinttype = {arXiv},
eprint = {2308.02763},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-02763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FrondaA22,
author = {Nicole Fronda and
Houssam Abbas},
title = {Differentiable Inference of Temporal Logic Formulas},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {11},
pages = {4193--4204},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2022.3197506},
doi = {10.1109/TCAD.2022.3197506},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/FrondaA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/Shea-BlymyerA22,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
editor = {Vincent Conitzer and
John Tasioulas and
Matthias Scheutz and
Ryan Calo and
Martina Mara and
Annette Zimmermann},
title = {Generating Deontic Obligations From Utility-Maximizing Systems},
booktitle = {{AIES} '22: {AAAI/ACM} Conference on AI, Ethics, and Society, Oxford,
United Kingdom, May 19 - 21, 2021},
pages = {653--663},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3514094.3534163},
doi = {10.1145/3514094.3534163},
timestamp = {Fri, 29 Jul 2022 10:48:28 +0200},
biburl = {https://dblp.org/rec/conf/aies/Shea-BlymyerA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/PantAM22,
author = {Yash Vardhan Pant and
Houssam Abbas and
Rahul Mangharam},
title = {Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal
Logic Objectives},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2022,
Trieste, Italy, August 23-25, 2022},
pages = {476--483},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CCTA49430.2022.9966096},
doi = {10.1109/CCTA49430.2022.9966096},
timestamp = {Tue, 20 Dec 2022 18:37:02 +0100},
biburl = {https://dblp.org/rec/conf/ccta/PantAM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasP22,
author = {Houssam Abbas and
Richard Pelphrey},
editor = {Ezio Bartocci and
Sylvie Putot},
title = {A Multiresolution Analysis of Temporal Logic},
booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
pages = {17:1--17:10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710.3519531},
doi = {10.1145/3501710.3519531},
timestamp = {Thu, 07 Jul 2022 07:10:17 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AbbasP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AbbasB22,
author = {Houssam Abbas and
Borzoo Bonakdarpour},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging System Dynamics in Runtime Verification of Cyber-Physical
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {264--278},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_16},
doi = {10.1007/978-3-031-19849-6\_16},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/AbbasB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-05440,
author = {Nicole Fronda and
Houssam Abbas},
title = {Differentiable Inference of Temporal Logic Formulas},
journal = {CoRR},
volume = {abs/2208.05440},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.05440},
doi = {10.48550/ARXIV.2208.05440},
eprinttype = {arXiv},
eprint = {2208.05440},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-05440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RodionovaPKJAM21,
author = {Al{\"{e}}na Rodionova and
Yash Vardhan Pant and
Connor Kurtz and
Kuk Jin Jang and
Houssam Abbas and
Rahul Mangharam},
title = {Learning-'N-Flying: {A} Learning-Based, Decentralized Mission-Aware
{UAS} Collision Avoidance Scheme},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {5},
number = {4},
pages = {35:1--35:26},
year = {2021},
url = {https://doi.org/10.1145/3447624},
doi = {10.1145/3447624},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/RodionovaPKJAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Shea-BlymyerA21,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle
Obligations},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {5},
number = {4},
pages = {38:1--38:25},
year = {2021},
url = {https://doi.org/10.1145/3460975},
doi = {10.1145/3460975},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/Shea-BlymyerA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/PantAMQNDM21,
author = {Yash Vardhan Pant and
Houssam Abbas and
Kartik Mohta and
Rhudii A. Quaye and
Truong X. Nghiem and
Joseph Devietti and
Rahul Mangharam},
title = {Anytime Computation and Control for Autonomous Systems},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {29},
number = {2},
pages = {768--779},
year = {2021},
url = {https://doi.org/10.1109/TCST.2020.2979388},
doi = {10.1109/TCST.2020.2979388},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/PantAMQNDM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arso/Shea-BlymyerA21,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {Learning a Robot's Social Obligations from Comparisons of Observed
Behavior},
booktitle = {International {IEEE} Conference on Advanced Robotics and Its Social
Impacts, {ARSO} 2021, Tokoname, Japan, July 8-10, 2021},
pages = {15--20},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ARSO51874.2021.9542846},
doi = {10.1109/ARSO51874.2021.9542846},
timestamp = {Thu, 30 Sep 2021 15:42:47 +0200},
biburl = {https://dblp.org/rec/conf/arso/Shea-BlymyerA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MomtazBAB21,
author = {Anik Momtaz and
Niraj Basnet and
Houssam Abbas and
Borzoo Bonakdarpour},
editor = {Lu Feng and
Dana Fisman},
title = {Predicate Monitoring in Distributed Cyber-Physical Systems},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {3--22},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_1},
doi = {10.1007/978-3-030-88494-9\_1},
timestamp = {Thu, 07 Oct 2021 16:28:30 +0200},
biburl = {https://dblp.org/rec/conf/rv/MomtazBAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-10404,
author = {Al{\"{e}}na Rodionova and
Yash Vardhan Pant and
Connor Kurtz and
Kuk Jin Jang and
Houssam Abbas and
Rahul Mangharam},
title = {Learning-'N-Flying: {A} Learning-based, Decentralized Mission Aware
{UAS} Collision Avoidance Scheme},
journal = {CoRR},
volume = {abs/2101.10404},
year = {2021},
url = {https://arxiv.org/abs/2101.10404},
eprinttype = {arXiv},
eprint = {2101.10404},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-10404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02851,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle
Obligations},
journal = {CoRR},
volume = {abs/2105.02851},
year = {2021},
url = {https://arxiv.org/abs/2105.02851},
eprinttype = {arXiv},
eprint = {2105.02851},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Shea-BlymyerA20,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {A deontic logic analysis of autonomous systems' safety},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {26:1--26:11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382203},
doi = {10.1145/3365365.3382203},
timestamp = {Fri, 11 Sep 2020 12:57:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Shea-BlymyerA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KurtzA20,
author = {Connor Kurtz and
Houssam Abbas},
title = {FairFly: {A} Fair Motion Planner for Fleets of Autonomous UAVs in
Urban Airspace},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294612},
doi = {10.1109/ITSC45102.2020.9294612},
timestamp = {Mon, 18 Jan 2021 09:44:55 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KurtzA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/RodionovaPJAM20,
author = {Al{\"{e}}na Rodionova and
Yash Vardhan Pant and
Kuk Jin Jang and
Houssam Abbas and
Rahul Mangharam},
title = {Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban
Air Mobility},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294425},
doi = {10.1109/ITSC45102.2020.9294425},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/RodionovaPJAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasnetA20,
author = {Niraj Basnet and
Houssam Abbas},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Logical Signal Processing: {A} Fourier Analysis of Temporal Logic},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {359--382},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_20},
doi = {10.1007/978-3-030-60508-7\_20},
timestamp = {Fri, 09 Oct 2020 16:55:45 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasnetA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AgnihotriOMA20,
author = {Abhijeet Agnihotri and
Matthew O'Kelly and
Rahul Mangharam and
Houssam Abbas},
editor = {Jian Zhang and
Mark Sherriff and
Sarah Heckman and
Pamela A. Cutter and
Alvaro E. Monge},
title = {Teaching Autonomous Systems at 1/10th-scale: Design of the {F1/10}
Racecar, Simulators and Curriculum},
booktitle = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
pages = {657--663},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3328778.3366796},
doi = {10.1145/3328778.3366796},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AgnihotriOMA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-13267,
author = {Al{\"{e}}na Rodionova and
Yash Vardhan Pant and
Kuk Jin Jang and
Houssam Abbas and
Rahul Mangharam},
title = {Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban
Air Mobility},
journal = {CoRR},
volume = {abs/2006.13267},
year = {2020},
url = {https://arxiv.org/abs/2006.13267},
eprinttype = {arXiv},
eprint = {2006.13267},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-13267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09297,
author = {Connor Kurtz and
Houssam Abbas},
title = {FairFly: {A} Fair Motion Planner for Fleets of Autonomous UAVs in
Urban Airspace},
journal = {CoRR},
volume = {abs/2008.09297},
year = {2020},
url = {https://arxiv.org/abs/2008.09297},
eprinttype = {arXiv},
eprint = {2008.09297},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00738,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {A Deontic Logic Analysis of Autonomous Systems' Safety},
journal = {CoRR},
volume = {abs/2009.00738},
year = {2020},
url = {https://arxiv.org/abs/2009.00738},
eprinttype = {arXiv},
eprint = {2009.00738},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-08090,
author = {Niraj Basnet and
Houssam Abbas},
title = {Logical Signal Processing: a Fourier Analysis of Temporal Logic},
journal = {CoRR},
volume = {abs/2009.08090},
year = {2020},
url = {https://arxiv.org/abs/2009.08090},
eprinttype = {arXiv},
eprint = {2009.08090},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-08090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/AbbasRMBSG19,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Konstantinos Mamouras and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Quantitative Regular Expressions for Arrhythmia Detection},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {5},
pages = {1586--1597},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2885274},
doi = {10.1109/TCBB.2018.2885274},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/AbbasRMBSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Abbas19,
author = {Houssam Abbas},
title = {Private runtime verification: work-in-progress},
booktitle = {Proceedings of the International Conference on Embedded Software Companion,
New York, NY, USA, October 13-18, 2019},
pages = {11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3349568.3351552},
doi = {10.1145/3349568.3351552},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Abbas19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasPM19,
author = {Houssam Abbas and
Yash Vardhan Pant and
Rahul Mangharam},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Temporal logic robustness for general signal classes},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {45--56},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311817},
doi = {10.1145/3302504.3311817},
timestamp = {Sun, 07 Apr 2019 17:45:27 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AbbasPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PaolettiJIAMLGS19,
author = {Nicola Paoletti and
Zhihao Jiang and
Md. Ariful Islam and
Houssam Abbas and
Rahul Mangharam and
Shan Lin and
Zachary Gruber and
Scott A. Smolka},
editor = {Xue Liu and
Paulo Tabuada and
Miroslav Pajic and
Linda Bushnell},
title = {Synthesizing stealthy reprogramming attacks on cardiac devices},
booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
pages = {13--22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302509.3311044},
doi = {10.1145/3302509.3311044},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/PaolettiJIAMLGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PantQAVM19,
author = {Yash Vardhan Pant and
Rhudii A. Quaye and
Houssam Abbas and
Akarsh Varre and
Rahul Mangharam},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Fly-by-Logic: {A} Tool for Unmanned Aircraft System Fleet Planning
Using Temporal Logic},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {355--362},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_24},
doi = {10.1007/978-3-030-20652-9\_24},
timestamp = {Tue, 28 May 2019 13:48:14 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PantQAVM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08567,
author = {Matthew O'Kelly and
Varundev Sukhil and
Houssam Abbas and
Jack Harkins and
Chris Kao and
Yash Vardhan Pant and
Rahul Mangharam and
Dipshil Agarwal and
Madhur Behl and
Paolo Burgio and
Marko Bertogna},
title = {{F1/10:} An Open-Source Autonomous Cyber-Physical Platform},
journal = {CoRR},
volume = {abs/1901.08567},
year = {2019},
url = {http://arxiv.org/abs/1901.08567},
eprinttype = {arXiv},
eprint = {1901.08567},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-08567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Real-Time Decision Policies With Predictable Performance},
journal = {Proc. {IEEE}},
volume = {106},
number = {9},
pages = {1593--1615},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2018.2853608},
doi = {10.1109/JPROC.2018.2853608},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbbasM18,
author = {Houssam Abbas and
Rahul Mangharam},
title = {Generalized Robust {MTL} Semantics for Problems in Cardiac Electrophysiology},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {1592--1597},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431460},
doi = {10.23919/ACC.2018.8431460},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbbasM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {1--2},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00007},
doi = {10.1109/MT-CPS.2018.00007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/JangWAJLDM18,
author = {Kuk Jin Jang and
James Weimer and
Houssam Abbas and
Zhihao Jiang and
Jackson Liang and
Sanjay Dixit and
Rahul Mangharam},
title = {Computer Aided Clinical Trials for Implantaule Cardiac Devices},
booktitle = {40th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2018, Honolulu, HI, USA, July
18-21, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMBC.2018.8513284},
doi = {10.1109/EMBC.2018.8513284},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/JangWAJLDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AbbasSSEFGMU18,
author = {Houssam Abbas and
Indranil Saha and
Yasser Shoukry and
R{\"{u}}diger Ehlers and
Georgios Fainekos and
Rajesh Gupta and
Rupak Majumdar and
Dogan Ulus},
editor = {Bj{\"{o}}rn B. Brandenburg and
Sriram Sankaranarayanan},
title = {Embedded software for robotics: challenges and future directions:
special session},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2018, Torino, Italy, September 30 - October 5, 2018},
pages = {10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMSOFT.2018.8537236},
doi = {10.1109/EMSOFT.2018.8537236},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AbbasSSEFGMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PantAQM18,
author = {Yash Vardhan Pant and
Houssam Abbas and
Rhudii A. Quaye and
Rahul Mangharam},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Fly-by-logic: control of multi-drone fleets with temporal logic objectives},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {186--197},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00026},
doi = {10.1109/ICCPS.2018.00026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/PantAQM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-03808,
author = {Nicola Paoletti and
Zhihao Jiang and
Md. Ariful Islam and
Houssam Abbas and
Rahul Mangharam and
Shan Lin and
Zachary Gruber and
Scott A. Smolka},
title = {Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices},
journal = {CoRR},
volume = {abs/1810.03808},
year = {2018},
url = {http://arxiv.org/abs/1810.03808},
eprinttype = {arXiv},
eprint = {1810.03808},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-03808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/JiangAMM17,
author = {Zhihao Jiang and
Houssam Abbas and
Pieter J. Mosterman and
Rahul Mangharam},
title = {Automated closed-loop model checking of implantable pacemakers using
abstraction trees},
journal = {{SIGBED} Rev.},
volume = {14},
number = {2},
pages = {15--23},
year = {2017},
url = {https://doi.org/10.1145/3076125.3076127},
doi = {10.1145/3076125.3076127},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/JiangAMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/BegAJD17,
author = {Omar Beg and
Houssam Abbas and
Taylor T. Johnson and
Ali Davoudi},
title = {Model Validation of {PWM} {DC-DC} Converters},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {64},
number = {9},
pages = {7049--7059},
year = {2017},
url = {https://doi.org/10.1109/TIE.2017.2688961},
doi = {10.1109/TIE.2017.2688961},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/BegAJD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/PantAM17,
author = {Yash Vardhan Pant and
Houssam Abbas and
Rahul Mangharam},
title = {Smooth operator: Control using the smooth robustness of temporal logic},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2017,
Mauna Lani Resort, HI, USA, August 27-30, 2017},
pages = {1235--1240},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCTA.2017.8062628},
doi = {10.1109/CCTA.2017.8062628},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ccta/PantAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AbbasRBSG17,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Quantitative Regular Expressions for Arrhythmia Detection Algorithms},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {23--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_2},
doi = {10.1007/978-3-319-67471-1\_2},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AbbasRBSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/RodionovaOAPM17,
author = {Al{\"{e}}na Rodionova and
Matthew O'Kelly and
Houssam Abbas and
Vincent Pacelli and
Rahul Mangharam},
editor = {Goran Frehse and
Matthias Althoff},
title = {An Autonomous Vehicle Control Stack},
booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
on April 17, 2017 in Pittsburgh, PA, {USA}},
series = {EPiC Series in Computing},
volume = {48},
pages = {44--51},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/r5n9},
doi = {10.29007/R5N9},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/RodionovaOAPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/AbbasORM17,
author = {Houssam Abbas and
Matthew O'Kelly and
Al{\"{e}}na Rodionova and
Rahul Mangharam},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Safe At Any Speed: {A} Simulation-Based Test Harness for Autonomous
Vehicles},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International
Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11267},
pages = {94--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-17910-6\_8},
doi = {10.1007/978-3-030-17910-6\_8},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/AbbasORM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasOM17,
author = {Houssam Abbas and
Matthew O'Kelly and
Rahul Mangharam},
editor = {Goran Frehse and
Sayan Mitra},
title = {Relaxed Decidability and the Robust Semantics of Metric Temporal Logic},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {217--225},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049813},
doi = {10.1145/3049797.3049813},
timestamp = {Tue, 06 Nov 2018 11:07:36 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbbasOM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/JiangAJM16,
author = {Zhihao Jiang and
Houssam Abbas and
Kuk Jin Jang and
Rahul Mangharam},
title = {The Challenges of High-Confidence Medical Device Software},
journal = {Computer},
volume = {49},
number = {1},
pages = {34--42},
year = {2016},
url = {https://doi.org/10.1109/MC.2016.20},
doi = {10.1109/MC.2016.20},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/JiangAJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/IslamLPAJCCGCGM16,
author = {Md. Ariful Islam and
Hyun{-}Kyung Lim and
Nicola Paoletti and
Houssam Abbas and
Zhihao Jiang and
Jacek Cyranka and
Rance Cleaveland and
Sicun Gao and
Edmund M. Clarke and
Radu Grosu and
Rahul Mangharam and
Elizabeth Cherry and
Flavio H. Fenton and
Richard A. Gray and
James Glimm and
Shan Lin and
Qinsi Wang and
Scott A. Smolka},
editor = {Tianhai Tian and
Qinghua Jiang and
Yunlong Liu and
Kevin Burrage and
Jiangning Song and
Yadong Wang and
Xiaohua Hu and
Shinichi Morishita and
Qian Zhu and
Guohua Wang},
title = {CyberCardia project: Modeling, verification and validation of implantable
cardiac devices},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2016, Shenzhen, China, December 15-18, 2016},
pages = {1445--1452},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIBM.2016.7822737},
doi = {10.1109/BIBM.2016.7822737},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/IslamLPAJCCGCGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PantAM16,
author = {Yash Vardhan Pant and
Houssam Abbas and
Rahul Mangharam},
title = {Robust model predictive control for non-linear systems with input
and state constraints via feedback linearization},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {5694--5699},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7799144},
doi = {10.1109/CDC.2016.7799144},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PantAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/MangharamABJPJ16,
author = {Rahul Mangharam and
Houssam Abbas and
Madhur Behl and
Kuk Jin Jang and
Miroslav Pajic and
Zhihao Jiang},
title = {Three challenges in cyber-physical systems},
booktitle = {8th International Conference on Communication Systems and Networks,
{COMSNETS} 2016, Bangalore, India, January 5-10, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/COMSNETS.2016.7440015},
doi = {10.1109/COMSNETS.2016.7440015},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comsnets/MangharamABJPJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbbasJM16,
author = {Houssam Abbas and
Kuk Jin Jang and
Rahul Mangharam},
editor = {Goran Frehse and
Matthias Althoff},
title = {Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {1--8},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/5zfk},
doi = {10.29007/5ZFK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/AbbasJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/JiangAJBLDM16,
author = {Zhihao Jiang and
Houssam Abbas and
Kuk Jin Jang and
Marco Beccani and
Jackson Liang and
Sanjay Dixit and
Rahul Mangharam},
title = {In-silico pre-clinical trials for implantable cardioverter defibrillators},
booktitle = {38th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August
16-20, 2016},
pages = {169--172},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EMBC.2016.7590667},
doi = {10.1109/EMBC.2016.7590667},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/JiangAJBLDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/AbbasJJBLM16,
author = {Houssam Abbas and
Zhihao Jiang and
Kuk Jin Jang and
Marco Beccani and
Jackson Liang and
Rahul Mangharam},
title = {High-level modeling for computer-aided clinical trials of medical
devices},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
pages = {85--92},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HLDVT.2016.7748260},
doi = {10.1109/HLDVT.2016.7748260},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/AbbasJJBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasJJM16,
author = {Houssam Abbas and
Kuk Jin Jang and
Zhihao Jiang and
Rahul Mangharam},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Towards Model Checking of Implantable Cardioverter Defibrillators},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {87--92},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883841},
doi = {10.1145/2883817.2883841},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AbbasJJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasRBSG16,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Regular Expressions for Irregular Rhythms},
journal = {CoRR},
volume = {abs/1612.07770},
year = {2016},
url = {http://arxiv.org/abs/1612.07770},
eprinttype = {arXiv},
eprint = {1612.07770},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasRBSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Abbas15,
author = {Houssam Abbas},
title = {Test-Based Falsification and Conformance Testing for Cyber-Physical
Systems},
school = {Arizona State University, Tempe, {USA}},
year = {2015},
url = {https://hdl.handle.net/2286/R.I.29861},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Abbas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PantAMNDM15,
author = {Yash Vardhan Pant and
Houssam Abbas and
Kartik Mohta and
Truong X. Nghiem and
Joseph Devietti and
Rahul Mangharam},
title = {Co-design of Anytime Computation and Robust Control},
booktitle = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
Texas, USA, December 1-4, 2015},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTSS.2015.12},
doi = {10.1109/RTSS.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PantAMNDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/NKKPADM15,
author = {Nischal K. N. and
Paritosh Kelkar and
Dhruva Kumar and
Yash Vardhan Pant and
Houssam Abbas and
Joseph Devietti and
Rahul Mangharam},
title = {Hardware Optimizations for Anytime Perception and Control},
booktitle = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
Texas, USA, December 1-4, 2015},
pages = {380},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTSS.2015.49},
doi = {10.1109/RTSS.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/NKKPADM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasF15,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Towards composition of conformant systems},
journal = {CoRR},
volume = {abs/1511.05273},
year = {2015},
url = {http://arxiv.org/abs/1511.05273},
eprinttype = {arXiv},
eprint = {1511.05273},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasJJM15,
author = {Houssam Abbas and
Kuk Jin Jang and
Zhihao Jiang and
Rahul Mangharam},
title = {Model Checking Implantable Cardioverter Defibrillators},
journal = {CoRR},
volume = {abs/1512.08083},
year = {2015},
url = {http://arxiv.org/abs/1512.08083},
eprinttype = {arXiv},
eprint = {1512.08083},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasJJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbbasWFJ14,
author = {Houssam Abbas and
Andrew K. Winn and
Georgios Fainekos and
A. Agung Julius},
title = {Functional gradient descent method for Metric Temporal Logic specifications},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {2312--2317},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859453},
doi = {10.1109/ACC.2014.6859453},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbbasWFJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HoxhaAF14,
author = {Bardh Hoxha and
Houssam Abbas and
Georgios Fainekos},
editor = {Goran Frehse and
Matthias Althoff},
title = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {25--30},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/xwrs},
doi = {10.29007/XWRS},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HoxhaAF14a,
author = {Bardh Hoxha and
Houssam Abbas and
Georgios Fainekos},
editor = {Goran Frehse and
Matthias Althoff},
title = {Using S-TaLiRo on Industrial Size AuImmlertomotive Models},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {113--119},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kwp3},
doi = {10.29007/KWP3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AbbasHFDKU14,
author = {Houssam Abbas and
Bardh Hoxha and
Georgios Fainekos and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda},
title = {WiP abstract: Conformance testing as falsification for cyber-physical
systems},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {211},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843724},
doi = {10.1109/ICCPS.2014.6843724},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/AbbasHFDKU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AbbasMF14,
author = {Houssam Abbas and
Hans D. Mittelmann and
Georgios Fainekos},
title = {Formal property verification in a conformance testing framework},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {155--164},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961854},
doi = {10.1109/MEMCOD.2014.6961854},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/AbbasMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasHFDKU14,
author = {Houssam Abbas and
Bardh Hoxha and
Georgios Fainekos and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda},
title = {Conformance Testing as Falsification for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1401.5200},
year = {2014},
url = {http://arxiv.org/abs/1401.5200},
eprinttype = {arXiv},
eprint = {1401.5200},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasHFDKU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AbbasFSIG13,
author = {Houssam Abbas and
Georgios Fainekos and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {2s},
pages = {95:1--95:30},
year = {2013},
url = {https://doi.org/10.1145/2465787.2465797},
doi = {10.1145/2465787.2465797},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AbbasFSIG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbbasF13,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Computing descent direction of {MTL} robustness for non-linear systems},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {4405--4410},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580518},
doi = {10.1109/ACC.2013.6580518},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbbasF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/AbbasF12,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Convergence proofs for Simulated Annealing falsification of safety
properties},
booktitle = {50th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2012, Allerton Park {\&} Retreat Center, Monticello,
IL, USA, October 1-5, 2012},
pages = {1594--1601},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/Allerton.2012.6483411},
doi = {10.1109/ALLERTON.2012.6483411},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/AbbasF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbbasF11,
author = {Houssam Abbas and
Georgios Fainekos},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Linear Hybrid System Falsification through Local Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {503--510},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_39},
doi = {10.1007/978-3-642-24372-1\_39},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AbbasF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1733,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Linear Hybrid System Falsification Through Descent},
journal = {CoRR},
volume = {abs/1105.1733},
year = {2011},
url = {http://arxiv.org/abs/1105.1733},
eprinttype = {arXiv},
eprint = {1105.1733},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/AbbasK07,
author = {Houssam Abbas and
Lina J. Karam},
title = {Suppression of Mosquito Noise by Recursive Epsilon-Filters},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April
15-20, 2007},
pages = {773--776},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICASSP.2007.366022},
doi = {10.1109/ICASSP.2007.366022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/AbbasK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
