Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael G. Hinchey
@article{DBLP:journals/computer/Hinchey24,
author = {Mike Hinchey},
title = {Ethics and Computing},
journal = {Computer},
volume = {57},
number = {2},
pages = {21--23},
year = {2024},
url = {https://doi.org/10.1109/MC.2023.3340771},
doi = {10.1109/MC.2023.3340771},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/Hinchey24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/HincheyJKM23,
author = {Mike Hinchey and
Amit Jain and
Manju Kaushik and
Sanjay Misra},
title = {Guest Editorial: Intelligence for systems and software engineering},
journal = {Innov. Syst. Softw. Eng.},
volume = {19},
number = {1},
pages = {1--4},
year = {2023},
url = {https://doi.org/10.1007/s11334-023-00526-1},
doi = {10.1007/S11334-023-00526-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/HincheyJKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HincheyV23,
author = {Mike Hinchey and
Emil Vassev},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {KnowLang - {A} Formal Specification Model for Self-adaptive Systems},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {367--392},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_14},
doi = {10.1007/978-3-031-40436-8\_14},
timestamp = {Wed, 20 Sep 2023 17:05:54 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HincheyV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GaurSHSJ22,
author = {Loveleen Gaur and
Gurinder Singh and
Mike Hinchey and
Gurmeet Singh and
Vishal Jain},
title = {Applications of computational intelligence techniques to software
engineering problems},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {2},
pages = {231--232},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00394-7},
doi = {10.1007/S11334-021-00394-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/GaurSHSJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/McInerneyEH20,
author = {Clare McInerney and
Chris Exton and
Mike Hinchey},
editor = {Torsten Brinda and
Michal Armoni},
title = {A study of high school computer science teacher confidence levels},
booktitle = {WiPSCE '20: Workshop in Primary and Secondary Computing Education,
Virtual Event, Germany, October 28-30, 2020},
pages = {26:1--26:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3421590.3421614},
doi = {10.1145/3421590.3421614},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/McInerneyEH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Hinchey19,
author = {Michael G. Hinchey},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Is There Anything That Isn't Software?},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {7},
publisher = {SciTePress},
year = {2019},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Hinchey19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/VassevH97,
author = {Emil Vassev and
Mike Hinchey},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {The {ASSL} Approach to Formal Specification of Self-managing Systems},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {268--296},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_17},
doi = {10.1007/978-3-030-22348-9\_17},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/VassevH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/VassevH18,
author = {Emil Vassev and
Mike Hinchey},
editor = {Markus Helfert and
Oleg Gusikhin},
title = {Stability Analysis for Adaptive Behavior - (Position Paper)},
booktitle = {Proceedings of the 4th International Conference on Vehicle Technology
and Intelligent Transport Systems, {VEHITS} 2018, Funchal, Madeira,
Portugal, March 16-18, 2018},
pages = {481--487},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006782204810487},
doi = {10.5220/0006782204810487},
timestamp = {Mon, 30 Apr 2018 15:03:36 +0200},
biburl = {https://dblp.org/rec/conf/vehits/VassevH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/VassevH17,
author = {Emil Vassev and
Mike Hinchey},
editor = {Oleg Yu. Gusikhin and
Markus Helfert and
Ant{\'{o}}nio M. Pascoal},
title = {Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive
Systems? - (Position Paper)},
booktitle = {Proceedings of the 3rd International Conference on Vehicle Technology
and Intelligent Transport Systems, {VEHITS} 2017, Porto, Portugal,
April 22-24, 2017},
pages = {366--372},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006390703660372},
doi = {10.5220/0006390703660372},
timestamp = {Wed, 04 Dec 2019 16:18:43 +0100},
biburl = {https://dblp.org/rec/conf/vehits/VassevH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/HBO2017,
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4},
doi = {10.1007/978-3-319-48628-4},
isbn = {978-3-319-48627-7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/HBO2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2017,
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/8305447/proceeding},
isbn = {978-1-5386-3681-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0},
doi = {10.1007/978-3-319-51963-0},
isbn = {978-3-319-51962-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/Lindvall0TDH16,
author = {Mikael Lindvall and
Martin Becker and
Vasil L. Tenev and
Slawomir Duszynski and
Mike Hinchey},
title = {Good Change and Bad Change: An Analysis Perspective on Software Evolution},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {90--112},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_6},
doi = {10.1007/978-3-319-46508-1\_6},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fomac/Lindvall0TDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HanLCHI16,
author = {Youngsub Han and
Dong{-}hyun Lee and
Byoungju Choi and
Mike Hinchey and
Hoh Peter In},
title = {Value-Driven V-Model: From Requirements Analysis to Acceptance Testing},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {99-D},
number = {7},
pages = {1776--1785},
year = {2016},
url = {https://doi.org/10.1587/transinf.2015EDP7451},
doi = {10.1587/TRANSINF.2015EDP7451},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HanLCHI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VassevH16,
author = {Emil Vassev and
Mike Hinchey},
title = {Capturing autonomy features for unmanned spacecraft with ARE, the
autonomy requirements engineering approach},
journal = {Innov. Syst. Softw. Eng.},
volume = {12},
number = {2},
pages = {95--107},
year = {2016},
url = {https://doi.org/10.1007/s11334-015-0257-3},
doi = {10.1007/S11334-015-0257-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VassevH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VassevH16,
author = {Emil Vassev and
Mike Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Integration and Promotion of Autonomy with the {ARE} Framework},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {689--703},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_48},
doi = {10.1007/978-3-319-47166-2\_48},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VassevH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH15,
author = {Emil Vassev and
Mike Hinchey},
title = {KnowLang: Knowledge Representation for Self-Adaptive Systems},
journal = {Computer},
volume = {48},
number = {2},
pages = {81--84},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.50},
doi = {10.1109/MC.2015.50},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BrugaliCH15,
author = {Davide Brugali and
Rafael Capilla and
Mike Hinchey},
title = {Dynamic Variability Meets Robotics},
journal = {Computer},
volume = {48},
number = {12},
pages = {94--97},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.354},
doi = {10.1109/MC.2015.354},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BrugaliCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/EleftherakisBH15,
author = {George Eleftherakis and
Michael J. Butler and
Mike Hinchey},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {473},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0335-1},
doi = {10.1007/S00165-015-0335-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/EleftherakisBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Hinchey15,
author = {Mike Hinchey},
editor = {Jing Sun and
Y. Raghu Reddy and
Arun Bahulkar and
Anjaneyulu Pasala},
title = {Evolving Critical Systems},
booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
Delhi, India, December 1-4, 2015},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/APSEC.2015.64},
doi = {10.1109/APSEC.2015.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Hinchey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/VassevH15,
author = {Emil Vassev and
Mike Hinchey},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The KnowLang Approach to Self-adaptation},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {676--692},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_38},
doi = {10.1007/978-3-319-15545-6\_38},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/VassevH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SananYZXH15,
author = {David San{\'{a}}n and
Yang Liu and
Yongwang Zhao and
Zhenchang Xing and
Mike Hinchey},
title = {Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From
Abstract Specification to Machine Code},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.23},
doi = {10.1109/ICECCS.2015.23},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/SananYZXH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MjedaH15,
author = {Anila Mjeda and
Mike Hinchey},
editor = {Elizabeth Bjarnason and
Markus Borg and
Mirko Morandini},
title = {Requirement-centric Reactive Testing for Safety-Related Automotive
Software},
booktitle = {2nd {IEEE/ACM} International Workshop on Requirements Engineering
and Testing, {RET} 2015, Florence, Italy, May 18, 2015},
pages = {5--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RET.2015.9},
doi = {10.1109/RET.2015.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MjedaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/CapillaHD15,
author = {Rafael Capilla and
Mike Hinchey and
Francisco J. D{\'{\i}}az},
editor = {Klaus Schmid and
{\O}ystein Haugen and
Johannes M{\"{u}}ller},
title = {Collaborative Context Features for Critical Systems},
booktitle = {Proceedings of the Ninth International Workshop on Variability Modelling
of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, January
21-23, 2015},
pages = {43},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2701319.2701322},
doi = {10.1145/2701319.2701322},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/CapillaHD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VassevH15,
author = {Emil Vassev and
Mike Hinchey},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Knowledge Representation for Adaptive and Self-aware Systems},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {221--247},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_6},
doi = {10.1007/978-3-319-16310-9\_6},
timestamp = {Mon, 26 Oct 2020 08:19:39 +0100},
biburl = {https://dblp.org/rec/series/lncs/VassevH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VassevH15a,
author = {Emil Vassev and
Mike Hinchey},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Engineering Requirements for Autonomy Features},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {379--403},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_11},
doi = {10.1007/978-3-319-16310-9\_11},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/VassevH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcc/2014,
editor = {Phan Cong Vinh and
Emil Vassev and
Mike Hinchey},
title = {Nature of Computation and Communication - International Conference,
{ICTCC} 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {144},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15392-6},
doi = {10.1007/978-3-319-15392-6},
isbn = {978-3-319-15391-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/VassevH14,
author = {Emil Vassev and
Mike Hinchey},
title = {Autonomy Requirements Engineering for Space Missions},
series = {{NASA} Monographs in Systems and Software Engineering},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09816-6},
doi = {10.1007/978-3-319-09816-6},
isbn = {978-3-319-09815-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/VassevH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CapillaOH14,
author = {Rafael Capilla and
{\'{O}}scar Ortiz and
Mike Hinchey},
title = {Context Variability for Context-Aware Systems},
journal = {Computer},
volume = {47},
number = {2},
pages = {85--87},
year = {2014},
url = {https://doi.org/10.1109/MC.2014.33},
doi = {10.1109/MC.2014.33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CapillaOH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenHJWZ14,
author = {Jonathan P. Bowen and
Mike Hinchey and
Helge Janicke and
Martin P. Ward and
Hussein Zedan},
title = {Formality, Agility, Security, and Evolution in Software Development},
journal = {Computer},
volume = {47},
number = {10},
pages = {86--89},
year = {2014},
url = {https://doi.org/10.1109/MC.2014.284},
doi = {10.1109/MC.2014.284},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenHJWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CapillaBTCH14,
author = {Rafael Capilla and
Jan Bosch and
Pablo Trinidad and
Antonio Ruiz Cort{\'{e}}s and
Mike Hinchey},
title = {An overview of Dynamic Software Product Line architectures and techniques:
Observations from research and industry},
journal = {J. Syst. Softw.},
volume = {91},
pages = {3--23},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2013.12.038},
doi = {10.1016/J.JSS.2013.12.038},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/CapillaBTCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/VassevHBH14,
author = {Emil Vassev and
Nicklas Hoch and
Henry{-}Paul Bensler and
Mike Hinchey},
editor = {Bipin C. Desai},
title = {Formalizing eMobility with KnowLang},
booktitle = {International C* Conference on Computer Science {\&} Software
Engineering, {C3S2E} '14, Montreal, QC, Canada - August 03 - 05, 2014},
pages = {4:1--4:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2641483.2641523},
doi = {10.1145/2641483.2641523},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/VassevHBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/TechentinGLDGDHR14,
author = {Robert W. Techentin and
Barry K. Gilbert and
Adam Lugowski and
Kevin Deweese and
John R. Gilbert and
Eric Dull and
Mike Hinchey and
Steven P. Reinhardt},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Implementing Iterative Algorithms with {SPARQL}},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {216--223},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-36.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/TechentinGLDGDHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcc/VassevH14,
author = {Emil Vassev and
Mike Hinchey},
editor = {Phan Cong Vinh and
Emil Vassev and
Mike Hinchey},
title = {Modeling Swarm Robotics with KnowLang},
booktitle = {Nature of Computation and Communication - International Conference,
{ICTCC} 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {144},
pages = {13--22},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15392-6\_2},
doi = {10.1007/978-3-319-15392-6\_2},
timestamp = {Sat, 19 Oct 2019 20:14:38 +0200},
biburl = {https://dblp.org/rec/conf/ictcc/VassevH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcc/BicocchiVZH14,
author = {Nicola Bicocchi and
Emil Vassev and
Franco Zambonelli and
Mike Hinchey},
editor = {Phan Cong Vinh and
Emil Vassev and
Mike Hinchey},
title = {Reasoning on Data Streams: An Approach to Adaptation in Pervasive
Systems},
booktitle = {Nature of Computation and Communication - International Conference,
{ICTCC} 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {144},
pages = {23--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15392-6\_3},
doi = {10.1007/978-3-319-15392-6\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcc/BicocchiVZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VassevH14,
author = {Emil Vassev and
Mike Hinchey},
title = {Autonomy Requirements Engineering for Self-Adaptive Science Clouds},
booktitle = {2014 {IEEE} International Parallel {\&} Distributed Processing
Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014},
pages = {1344--1353},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IPDPSW.2014.151},
doi = {10.1109/IPDPSW.2014.151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/VassevH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HincheyM14,
author = {Mike Hinchey and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evolving Critical Systems - Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {1--3},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_1},
doi = {10.1007/978-3-662-45234-9\_1},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/HincheyM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VassevHM14,
author = {Emil Vassev and
Mike Hinchey and
Philip Mayer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formalizing Self-adaptive Clouds with KnowLang},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {117--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_9},
doi = {10.1007/978-3-662-45234-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VassevHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ParkHIS14,
author = {Sooyong Park and
Mike Hinchey and
Hoh Peter In and
Klaus Schmid},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {8\({}^{\mbox{th}}\) International Workshop on Dynamic Software Product
Lines {(DSPL} 2014)},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {355},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648554},
doi = {10.1145/2648511.2648554},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/ParkHIS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SananBH14,
author = {David San{\'{a}}n and
Andrew Butterfield and
Mike Hinchey},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {Separation Kernel Verification: The Xtratum Case Study},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {133--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_9},
doi = {10.1007/978-3-319-12154-3\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/SananBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/BowenH14,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Formal Methods},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {71--25},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/BowenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH13,
author = {Emil Vassev and
Mike Hinchey},
title = {Autonomy Requirements Engineering},
journal = {Computer},
volume = {46},
number = {8},
pages = {82--84},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.267},
doi = {10.1109/MC.2013.267},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MargariaH13,
author = {Tiziana Margaria and
Mike Hinchey},
title = {Simplicity in {IT:} The Power of Less},
journal = {Computer},
volume = {46},
number = {11},
pages = {23--25},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.397},
doi = {10.1109/MC.2013.397},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MargariaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowenBRH13,
author = {Jonathan P. Bowen and
Michael J. Butler and
Steve Reeves and
Mike Hinchey},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {343},
year = {2013},
url = {https://doi.org/10.1007/s00165-013-0281-8},
doi = {10.1007/S00165-013-0281-8},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowenBRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LeeILPH13,
author = {Dong{-}hyun Lee and
Hoh Peter In and
Keun Lee and
Sooyong Park and
Mike Hinchey},
title = {Sustainable Embedded Software Life-Cycle Planning},
journal = {{IEEE} Softw.},
volume = {30},
number = {4},
pages = {72--80},
year = {2013},
url = {https://doi.org/10.1109/MS.2012.75},
doi = {10.1109/MS.2012.75},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LeeILPH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/VassevH13,
author = {Emil Vassev and
Mike Hinchey},
editor = {Bipin C. Desai and
Ana Maria Almeida and
Jorge Bernardino and
Sudhir P. Mudur},
title = {Autonomy requirements engineering: a case study on the BepiColombo
mission},
booktitle = {International C* Conference on Computer Science {\&} Software
Engineering, C3S2E13, Porto, Portugal - July 10 - 12, 2013},
pages = {31--41},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494444.2494472},
doi = {10.1145/2494444.2494472},
timestamp = {Wed, 30 Oct 2019 15:55:46 +0100},
biburl = {https://dblp.org/rec/conf/c3s2e/VassevH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/VassevH13,
author = {Emil Vassev and
Mike Hinchey},
title = {Autonomy requirements engineering},
booktitle = {{IEEE} 14th International Conference on Information Reuse {\&}
Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
pages = {175--184},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IRI.2013.6642470},
doi = {10.1109/IRI.2013.6642470},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/VassevH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/VassevH13,
author = {Emil Vassev and
Mike Hinchey},
title = {On the autonomy requirements for space missions},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISORC.2013.6913242},
doi = {10.1109/ISORC.2013.6913242},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/VassevH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MjedaH13,
author = {Anila Mjeda and
Mike Hinchey},
editor = {Jean{-}Charles Fabre and
Philippe Qu{\'{e}}r{\'{e}} and
Mario Trapp},
title = {{CTMCONTROL:} Addressing the {MC/DC} Objective for Safety-Critical
Automotive Software},
booktitle = {{SAFECOMP} 2013 - Workshop {CARS} (2nd Workshop on Critical Automotive
applications : Robustness {\&} Safety) of the 32nd International
Conference on Computer Safety, Reliability and Security, Toulouse,
France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-CARS/hal-00848222},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MjedaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenPHIS13,
author = {Svein O. Hallsteinsen and
Sooyong Park and
Mike Hinchey and
Hoh Peter In and
Klaus Schmid},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {7\({}^{\mbox{th}}\) International Workshop on Dynamic Software Product
Lines {(DSPL} 2013)},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {271},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2499883},
doi = {10.1145/2491627.2499883},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenPHIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/VassevH13,
author = {Emil Vassev and
Mike Hinchey},
title = {Implementing artificial awareness with KnowLang},
booktitle = {{IEEE} International Systems Conference, SysCon 2013, Orlando, FL,
USA, April 15-18, 2013},
pages = {580--586},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SysCon.2013.6549940},
doi = {10.1109/SYSCON.2013.6549940},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/VassevH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/variability13/HallsteinsenHPS13,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
editor = {Rafael Capilla and
Jan Bosch and
Kyo Chul Kang},
title = {Dynamic Software Product Lines},
booktitle = {Systems and Software Variability Management - Concepts, Tools and
Experiences},
pages = {253--260},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36583-6\_16},
doi = {10.1007/978-3-642-36583-6\_16},
timestamp = {Sun, 02 Oct 2022 15:53:09 +0200},
biburl = {https://dblp.org/rec/books/sp/variability13/HallsteinsenHPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HincheyPS12,
author = {Mike Hinchey and
Sooyong Park and
Klaus Schmid},
title = {Building Dynamic Software Product Lines},
journal = {Computer},
volume = {45},
number = {10},
pages = {22--26},
year = {2012},
url = {https://doi.org/10.1109/MC.2012.332},
doi = {10.1109/MC.2012.332},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HincheyPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH12,
author = {Emil Vassev and
Mike Hinchey},
title = {Awareness in Software-Intensive Systems},
journal = {Computer},
volume = {45},
number = {12},
pages = {84--87},
year = {2012},
url = {https://doi.org/10.1109/MC.2012.401},
doi = {10.1109/MC.2012.401},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/VassevH12,
author = {Emil Vassev and
Mike Hinchey},
title = {The {ASSL} approach to specifying self-managing embedded systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {24},
number = {16},
pages = {1860--1878},
year = {2012},
url = {https://doi.org/10.1002/cpe.1758},
doi = {10.1002/CPE.1758},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/VassevH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/VassevSRH12,
author = {Emil Vassev and
Roy Sterritt and
Christopher A. Rouff and
Mike Hinchey},
title = {Swarm Technology at {NASA:} Building Resilient Systems},
journal = {{IT} Prof.},
volume = {14},
number = {2},
pages = {36--42},
year = {2012},
url = {https://doi.org/10.1109/MITP.2012.18},
doi = {10.1109/MITP.2012.18},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/VassevSRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/GaudinHVNGM12,
author = {Benoit Gaudin and
Mike Hinchey and
Emil Vassev and
Paddy Nixon and
Jo{\~{a}}o Coelho Garcia and
Walid Maalej},
title = {FastFix: {A} Control Theoretic View of Self-Healing for Automatic
Corrective Software Maintenance},
journal = {Scalable Comput. Pract. Exp.},
volume = {13},
number = {1},
year = {2012},
url = {http://www.scpe.org/index.php/scpe/article/view/763},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/GaudinHVNGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/VassevHG12,
author = {Emil Vassev and
Mike Hinchey and
Benoit Gaudin},
editor = {Bipin C. Desai and
Emil Vassev and
Sudhir P. Mudur},
title = {Knowledge representation for self-adaptive behavior},
booktitle = {Fifth International C* Conference on Computer Science {\&} Software
Engineering, {C3S2E} '12, Montreal, QC, Canada, June 27-29, 2012},
pages = {113--117},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2347583.2347599},
doi = {10.1145/2347583.2347599},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/VassevHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/RouffBPCH12,
author = {Christopher A. Rouff and
Richard W. Buskens and
Laura Pullum and
Xiaohui Cui and
Mike Hinchey},
editor = {Bipin C. Desai and
Emil Vassev and
Sudhir P. Mudur},
title = {The \emph{AdaptiV} approach to verification of adaptive systems},
booktitle = {Fifth International C* Conference on Computer Science {\&} Software
Engineering, {C3S2E} '12, Montreal, QC, Canada, June 27-29, 2012},
pages = {118--122},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2347583.2347600},
doi = {10.1145/2347583.2347600},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/RouffBPCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccasa/VassevH12,
author = {Emil Vassev and
Mike Hinchey},
editor = {Phan Cong Vinh and
Nguyen Manh Hung and
Nguyen Thanh Tung and
Junichi Suzuki},
title = {Efficient Space Exploration through Laziness},
booktitle = {Context-Aware Systems and Applications - First International Conference,
{ICCASA} 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {109},
pages = {168--175},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36642-0\_17},
doi = {10.1007/978-3-642-36642-0\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccasa/VassevH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccasa/VassevH12a,
author = {Emil Vassev and
Mike Hinchey},
editor = {Phan Cong Vinh and
Nguyen Manh Hung and
Nguyen Thanh Tung and
Junichi Suzuki},
title = {Efficient Reasoning with Ambient Trees for Space Exploration},
booktitle = {Context-Aware Systems and Applications - First International Conference,
{ICCASA} 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {109},
pages = {176--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36642-0\_18},
doi = {10.1007/978-3-642-36642-0\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccasa/VassevH12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/VassevH12,
author = {Emil Vassev and
Mike Hinchey},
title = {Knowledge Representation for Cognitive Robotic Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {156--163},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.36},
doi = {10.1109/ISORCW.2012.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/VassevH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/PullumCVHRB12,
author = {Laura Pullum and
Xiaohui Cui and
Emil Vassev and
Michael G. Hinchey and
Christopher A. Rouff and
Richard W. Buskens},
title = {Verification of Adaptive Systems},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2478},
doi = {10.2514/6.2012-2478},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itaero/PullumCVHRB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/OrtizGCBH12,
author = {{\'{O}}scar Ortiz and
Ana Bel{\'{e}}n Garc{\'{\i}}a and
Rafael Capilla and
Jan Bosch and
Mike Hinchey},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {Runtime variability for dynamic reconfiguration in wireless sensor
network product lines},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 2},
pages = {143--150},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364412.2364436},
doi = {10.1145/2364412.2364436},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/OrtizGCBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenPHS12,
author = {Svein O. Hallsteinsen and
Sooyong Park and
Mike Hinchey and
Klaus Schmid},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {6\({}^{\mbox{th}}\) International Workshop on Dynamic Software Product
Lines {(DSPL} 2012)},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 1},
pages = {290},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2362536.2362578},
doi = {10.1145/2362536.2362578},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenPHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HincheyRTRS12,
author = {Mike Hinchey and
James L. Rash and
Walter Truszkowski and
Christopher A. Rouff and
Roy Sterritt},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {You Can't Get There from Here! Large Problems and Potential Solutions
in Developing New Classes of Complex Computer Systems},
booktitle = {Conquering Complexity},
pages = {159--176},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_7},
doi = {10.1007/978-1-4471-2297-5\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HincheyRTRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HincheyS12,
author = {Mike Hinchey and
Roy Sterritt},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {99{\%} (Biological) Inspiration..},
booktitle = {Conquering Complexity},
pages = {177--190},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_8},
doi = {10.1007/978-1-4471-2297-5\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HincheyS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/PenaLHC12,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Renato Levy and
Mike Hinchey and
Antonio Ruiz Cort{\'{e}}s},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Dealing with Complexity in Agent-Oriented Software Engineering: The
Importance of Interactions},
booktitle = {Conquering Complexity},
pages = {191--214},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_9},
doi = {10.1007/978-1-4471-2297-5\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/PenaLHC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BowenH12,
author = {Jonathan P. Bowen and
Mike Hinchey},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Ten Commandments of Formal Methods... Ten Years On},
booktitle = {Conquering Complexity},
pages = {237--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_11},
doi = {10.1007/978-1-4471-2297-5\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BowenH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/HincheyV12,
author = {Mike Hinchey and
Emil Vassev},
editor = {Mohammad Essaaidi and
Maria Ganzha and
Marcin Paprzycki},
title = {Multi-Agent Systems - Theory, Approaches and {NASA} Applications},
booktitle = {Software Agents, Agent Systems and Their Applications},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {32},
pages = {181--202},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-60750-818-2-181},
doi = {10.3233/978-1-60750-818-2-181},
timestamp = {Tue, 16 May 2017 14:24:21 +0200},
biburl = {https://dblp.org/rec/series/natosec/HincheyV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028680,
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Conquering Complexity},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5},
doi = {10.1007/978-1-4471-2297-5},
isbn = {978-1-4471-2296-8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2012,
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7},
doi = {10.1007/978-3-642-33826-7},
isbn = {978-3-642-33825-0},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sew/2012,
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6479597/proceeding},
isbn = {978-1-4673-5574-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sew/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
title = {Knowledge Representation and Reasoning for Intelligent Software Systems},
journal = {Computer},
volume = {44},
number = {8},
pages = {96--99},
year = {2011},
url = {https://doi.org/10.1109/MC.2011.247},
doi = {10.1109/MC.2011.247},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ChangWH11,
author = {Carl K. Chang and
David M. Weiss and
Mike Hinchey},
title = {Where Software Engineering Meets ..},
journal = {Computer},
volume = {44},
number = {10},
pages = {17--18},
year = {2011},
url = {https://doi.org/10.1109/MC.2011.325},
doi = {10.1109/MC.2011.325},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/ChangWH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PenaRHC11,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Christopher A. Rouff and
Mike Hinchey and
Antonio Ruiz Cort{\'{e}}s},
title = {Modeling {NASA} swarm-based systems: using agent-oriented software
engineering and formal methods},
journal = {Softw. Syst. Model.},
volume = {10},
number = {1},
pages = {55--62},
year = {2011},
url = {https://doi.org/10.1007/s10270-009-0135-2},
doi = {10.1007/S10270-009-0135-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PenaRHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/VassevHGN11,
author = {Emil Vassev and
Mike Hinchey and
Benoit Gaudin and
Paddy Nixon},
editor = {Bipin C. Desai and
Alain Abran and
Sudhir P. Mudur},
title = {Requirements and initial model for KnowLang: a language for knowledge
representation in autonomic service-component ensembles},
booktitle = {Fourth International C* Conference on Computer Science {\&} Software
Engineering, {C3S2E} 2011, Montreal, Quebec, Canada, May 16-18, 2011,
Proceedings},
pages = {35--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1992896.1992901},
doi = {10.1145/1992896.1992901},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/VassevHGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
editor = {Omar Hammami and
Daniel Krob and
Jean{-}Luc Voirin},
title = {Fundamentals of Designing Complex Aerospace Software Systems},
booktitle = {Complex Systems Design {\&} Management - Proceedings of the Second
International Conference on Complex Systems Design {\&} Management,
{CSDM} 2011, Paris, France, 7-9 December 2011},
pages = {65--80},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25203-7\_4},
doi = {10.1007/978-3-642-25203-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/GaudinH11,
author = {Benoit Gaudin and
Mike Hinchey},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Self-Healing Approach in the FastFix Project},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {957--964},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078234/},
timestamp = {Mon, 09 Aug 2021 14:54:05 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/GaudinH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/GaudinVNH11,
author = {Benoit Gaudin and
Emil Vassev and
Patrick Nixon and
Michael G. Hinchey},
editor = {Hartmut Schmeck and
Wolfgang Rosenstiel and
Tarek F. Abdelzaher and
Joseph L. Hellerstein},
title = {A control theory based approach for self-healing of un-handled runtime
exceptions},
booktitle = {Proceedings of the 8th International Conference on Autonomic Computing,
{ICAC} 2011, Karlsruhe, Germany, June 14-18, 2011},
pages = {217--220},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998582.1998633},
doi = {10.1145/1998582.1998633},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icac/GaudinVNH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Representing Knowledge in Robotic Systems with KnowLang},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {91--105},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_7},
doi = {10.1007/978-3-642-34781-8\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
title = {Knowledge Representation and Awareness in Autonomic Service-Component
Ensembles - State of the Art},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.21},
doi = {10.1109/ISORCW.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
title = {Self-Awareness in Autonomous Nano-Technology Swarm Missions},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {133--136},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.8},
doi = {10.1109/SASOW.2011.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Developing Model-Checking Mechanisms for {ASSL:} An Experience Report},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {19--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_3},
doi = {10.1007/978-3-642-24690-6\_3},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/VassevHBD11,
author = {Emil Vassev and
Mike Hinchey and
Dharini Balasubramaniam and
Simon Dobson},
editor = {James L. Rash and
Christopher A. Rouff},
title = {An {ASSL} Approach to Handling Uncertainty in Self-adaptive Systems},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {11--18},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.8},
doi = {10.1109/SEW.2011.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/VassevHBD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Hinchey11,
author = {Mike Hinchey},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Families (of Products) in Space},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {8--9},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.49},
doi = {10.1109/SPLC.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/Hinchey11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenHPS11,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Fifth International Workshop on Dynamic Software Product Lines {(DSPL}
2011)},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {335},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.50},
doi = {10.1109/SPLC.2011.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenHPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/SchneidewindH11,
author = {Norman F. Schneidewind and
Mike Hinchey},
title = {A Reliability Model for Complex Systems},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.23},
doi = {10.1109/SSIRI-C.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/SchneidewindH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BellmanHH11,
author = {Kirstie L. Bellman and
Andreas Herkersdorf and
Michael G. Hinchey},
title = {Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar
11181)},
journal = {Dagstuhl Reports},
volume = {1},
number = {5},
pages = {1--28},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.5.1},
doi = {10.4230/DAGREP.1.5.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BellmanHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/nmsse/TruszkowskiHRKRHS10,
author = {Walt Truszkowski and
Harold L. Hallock and
Christopher A. Rouff and
Jay Karlin and
James L. Rash and
Michael G. Hinchey and
Roy Sterritt},
title = {Autonomous and Autonomic Systems: With Applications to {NASA} Intelligent
Spacecraft Operations and Exploration Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/b105417},
doi = {10.1007/B105417},
isbn = {978-1-84628-232-4},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/nmsse/TruszkowskiHRKRHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DobsonSNH10,
author = {Simon Dobson and
Roy Sterritt and
Paddy Nixon and
Mike Hinchey},
title = {Fulfilling the Vision of Autonomic Computing},
journal = {Computer},
volume = {43},
number = {1},
pages = {35--41},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.14},
doi = {10.1109/MC.2010.14},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/DobsonSNH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CoyleHNF10,
author = {Lorcan Coyle and
Mike Hinchey and
Bashar Nuseibeh and
Jos{\'{e}} Luiz Fiadeiro},
title = {Guest Editors' Introduction: Evolving Critical Systems},
journal = {Computer},
volume = {43},
number = {5},
pages = {28--33},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.139},
doi = {10.1109/MC.2010.139},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CoyleHNF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH10,
author = {Emil Vassev and
Mike Hinchey},
title = {The Challenge of Developing Autonomic Systems},
journal = {Computer},
volume = {43},
number = {12},
pages = {93--96},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.361},
doi = {10.1109/MC.2010.361},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/VassevHN10,
author = {Emil Vassev and
Mike Hinchey and
Paddy Nixon},
editor = {Tughrul Arslan and
Didier Keymeulen and
David Merodio and
Khaled Benkrid and
Ahmet T. Erdogan and
Umeshkumar D. Patel},
title = {A formal approach to self-configurable swarm-based space-exploration
systems},
booktitle = {2010 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
2010, Anaheim, California, USA, June 15-18, 2010},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AHS.2010.5546276},
doi = {10.1109/AHS.2010.5546276},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ahs/VassevHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/VassevH10,
author = {Emil Vassev and
Mike Hinchey},
editor = {Bipin C. Desai and
Carson Kai{-}Sang Leung and
Sudhir P. Mudur},
title = {Rapid prototyping and development of intelligent sensor networks with
{ASSL} and {DMF}},
booktitle = {Canadian Conference on Computer Science {\&} Software Engineering,
{C3S2E} 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {75--83},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822327.1822337},
doi = {10.1145/1822327.1822337},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/VassevH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HincheyC10,
author = {Mike Hinchey and
Lorcan Coyle},
editor = {Roy Sterritt and
Brandon Eames and
Jonathan Sprinkle},
title = {Evolving Critical Systems},
booktitle = {17th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
March 2010},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECBS.2010.62},
doi = {10.1109/ECBS.2010.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/HincheyC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HincheyC10a,
author = {Mike Hinchey and
Lorcan Coyle},
editor = {Roy Sterritt and
Brandon Eames and
Jonathan Sprinkle},
title = {Evolving Critical Systems: {A} Research Agenda for Computer-Based
Systems},
booktitle = {17th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
March 2010},
pages = {430--435},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECBS.2010.56},
doi = {10.1109/ECBS.2010.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/HincheyC10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/VassevHN10,
author = {Emil Vassev and
Mike Hinchey and
Paddy Nixon},
editor = {Manish Parashar and
Renato J. O. Figueiredo and
Emre Kiciman},
title = {Prototyping home automation wireless sensor networks with {ASSL}},
booktitle = {Proceedings of the 7th International Conference on Autonomic Computing,
{ICAC} 2010, Washington, DC, USA, June 7-11, 2010},
pages = {71--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809049.1809060},
doi = {10.1145/1809049.1809060},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icac/VassevHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VassevHN10,
author = {Emil Vassev and
Mike Hinchey and
Paddy Nixon},
editor = {Kurt Geihs and
Stefan Gruner and
Kay R{\"{o}}mer},
title = {Developing intelligent sensor networks: a technological convergence
approach},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering for
Sensor Network Applications, {SESENA} 2010, Cape Town, South Africa,
May 3, 2010},
pages = {66--71},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809111.1809129},
doi = {10.1145/1809111.1809129},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/VassevHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/LindsayRHT10,
author = {Peter A. Lindsay and
Franz J. Rammig and
Mike Hinchey and
Jon Timmis},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Preface},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {219},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_21},
doi = {10.1007/978-3-642-15234-4\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/LindsayRHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/VassevH10,
author = {Emil Vassev and
Mike Hinchey},
title = {Developing Self-Managing Embedded Systems with {ASSL}},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
Carmona, Sevilla, Spain, May 4-7, 2010},
pages = {81--89},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORCW.2010.38},
doi = {10.1109/ISORCW.2010.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/VassevH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/VassevH10,
author = {Emil Vassev and
Mike Hinchey},
editor = {Radu Calinescu and
Ethan K. Jackson},
title = {Software Verification of Autonomic Systems Developed with {ASSL}},
booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
March 31- April 2, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6662},
pages = {1--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21292-5\_1},
doi = {10.1007/978-3-642-21292-5\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/VassevH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Hinchey10,
author = {Mike Hinchey},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Formally Specifying Families of Space Exploration Missions},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {73--74},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
biburl = {https://dblp.org/rec/conf/splc/Hinchey10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenHPS10,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
editor = {Jan Bosch and
Jaejoon Lee},
title = {4th International Workshop on Dynamic Software Product Lines {(DSPL}
2010)},
booktitle = {Software Product Lines: Going Beyond - 14th International Conference,
{SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6287},
pages = {523},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15579-6\_61},
doi = {10.1007/978-3-642-15579-6\_61},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenHPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/VassevHN10,
author = {Emil Vassev and
Mike Hinchey and
Paddy Nixon},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {Automated Test Case Generation of Self-Managing Policies for {NASA}
Prototype Missions Developed with {ASSL}},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {3--8},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.32},
doi = {10.1109/TASE.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/VassevHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HincheyV10,
author = {Mike Hinchey and
Emil Vassev},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {The Art of Developing Autonomic Systems - The {ASSL} Approach},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {9--12},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.33},
doi = {10.1109/TASE.2010.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HincheyV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-3/2010dipes,
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4},
doi = {10.1007/978-3-642-15234-4},
isbn = {978-3-642-15233-7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/2010dipes.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/JordanHC10,
author = {Howell R. Jordan and
Mike Hinchey and
Rem W. Collier},
editor = {Phillip A. Laplante},
title = {Agent-Oriented Software Engineering},
booktitle = {Encyclopedia of Software Engineering},
pages = {14--28},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120046804},
doi = {10.1081/E-ESE-120046804},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/JordanHC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/HincheyBV10,
author = {Mike Hinchey and
Jonathan P. Bowen and
Emil Vassev},
editor = {Phillip A. Laplante},
title = {Formal Methods},
booktitle = {Encyclopedia of Software Engineering},
pages = {308--320},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044313},
doi = {10.1081/E-ESE-120044313},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/HincheyBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/BowenHV10,
author = {Jonathan P. Bowen and
Mike Hinchey and
Emil Vassev},
editor = {Phillip A. Laplante},
title = {Formal Requirements Specification},
booktitle = {Encyclopedia of Software Engineering},
pages = {321--332},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044177},
doi = {10.1081/E-ESE-120044177},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/BowenHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/SterrittHV10,
author = {Roy Sterritt and
Mike Hinchey and
Emil Vassev},
editor = {Phillip A. Laplante},
title = {Self-Managing Software},
booktitle = {Encyclopedia of Software Engineering},
pages = {1072--1081},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044621},
doi = {10.1081/E-ESE-120044621},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/SterrittHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LeeLPH09,
author = {Dong{-}hyun Lee and
Keun Lee and
Sooyong Park and
Mike Hinchey},
title = {A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model},
journal = {Computer},
volume = {42},
number = {2},
pages = {100--102},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.34},
doi = {10.1109/MC.2009.34},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LeeLPH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShokryH09,
author = {Hesham Shokry and
Mike Hinchey},
title = {Model-Based Verification of Embedded Software},
journal = {Computer},
volume = {42},
number = {4},
pages = {53--59},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.125},
doi = {10.1109/MC.2009.125},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShokryH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/VassevH09,
author = {Emil Vassev and
Mike Hinchey},
title = {{ASSL:} {A} Software Engineering Approach to Autonomic Computing},
journal = {Computer},
volume = {42},
number = {6},
pages = {90--93},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.174},
doi = {10.1109/MC.2009.174},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/VassevH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BlackBBGH09,
author = {Sue Black and
Paul Boca and
Jonathan P. Bowen and
Jason Gorman and
Mike Hinchey},
title = {Formal Versus Agile: Survival of the Fittest},
journal = {Computer},
volume = {42},
number = {9},
pages = {37--45},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.284},
doi = {10.1109/MC.2009.284},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BlackBBGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SterrittH09,
author = {Roy Sterritt and
Mike Hinchey},
title = {Adaptive reflex autonomicity for real-time systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {5},
number = {2},
pages = {107--115},
year = {2009},
url = {https://doi.org/10.1007/s11334-009-0090-7},
doi = {10.1007/S11334-009-0090-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/SterrittH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/Hinchey09,
author = {Mike Hinchey},
title = {Celebrating Advancements in Aerospace},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {6},
number = {1},
pages = {1},
year = {2009},
url = {https://doi.org/10.2514/1.43307},
doi = {10.2514/1.43307},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/Hinchey09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HincheyMS09,
author = {Mike Hinchey and
Tiziana Margaria and
Bernhard Steffen},
title = {Guest Editor's introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {173--174},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0114-5},
doi = {10.1007/S10009-009-0114-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HincheyMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BowenH09,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Ten Commandments Ten Years On: Lessons for ASM, B, {Z} and VSR-net},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {219--233},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_14},
doi = {10.1007/978-3-642-11447-2\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BowenH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/Hinchey09,
author = {Mike Hinchey},
editor = {Frederick T. Sheldon and
Greg Peterson and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {We can't get there from here!: the paradox of developing new classes
of complex systems},
booktitle = {Fifth Cyber Security and Information Intelligence Research Workshop,
{CSIIRW} '09, Knoxville, TN, USA, April 13-15, 2009},
pages = {3},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1558607.1558611},
doi = {10.1145/1558607.1558611},
timestamp = {Wed, 31 Jan 2024 20:36:02 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/Hinchey09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HassanBEH09,
author = {Riham Hassan and
Shawn A. Bohner and
Sherif El{-}Kassas and
Michael G. Hinchey},
title = {Integrating Formal Analysis and Design to Preserve Security Properties},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.267},
doi = {10.1109/HICSS.2009.267},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/HassanBEH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/VassevHQ09,
author = {Emil Vassev and
Mike Hinchey and
Aaron J. Quigley},
editor = {Boris Shishkov and
Jos{\'{e}} Cordeiro and
Alpesh Ranchordas},
title = {A Self-adaptive Architecture for Autonomic Systems Developed with
{ASSL}},
booktitle = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
2009},
pages = {163--168},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 18 Sep 2009 15:00:58 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/VassevHQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/VassevHQ09a,
author = {Emil Vassev and
Mike Hinchey and
Aaron J. Quigley},
editor = {Boris Shishkov and
Jos{\'{e}} Cordeiro and
Alpesh Ranchordas},
title = {Towards Model Checking with Java PathFinder for Autonomic Systems
Specified and Generated with {ASSL}},
booktitle = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
2009},
pages = {251--256},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 18 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/VassevHQ09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HincheyS09,
author = {Mike Hinchey and
Roy Sterritt},
title = {Organic Computing and Model-Driven Engineering in Embedded Systems},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {95--96},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.26},
doi = {10.1109/ISORC.2009.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HincheyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SchneidewindH09,
author = {Norman F. Schneidewind and
Mike Hinchey},
title = {A Complexity Reliability Model},
booktitle = {{ISSRE} 2009, 20th International Symposium on Software Reliability
Engineering, Mysuru, Karnataka, India, 16-19 November 2009},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISSRE.2009.10},
doi = {10.1109/ISSRE.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SchneidewindH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/ShokryH09,
author = {Hesham Shokry and
Mike Hinchey},
title = {On practical Service-Based Computing in distributed embedded automotive
systems},
booktitle = {{ICSE} 2009 Workshop on Model-Based Methodologies for Pervasive and
Embedded Software, {MOMPES} 2009, May 16, 2009, Vancouver, Canada},
pages = {22--30},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MOMPES.2009.5069134},
doi = {10.1109/MOMPES.2009.5069134},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mompes/ShokryH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/VassevHQ09,
author = {Emil Vassev and
Mike Hinchey and
Aaron J. Quigley},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Model Checking for Autonomic Systems Specified with {ASSL}},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {16--25},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/VassevHQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MargariaBWVHS09,
author = {Tiziana Margaria and
Marco Bakera and
Christian Wagner and
Emil Vassev and
Michael G. Hinchey and
Bernhard Steffen},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Component-Oriented Behavior Extraction for Autonomic System Design},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {66--75},
year = {2009},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MargariaBWVHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SchneidewindH09,
author = {Norman F. Schneidewind and
Mike Hinchey},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A consumer/producer approach to risk-driven software reliability and
testing},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {537--538},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529394},
doi = {10.1145/1529282.1529394},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/SchneidewindH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/VassevH09,
author = {Emil Vassev and
Mike Hinchey},
editor = {Vera Werneck and
Karin K. Breitman},
title = {Complexity Reduction in Developing Autonomic Systems with {ASSL}},
booktitle = {33rd Annual {IEEE} Software Engineering Workshop, {SEW} 2009, Sk{\"{o}}vde,
Sweden, 13-14 October, 2009},
pages = {87--93},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEW.2009.11},
doi = {10.1109/SEW.2009.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/VassevH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenHPS09,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
editor = {Dirk Muthig and
John D. McGregor},
title = {3\({}^{\mbox{rd}}\) International Workshop on Dynamic Software Product
Lines: {DSPL} 2009},
booktitle = {Software Product Lines, 13th International Conference, {SPLC} 2009,
San Francisco, California, USA, August 24-28, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {446},
pages = {295},
publisher = {{ACM}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1753276},
timestamp = {Wed, 28 Nov 2018 12:57:14 +0100},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenHPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcce/McInerneyHM09,
author = {Claire McInerney and
Mike Hinchey and
Eamonn McQuade},
editor = {Arthur Tatnall and
Anthony Jones},
title = {Investment in Information and Communication Technologies in the Irish
Education Sector},
booktitle = {Education and Technology for a Better World, 9th {IFIP} {TC} 3 World
Conference on Computers in Education, {WCCE} 2009, Bento Gon{\c{c}}alves,
Brazil, July 27-31, 2009. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {302},
pages = {83--91},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03115-1\_9},
doi = {10.1007/978-3-642-03115-1\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcce/McInerneyHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-0396,
author = {Emil Vassev and
Mike Hinchey},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {Developing Experimental Models for {NASA} Missions with {ASSL}},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {88},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.10},
doi = {10.4204/EPTCS.20.10},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SterrittH09,
author = {Roy Sterritt and
Mike Hinchey},
editor = {Mike Barley and
Haralambos Mouratidis and
Amy Unruh and
Diana F. Spears and
Paul Scerri and
Fabio Massacci},
title = {Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent
Systems},
booktitle = {Safety and Security in Multiagent Systems - Research Results from
2004-2006},
series = {Lecture Notes in Computer Science},
volume = {4324},
pages = {330--341},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04879-1\_22},
doi = {10.1007/978-3-642-04879-1\_22},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/SterrittH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Hinchey08,
author = {Mike Hinchey},
title = {Desert Island Column},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {393--402},
year = {2008},
url = {https://doi.org/10.1007/s10515-008-0037-5},
doi = {10.1007/S10515-008-0037-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Hinchey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HincheyJCCBM08,
author = {Mike Hinchey and
Michael Jackson and
Patrick Cousot and
Byron Cook and
Jonathan P. Bowen and
Tiziana Margaria},
title = {Software engineering and formal methods},
journal = {Commun. {ACM}},
volume = {51},
number = {9},
pages = {54--59},
year = {2008},
url = {https://doi.org/10.1145/1378727.1378742},
doi = {10.1145/1378727.1378742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HincheyJCCBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HallsteinsenHPS08,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
title = {Dynamic Software Product Lines},
journal = {Computer},
volume = {41},
number = {4},
pages = {93--95},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.123},
doi = {10.1109/MC.2008.123},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HallsteinsenHPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BreitmanH08,
author = {Karin Koogan Breitman and
Mike Hinchey},
title = {{ICT} Research Experience},
journal = {Computer},
volume = {41},
number = {6},
pages = {58},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.191},
doi = {10.1109/MC.2008.191},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BreitmanH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HincheyCH08,
author = {Mike Hinchey and
Paul A. Curto and
Scott Hamilton},
title = {Computer Celebrates NASA's 50th Anniversary},
journal = {Computer},
volume = {41},
number = {12},
pages = {32--33},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.483},
doi = {10.1109/MC.2008.483},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HincheyCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Hinchey08,
author = {Michael G. Hinchey},
title = {Introduction to special issue: selected papers from {SEW-31}},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {1},
pages = {1},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0048-1},
doi = {10.1007/S11334-008-0048-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Hinchey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/Hinchey08,
author = {Michael G. Hinchey},
title = {Editorial : Enabling the Dream of Flight},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {5},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.2514/1.35536},
doi = {10.2514/1.35536},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/Hinchey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/HincheyV08,
author = {Mike Hinchey and
Emil Vassev},
editor = {Chunming Rong and
Martin Gilje Jaatun and
Frode Eika Sandnes and
Laurence Tianruo Yang and
Jianhua Ma},
title = {An Evaluation Study of the Effectiveness of Modeling {NASA} Swarm-Based
Exploration Missions with {ASSL}},
booktitle = {Autonomic and Trusted Computing, 5th International Conference, {ATC}
2008, Oslo, Norway, June 23-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5060},
pages = {316--330},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69295-9\_26},
doi = {10.1007/978-3-540-69295-9\_26},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/HincheyV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SchneidewindH08,
author = {Norman F. Schneidewind and
Mike Hinchey},
title = {Why Predicting Outliers in Software is a Good Thing to Do!},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {91--97},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.33},
doi = {10.1109/ICECCS.2008.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SchneidewindH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/HincheyRTSR08,
author = {Michael G. Hinchey and
James L. Rash and
Walter Truszkowski and
Roy Sterritt and
Christopher A. Rouff},
title = {You can't get there from here! Problems and potential solutions in
developing new classes of complex computer systems},
booktitle = {Proceedings of the International Multiconference on Computer Science
and Information Technology, {IMCSIT} 2008, Wisla, Poland, 20-22 October
2008},
pages = {639--647},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IMCSIT.2008.4747311},
doi = {10.1109/IMCSIT.2008.4747311},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imcsit/HincheyRTSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/SterrittH08,
author = {Roy Sterritt and
Mike Hinchey},
title = {Towards Self-Managing Real-Time System},
booktitle = {Proceedings of the International Multiconference on Computer Science
and Information Technology, {IMCSIT} 2008, Wisla, Poland, 20-22 October
2008},
pages = {751--756},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IMCSIT.2008.4747326},
doi = {10.1109/IMCSIT.2008.4747326},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imcsit/SterrittH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Hinchey08,
author = {Michael G. Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Encouraging the Uptake of Formal Methods Training in an Industrial
Context},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {473--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_33},
doi = {10.1007/978-3-540-88479-8\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Hinchey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BreitmanH08,
author = {Karin Koogan Breitman and
Michael G. Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Use of Formal Ontology to Specify Context in Ubiquitous Computing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {561--571},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_40},
doi = {10.1007/978-3-540-88479-8\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BreitmanH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HincheyKLLMMPSW08,
author = {Michael G. Hinchey and
Karama Kanoun and
Mikael Lindvall and
Michael R. Lyu and
Tiziana Margaria and
Veena B. Mendiratta and
Paul Pettersson and
Norman F. Schneidewind and
W. Eric Wong},
title = {Anything You Want to Ask about Software Reliability Engineering},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.67},
doi = {10.1109/ISSRE.2008.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HincheyKLLMMPSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VassevHP08,
author = {Emil Vassev and
Mike Hinchey and
Joey Paquet},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Towards an {ASSL} specification model for {NASA} swarm-based exploration
missions},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {1652--1657},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1364079},
doi = {10.1145/1363686.1364079},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/VassevHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/VassevH08a,
author = {Emil Vassev and
Mike Hinchey},
title = {{ASSL} Specification of Emergent Self-Adapting Behavior for {NASA}
Swarm-Based Exploration Missions},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008,
Venice, Italy},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASOW.2008.19},
doi = {10.1109/SASOW.2008.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/VassevH08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/VassevH08,
author = {Emil Vassev and
Mike Hinchey},
editor = {Sven A. Brueckner and
Paul Robertson and
Umesh Bellur},
title = {An Emergent Self-Adapting Behavior Model for {NASA} Swarm-Based Exploration
Missions},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
pages = {473--474},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASO.2008.22},
doi = {10.1109/SASO.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/VassevH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HallsteinsenHPS08,
author = {Svein O. Hallsteinsen and
Mike Hinchey and
Sooyong Park and
Klaus Schmid},
title = {2nd International Workshop on Dynamic Software Product Lines {DSPL}
2008},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings},
pages = {381},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SPLC.2008.69},
doi = {10.1109/SPLC.2008.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HallsteinsenHPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/SchneidewindH08,
author = {Norman F. Schneidewind and
Michael G. Hinchey},
title = {Risk-Driven Software Reliability and Testing},
booktitle = {Second International Conference on Secure System Integration and Reliability
Improvement, {SSIRI} 2008, July 14-17, 2008, Yokohama, Japan},
pages = {183--184},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SSIRI.2008.34},
doi = {10.1109/SSIRI.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/SchneidewindH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8141,
editor = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
title = {Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08141/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10/2008,
editor = {Mike Hinchey and
Anastasia Pagnoni and
Franz J. Rammig and
Hartmut Schmeck},
title = {Biologically-Inspired Collaborative Computing - {IFIP} 20th World
Computer Congress, Second {IFIP} {TC} 10 International Conference
on Biologically-Inspired Collaborative Computing, September 8-9, 2008,
Milano, Italy},
series = {{IFIP}},
volume = {268},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09655-1},
doi = {10.1007/978-0-387-09655-1},
isbn = {978-0-387-09654-4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BellmanHMSW08,
author = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
editor = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
title = {08141 Abstracts Collection - Organic Computing - Controlled Self-organization},
booktitle = {Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1567/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BellmanHMSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BellmanHMSW08a,
author = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
editor = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
title = {08141 Executive Summary - Organic Computing - Controlled Self-organization},
booktitle = {Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1566/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BellmanHMSW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HincheySR07,
author = {Michael G. Hinchey and
Roy Sterritt and
Christopher A. Rouff},
title = {Swarms and Swarm Intelligence},
journal = {Computer},
volume = {40},
number = {4},
pages = {111--113},
year = {2007},
url = {https://doi.org/10.1109/MC.2007.144},
doi = {10.1109/MC.2007.144},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/HincheySR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PenaHSC07,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Roy Sterritt and
Antonio Ruiz Cort{\'{e}}s},
title = {Building and implementing policies in autonomous and autonomic systems
using MaCMAS},
journal = {Innov. Syst. Softw. Eng.},
volume = {3},
number = {1},
pages = {17--31},
year = {2007},
url = {https://doi.org/10.1007/s11334-006-0017-5},
doi = {10.1007/S11334-006-0017-5},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PenaHSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/FernandesCFHCB07,
author = {Ab{\'{\i}}lio Fernandes and
Angelo E. M. Ciarlini and
Ant{\'{o}}nio L. Furtado and
Michael G. Hinchey and
Marco A. Casanova and
Karin Koogan Breitman},
title = {Adding flexibility to workflows through incremental planning},
journal = {Innov. Syst. Softw. Eng.},
volume = {3},
number = {4},
pages = {291--302},
year = {2007},
url = {https://doi.org/10.1007/s11334-007-0035-y},
doi = {10.1007/S11334-007-0035-Y},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/FernandesCFHCB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/Hinchey07,
author = {Michael G. Hinchey},
title = {Editorial: {A} Year of Aerospace Computing},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {4},
number = {12},
year = {2007},
url = {https://doi.org/10.2514/1.35756},
doi = {10.2514/1.35756},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/Hinchey07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BohnerGHE07,
author = {Shawn A. Bohner and
Denis Gracanin and
Michael G. Hinchey and
Mohamed Eltoweissy},
title = {Model-Based Evolution of Collaborative Agent-Based Systems},
journal = {J. Braz. Comput. Soc.},
volume = {13},
number = {4},
pages = {17--38},
year = {2007},
url = {https://doi.org/10.1007/BF03194254},
doi = {10.1007/BF03194254},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/BohnerGHE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PenaHRSR07,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Manuel Resinas and
Roy Sterritt and
James L. Rash},
title = {Designing and managing evolving systems using a {MAS} product line
approach},
journal = {Sci. Comput. Program.},
volume = {66},
number = {1},
pages = {71--86},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.10.007},
doi = {10.1016/J.SCICO.2006.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PenaHRSR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HincheyDRRQ07,
author = {Michael G. Hinchey and
Yuan{-}Shun Dai and
Christopher A. Rouff and
James L. Rash and
Mingrui Qi},
title = {Modeling for {NASA} Autonomous Nano-Technology Swarm Missions and
Model-Driven Autonomic Computing},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), May 21-23, 2007, Niagara Falls, Canada},
pages = {250--257},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINA.2007.93},
doi = {10.1109/AINA.2007.93},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/HincheyDRRQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BreitmanBCFH07,
author = {Karin Koogan Breitman and
Simone Diniz Junqueira Barbosa and
Marco A. Casanova and
Ant{\'{o}}nio L. Furtado and
Michael G. Hinchey},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Using Analogy to Promote Conceptual Modeling Reuse},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {111--122},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000538},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BreitmanBCFH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HincheyDRTM07,
author = {Michael G. Hinchey and
Yuan{-}Shun Dai and
James L. Rash and
Walt Truszkowski and
Manish Madhusoodan},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Bionic autonomic nervous system and self-healing for {NASA} ANTS-like
missions},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {90--96},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244025},
doi = {10.1145/1244002.1244025},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HincheyDRTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/Hinchey07,
author = {Michael G. Hinchey},
title = {Michael G. Hinchey: Biological Inspiration},
booktitle = {Proceedings of the First International Conference on Self-Adaptive
and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
2007},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SASO.2007.38},
doi = {10.1109/SASO.2007.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/Hinchey07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/BohnerHG07,
author = {Shawn A. Bohner and
Michael G. Hinchey and
Boby George},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Agent-Based Software Systems Evolution via Model-Driven Architecture},
booktitle = {Proceedings of the 2007 International Conference on Software Engineering
Research {\&} Practice, {SERP} 2007, Volume II, June 25-28, 2007,
Las Vegas Nevada, {USA}},
pages = {546--552},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Fri, 11 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serp/BohnerHG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swis/RouffHPC07,
author = {Christopher A. Rouff and
Michael G. Hinchey and
Joaqu{\'{\i}}n Pe{\~{n}}a and
Antonio Ruiz Cort{\'{e}}s},
title = {Using Formal Methods and Agent-Oriented Software Engineering for Modeling
{NASA} Swarm-Based Systems},
booktitle = {2007 {IEEE} Swarm Intelligence Symposium, {SIS} 2007, Honolulu, Hawaii,
USA, April 1-5, 2007},
pages = {348--355},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIS.2007.367958},
doi = {10.1109/SIS.2007.367958},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swis/RouffHPC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2007,
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6},
doi = {10.1007/978-3-540-76650-6},
isbn = {978-3-540-76648-3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/SterrittH06,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Editorial: Engineering autonomic systems},
journal = {Artif. Intell. Rev.},
volume = {25},
number = {4},
pages = {281--284},
year = {2006},
url = {https://doi.org/10.1007/s10462-007-9030-9},
doi = {10.1007/S10462-007-9030-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/air/SterrittH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/RashHRGE06,
author = {James L. Rash and
Michael G. Hinchey and
Christopher A. Rouff and
Denis Gracanin and
John Erickson},
title = {A requirements-based programming approach to developing a {NASA} autonomous
ground control system},
journal = {Artif. Intell. Rev.},
volume = {25},
number = {4},
pages = {285--297},
year = {2006},
url = {https://doi.org/10.1007/s10462-007-9029-2},
doi = {10.1007/S10462-007-9029-2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/air/RashHRGE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PenaHC06,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Antonio Ruiz Cort{\'{e}}s},
title = {Multi-agent system product lines: challenges and benefits},
journal = {Commun. {ACM}},
volume = {49},
number = {12},
pages = {82--84},
year = {2006},
url = {https://doi.org/10.1145/1183236.1183272},
doi = {10.1145/1183236.1183272},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PenaHC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HincheyRRG06,
author = {Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff and
Denis Gracanin},
title = {Achieving dependability in sensor networks through automated requirements-based
programming},
journal = {Comput. Commun.},
volume = {29},
number = {2},
pages = {246--256},
year = {2006},
url = {https://doi.org/10.1016/j.comcom.2005.05.020},
doi = {10.1016/J.COMCOM.2005.05.020},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/HincheyRRG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenH06,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Ten Commandments of Formal Methods ...Ten Years Later},
journal = {Computer},
volume = {39},
number = {1},
pages = {40--48},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.35},
doi = {10.1109/MC.2006.35},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HincheyS06,
author = {Michael G. Hinchey and
Roy Sterritt},
title = {Self-Managing Software},
journal = {Computer},
volume = {39},
number = {2},
pages = {107--109},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.69},
doi = {10.1109/MC.2006.69},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/HincheyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CarverHAH06,
author = {Doris L. Carver and
Ronald G. Hoelzeman and
James H. Aylor and
Michael G. Hinchey},
title = {Special Issue Introduction: The {IEEE} Computer Society's 60th Anniversary},
journal = {Computer},
volume = {39},
number = {10},
pages = {22--25},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.356},
doi = {10.1109/MC.2006.356},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CarverHAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SterrittRHRT06,
author = {Roy Sterritt and
Christopher A. Rouff and
Michael G. Hinchey and
James L. Rash and
Walter Truszkowski},
title = {Next generation system and software architectures: Challenges from
future {NASA} exploration missions},
journal = {Sci. Comput. Program.},
volume = {61},
number = {1},
pages = {48--57},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.11.005},
doi = {10.1016/J.SCICO.2005.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SterrittRHRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RouffHTR06,
author = {Christopher A. Rouff and
Michael G. Hinchey and
Walter Truszkowski and
James L. Rash},
title = {Experiences applying formal approaches in the development of swarm-based
space exploration systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {587--603},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0027-5},
doi = {10.1007/S10009-006-0027-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RouffHTR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TruszkowskiHRR06,
author = {Walter Truszkowski and
Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff},
title = {Autonomous and autonomic systems: a paradigm for future space exploration
missions},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {36},
number = {3},
pages = {279--291},
year = {2006},
url = {https://doi.org/10.1109/TSMCC.2006.871600},
doi = {10.1109/TSMCC.2006.871600},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TruszkowskiHRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/PenaHCT06,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Antonio Ruiz Cort{\'{e}}s and
Pablo Trinidad},
editor = {Lin Padgham and
Franco Zambonelli},
title = {Building the Core Architecture of a {NASA} Multiagent System Product
Line},
booktitle = {Agent-Oriented Software Engineering VII, 7th International Workshop,
{AOSE} 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4405},
pages = {208--224},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70945-9\_13},
doi = {10.1007/978-3-540-70945-9\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/aose/PenaHCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/DaiHMRZ06,
author = {Yuan{-}Shun Dai and
Michael G. Hinchey and
Manish Madhusoodan and
James L. Rash and
Xukai Zou},
title = {A Prototype Model for Self-Healing and Self-Reproduction In Swarm
Robotics System},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.10},
doi = {10.1109/DASC.2006.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/DaiHMRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/PenaHSCR06,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Roy Sterritt and
Antonio Ruiz Cort{\'{e}}s and
Manuel Resinas},
title = {A Model-Driven Architecture Approach for Modeling, Specifying and
Deploying Policies in Autonomous and Autonomic Systems},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {19--30},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.8},
doi = {10.1109/DASC.2006.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/PenaHSCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/DaiHQZ06,
author = {Yuan{-}Shun Dai and
Michael G. Hinchey and
Mingrui Qi and
Xukai Zou},
title = {Autonomic Security and Self-Protection based on Feature-Recognition
with Virtual Neurons},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {227--234},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.24},
doi = {10.1109/DASC.2006.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/DaiHQZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SterrittH06,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Biologically-Inspired Concepts for Self-Management of Complexity},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {163--168},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.52},
doi = {10.1109/ICECCS.2006.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SterrittH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HincheySPR06,
author = {Michael G. Hinchey and
Roy Sterritt and
Joaqu{\'{\i}}n Pe{\~{n}}a and
Christopher A. Rouff},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Stephen Fickas and
David Garlan and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {Software engineering and swarm-based systems},
booktitle = {Proceedings of the 2006 international workshop on Self-adaptation
and self-managing systems, {SEAMS} 2006, Shanghai, China, May 21-22,
2006},
pages = {97},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137677.1137700},
doi = {10.1145/1137677.1137700},
timestamp = {Tue, 15 Jan 2019 11:48:13 +0100},
biburl = {https://dblp.org/rec/conf/icse/HincheySPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10/HincheyS06,
author = {Michael G. Hinchey and
Roy Sterritt},
editor = {Yi Pan and
Franz J. Rammig and
Hartmut Schmeck and
Mauricio Solar},
title = {99{\%} (Biological) Inspiration ...},
booktitle = {Biologically Inspired Cooperative Computing, {IFIP} 19th World Computer
Congress, {TC} 10: 1st {IFIP} International Conference on Biologically
Inspired Computing, August 21-24, 2006, Santiago, Chile},
series = {{IFIP}},
volume = {216},
pages = {7--20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34733-2\_2},
doi = {10.1007/978-0-387-34733-2\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10/HincheyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10/MargariaHRRRS06,
author = {Tiziana Margaria and
Michael G. Hinchey and
Harald Raffelt and
James L. Rash and
Christopher A. Rouff and
Bernhard Steffen},
editor = {Yi Pan and
Franz J. Rammig and
Hartmut Schmeck and
Mauricio Solar},
title = {Completing and Adapting Models of Biological Processes},
booktitle = {Biologically Inspired Cooperative Computing, {IFIP} 19th World Computer
Congress, {TC} 10: 1st {IFIP} International Conference on Biologically
Inspired Computing, August 21-24, 2006, Santiago, Chile},
series = {{IFIP}},
volume = {216},
pages = {43--54},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34733-2\_5},
doi = {10.1007/978-0-387-34733-2\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10/MargariaHRRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HincheyPFMD06,
author = {Michael G. Hinchey and
Thomas Pressburger and
Martin S. Feather and
Lawrence Markosian and
Wes Deadrick},
title = {Software Assurance Research Infusion: The {NASA} Experience},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {18--27},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.56},
doi = {10.1109/ISOLA.2006.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HincheyPFMD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/HincheyMRRS06,
author = {Michael G. Hinchey and
Tiziana Margaria and
James L. Rash and
Christopher A. Rouff and
Bernhard Steffen},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Enhanced Requirements-Based Programming for Embedded Systems Design},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2006-1},
pages = {43--52},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2006},
url = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:38 +0100},
biburl = {https://dblp.org/rec/conf/mbees/HincheyMRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/PenaHRSR06,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Michael G. Hinchey and
Manuel Resinas and
Roy Sterritt and
James L. Rash},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line
Approach},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice {\&} Conference on Programming Languages
and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
Volume 2},
pages = {995--1001},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Wed, 29 Nov 2006 15:18:21 +0100},
biburl = {https://dblp.org/rec/conf/serp/PenaHRSR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrac/2005,
editor = {Michael G. Hinchey and
Patricia Rago and
James L. Rash and
Christopher A. Rouff and
Roy Sterritt and
Walt Truszkowski},
title = {Innovative Concepts for Autonomic and Agent-Based Systems, Second
International Workshop on Radical Agent Concepts, {WRAC} 2005, Greenbelt,
MD, USA, September 20-22, 2005. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3825},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11964995},
doi = {10.1007/11964995},
isbn = {978-3-540-69265-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrac/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BohnerH05,
author = {Shawn A. Bohner and
Mike Hinchey},
title = {Introduction to Innovations in System and Software Engineering},
journal = {Innov. Syst. Softw. Eng.},
volume = {1},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1007/s11334-005-0008-y},
doi = {10.1007/S11334-005-0008-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BohnerH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/HincheyRTRS05,
author = {Michael G. Hinchey and
James L. Rash and
Walter Truszkowski and
Christopher A. Rouff and
Roy Sterritt},
title = {You can't Get there from Here! Problems and some potential solutions
in Developing New Classes of Complex Systems},
journal = {Trans. {SDPS}},
volume = {9},
number = {1},
pages = {1--16},
year = {2005},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid9-1-01},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/HincheyRTRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/SterrittH05,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Autonomicity An Antidote for Complexity?},
booktitle = {Fourth International {IEEE} Computer Society Computational Systems
Bioinformatics Conference Workshops {\&} Poster Abstracts, {CSB}
2005 Workshops, Stanford, CA, USA, August 8-11, 2005},
pages = {283--291},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSBW.2005.28},
doi = {10.1109/CSBW.2005.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csb/SterrittH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/RashHG05,
author = {James L. Rash and
Michael G. Hinchey and
Denis Gracanin},
title = {An Approach to Generating and Verifying Complex Scripts and Procedures},
booktitle = {Fourth International {IEEE} Computer Society Computational Systems
Bioinformatics Conference Workshops {\&} Poster Abstracts, {CSB}
2005 Workshops, Stanford, CA, USA, August 8-11, 2005},
pages = {305--313},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSBW.2005.21},
doi = {10.1109/CSBW.2005.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csb/RashHG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GracaninSHEB05,
author = {Denis Gracanin and
H. Lally Singh and
Michael G. Hinchey and
Mohamed Eltoweissy and
Shawn A. Bohner},
title = {A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {255--262},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.6},
doi = {10.1109/ECBS.2005.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/GracaninSHEB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HincheyRR05,
author = {Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff},
title = {A Formal Approach to Requirements-Based Programming},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {339--345},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.7},
doi = {10.1109/ECBS.2005.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/HincheyRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SterrittH05,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Why Computer-Based Systems Should Be Autonomic},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {406--412},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.75},
doi = {10.1109/ECBS.2005.75},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SterrittH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/RashHRGE05,
author = {James L. Rash and
Michael G. Hinchey and
Christopher A. Rouff and
Denis Gracanin and
John Erickson},
title = {Experiences with a Requirements-Based Programming Approach to the
Development of a {NASA} Autonomous Ground Control System},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {490--497},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.37},
doi = {10.1109/ECBS.2005.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/RashHRGE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SterrittH05a,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Engineering Ultimate Self-Protection in Autonomic Agents for Space
Exploration Missions},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {506--511},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.36},
doi = {10.1109/ECBS.2005.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SterrittH05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SterrittH05b,
author = {Roy Sterritt and
Michael G. Hinchey},
title = {Autonomic Computing - Panacea or Poppycock?},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {535--539},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.22},
doi = {10.1109/ECBS.2005.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SterrittH05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/SterrittHRTRG05,
author = {Roy Sterritt and
Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Denis Gracanin},
editor = {Tomoya Enokido and
Lu Yan and
Bin Xiao and
Daeyoung Kim and
Yuan{-}Shun Dai and
Laurence Tianruo Yang},
title = {Towards Formal Specification and Generation of Autonomic Policies},
booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005 Workshops, {EUC} 2005
Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December
6-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3823},
pages = {1245--1254},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596042\_126},
doi = {10.1007/11596042\_126},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euc/SterrittHRTRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BowenH05,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Ten commandments revisited: a ten-year perspective on the industrial
application of formal methods},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {8--16},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081183},
doi = {10.1145/1081180.1081183},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BowenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HincheyRRT05,
author = {Michael G. Hinchey and
Christopher A. Rouff and
James L. Rash and
Walter Truszkowski},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Requirements of an integrated formal method for intelligent swarms},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {125--133},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081196},
doi = {10.1145/1081180.1081196},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HincheyRRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/RouffHRTS05,
author = {Christopher A. Rouff and
Michael G. Hinchey and
James L. Rash and
Walter Truszkowski and
Roy Sterritt},
title = {Autonomicity of {NASA} Missions},
booktitle = {Second International Conference on Autonomic Computing {(ICAC} 2005),
13-16 June 2005, Seattle, WA, {USA}},
pages = {387--388},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICAC.2005.15},
doi = {10.1109/ICAC.2005.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/RouffHRTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RashHRG05,
author = {James L. Rash and
Michael G. Hinchey and
Christopher A. Rouff and
Denis Gracanin},
title = {Formal Requirements-Based Programming for Complex Systems},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.47},
doi = {10.1109/ICECCS.2005.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RashHRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/AdamsGH05,
author = {Kevin P. Adams and
Denis Gracanin and
Michael G. Hinchey},
title = {Increasing Resiliency through Priority Scheduling of Asynchronous
Data Replication},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {356--362},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.171},
doi = {10.1109/ICPADS.2005.171},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/AdamsGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/RouffHTR05,
author = {Christopher A. Rouff and
Michael G. Hinchey and
Walt Truszkowski and
James L. Rash},
title = {Verifying Large Numbers of Cooperating Adaptive Agents},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {391--397},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.294},
doi = {10.1109/ICPADS.2005.294},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/RouffHTR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/HincheyRTRS05,
author = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Roy Sterritt},
title = {Challenges of Developing New Classes of {NASA} Self-Managing Missions},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {463--467},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.106},
doi = {10.1109/ICPADS.2005.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/HincheyRTRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/RouffHRTS05,
author = {Christopher A. Rouff and
Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Roy Sterritt},
title = {Towards Autonomic Management of {NASA} Missions},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {473--477},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.282},
doi = {10.1109/ICPADS.2005.282},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/RouffHRTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/TruszkowskiHS05,
author = {Walt Truszkowski and
Michael G. Hinchey and
Roy Sterritt},
title = {Towards an Autonomic Cluster Management System {(ACMS)} with Reflex
Autonomicity},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {478--482},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.281},
doi = {10.1109/ICPADS.2005.281},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/TruszkowskiHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/HincheyRR05,
author = {Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff},
title = {Enabling Requirements-Based Programming for Highly-Dependable Complex
Parallel and Distributed Systems},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {570--574},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.148},
doi = {10.1109/ICPADS.2005.148},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/HincheyRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/HincheyRR05,
author = {Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff},
title = {Towards an automated development methodology for dependable systems
with application to sensor networks},
booktitle = {Proceedings of the 24th {IEEE} International Performance Computing
and Communications Conference, {IPCCC} 2005, April 7-9, 2005, Phoenix,
Arizona, {USA}},
pages = {445--451},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/PCCC.2005.1460610},
doi = {10.1109/PCCC.2005.1460610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipccc/HincheyRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/SterrittH05,
author = {Roy Sterritt and
Michael G. Hinchey},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {{SPAACE:} : Self-Properties for an Autonomous {\&} Autonomic Computing
Environment},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 1},
pages = {3--8},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Tue, 31 Jan 2006 11:57:16 +0100},
biburl = {https://dblp.org/rec/conf/serp/SterrittH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/HincheyRTRS05,
author = {Michael G. Hinchey and
James L. Rash and
Walter Truszkowski and
Christopher A. Rouff and
Roy Sterritt},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Autonomous and Autonomic Swarms},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 1},
pages = {36--44},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serp/HincheyRTRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/SterrittRRTH05,
author = {Roy Sterritt and
Christopher A. Rouff and
James L. Rash and
Walter Truszkowski and
Michael G. Hinchey},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Self*- Properties in {NASA} Mission},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 1},
pages = {66--72},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serp/SterrittRRTH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/RouffHRT05,
author = {Christopher A. Rouff and
Michael G. Hinchey and
James L. Rash and
Walter Truszkowski},
title = {Towards a Hybrid Formal Method for Swarm-Based Exploration Missions},
booktitle = {29th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-29}
2005), 6-7 April 2005, Greenbelt, Maryland, {USA}},
pages = {253--264},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEW.2005.45},
doi = {10.1109/SEW.2005.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/RouffHRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HincheyRR05,
author = {Michael G. Hinchey and
James L. Rash and
Christopher A. Rouff},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Some Verification Issues at {NASA} Goddard Space Flight Center},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {403--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_43},
doi = {10.1007/978-3-540-69149-5\_43},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/HincheyRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrac/SterrittH05,
author = {Roy Sterritt and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
Patricia Rago and
James L. Rash and
Christopher A. Rouff and
Roy Sterritt and
Walt Truszkowski},
title = {Radical Concepts for Self-managing Ubiquitous and Pervasive Computing
Environments},
booktitle = {Innovative Concepts for Autonomic and Agent-Based Systems, Second
International Workshop on Radical Agent Concepts, {WRAC} 2005, Greenbelt,
MD, USA, September 20-22, 2005. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3825},
pages = {370--378},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11964995\_33},
doi = {10.1007/11964995\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrac/SterrittH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/faabs/2004,
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105317},
doi = {10.1007/B105317},
isbn = {3-540-24422-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/TruszkowskiHRR04,
author = {Walt Truszkowski and
Mike Hinchey and
James L. Rash and
Christopher A. Rouff},
title = {NASA's Swarm Missions: The Challenge of Building Autonomous Software},
journal = {{IT} Prof.},
volume = {6},
number = {5},
pages = {47--52},
year = {2004},
url = {https://doi.org/10.1109/MITP.2004.66},
doi = {10.1109/MITP.2004.66},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/TruszkowskiHRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/RouffVHTR04,
author = {Christopher A. Rouff and
Amy Vanderbilt and
Michael G. Hinchey and
Walt Truszkowski and
James L. Rash},
title = {Verification of Emergent Behaviors in Swarm-based Systems},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {443--448},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316730},
doi = {10.1109/ECBS.2004.1316730},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/RouffVHTR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TruszkowskiRRH04,
author = {Walt Truszkowski and
James L. Rash and
Christopher A. Rouff and
Michael G. Hinchey},
title = {Asteroid Exploration with Autonomic Systems},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {484--489},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316737},
doi = {10.1109/ECBS.2004.1316737},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/TruszkowskiRRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TruszkowskiRRH04a,
author = {Walt Truszkowski and
James L. Rash and
Christopher A. Rouff and
Michael G. Hinchey},
title = {Some Autonomic Properties of Two Legacy Multi-Agent Systems - {LOGOS}
and {ACT}},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {490--499},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316738},
doi = {10.1109/ECBS.2004.1316738},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/TruszkowskiRRH04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GracaninBH04,
author = {Denis Gracanin and
Shawn A. Bohner and
Michael G. Hinchey},
title = {Towards a Model-Driven Architecture for Autonomic Systems},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {500--505},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316739},
doi = {10.1109/ECBS.2004.1316739},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/GracaninBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BohnerGGH04,
author = {Shawn A. Bohner and
Boby George and
Denis Gracanin and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formalism Challenges of the Cougaar Model Driven Architecture},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {57--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_5},
doi = {10.1007/978-3-540-30960-4\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BohnerGGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GracaninSBH04,
author = {Denis Gracanin and
H. Lally Singh and
Shawn A. Bohner and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Model-Driven Architecture for Agent-Based Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_17},
doi = {10.1007/978-3-540-30960-4\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GracaninSBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SterrittH04,
author = {Roy Sterritt and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Apoptosis and Self-Destruct: {A} Contribution to Autonomic Agents?},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {262--270},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_18},
doi = {10.1007/978-3-540-30960-4\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SterrittH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RouffVTRH04,
author = {Christopher A. Rouff and
Amy Vanderbilt and
Walt Truszkowski and
James L. Rash and
Michael G. Hinchey},
title = {Verification of {NASA} Emergent Systems},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {231--238},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310922},
doi = {10.1109/ICECCS.2004.1310922},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RouffVTRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/RouffVTRH04,
author = {Christopher A. Rouff and
Amy Vanderbilt and
Walt Truszkowski and
James L. Rash and
Michael G. Hinchey},
editor = {Max Bramer and
Vladan Devedzic},
title = {Verification of Nasa Emergent Systems},
booktitle = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
World Computer Congress, {TC12} First International Conference on
Artificial Intelligence Applications and Innovations (AIAI-2004),
22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {154},
pages = {167--176},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8151-0\_15},
doi = {10.1007/1-4020-8151-0\_15},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/RouffVTRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RouffVTRH04,
author = {Christopher A. Rouff and
Amy Vanderbilt and
Walter Truszkowski and
James L. Rash and
Michael G. Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Formal Methods for Autonomic and Swarm-based Systems},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {100--102},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/RouffVTRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RouffVHTR04,
author = {Christopher A. Rouff and
Amy Vanderbilt and
Michael G. Hinchey and
Walt Truszkowski and
James L. Rash},
title = {Properties of a Formal Method for Prediction of Emergent Behaviors
in Swarm-Based Systems},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.34},
doi = {10.1109/SEFM.2004.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RouffVHTR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/RouffTRH03,
author = {Christopher A. Rouff and
Walter Truszkowski and
James L. Rash and
Michael G. Hinchey},
title = {Formal Approaches to Intelligent Swarms},
booktitle = {28th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-28}
2003), 3-4 December 2003, Greenbelt, Maryland, {USA}},
pages = {51},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEW.2003.1270725},
doi = {10.1109/SEW.2003.1270725},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/RouffTRH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/faabs/2002,
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11729},
doi = {10.1007/B11729},
isbn = {3-540-40665-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrac/2002,
editor = {Walt Truszkowski and
Christopher A. Rouff and
Michael G. Hinchey},
title = {Innovative Concepts for Agent-Based Systems, First International Workshop
on Radical Agent Concepts, {WRAC} 2002, McLean, VA, USA, January 16-18,
2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2564},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b83557},
doi = {10.1007/B83557},
isbn = {3-540-40725-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrac/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RobinsonHC02,
author = {Peter J. Robinson and
Michael G. Hinchey and
Keith L. Clark},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning
Capabilities},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {162--172},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_14},
doi = {10.1007/978-3-540-45133-4\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RobinsonHC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/Hinchey02,
author = {Michael G. Hinchey},
editor = {Peter A. Lindsay},
title = {Confessions of a Formal Methodist},
booktitle = {Safety Critical Systems and Software 2002, Seventh Australian Workshop
on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia,
17-18 October 2002},
series = {{CRPIT}},
volume = {15},
pages = {17--20},
publisher = {Australian Computer Society},
year = {2002},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV15Hinchey.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scs/Hinchey02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/faabs/2000,
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45484-5},
doi = {10.1007/3-540-45484-5},
isbn = {3-540-42716-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HincheyHPHGLT00,
author = {Michael G. Hinchey and
James A. Hendler and
Charles Pecheur and
Constance L. Heitmeyer and
Diana F. Gordon and
Michael Luck and
Walt Truszkowski},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Panel Discussion: Future Directions},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {354--368},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_37},
doi = {10.1007/3-540-45484-5\_37},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HincheyHPHGLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RouffRH00,
author = {Christopher A. Rouff and
James L. Rash and
Michael G. Hinchey},
title = {Experience Using Formal Methods for Specifying a Multi-Agent System},
booktitle = {6th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
pages = {72},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICECCS.2000.873929},
doi = {10.1109/ICECCS.2000.873929},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RouffRH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HowertonH00,
author = {William G. Howerton and
Michael G. Hinchey},
title = {Using the Right Tool for the Job},
booktitle = {6th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
pages = {105},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICECCS.2000.873932},
doi = {10.1109/ICECCS.2000.873932},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HowertonH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BroggiHS99,
author = {Alberto Broggi and
Mike Hinchey and
Alexander D. Stoyen},
title = {Engineering complex computer systems},
journal = {Microprocess. Microsystems},
volume = {23},
number = {3},
pages = {123--124},
year = {1999},
url = {https://doi.org/10.1016/S0141-9331(99)00034-4},
doi = {10.1016/S0141-9331(99)00034-4},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BroggiHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BroggiHS98,
author = {Alberto Broggi and
Michael G. Hinchey and
Alexander D. Stoyen},
title = {Introduction to the Minitrack on Engineering Complex Computer Systems:
Emerging Technologies Track},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {148--149},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.656091},
doi = {10.1109/HICSS.1998.656091},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BroggiHS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1998,
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/b68208},
doi = {10.1007/B68208},
isbn = {3-540-65070-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BowenH97,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {The use of industrial-strength formal methods},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624973},
doi = {10.1109/CMPSAC.1997.624973},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BowenH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1997,
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027279},
doi = {10.1007/BFB0027279},
isbn = {3-540-62717-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/BowenH97,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Allen B. Tucker},
title = {Formal Models and the Specification Process},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2302--2322},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/BowenH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
author = {Jonathan P. Bowen and
Ricky W. Butler and
David L. Dill and
Robert L. Glass and
David Gries and
Anthony Hall and
Michael G. Hinchey and
C. Michael Holloway and
Daniel Jackson and
Cliff B. Jones and
Michael J. Lutz and
David Lorge Parnas and
John M. Rushby and
Jeannette M. Wing and
Pamela Zave},
title = {An Invitation to Formal Methods},
journal = {Computer},
volume = {29},
number = {4},
pages = {16--30},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.488298},
doi = {10.1109/MC.1996.488298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SaiedianH96,
author = {Hossein Saiedian and
Michael G. Hinchey},
title = {Challenges in the successful transfer of formal methods technology
into industrial applications},
journal = {Inf. Softw. Technol.},
volume = {38},
number = {5},
pages = {313--322},
year = {1996},
url = {https://doi.org/10.1016/0950-5849(95)01057-2},
doi = {10.1016/0950-5849(95)01057-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SaiedianH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080045,
author = {Michael G. Hinchey and
Stephen A. Jarvis},
title = {Concurrent systems - formal development in {CSP}},
series = {McGrawhill international series in software engineering},
publisher = {McGraw-Hill},
year = {1995},
isbn = {978-0-07-707649-8},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenH95,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Ten Commandments of Formal Methods},
journal = {Computer},
volume = {28},
number = {4},
pages = {56--63},
year = {1995},
url = {https://doi.org/10.1109/2.375178},
doi = {10.1109/2.375178},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenH95,
author = {Jonathan P. Bowen and
Mike Hinchey},
title = {Editorial},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {258--259},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)90000-4},
doi = {10.1016/0950-5849(95)90000-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenH95a,
author = {Jonathan P. Bowen and
Mike Hinchey},
title = {Report on {Z} user meeting {(ZUM} '94)},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {335--336},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99368-W},
doi = {10.1016/0950-5849(95)99368-W},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenH95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BowenH95,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Seven More Myths of Formal Methods},
journal = {{IEEE} Softw.},
volume = {12},
number = {4},
pages = {34--41},
year = {1995},
url = {https://doi.org/10.1109/52.391826},
doi = {10.1109/52.391826},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/DeanH95,
author = {Neville Dean and
Michael G. Hinchey},
editor = {Cary Laxer and
Curt M. White and
James E. Miller and
Judith L. Gersting},
title = {Introducing formal methods through role-playing},
booktitle = {Proceedings of the 26th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1995, Nashville, Tennessee, USA, March 2-4, 1995},
pages = {302--306},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/199688.199831},
doi = {10.1145/199688.199831},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/DeanH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1995,
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2},
doi = {10.1007/3-540-60271-2},
isbn = {3-540-60271-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenH94,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Seven More Myths of Formal Methods},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {105--117},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_91},
doi = {10.1007/3-540-58555-9\_91},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BowenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/RelihanCH94,
author = {Liam Relihan and
Tony Cahill and
Michael G. Hinchey},
editor = {Nina Wishbow},
title = {Untangling the World-Wide Web},
booktitle = {Proceedings of the 12th Annual International Conference on Documentation:
technical communications at the great divide, {SIGDOC} 1994, Banff,
Alberta, Canada, October 2-5, 1994},
pages = {17--24},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/192506.192531},
doi = {10.1145/192506.192531},
timestamp = {Tue, 06 Nov 2018 11:07:46 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/RelihanCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Hinchey93,
author = {Michael G. Hinchey},
editor = {David Alex Lamb},
title = {Structured and Formal Methods: An Investigative Framework},
booktitle = {Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland,
USA, May 17-18, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1078},
pages = {151--163},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0030527},
doi = {10.1007/BFB0030527},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/Hinchey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/CahillHR93,
author = {Tony Cahill and
Michael G. Hinchey and
Liam Relihan},
editor = {Paul Beam},
title = {Documents are programs},
booktitle = {Proceedings of the 11th Annual International Conference on Systems
Documentation, {SIGDOC} 1993, Waterloo, Ontario, Canada, October 5-8,
1993},
pages = {43--55},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/166025.166034},
doi = {10.1145/166025.166034},
timestamp = {Tue, 06 Nov 2018 11:07:46 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/CahillHR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/HincheyC92,
author = {Michael G. Hinchey and
Tony Cahill},
editor = {Roy MacLean},
title = {Towards a canonical specification of document structures},
booktitle = {Proceedings of the 10th Annual International Conference on Systems
Documentation, {SIGDOC} 1992, Ottawa, Ontario, Canada, October 13-16,
1992},
pages = {297--307},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/147001.147053},
doi = {10.1145/147001.147053},
timestamp = {Tue, 06 Nov 2018 11:07:46 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/HincheyC92.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-03-02 00:01 CET 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:
