Mike Hinchey

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Venues

Computer

Innov. Syst. Softw. Eng.

ISoLA (1)

ICTCC

Publications

Mike Hinchey
Ethics and Computing. Computer 57 (2) (2024)
Radha Krishna Bar, Somnath Mukhopadhyay, Debasish Chakraborty, Mike Hinchey
Dimension Reduction in Hyperspectral Image Using Single Layer Perceptron Neural Network. CICBA (1) (2023)
Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra
Guest Editorial: Intelligence for systems and software engineering. Innov. Syst. Softw. Eng. 19 (1) (2023)
Mike Hinchey, Emil Vassev
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods (2023)
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) (2022)
Clare McInerney, Chris Exton, Mike Hinchey
A study of high school computer science teacher confidence levels. WiPSCE (2020)
Emil Vassev, Mike Hinchey
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta (2018)
Emil Vassev, Mike Hinchey
Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS (2018)
Emil Vassev, Mike Hinchey
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS (2017)
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. (7) (2016)
Emil Vassev, Mike Hinchey
Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) (2016)
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 (2016)
Emil Vassev, Mike Hinchey
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12 (2) (2016)
George Eleftherakis, Michael J. Butler, Mike Hinchey
Editorial. Formal Aspects Comput. 27 (3) (2015)
Davide Brugali, Rafael Capilla, Mike Hinchey
Dynamic Variability Meets Robotics. Computer 48 (12) (2015)
Emil Vassev, Mike Hinchey
KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer 48 (2) (2015)
Rafael Capilla, Mike Hinchey, Francisco J. Díaz
Collaborative Context Features for Critical Systems. VaMoS (2015)
David Sanán, Liu Yang, Yongwang Zhao, Zhenchang Xing, Mike Hinchey
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS (2015)
Mike Hinchey
Evolving Critical Systems. APSEC (2015)
Emil Vassev, Mike Hinchey
The KnowLang Approach to Self-adaptation. Software, Services, and Systems (2015)
Anila Mjeda, Mike Hinchey
Requirement-centric Reactive Testing for Safety-Related Automotive Software. RET@ICSE (2015)
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 (2014)
Mike Hinchey, Tiziana Margaria
Evolving Critical Systems - Track Introduction. ISoLA (1) (2014)
Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid
International Workshop on Dynamic Software Product Lines (DSPL 2014). SPLC (2014)
Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey
Formalizing eMobility with KnowLang. C3S2E (2014)
David Sanán, Andrew Butterfield, Mike Hinchey
Separation Kernel Verification: The Xtratum Case Study. VSTTE (2014)
Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
Formality, Agility, Security, and Evolution in Software Development. Computer 47 (10) (2014)
Emil Vassev, Mike Hinchey, Philip Mayer
Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) (2014)
Rafael Capilla, Óscar Ortiz, Mike Hinchey
Context Variability for Context-Aware Systems. Computer 47 (2) (2014)
Emil Vassev, Mike Hinchey
Modeling Swarm Robotics with KnowLang. ICTCC (2014)
Emil Vassev, Mike Hinchey
Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops (2014)
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)
Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC (2014)
Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid
International Workshop on Dynamic Software Product Lines (DSPL 2013). SPLC (2013)
Dong-hyun Lee, Hoh Peter In, Keun Lee, Sooyong Park, Mike Hinchey
Sustainable Embedded Software Life-Cycle Planning. IEEE Softw. 30 (4) (2013)
Emil Vassev, Mike Hinchey
Autonomy Requirements Engineering. Computer 46 (8) (2013)
Emil Vassev, Mike Hinchey
Implementing artificial awareness with KnowLang. SysCon (2013)
Tiziana Margaria, Mike Hinchey
Simplicity in IT: The Power of Less. Computer 46 (11) (2013)
Emil Vassev, Mike Hinchey
Autonomy requirements engineering. IRI (2013)
Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
Editorial. Formal Aspects Comput. 25 (3) (2013)
Emil Vassev, Mike Hinchey
On the autonomy requirements for space missions. ISORC (2013)
Anila Mjeda, Mike Hinchey
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. CARS@SAFECOMP (2013)
Emil Vassev, Mike Hinchey
Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E (2013)
Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14 (2) (2012)
Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey
approach to verification of adaptive systems. C3S2E (2012)
Mike Hinchey, Sooyong Park, Klaus Schmid
Building Dynamic Software Product Lines. Computer 45 (10) (2012)
Emil Vassev, Mike Hinchey
Efficient Space Exploration through Laziness. ICCASA (2012)
Emil Vassev, Mike Hinchey, Benoit Gaudin
Knowledge representation for self-adaptive behavior. C3S2E (2012)
Emil Vassev, Mike Hinchey
Awareness in Software-Intensive Systems. Computer 45 (12) (2012)
Ó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)
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)
Emil Vassev, Mike Hinchey
Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA (2012)
Emil Vassev, Mike Hinchey
The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. 24 (16) (2012)
Emil Vassev, Mike Hinchey
Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops (2012)
Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid
International Workshop on Dynamic Software Product Lines (DSPL 2012). SPLC (1) (2012)
Emil Vassev, Mike Hinchey
Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops (2011)
Emil Vassev, Mike Hinchey
Knowledge Representation and Reasoning for Intelligent Software Systems. Computer 44 (8) (2011)
Carl K. Chang, David M. Weiss, Mike Hinchey
Where Software Engineering Meets ... Computer 44 (10) (2011)
Emil Vassev, Mike Hinchey
Fundamentals of Designing Complex Aerospace Software Systems. CSDM (2011)
Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW (2011)
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)
Norman F. Schneidewind, Mike Hinchey
A Reliability Model for Complex Systems. SSIRI (Companion) (2011)
Emil Vassev, Mike Hinchey
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops (2011)
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) (2011)
Benoit Gaudin, Mike Hinchey
Self-Healing Approach in the FastFix Project. FedCSIS (2011)
Emil Vassev, Mike Hinchey
Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM (2011)
Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC (2011)
Emil Vassev, Mike Hinchey
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops (2011)
Mike Hinchey
Families (of Products) in Space. SPLC (2011)
Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro
Guest Editors' Introduction: Evolving Critical Systems. Computer 43 (5) (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE (2010)
Mike Hinchey, Lorcan Coyle
Evolving Critical Systems. ECBS (2010)
Mike Hinchey, Emil Vassev
The Art of Developing Autonomic Systems - The ASSL Approach. TASE (2010)
Mike Hinchey
Formally Specifying Families of Space Exploration Missions. SPLC Workshops (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
A formal approach to self-configurable swarm-based space-exploration systems. AHS (2010)
Emil Vassev, Mike Hinchey
Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops (2010)
Mike Hinchey, Lorcan Coyle
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS (2010)
Emil Vassev, Mike Hinchey
The Challenge of Developing Autonomic Systems. Computer 43 (12) (2010)
Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC (2010)
Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis
Preface. DIPES/BICC (2010)
Emil Vassev, Mike Hinchey
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Prototyping home automation wireless sensor networks with ASSL. ICAC (2010)
Emil Vassev, Mike Hinchey
Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop (2010)
Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey
Fulfilling the Vision of Autonomic Computing. Computer 43 (1) (2010)
Norman F. Schneidewind, Mike Hinchey
A Complexity Reliability Model. ISSRE (2009)
Mike Hinchey, Tiziana Margaria, Bernhard Steffen
Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
International Workshop on Dynamic Software Product Lines: DSPL 2009. SPLC (2009)
Hesham Shokry, Mike Hinchey
Model-Based Verification of Embedded Software. Computer 42 (4) (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) (2009)
Mike Hinchey
We can't get there from here!: the paradox of developing new classes of complex systems. CSIIRW (2009)
Hesham Shokry, Mike Hinchey
On practical Service-Based Computing in distributed embedded automotive systems. MOMPES (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) (2009)
Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey
A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. Computer 42 (2) (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods (2009)
Mike Hinchey, Roy Sterritt
Organic Computing and Model-Driven Engineering in Embedded Systems. ISORC (2009)
Emil Vassev, Mike Hinchey
Complexity Reduction in Developing Autonomic Systems with ASSL. SEW (2009)
Mike Hinchey
Celebrating Advancements in Aerospace. J. Aerosp. Comput. Inf. Commun. 6 (1) (2009)
Roy Sterritt, Mike Hinchey
Adaptive reflex autonomicity for real-time systems. Innov. Syst. Softw. Eng. 5 (2) (2009)
Norman F. Schneidewind, Mike Hinchey
A consumer/producer approach to risk-driven software reliability and testing. SAC (2009)

Mike Hinchey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mike Hinchey