Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sam Procter
@article{DBLP:journals/jot/Procter23,
author = {Sam Procter},
title = {The {OSATE} Slicer: Graph-Based Reachability for Architectural Models},
journal = {J. Object Technol.},
volume = {22},
number = {2},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.5381/jot.2023.22.2.a3},
doi = {10.5381/JOT.2023.22.2.A3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/Procter23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HuguesP22,
author = {J{\'{e}}r{\^{o}}me Hugues and
Sam Procter},
title = {Contracts in System Development: From Multiconcern Analysis to Assurance
With the Architecture Analysis and Design Language},
journal = {{IEEE} Softw.},
volume = {39},
number = {4},
pages = {34--38},
year = {2022},
url = {https://doi.org/10.1109/MS.2022.3167533},
doi = {10.1109/MS.2022.3167533},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HuguesP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ProcterW21,
author = {Sam Procter and
Lutz Wrage},
title = {Guided architecture trade space exploration: fusing model-based engineering
and design by shopping},
journal = {Softw. Syst. Model.},
volume = {20},
number = {6},
pages = {2023--2045},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00889-8},
doi = {10.1007/S10270-021-00889-8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ProcterW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ProcterW19,
author = {Sam Procter and
Lutz Wrage},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {Guided Architecture Trade Space Exploration: Fusing Model Based Engineering
{\&} Design by Shopping},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {117--127},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.000-9},
doi = {10.1109/MODELS.2019.000-9},
timestamp = {Tue, 24 Nov 2020 14:44:06 +0100},
biburl = {https://dblp.org/rec/conf/models/ProcterW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/ProcterVH17,
author = {Sam Procter and
Eugene Y. Vasserman and
John Hatcliff},
title = {{SAFE} and Secure: Deeply Integrating Security in a New Hazard Analysis},
booktitle = {Proceedings of the 12th International Conference on Availability,
Reliability and Security, Reggio Calabria, Italy, August 29 - September
01, 2017},
pages = {66:1--66:10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098954.3105823},
doi = {10.1145/3098954.3105823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/ProcterVH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/KimPHRR15,
author = {Yu Jin Kim and
Sam Procter and
John Hatcliff and
Venkatesh{-}Prasad Ranganath and
Robby},
editor = {Prabhakaran Balakrishnan and
Jaideep Srivatsava and
Wai{-}Tat Fu and
Sanda M. Harabagiu and
Fei Wang},
title = {Ecosphere Principles for Medical Application Platforms},
booktitle = {2015 International Conference on Healthcare Informatics, {ICHI} 2015,
Dallas, TX, USA, October 21-23, 2015},
pages = {193--198},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICHI.2015.30},
doi = {10.1109/ICHI.2015.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ichi/KimPHRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ProcterHWF15,
author = {Sam Procter and
John Hatcliff and
Sandy Weininger and
Anura Fernando},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Error Type Refinement for Assurance of Families of Platform-Based
Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {95--106},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_9},
doi = {10.1007/978-3-319-24249-1\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ProcterHWF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KingFPCSHL15,
author = {Andrew L. King and
Lu Feng and
Sam Procter and
Sanjian Chen and
Oleg Sokolsky and
John Hatcliff and
Insup Lee},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Towards Assurance for Plug {\&} Play Medical Systems},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {228--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_17},
doi = {10.1007/978-3-319-24255-2\_17},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/KingFPCSHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/ProcterHR14,
author = {Sam Procter and
John Hatcliff and
Robby},
editor = {Michaela Huhn and
Laurie A. Williams},
title = {Towards an AADL-Based Definition of App Architecture for Medical Application
Platforms},
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 = {26--43},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-63194-3\_3},
doi = {10.1007/978-3-319-63194-3\_3},
timestamp = {Mon, 07 Sep 2020 10:46:59 +0200},
biburl = {https://dblp.org/rec/conf/fhies/ProcterHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ProcterH14,
author = {Sam Procter and
John Hatcliff},
title = {An architecturally-integrated, systems-based hazard analysis for medical
applications},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {124--133},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961850},
doi = {10.1109/MEMCOD.2014.6961850},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ProcterH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LarsonHPC12,
author = {Brian R. Larson and
John Hatcliff and
Sam Procter and
Patrice Chalin},
editor = {Ruth Breu and
John Hatcliff},
title = {Requirements specification for apps in medical application platforms},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
in Health Care, {SEHC} 2012, Zurich, Switzerland, June 4-5, 2012},
pages = {26--32},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEHC.2012.6227013},
doi = {10.1109/SEHC.2012.6227013},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/LarsonHPC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingALSHP10,
author = {Andrew L. King and
David Arney and
Insup Lee and
Oleg Sokolsky and
John Hatcliff and
Sam Procter},
editor = {Lori A. Clarke and
Jens H. Weber{-}Jahnke},
title = {Prototyping closed loop physiologic control with the medical device
coordination framework},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering in
Health Care, {SEHC} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {1--11},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809085.1809086},
doi = {10.1145/1809085.1809086},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KingALSHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/KingPAHWSJJW09,
author = {Andrew L. King and
Sam Procter and
Daniel Andresen and
John Hatcliff and
Steve Warren and
William Spees and
Raoul Praful Jetley and
Paul L. Jones and
Sandy Weininger},
title = {A publish-subscribe architecture and component-based programming model
for medical device interoperability},
journal = {{SIGBED} Rev.},
volume = {6},
number = {2},
pages = {7},
year = {2009},
url = {https://doi.org/10.1145/1859823.1859830},
doi = {10.1145/1859823.1859830},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/KingPAHWSJJW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingPAHWSJJW09,
author = {Andrew L. King and
Sam Procter and
Daniel Andresen and
John Hatcliff and
Steve Warren and
William Spees and
Raoul Praful Jetley and
Paul L. Jones and
Sandy Weininger},
title = {An open test bed for medical device integration and coordination},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {141--151},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070972},
doi = {10.1109/ICSE-COMPANION.2009.5070972},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KingPAHWSJJW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingPAHWSJJW09a,
author = {Andrew L. King and
Sam Procter and
Daniel Andresen and
John Hatcliff and
Steve Warren and
William Spees and
Raoul Praful Jetley and
Paul L. Jones and
Sandy Weininger},
title = {Demonstration of a medical device integration and coordination framework},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {433--434},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071048},
doi = {10.1109/ICSE-COMPANION.2009.5071048},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KingPAHWSJJW09a.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:36 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:
