Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hase/hase2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/hase/AcostaS16,
author = {Jaime C. Acosta and
Salamah Salamah},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {An Analysis Platform for Execution-Based Model Generation},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {246--247},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.12},
doi = {10.1109/HASE.2016.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AcostaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AdepuM16,
author = {Sridhar Adepu and
Aditya Mathur},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {An Investigation into the Response of a Water Treatment System to
Cyber Attacks},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {141--148},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.14},
doi = {10.1109/HASE.2016.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AdepuM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Al-RefaiCGF16,
author = {Mohammed Al{-}Refai and
Walter Cazzola and
Sudipto Ghosh and
Robert B. France},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Using Models to Validate Unanticipated, Fine-Grained Adaptations at
Runtime},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.40},
doi = {10.1109/HASE.2016.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Al-RefaiCGF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AndrewsAG16,
author = {Anneliese Andrews and
Mahmoud Abdelgawad and
Ahmed Gario},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {World Model for Testing Autonomous Systems Using Petri Nets},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {65--69},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.11},
doi = {10.1109/HASE.2016.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AndrewsAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AwwadBBCKR16,
author = {Tarek Awwad and
Nadia Bennani and
Lionel Brunie and
David Coquil and
Harald Kosch and
Veronika Rehn{-}Sonigo},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Task Characterization for an Effective Worker Targeting in Crowdsourcing},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {63--64},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.20},
doi = {10.1109/HASE.2016.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AwwadBBCKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BabinAP16,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Marc Pantel},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Correct Instantiation of a System Reconfiguration Pattern: {A} Proof
and Refinement-Based Approach},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.47},
doi = {10.1109/HASE.2016.47},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/BabinAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BersaniG16,
author = {Marcello M. Bersani and
Marisol Garc{\'{\i}}a{-}Valls},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {The Cost of Formal Verification in Adaptive {CPS.} An Example of a
Virtualized Server Node},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {39--46},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.46},
doi = {10.1109/HASE.2016.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BersaniG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Borges-HinkG16,
author = {Raymond C. Borges{-}Hink and
Katerina Goseva{-}Popstojanova},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Characterization of Cyberattacks Aimed at Integrated Industrial Control
and Enterprise Systems: {A} Case Study},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {149--156},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.49},
doi = {10.1109/HASE.2016.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Borges-HinkG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BrahmaKVK16,
author = {Swastik Brahma and
Kevin A. Kwiat and
Pramod K. Varshney and
Charles A. Kamhoua},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {{CSRS:} Cyber Survive and Recover Simulator},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {110--113},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.33},
doi = {10.1109/HASE.2016.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BrahmaKVK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ChengKK16,
author = {Qi Cheng and
Kevin A. Kwiat and
Charles A. Kamhoua},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Design Diversity for Mitigating Monoculture Induced Threats},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {17--18},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.37},
doi = {10.1109/HASE.2016.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ChengKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ChiaradonnaGX16,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Jun Xiao},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Quantification of the Effectiveness of Medium Voltage Control Policies
in Smart Grids},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {284--291},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.42},
doi = {10.1109/HASE.2016.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ChiaradonnaGX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ChungKKKI16,
author = {Key{-}whan Chung and
Charles A. Kamhoua and
Kevin A. Kwiat and
Zbigniew T. Kalbarczyk and
Ravishankar K. Iyer},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Game Theory with Learning for Cyber Security Monitoring},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.48},
doi = {10.1109/HASE.2016.48},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/ChungKKKI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/CleemputMP16,
author = {Sara Cleemput and
Mustafa A. Mustafa and
Bart Preneel},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {High Assurance Smart Metering},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {294--297},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.41},
doi = {10.1109/HASE.2016.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/CleemputMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DasZ16,
author = {Saikat Das and
Mohammad Zulkernine},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {{CLOUBEX:} {A} Cloud-Based Security Analysis Framework for Browser
Extensions},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {268--275},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.18},
doi = {10.1109/HASE.2016.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DasZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DuanRHSL16,
author = {Lian Duan and
Sanjai Rayadurgam and
Mats Per Erik Heimdahl and
Oleg Sokolsky and
Insup Lee},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Representation of Confidence in Assurance Cases Using the Beta Distribution},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {86--93},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.52},
doi = {10.1109/HASE.2016.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DuanRHSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/EastwoodAK16,
author = {Ralph Eastwood and
Robert Alexander and
Tim Kelly},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Safe Multi-objective Planning with a Posteriori Preferences},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.22},
doi = {10.1109/HASE.2016.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/EastwoodAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FeiZWF16,
author = {Yuan Fei and
Huibiao Zhu and
Xi Wu and
Huixing Fang},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Comparative Modeling and Verification of Pthreads and Dthreads},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {132--140},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.15},
doi = {10.1109/HASE.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FeiZWF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Fernandez16,
author = {Eduardo B. Fern{\'{a}}ndez},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Preventing and unifying threats in cyberphysical systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {292--293},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.50},
doi = {10.1109/HASE.2016.50},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/Fernandez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GrossFH16,
author = {Kerianne H. Gross and
Aaron W. Fifarek and
Jonathan A. Hoffman},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Incremental Formal Methods Based Design Approach Demonstrated on a
Coupled Tanks Control System},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.16},
doi = {10.1109/HASE.2016.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GrossFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HockingAKA16,
author = {Ashlie B. Hocking and
M. Anthony Aiello and
John C. Knight and
Nikos Ar{\'{e}}chiga},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Proving Critical Properties of Simulink Models},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {189--196},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.38},
doi = {10.1109/HASE.2016.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HockingAKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HydenMR16,
author = {Paul Hyden and
Ira S. Moskowitz and
Stephen Russell},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Using Network Topology to Supplement High Assurance Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {213--219},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.51},
doi = {10.1109/HASE.2016.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HydenMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/IliasovR16,
author = {Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Formal Analysis of Railway Signalling Data},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {70--77},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.44},
doi = {10.1109/HASE.2016.44},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/IliasovR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/IliasovRTL16,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Elena Troubitsyna and
Linas Laibinis},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Formalisation-Driven Development of Safety-Critical Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {165--172},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.35},
doi = {10.1109/HASE.2016.35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/IliasovRTL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/IqbalZJG16,
author = {Md. Shahrear Iqbal and
Mohammad Zulkernine and
Fehmi Jaafar and
Yuan Gu},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {FCFraud: Fighting Click-Fraud from the User Side},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.17},
doi = {10.1109/HASE.2016.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/IqbalZJG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JahanbanifarKT16,
author = {Azadeh Jahanbanifar and
Ferhat Khendek and
Maria Toeroe},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Runtime Adjustment of Configuration Models for Consistency Preservation},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.28},
doi = {10.1109/HASE.2016.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JahanbanifarKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JiangZW016,
author = {Yufei Jiang and
Can Zhang and
Dinghao Wu and
Peng Liu},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Feature-Based Software Customization: Preliminary Analysis, Formalization,
and Methods},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.27},
doi = {10.1109/HASE.2016.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JiangZW016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/KamthanS16,
author = {Pankaj Kamthan and
Nazlie Shahmir},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Modeling Negative User Stories is Risky Business},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {236--237},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.34},
doi = {10.1109/HASE.2016.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/KamthanS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/KhalsaL16,
author = {Sunint Kaur Khalsa and
Yvan Labiche},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {An Extension of Category Partition Testing for Highly Constrained
Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.45},
doi = {10.1109/HASE.2016.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/KhalsaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LauerAFRES16,
author = {Micha{\"{e}}l Lauer and
Matthieu Amy and
Jean{-}Charles Fabre and
Matthieu Roy and
William Excoffon and
Miruna Stoicescu},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing
on {ROS}},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {94--101},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.30},
doi = {10.1109/HASE.2016.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LauerAFRES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LiuYW16,
author = {Hong Liu and
Tianyu Yang and
Jing Wang},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Model Checking for the Fault Tolerance of Collaborative AUVs},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {244--245},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.23},
doi = {10.1109/HASE.2016.23},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/LiuYW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MammarNL16,
author = {Amel Mammar and
Thi Mai Nguyen and
R{\'{e}}gine Laleau},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Formal Development of a Secure Access Control Filter},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {173--180},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.10},
doi = {10.1109/HASE.2016.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MammarNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MoriCLBF16,
author = {Marco Mori and
Andrea Ceccarelli and
Paolo Lollini and
Andrea Bondavalli and
Bernhard Fr{\"{o}}mel},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {276--283},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.21},
doi = {10.1109/HASE.2016.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/MoriCLBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/NaijaBA16,
author = {Mohamed Naija and
Jean{-}Michel Bruel and
Samir Ben Ahmed},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Towards a {MARTE} Extension to Address Adaptation Mechanisms},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {240--243},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.36},
doi = {10.1109/HASE.2016.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/NaijaBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/NgoLQ16,
author = {Van Chan Ngo and
Axel Legay and
Jean Quilbeuf},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Statistical Model Checking for SystemC Models},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {197--204},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.24},
doi = {10.1109/HASE.2016.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/NgoLQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PalaskarSBT16,
author = {Nikhil Palaskar and
Zahid A. Syed and
Sean Banerjee and
Charlotte Tang},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Empirical Techniques to Detect and Mitigate the Effects of Irrevocably
Evolving User Profiles in Touch-Based Authentication Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.39},
doi = {10.1109/HASE.2016.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PalaskarSBT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/RegisfordHF16,
author = {Sean J. S. Regisford and
Brian K. Hulbert and
Aaron W. Fifarek},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Compositional Architecture Design for Fuel Tank Thermal Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {205--212},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.25},
doi = {10.1109/HASE.2016.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/RegisfordHF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ReinsmidtSY16,
author = {Eric Reinsmidt and
David Schwab and
Li Yang},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Securing a Connected Mobile System for Healthcare},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {19--22},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.53},
doi = {10.1109/HASE.2016.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ReinsmidtSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SabaliauskaiteN16,
author = {Giedre Sabaliauskaite and
Geok See Ng and
Justin Ruths and
Aditya P. Mathur},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Empirical Assessment of Methods to Detect Cyber Attacks on a Robot},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {248--251},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.19},
doi = {10.1109/HASE.2016.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SabaliauskaiteN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SawadpongA16,
author = {Puntitra Sawadpong and
Edward B. Allen},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Software Defect Prediction Using Exception Handling Call Graphs: {A}
Case Study},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.13},
doi = {10.1109/HASE.2016.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SawadpongA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/StephanowBS16,
author = {Philipp Stephanow and
Christian Banse and
Julian Sch{\"{u}}tte},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Generating Threat Profiles for Cloud Service Certification Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {260--267},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.43},
doi = {10.1109/HASE.2016.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/StephanowBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TaftSM16,
author = {S. Tucker Taft and
Florian Schanda and
Yannick Moy},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {High-Integrity Multitasking in {SPARK:} Static Detection of Data Races
and Locking Cycles},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {238--239},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.54},
doi = {10.1109/HASE.2016.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/TaftSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WuZZ16,
author = {Xi Wu and
Yongxin Zhao and
Huibiao Zhu},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Integrating a Calculus with Mobility and Quality for Wireless Sensor
Networks},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {220--227},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.29},
doi = {10.1109/HASE.2016.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WuZZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/XiangKS16,
author = {Jian Xiang and
John C. Knight and
Kevin J. Sullivan},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Synthesis of Logic Interpretations},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {114--121},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.32},
doi = {10.1109/HASE.2016.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/XiangKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/YangWHXZ16,
author = {Renyu Yang and
Tianyu Wo and
Chunming Hu and
Jie Xu and
Mingming Zhang},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {{D2PS:} {A} Dependable Data Provisioning Service in Multi-tenant Cloud
Environment},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {252--259},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.26},
doi = {10.1109/HASE.2016.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/YangWHXZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZoppiCLBPGM16,
author = {Tommaso Zoppi and
Andrea Ceccarelli and
Paolo Lollini and
Andrea Bondavalli and
Francesco Lo Piccolo and
Gabriele Giunta and
Vito Morreale},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Presenting the Proper Data to the Crisis Management Operator: {A}
Relevance Labelling Strategy},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {228--235},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.31},
doi = {10.1109/HASE.2016.31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/ZoppiCLBPGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hase/2016,
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7423043/proceeding},
isbn = {978-1-4673-9913-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/2016.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.
retrieved on 2024-05-20 23:57 CEST from data curated 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:
