Mike Hinchey - RankMe

147 papers A 1B 12C 11Misc 5Journal 45Unranked 53

Year	Rank	Type	Title / Venue / Authors
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Mike Hinchey. Let's Talk AI Mike Hinchey, Barbara Steffen
2025	J	`jnl`	A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding. Appl. Soft Comput. Ramen Pal, Pritam Roy, Srijon Mallick, Somnath Mukhopadhyay, Sunita Sarkar, Mike Hinchey
2025	—	`conf`	The Combined Power of Research, Education and Dissemination. The Combined Power of Research, Education, and Dissemination Bernhard Steffen, Mike Hinchey
2025	—	`ed.`	The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday The Combined Power of Research, Education, and Dissemination Mike Hinchey, Bernhard Steffen
2024	J	`jnl`	Ethics and Computing. Computer Mike Hinchey
2023	—	`conf`	Dimension Reduction in Hyperspectral Image Using Single Layer Perceptron Neural Network. CICBA (1) Radha Krishna Bar, Somnath Mukhopadhyay, Debasish Chakraborty, Mike Hinchey
2023	J	`jnl`	Guest Editorial: Intelligence for systems and software engineering. Innov. Syst. Softw. Eng. Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra
2023	—	`conf`	KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods Mike Hinchey, Emil Vassev
2022	J	`jnl`	Applications of computational intelligence techniques to software engineering problems. Innov. Syst. Softw. Eng. Loveleen Gaur, Gurinder Singh, Mike Hinchey, Gurmeet Singh, Vishal Jain
2020	—	`conf`	A study of high school computer science teacher confidence levels. WiPSCE Clare McInerney, Chris Exton, Mike Hinchey
2018	C	`conf`	Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS Emil Vassev, Mike Hinchey
2018	—	`conf`	The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta Emil Vassev, Mike Hinchey
2017	C	`ed.`	24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017 APSEC Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu
2017	C	`conf`	Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS Emil Vassev, Mike Hinchey
2017	B	`ed.`	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 SOFSEM Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
2016	J	`jnl`	Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. Emil Vassev, Mike Hinchey
2016	J	`jnl`	Good Change and Bad Change: An Analysis Perspective on Software Evolution. LNCS Trans. Found. Mastering Chang. Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey
2016	—	`conf`	Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) Emil Vassev, Mike Hinchey
2016	J	`jnl`	Value-Driven V-Model: From Requirements Analysis to Acceptance Testing. IEICE Trans. Inf. Syst. Youngsub Han, Dong-hyun Lee, Byoungju Choi, Mike Hinchey, Hoh Peter In
2015	—	`conf`	Collaborative Context Features for Critical Systems. VaMoS Rafael Capilla, Mike Hinchey, Francisco J. Díaz
2015	J	`jnl`	Dynamic Variability Meets Robotics. Computer Davide Brugali, Rafael Capilla, Mike Hinchey
2015	J	`jnl`	Editorial. Formal Aspects Comput. George Eleftherakis, Michael J. Butler, Mike Hinchey
2015	—	`ch.`	Engineering Requirements for Autonomy Features. The ASCENS Approach Emil Vassev, Mike Hinchey
2015	C	`conf`	Evolving Critical Systems. APSEC Mike Hinchey
2015	J	`jnl`	KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer Emil Vassev, Mike Hinchey
2015	—	`ch.`	Knowledge Representation for Adaptive and Self-aware Systems. The ASCENS Approach Emil Vassev, Mike Hinchey
2015	—	`ed.`	Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers ICTCC Phan Cong Vinh, Emil Vassev, Mike Hinchey
2015	—	`conf`	Requirement-centric Reactive Testing for Safety-Related Automotive Software. RET@ICSE Anila Mjeda, Mike Hinchey
2015	—	`conf`	The KnowLang Approach to Self-adaptation. Software, Services, and Systems Emil Vassev, Mike Hinchey
2015	B	`conf`	Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey
2014	B	`conf`	8 SPLC Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid
2014	J	`jnl`	An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. J. Syst. Softw. Rafael Capilla, Jan Bosch, Pablo Trinidad, Antonio Ruiz Cortés, Mike Hinchey
2014	—	`conf`	Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops Emil Vassev, Mike Hinchey
2014	—	`book`	Autonomy Requirements Engineering for Space Missions Emil Vassev, Mike Hinchey
2014	J	`jnl`	Context Variability for Context-Aware Systems. Computer Rafael Capilla, Óscar Ortiz, Mike Hinchey
2014	—	`conf`	Evolving Critical Systems - Track Introduction. ISoLA (1) Mike Hinchey, Tiziana Margaria
2014	J	`jnl`	Formality, Agility, Security, and Evolution in Software Development. Computer Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
2014	—	`conf`	Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) Emil Vassev, Mike Hinchey, Philip Mayer
2014	—	`conf`	Formalizing eMobility with KnowLang. C3S2E Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey
2014	—	`conf`	Implementing Iterative Algorithms with SPARQL. EDBT/ICDT Workshops Robert W. Techentin, Barry K. Gilbert, Adam Lugowski, Kevin Deweese, John R. Gilbert, Eric Dull, Mike Hinchey, Steven P. Reinhardt
2014	—	`conf`	Modeling Swarm Robotics with KnowLang. ICTCC Emil Vassev, Mike Hinchey
2014	—	`conf`	Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey
2014	—	`conf`	Separation Kernel Verification: The Xtratum Case Study. VSTTE David Sanán, Andrew Butterfield, Mike Hinchey
2013	B	`conf`	7 SPLC Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid
2013	J	`jnl`	Autonomy Requirements Engineering. Computer Emil Vassev, Mike Hinchey
2013	Misc	`conf`	Autonomy requirements engineering. IRI Emil Vassev, Mike Hinchey
2013	—	`conf`	Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E Emil Vassev, Mike Hinchey
2013	—	`conf`	CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. CARS@SAFECOMP Anila Mjeda, Mike Hinchey
2013	—	`ch.`	Dynamic Software Product Lines. Systems and Software Variability Management Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2013	J	`jnl`	Editorial. Formal Aspects Comput. Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
2013	—	`conf`	Implementing artificial awareness with KnowLang. SysCon Emil Vassev, Mike Hinchey
2013	C	`conf`	On the autonomy requirements for space missions. ISORC Emil Vassev, Mike Hinchey
2013	J	`jnl`	Simplicity in IT: The Power of Less. Computer Tiziana Margaria, Mike Hinchey
2013	J	`jnl`	Sustainable Embedded Software Life-Cycle Planning. IEEE Softw. Dong-hyun Lee, Hoh Peter In, Keun Lee, Sooyong Park, Mike Hinchey
2012	C	`ed.`	35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012 SEW Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey
2012	—	`conf`	6 SPLC (1) Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid
2012	—	`ch.`	99% (Biological) Inspiration... Conquering Complexity Mike Hinchey, Roy Sterritt
2012	J	`jnl`	Awareness in Software-Intensive Systems. Computer Emil Vassev, Mike Hinchey
2012	J	`jnl`	Building Dynamic Software Product Lines. Computer Mike Hinchey, Sooyong Park, Klaus Schmid
2012	—	`book`	Conquering Complexity Mike Hinchey, Lorcan Coyle
2012	—	`ch.`	Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions. Conquering Complexity Joaquín Peña, Renato Levy, Mike Hinchey, Antonio Ruiz Cortés
2012	—	`conf`	Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA Emil Vassev, Mike Hinchey
2012	—	`conf`	Efficient Space Exploration through Laziness. ICCASA Emil Vassev, Mike Hinchey
2012	J	`jnl`	FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Comput. Pract. Exp. Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej
2012	—	`conf`	Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops Emil Vassev, Mike Hinchey
2012	—	`conf`	Knowledge representation for self-adaptive behavior. C3S2E Emil Vassev, Mike Hinchey, Benoit Gaudin
2012	—	`ch.`	Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications Mike Hinchey, Emil Vassev
2012	—	`conf`	Runtime variability for dynamic reconfiguration in wireless sensor network product lines. SPLC (2) Óscar Ortiz, Ana Belén García, Rafael Capilla, Jan Bosch, Mike Hinchey
2012	B	`ed.`	Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings SEFM George Eleftherakis, Mike Hinchey, Mike Holcombe
2012	J	`jnl`	Swarm Technology at NASA: Building Resilient Systems. IT Prof. Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey
2012	—	`ch.`	Ten Commandments of Formal Methods... Ten Years On. Conquering Complexity Jonathan P. Bowen, Mike Hinchey
2012	—	`conf`	The C3S2E Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey
2012	J	`jnl`	The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. Emil Vassev, Mike Hinchey
2012	—	`ch.`	You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2011	—	`conf`	A Reliability Model for Complex Systems. SSIRI (Companion) Norman F. Schneidewind, Mike Hinchey
2011	C	`conf`	An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson
2011	B	`conf`	Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM Emil Vassev, Mike Hinchey
2011	B	`conf`	Families (of Products) in Space. SPLC Mike Hinchey
2011	B	`conf`	Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2011	—	`conf`	Fundamentals of Designing Complex Aerospace Software Systems. CSDM Emil Vassev, Mike Hinchey
2011	—	`conf`	Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops Emil Vassev, Mike Hinchey
2011	J	`jnl`	Knowledge Representation and Reasoning for Intelligent Software Systems. Computer Emil Vassev, Mike Hinchey
2011	J	`jnl`	Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Softw. Syst. Model. Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés
2011	—	`conf`	Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops Emil Vassev, Mike Hinchey
2011	—	`conf`	Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. C3S2E Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon
2011	—	`conf`	Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops Emil Vassev, Mike Hinchey
2011	C	`conf`	Self-Healing Approach in the FastFix Project. FedCSIS Benoit Gaudin, Mike Hinchey
2011	J	`jnl`	Where Software Engineering Meets ... Computer Carl K. Chang, David M. Weiss, Mike Hinchey
2010	B	`conf`	4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2010	—	`conf`	A formal approach to self-configurable swarm-based space-exploration systems. AHS Emil Vassev, Mike Hinchey, Paddy Nixon
2010	—	`ch.`	Agent-Oriented Software Engineering. Encyclopedia of Software Engineering Howell R. Jordan, Mike Hinchey, Rem W. Collier
2010	Misc	`conf`	Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE Emil Vassev, Mike Hinchey, Paddy Nixon
2010	—	`conf`	Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops Emil Vassev, Mike Hinchey
2010	—	`conf`	Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE Emil Vassev, Mike Hinchey, Paddy Nixon
2010	—	`ed.`	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 DIPES/BICC Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
2010	—	`conf`	Evolving Critical Systems. ECBS Mike Hinchey, Lorcan Coyle
2010	—	`conf`	Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS Mike Hinchey, Lorcan Coyle
2010	—	`ch.`	Formal Methods. Encyclopedia of Software Engineering Mike Hinchey, Jonathan P. Bowen, Emil Vassev
2010	—	`ch.`	Formal Requirements Specification. Encyclopedia of Software Engineering Jonathan P. Bowen, Mike Hinchey, Emil Vassev
2010	—	`conf`	Formally Specifying Families of Space Exploration Missions. SPLC Workshops Mike Hinchey
2010	J	`jnl`	Fulfilling the Vision of Autonomic Computing. Computer Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey
2010	J	`jnl`	Guest Editors' Introduction: Evolving Critical Systems. Computer Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro
2010	—	`conf`	Preface. DIPES/BICC Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis
2010	—	`conf`	Prototyping home automation wireless sensor networks with ASSL. ICAC Emil Vassev, Mike Hinchey, Paddy Nixon
2010	—	`conf`	Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E Emil Vassev, Mike Hinchey
2010	—	`ch.`	Self-Managing Software. Encyclopedia of Software Engineering Roy Sterritt, Mike Hinchey, Emil Vassev
2010	—	`conf`	Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop Emil Vassev, Mike Hinchey
2010	Misc	`conf`	The Art of Developing Autonomic Systems - The ASSL Approach. TASE Mike Hinchey, Emil Vassev
2010	J	`jnl`	The Challenge of Developing Autonomic Systems. Computer Emil Vassev, Mike Hinchey
2009	B	`conf`	3 SPLC Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2009	A	`conf`	A Complexity Reliability Model. ISSRE Norman F. Schneidewind, Mike Hinchey
2009	—	`conf`	A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) Emil Vassev, Mike Hinchey, Aaron J. Quigley
2009	J	`jnl`	A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. Computer Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey
2009	Misc	`conf`	A consumer/producer approach to risk-driven software reliability and testing. SAC Norman F. Schneidewind, Mike Hinchey
2009	J	`jnl`	ASSL: A Software Engineering Approach to Autonomic Computing. Computer Emil Vassev, Mike Hinchey
2009	J	`jnl`	Adaptive reflex autonomicity for real-time systems. Innov. Syst. Softw. Eng. Roy Sterritt, Mike Hinchey
2009	—	`ch.`	Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems. Safety and Security in Multiagent Systems Roy Sterritt, Mike Hinchey
2009	J	`jnl`	Celebrating Advancements in Aerospace. J. Aerosp. Comput. Inf. Commun. Mike Hinchey
2009	C	`conf`	Complexity Reduction in Developing Autonomic Systems with ASSL. SEW Emil Vassev, Mike Hinchey
2009	—	`conf`	Developing Experimental Models for NASA Missions with ASSL FMA Emil Vassev, Mike Hinchey
2009	J	`jnl`	Formal Versus Agile: Survival of the Fittest. Computer Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey
2009	J	`jnl`	Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. Mike Hinchey, Tiziana Margaria, Bernhard Steffen
2009	—	`conf`	Investment in Information and Communication Technologies in the Irish Education Sector. WCCE Claire McInerney, Mike Hinchey, Eamonn McQuade
2009	—	`conf`	Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods Emil Vassev, Mike Hinchey, Aaron J. Quigley
2009	J	`jnl`	Model-Based Verification of Embedded Software. Computer Hesham Shokry, Mike Hinchey
2009	—	`conf`	On practical Service-Based Computing in distributed embedded automotive systems. MOMPES Hesham Shokry, Mike Hinchey
2009	C	`conf`	Organic Computing and Model-Driven Engineering in Embedded Systems. ISORC Mike Hinchey, Roy Sterritt
2009	—	`conf`	Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) Emil Vassev, Mike Hinchey, Aaron J. Quigley
2009	—	`conf`	We can't get there from here!: the paradox of developing new classes of complex systems. CSIIRW Mike Hinchey
2008	B	`conf`	2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2008	—	`conf`	ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops Emil Vassev, Mike Hinchey
2008	—	`conf`	An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO Emil Vassev, Mike Hinchey
2008	C	`conf`	An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC Mike Hinchey, Emil Vassev
2008	—	`ed.`	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 BICC Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck
2008	J	`jnl`	Computer Celebrates NASA's 50th Anniversary. Computer Mike Hinchey, Paul A. Curto, Scott Hamilton
2008	J	`jnl`	Desert Island Column. Autom. Softw. Eng. Mike Hinchey
2008	J	`jnl`	Dynamic Software Product Lines. Computer Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid
2008	J	`jnl`	ICT Research Experience. Computer Karin Koogan Breitman, Mike Hinchey
2008	J	`jnl`	Software engineering and formal methods. Commun. ACM Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2008	—	`conf`	Towards Self-Managing Real-Time System. IMCSIT Roy Sterritt, Mike Hinchey
2008	Misc	`conf`	Towards an ASSL specification model for NASA swarm-based exploration missions. SAC Emil Vassev, Mike Hinchey, Joey Paquet
2008	B	`conf`	Why Predicting Outliers in Software is a Good Thing to Do! ICECCS Norman F. Schneidewind, Mike Hinchey
2005	J	`jnl`	Introduction to Innovations in System and Software Engineering. Innov. Syst. Softw. Eng. Shawn A. Bohner, Mike Hinchey
2004	J	`jnl`	NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff
1999	J	`jnl`	Engineering complex computer systems. Microprocess. Microsystems Alberto Broggi, Mike Hinchey, Alexander D. Stoyen
1995	J	`jnl`	Editorial. Inf. Softw. Technol. Jonathan P. Bowen, Mike Hinchey
1995	J	`jnl`	Report on Z user meeting (ZUM '94). Inf. Softw. Technol. Jonathan P. Bowen, Mike Hinchey