Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arnab Ray
@article{DBLP:journals/dt/RayC15,
author = {Arnab Ray and
Rance Cleaveland},
title = {Security Assurance Cases for Medical Cyber-Physical Systems},
journal = {{IEEE} Des. Test},
volume = {32},
number = {5},
pages = {56--65},
year = {2015},
url = {https://doi.org/10.1109/MDAT.2015.2468222},
doi = {10.1109/MDAT.2015.2468222},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/RayC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/RayC14,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Laurie A. Williams and
David M. Nicol and
Munindar P. Singh},
title = {An analysis method for medical device security},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security,
HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
pages = {16},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600176.2600192},
doi = {10.1145/2600176.2600192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/RayC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuCCCDFGGGMRS14,
author = {Radu Grosu and
Elizabeth Cherry and
Edmund M. Clarke and
Rance Cleaveland and
Sanjay Dixit and
Flavio H. Fenton and
Sicun Gao and
James Glimm and
Richard A. Gray and
Rahul Mangharam and
Arnab Ray and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Compositional, Approximate, and Quantitative Reasoning for Medical
Cyber-Physical Systems with Application to Patient-Specific Cardiac
Dynamics and Devices},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {356--364},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_26},
doi = {10.1007/978-3-662-45231-8\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuCCCDFGGGMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RayC13,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Ewen Denney and
Ibrahim Habli and
Tim Kelly and
John C. Knight and
Ganesh Pai},
title = {Constructing safety assurance cases for medical devices},
booktitle = {Proceedings of the 1st International Workshop on Assurance Cases for
Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
USA, May 19, 2013},
pages = {40--45},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASSURE.2013.6614270},
doi = {10.1109/ASSURE.2013.6614270},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RayC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/RayACSM11,
author = {Arnab Ray and
Christopher Ackermann and
Rance Cleaveland and
Charles P. Shelton and
Chris Martin},
title = {Functional and Nonfunctional Design Verification for Embedded Software
Systems},
journal = {Adv. Comput.},
volume = {83},
pages = {277--321},
year = {2011},
url = {https://doi.org/10.1016/B978-0-12-385510-7.00006-0},
doi = {10.1016/B978-0-12-385510-7.00006-0},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/RayACSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AckermannCHRSL10,
author = {Christopher Ackermann and
Rance Cleaveland and
Samuel Huang and
Arnab Ray and
Charles P. Shelton and
Elizabeth Latronico},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Automatic Requirement Extraction from Test Cases},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {1--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_1},
doi = {10.1007/978-3-642-16612-9\_1},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/AckermannCHRSL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/RayJJ09,
author = {Arnab Ray and
Raoul Praful Jetley and
Paul L. Jones},
title = {Engineering high confidence medical device software},
journal = {{SIGBED} Rev.},
volume = {6},
number = {2},
pages = {1},
year = {2009},
url = {https://doi.org/10.1145/1859823.1859824},
doi = {10.1145/1859823.1859824},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/RayJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RayMACSM09,
author = {Arnab Ray and
Iris Morschhaeuser and
Christopher Ackermann and
Rance Cleaveland and
Charles P. Shelton and
Chris Martin},
title = {Validating Automotive Control Software Using Instrumentation-Based
Verification},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {15--25},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.98},
doi = {10.1109/ASE.2009.98},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RayMACSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Ray08,
author = {Arnab Ray},
editor = {Benjamin W. Wah},
title = {Authentication, Access Control, and Information Flow},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse028},
doi = {10.1002/9780470050118.ECSE028},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/Ray08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RayC08,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Executable Specifications for Real-Time Distributed Systems},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {3--17},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.007},
doi = {10.1016/J.ENTCS.2008.05.007},
timestamp = {Mon, 13 Feb 2023 13:24:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RayC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RayC06,
author = {Arnab Ray and
Rance Cleaveland},
title = {A Software Architectural Approach to Security by Design},
booktitle = {30th Annual International Computer Software and Applications Conference,
{COMPSAC} 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume
2},
pages = {83--86},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/COMPSAC.2006.102},
doi = {10.1109/COMPSAC.2006.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/RayC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Ray05,
author = {Arnab Ray},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Enforcing Distributed Information Flow Policies Architecturally: The
{SAID} Approach},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {125--139},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_9},
doi = {10.1007/11417019\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Ray05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/UppuluriJR05,
author = {Prem Uppuluri and
Uday Joshi and
Arnab Ray},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Preventing race condition attacks on file-systems},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {346--353},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066758},
doi = {10.1145/1066677.1066758},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/UppuluriJR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RayC04,
author = {Arnab Ray and
Rance Cleaveland},
title = {Unit verification: the {CARA} experience},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {4},
pages = {351--369},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0134-5},
doi = {10.1007/S10009-003-0134-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RayC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/RaySC04,
author = {Arnab Ray and
Bikram Sengupta and
Rance Cleaveland},
editor = {R. K. Ghosh and
Hrushikesha Mohanty},
title = {Secure Requirements Elicitation Through Triggered Message Sequence
Charts},
booktitle = {Distributed Computing and Internet Technology, First International
Conference, {ICDCIT} 2004, Bhubaneswar, India, December 22-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3347},
pages = {273--282},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30555-2\_32},
doi = {10.1007/978-3-540-30555-2\_32},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/RaySC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RayC04,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Formal Modeling Of Middleware-based Distributed Systems},
booktitle = {Proceedings of the First International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {108},
pages = {21--37},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.010},
doi = {10.1016/J.ENTCS.2004.01.010},
timestamp = {Tue, 13 Dec 2022 10:41:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RayC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RayCS05,
author = {Arnab Ray and
Rance Cleaveland and
Arne Skou},
editor = {Gerald L{\"{u}}ttgen and
Natividad Mart{\'{\i}}nez Madrid and
Michael Mendler},
title = {An Algebraic Theory Of Boundary Crossing Transitions},
booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering
Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {69--88},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.029},
doi = {10.1016/J.ENTCS.2004.09.029},
timestamp = {Tue, 13 Dec 2022 11:16:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RayCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RayC03,
author = {Arnab Ray and
Rance Cleaveland},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Architectural Interaction Diagrams: AIDs for System Modeling},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {396--407},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201218},
doi = {10.1109/ICSE.2003.1201218},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RayC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/Ray03,
author = {Arnab Ray},
editor = {Christian Hempelmann and
Victor Raskin},
title = {Security check: a formal yet practical framework for secure software
architecture},
booktitle = {Proceedings of the New Security Paradigms Workshop 2003, August 18-21,
2002, Ascona, Switzerland},
pages = {59--65},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/986655.986665},
doi = {10.1145/986655.986665},
timestamp = {Wed, 14 Nov 2018 10:52:51 +0100},
biburl = {https://dblp.org/rec/conf/nspw/Ray03.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 01:21 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:
