default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael G. Hinchey
Mike Hinchey
Person information
- affiliation: University of Limerick, Irish Software Engineering Research Centre (Lero), Ireland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j67]Mike Hinchey
:
Ethics and Computing. Computer 57(2): 21-23 (2024)- 2023
- [j66]Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra:
Guest Editorial: Intelligence for systems and software engineering. Innov. Syst. Softw. Eng. 19(1): 1-4 (2023) - [c156]Mike Hinchey, Emil Vassev:
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods 2023: 367-392 - [c155]Radha Krishna Bar, Somnath Mukhopadhyay, Debasish Chakraborty, Mike Hinchey:
Dimension Reduction in Hyperspectral Image Using Single Layer Perceptron Neural Network. CICBA (1) 2023: 93-106 - 2022
- [j65]Loveleen Gaur, Gurinder Singh, Mike Hinchey, Gurmeet Singh, Vishal Jain:
Applications of computational intelligence techniques to software engineering problems. Innov. Syst. Softw. Eng. 18(2): 231-232 (2022) - 2020
- [c154]Clare McInerney, Chris Exton, Mike Hinchey:
A study of high school computer science teacher confidence levels. WiPSCE 2020: 26:1-26:2
2010 – 2019
- 2019
- [c153]Michael G. Hinchey:
Is There Anything That Isn't Software? ICSOFT 2019: 7 - 2018
- [c152]Emil Vassev, Mike Hinchey:
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta 2018: 268-296 - [c151]Emil Vassev, Mike Hinchey:
Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS 2018: 481-487 - 2017
- [c150]Emil Vassev, Mike Hinchey:
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS 2017: 366-372 - [e19]Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog:
Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7 [contents] - [e18]Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu:
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3681-7 [contents] - [e17]Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria:
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. Lecture Notes in Computer Science 10139, Springer 2017, ISBN 978-3-319-51962-3 [contents] - 2016
- [j64]Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey:
Good Change and Bad Change: An Analysis Perspective on Software Evolution. LNCS Trans. Found. Mastering Chang. 1: 90-112 (2016) - [j63]Youngsub Han, Dong-hyun Lee, Byoungju Choi, Mike Hinchey, Hoh Peter In:
Value-Driven V-Model: From Requirements Analysis to Acceptance Testing. IEICE Trans. Inf. Syst. 99-D(7): 1776-1785 (2016) - [j62]Emil Vassev, Mike Hinchey:
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12(2): 95-107 (2016) - [c149]Emil Vassev, Mike Hinchey:
Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) 2016: 689-703 - 2015
- [j61]Emil Vassev, Mike Hinchey:
KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer 48(2): 81-84 (2015) - [j60]Davide Brugali, Rafael Capilla, Mike Hinchey:
Dynamic Variability Meets Robotics. Computer 48(12): 94-97 (2015) - [j59]George Eleftherakis, Michael J. Butler, Mike Hinchey:
Editorial. Formal Aspects Comput. 27(3): 473 (2015) - [c148]Mike Hinchey:
Evolving Critical Systems. APSEC 2015: 1 - [c147]Emil Vassev, Mike Hinchey:
The KnowLang Approach to Self-adaptation. Software, Services, and Systems 2015: 676-692 - [c146]David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey:
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS 2015: 120-129 - [c145]Anila Mjeda, Mike Hinchey:
Requirement-centric Reactive Testing for Safety-Related Automotive Software. RET@ICSE 2015: 5-8 - [c144]Rafael Capilla, Mike Hinchey, Francisco J. Díaz:
Collaborative Context Features for Critical Systems. VaMoS 2015: 43 - [p10]Emil Vassev, Mike Hinchey:
Knowledge Representation for Adaptive and Self-aware Systems. The ASCENS Approach 2015: 221-247 - [p9]Emil Vassev, Mike Hinchey:
Engineering Requirements for Autonomy Features. The ASCENS Approach 2015: 379-403 - [e16]Phan Cong Vinh, Emil Vassev, Mike Hinchey:
Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 144, Springer 2015, ISBN 978-3-319-15391-9 [contents] - 2014
- [b4]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Space Missions. NASA Monographs in Systems and Software Engineering, Springer 2014, ISBN 978-3-319-09815-9, pp. 1-187 - [j58]Rafael Capilla, Óscar Ortiz, Mike Hinchey:
Context Variability for Context-Aware Systems. Computer 47(2): 85-87 (2014) - [j57]Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan:
Formality, Agility, Security, and Evolution in Software Development. Computer 47(10): 86-89 (2014) - [j56]Rafael Capilla, Jan Bosch, Pablo Trinidad, Antonio Ruiz Cortés, Mike Hinchey:
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. J. Syst. Softw. 91: 3-23 (2014) - [c143]Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey:
Formalizing eMobility with KnowLang. C3S2E 2014: 4:1-4:8 - [c142]Robert W. Techentin, Barry K. Gilbert, Adam Lugowski, Kevin Deweese, John R. Gilbert, Eric Dull, Mike Hinchey, Steven P. Reinhardt:
Implementing Iterative Algorithms with SPARQL. EDBT/ICDT Workshops 2014: 216-223 - [c141]Emil Vassev, Mike Hinchey:
Modeling Swarm Robotics with KnowLang. ICTCC 2014: 13-22 - [c140]Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey:
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC 2014: 23-32 - [c139]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops 2014: 1344-1353 - [c138]Mike Hinchey, Tiziana Margaria:
Evolving Critical Systems - Track Introduction. ISoLA (1) 2014: 1-3 - [c137]Emil Vassev, Mike Hinchey, Philip Mayer:
Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) 2014: 117-130 - [c136]Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid:
8th International Workshop on Dynamic Software Product Lines (DSPL 2014). SPLC 2014: 355 - [c135]David Sanán, Andrew Butterfield, Mike Hinchey:
Separation Kernel Verification: The Xtratum Case Study. VSTTE 2014: 133-149 - [p8]Jonathan P. Bowen, Michael G. Hinchey:
Formal Methods. Computing Handbook, 3rd ed. (1) 2014: 71-25 - 2013
- [j55]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering. Computer 46(8): 82-84 (2013) - [j54]Tiziana Margaria, Mike Hinchey:
Simplicity in IT: The Power of Less. Computer 46(11): 23-25 (2013) - [j53]Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. Formal Aspects Comput. 25(3): 343 (2013) - [j52]Dong-hyun Lee, Hoh Peter In, Keun Lee, Sooyong Park, Mike Hinchey:
Sustainable Embedded Software Life-Cycle Planning. IEEE Softw. 30(4): 72-80 (2013) - [c134]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E 2013: 31-41 - [c133]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering. IRI 2013: 175-184 - [c132]Emil Vassev, Mike Hinchey:
On the autonomy requirements for space missions. ISORC 2013: 1-10 - [c131]Anila Mjeda, Mike Hinchey:
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. CARS@SAFECOMP 2013 - [c130]Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid:
7th International Workshop on Dynamic Software Product Lines (DSPL 2013). SPLC 2013: 271 - [c129]Emil Vassev, Mike Hinchey:
Implementing artificial awareness with KnowLang. SysCon 2013: 580-586 - [p7]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
Dynamic Software Product Lines. Systems and Software Variability Management 2013: 253-260 - 2012
- [j51]Mike Hinchey, Sooyong Park, Klaus Schmid:
Building Dynamic Software Product Lines. Computer 45(10): 22-26 (2012) - [j50]Emil Vassev, Mike Hinchey:
Awareness in Software-Intensive Systems. Computer 45(12): 84-87 (2012) - [j49]Emil Vassev, Mike Hinchey:
The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. 24(16): 1860-1878 (2012) - [j48]Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey:
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14(2): 36-42 (2012) - [j47]Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej:
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Comput. Pract. Exp. 13(1) (2012) - [c128]Emil Vassev, Mike Hinchey, Benoit Gaudin:
Knowledge representation for self-adaptive behavior. C3S2E 2012: 113-117 - [c127]Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey:
The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122 - [c126]Emil Vassev, Mike Hinchey:
Efficient Space Exploration through Laziness. ICCASA 2012: 168-175 - [c125]Emil Vassev, Mike Hinchey:
Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA 2012: 176-182 - [c124]Emil Vassev, Mike Hinchey:
Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163 - [c123]Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens:
Verification of Adaptive Systems. Infotech@Aerospace 2012 - [c122]Óscar Ortiz, Ana Belén García, Rafael Capilla, Jan Bosch, Mike Hinchey:
Runtime variability for dynamic reconfiguration in wireless sensor network product lines. SPLC (2) 2012: 143-150 - [c121]Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid:
6th International Workshop on Dynamic Software Product Lines (DSPL 2012). SPLC (1) 2012: 290 - [p6]Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity 2012: 159-176 - [p5]Mike Hinchey, Roy Sterritt:
99% (Biological) Inspiration... Conquering Complexity 2012: 177-190 - [p4]Joaquín Peña, Renato Levy, Mike Hinchey, Antonio Ruiz Cortés:
Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions. Conquering Complexity 2012: 191-214 - [p3]Jonathan P. Bowen, Mike Hinchey:
Ten Commandments of Formal Methods... Ten Years On. Conquering Complexity 2012: 237-251 - [p2]Mike Hinchey, Emil Vassev:
Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202 - [e15]Mike Hinchey, Lorcan Coyle:
Conquering Complexity. Springer 2012, ISBN 978-1-4471-2296-8 [contents] - [e14]George Eleftherakis, Mike Hinchey, Mike Holcombe:
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, ISBN 978-3-642-33825-0 [contents] - [e13]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey:
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2 [contents] - 2011
- [j46]Emil Vassev, Mike Hinchey:
Knowledge Representation and Reasoning for Intelligent Software Systems. Computer 44(8): 96-99 (2011) - [j45]Carl K. Chang, David M. Weiss, Mike Hinchey:
Where Software Engineering Meets ... Computer 44(10): 17-18 (2011) - [j44]Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés:
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Softw. Syst. Model. 10(1): 55-62 (2011) - [c120]Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon:
Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. C3S2E 2011: 35-42 - [c119]Emil Vassev, Mike Hinchey:
Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80 - [c118]Benoit Gaudin, Mike Hinchey:
Self-Healing Approach in the FastFix Project. FedCSIS 2011: 957-964 - [c117]Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey:
A control theory based approach for self-healing of un-handled runtime exceptions. ICAC 2011: 217-220 - [c116]Emil Vassev, Mike Hinchey:
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops 2011: 91-105 - [c115]Emil Vassev, Mike Hinchey:
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops 2011: 110-119 - [c114]Emil Vassev, Mike Hinchey:
Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops 2011: 133-136 - [c113]Emil Vassev, Mike Hinchey:
Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34 - [c112]Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson:
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW 2011: 11-18 - [c111]Mike Hinchey:
Families (of Products) in Space. SPLC 2011: 8-9 - [c110]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC 2011: 335 - [c109]Norman F. Schneidewind, Mike Hinchey:
A Reliability Model for Complex Systems. SSIRI (Companion) 2011: 85-94 - [i3]Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey:
Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). Dagstuhl Reports 1(5): 1-28 (2011) - 2010
- [b3]Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt:
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software Engineering, Springer 2010, ISBN 978-1-84628-232-4, pp. 1-289 - [j43]Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey:
Fulfilling the Vision of Autonomic Computing. Computer 43(1): 35-41 (2010) - [j42]Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro:
Guest Editors' Introduction: Evolving Critical Systems. Computer 43(5): 28-33 (2010) - [j41]Emil Vassev, Mike Hinchey:
The Challenge of Developing Autonomic Systems. Computer 43(12): 93-96 (2010) - [c108]Emil Vassev, Mike Hinchey, Paddy Nixon:
A formal approach to self-configurable swarm-based space-exploration systems. AHS 2010: 83-90 - [c107]Emil Vassev, Mike Hinchey:
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83 - [c106]Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems. ECBS 2010: 4 - [c105]Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS 2010: 430-435 - [c104]Emil Vassev, Mike Hinchey, Paddy Nixon:
Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72 - [c103]Emil Vassev, Mike Hinchey, Paddy Nixon:
Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE 2010: 66-71 - [c102]Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis:
Preface. DIPES/BICC 2010: 219 - [c101]Emil Vassev, Mike Hinchey:
Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops 2010: 81-89 - [c100]Emil Vassev, Mike Hinchey:
Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16 - [c99]Mike Hinchey:
Formally Specifying Families of Space Exploration Missions. SPLC Workshops 2010: 73-74 - [c98]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC 2010: 523 - [c97]Emil Vassev, Mike Hinchey, Paddy Nixon:
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE 2010: 3-8 - [c96]Mike Hinchey, Emil Vassev:
The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12 - [e12]Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf:
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. IFIP Advances in Information and Communication Technology 329, Springer 2010, ISBN 978-3-642-15233-7 [contents] - [r5]Howell R. Jordan, Mike Hinchey, Rem W. Collier:
Agent-Oriented Software Engineering. Encyclopedia of Software Engineering 2010: 14-28 - [r4]Mike Hinchey, Jonathan P. Bowen, Emil Vassev:
Formal Methods. Encyclopedia of Software Engineering 2010: 308-320 - [r3]Jonathan P. Bowen, Mike Hinchey, Emil Vassev:
Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332 - [r2]Roy Sterritt, Mike Hinchey, Emil Vassev:
Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081
2000 – 2009
- 2009
- [j40]Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey:
A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. Computer 42(2): 100-102 (2009) - [j39]Hesham Shokry, Mike Hinchey:
Model-Based Verification of Embedded Software. Computer 42(4): 53-59 (2009) - [j38]Emil Vassev, Mike Hinchey:
ASSL: A Software Engineering Approach to Autonomic Computing. Computer 42(6): 90-93 (2009) - [j37]Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey:
Formal Versus Agile: Survival of the Fittest. Computer 42(9): 37-45 (2009) - [j36]