Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anaheed Ayoub
@inproceedings{DBLP:conf/fhies/DuanRHASL14,
author = {Lian Duan and
Sanjai Rayadurgam and
Mats Per Erik Heimdahl and
Anaheed Ayoub and
Oleg Sokolsky and
Insup Lee},
editor = {Michaela Huhn and
Laurie A. Williams},
title = {Reasoning About Confidence and Uncertainty in Assurance Cases: {A}
Survey},
booktitle = {Software Engineering in Health Care - 4th International Symposium,
{FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
DC, USA, July 17-18, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9062},
pages = {64--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-63194-3\_5},
doi = {10.1007/978-3-319-63194-3\_5},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fhies/DuanRHASL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/FengKCAPBSL14,
author = {Lu Feng and
Andrew L. King and
Sanjian Chen and
Anaheed Ayoub and
Junkil Park and
Nicola Bezzo and
Oleg Sokolsky and
Insup Lee},
editor = {Volker Turau and
Marta Z. Kwiatkowska and
Rahul Mangharam and
Christoph Weyer},
title = {A Safety Argument Strategy for {PCA} Closed-Loop Systems: {A} Preliminary
Proposal},
booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
Germany, April 14, 2014},
series = {OASIcs},
volume = {36},
pages = {94--99},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.MCPS.2014.94},
doi = {10.4230/OASICS.MCPS.2014.94},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcps/FengKCAPBSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MasciACHLT13,
author = {Paolo Masci and
Anaheed Ayoub and
Paul Curzon and
Michael D. Harrison and
Insup Lee and
Harold W. Thimbleby},
editor = {Peter Forbrig and
Prasun Dewan and
Michael Harrison and
Kris Luyten},
title = {Verification of interactive software for medical devices: {PCA} infusion
pumps and {FDA} regulation as an example},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'13, London, United Kingdom - June 24 - 27, 2013},
pages = {81--90},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494603.2480302},
doi = {10.1145/2494603.2480302},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MasciACHLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/WangAISL13,
author = {Shaohui Wang and
Anaheed Ayoub and
Radoslav Ivanov and
Oleg Sokolsky and
Insup Lee},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Contract-based blame assignment by trace analysis},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {117--126},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461463},
doi = {10.1145/2461446.2461463},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/WangAISL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WangAKGSL13,
author = {Shaohui Wang and
Anaheed Ayoub and
BaekGyu Kim and
Gregor G{\"{o}}{\ss}ler and
Oleg Sokolsky and
Insup Lee},
editor = {Axel Legay and
Saddek Bensalem},
title = {A Causality Analysis Framework for Component-Based Real-Time Systems},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {285--303},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_17},
doi = {10.1007/978-3-642-40787-1\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/WangAKGSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MasciACLST13,
author = {Paolo Masci and
Anaheed Ayoub and
Paul Curzon and
Insup Lee and
Oleg Sokolsky and
Harold W. Thimbleby},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Model-Based Development of the Generic {PCA} Infusion Pump User Interface
Prototype in {PVS}},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {228--240},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_21},
doi = {10.1007/978-3-642-40793-2\_21},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/MasciACLST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AyoubKLS12,
author = {Anaheed Ayoub and
BaekGyu Kim and
Insup Lee and
Oleg Sokolsky},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Safety Case Pattern for Model-Based Development Approach},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {141--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_14},
doi = {10.1007/978-3-642-28891-3\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AyoubKLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AyoubKLS12,
author = {Anaheed Ayoub and
BaekGyu Kim and
Insup Lee and
Oleg Sokolsky},
editor = {Frank Ortmeier and
Peter Daniel},
title = {A Systematic Approach to Justifying Sufficient Confidence in Software
Safety Arguments},
booktitle = {Computer Safety, Reliability, and Security - 31st International Conference,
{SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7612},
pages = {305--316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33678-2\_26},
doi = {10.1007/978-3-642-33678-2\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AyoubKLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KimASLJZJ11,
author = {BaekGyu Kim and
Anaheed Ayoub and
Oleg Sokolsky and
Insup Lee and
Paul L. Jones and
Yi Zhang and
Raoul Praful Jetley},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Safety-assured development of the {GPCA} infusion pump software},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {155--164},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038667},
doi = {10.1145/2038642.2038667},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/KimASLJZJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WangASL11,
author = {Shaohui Wang and
Anaheed Ayoub and
Oleg Sokolsky and
Insup Lee},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Runtime Verification of Traces under Recording Uncertainty},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {442--456},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_35},
doi = {10.1007/978-3-642-29860-8\_35},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/WangASL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AyoubWSS10,
author = {Anaheed Ayoub and
Ayman M. Wahba and
Ashraf M. Salem and
Mohamed A. Sheirah},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Code Synthesis for Timed Automata: {A} Comparison Using Case Study},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {403},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_37},
doi = {10.1007/978-3-642-11811-1\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AyoubWSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/AyoubWSTS09,
author = {Anaheed Ayoub and
Ayman M. Wahba and
Ashraf M. Salem and
Mohamed Taher and
Mohamed A. Sheirah},
editor = {Hans Weghorn and
Pedro T. Isa{\'{\i}}as},
title = {Automatic code generation from verified timed automata model},
booktitle = {Proceedings of the {IADIS} International Conference Applied Computing
2009, 19-21 November, Rome, Italy, 2 Volumes},
pages = {243--250},
publisher = {{IADIS} Press},
year = {2009},
timestamp = {Tue, 04 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iadis/AyoubWSTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AyoubWSS03,
author = {Anaheed Ayoub and
Ayman M. Wahba and
Ashraf M. Salem and
Mohamed A. Sheirah},
title = {TCTL-Based Verification of Industrial Processes},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {456--468},
publisher = {{ECSI}},
year = {2003},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=831},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/AyoubWSS03.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 2023-10-02 00:59 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:
