ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• affiliation:University of Limerick, Irish Software Engineering Research Centre (Lero), Ireland

• Michael J. Hinchey

• 2025
• 
  [j68]
  Ramen Pal,Pritam Roy,Srijon Mallick,Somnath Mukhopadhyay,Sunita Sarkar,Mike Hinchey:
  A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding.Appl. Soft Comput.175:113054 (2025)
• 
  [c157]
  Bernhard Steffen,Mike Hinchey:
  The Combined Power of Research, Education and Dissemination.The Combined Power of Research, Education, and Dissemination2025:1-18
• 
  [e20]
  Mike Hinchey,Bernhard Steffen:
  The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday.Lecture Notes in Computer Science 15240,Springer2025, ISBN978-3-031-73886-9[contents]
• 2024
• 
  [j67]
  Mike Hinchey:
  Ethics and Computing.Computer57(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 Methods2023: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.WiPSCE2020:26:1-26:2

• 2019
• 
  [c153]
  Michael G. Hinchey:
  Is There Anything That Isn't Software?ICSOFT2019:7
• 2018
• 
  [c152]
  Emil Vassev,Mike Hinchey:
  The ASSL Approach to Formal Specification of Self-managing Systems.Models, Mindsets, Meta2018:268-296
• 
  [c151]
  Emil Vassev,Mike Hinchey:
  Stability Analysis for Adaptive Behavior - (Position Paper).VEHITS2018:481-487
• 2017
• 
  [c150]
  Emil Vassev,Mike Hinchey:
  Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper).VEHITS2017:366-372
• 
  [e19]
  Michael G. Hinchey,Jonathan P. Bowen,Ernst-Rüdiger Olderog:
  Provably Correct Systems.NASA Monographs in Systems and Software Engineering,Springer2017, ISBN978-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 Society2017, ISBN978-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,Springer2017, ISBN978-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.Computer48(2):81-84 (2015)
• 
  [j60]
  Davide Brugali,Rafael Capilla,Mike Hinchey:
  Dynamic Variability Meets Robotics.Computer48(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.APSEC2015:1
• 
  [c147]
  Emil Vassev,Mike Hinchey:
  The KnowLang Approach to Self-adaptation.Software, Services, and Systems2015: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.ICECCS2015:120-129
• 
  [c145]
  Anila Mjeda,Mike Hinchey:
  Requirement-centric Reactive Testing for Safety-Related Automotive Software.RET@ICSE2015:5-8
• 
  [c144]
  Rafael Capilla,Mike Hinchey,Francisco J. Díaz:
  Collaborative Context Features for Critical Systems.VaMoS2015:43
• 
  [p10]
  Emil Vassev,Mike Hinchey:
  Knowledge Representation for Adaptive and Self-aware Systems.The ASCENS Approach2015:221-247
• 
  [p9]
  Emil Vassev,Mike Hinchey:
  Engineering Requirements for Autonomy Features.The ASCENS Approach2015: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,Springer2015, ISBN978-3-319-15391-9[contents]
• 2014
• 
  [b4]
  Emil Vassev,Mike Hinchey:
  Autonomy Requirements Engineering for Space Missions.NASA Monographs in Systems and Software Engineering,Springer2014, ISBN978-3-319-09815-9, pp. 1-187
• 
  [j58]
  Rafael Capilla,Óscar Ortiz,Mike Hinchey:
  Context Variability for Context-Aware Systems.Computer47(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.Computer47(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.C3S2E2014: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 Workshops2014:216-223
• 
  [c141]
  Emil Vassev,Mike Hinchey:
  Modeling Swarm Robotics with KnowLang.ICTCC2014:13-22
• 
  [c140]
  Nicola Bicocchi,Emil Vassev,Franco Zambonelli,Mike Hinchey:
  Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems.ICTCC2014:23-32
• 
  [c139]
  Emil Vassev,Mike Hinchey:
  Autonomy Requirements Engineering for Self-Adaptive Science Clouds.IPDPS Workshops2014: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:
  8^th International Workshop on Dynamic Software Product Lines (DSPL 2014).SPLC2014:355
• 
  [c135]
  David Sanán,Andrew Butterfield,Mike Hinchey:
  Separation Kernel Verification: The Xtratum Case Study.VSTTE2014: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.Computer46(8):82-84 (2013)
• 
  [j54]
  Tiziana Margaria,Mike Hinchey:
  Simplicity in IT: The Power of Less.Computer46(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.C3S2E2013:31-41
• 
  [c133]
  Emil Vassev,Mike Hinchey:
  Autonomy requirements engineering.IRI2013:175-184
• 
  [c132]
  Emil Vassev,Mike Hinchey:
  On the autonomy requirements for space missions.ISORC2013:1-10
• 
  [c131]
  Anila Mjeda,Mike Hinchey:
  CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.CARS@SAFECOMP2013
• 
  [c130]
  Svein O. Hallsteinsen,Sooyong Park,Mike Hinchey,Hoh Peter In,Klaus Schmid:
  7^th International Workshop on Dynamic Software Product Lines (DSPL 2013).SPLC2013:271
• 
  [c129]
  Emil Vassev,Mike Hinchey:
  Implementing artificial awareness with KnowLang.SysCon2013:580-586
• 
  [p7]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  Dynamic Software Product Lines.Systems and Software Variability Management2013:253-260
• 2012
• 
  [j51]
  Mike Hinchey,Sooyong Park,Klaus Schmid:
  Building Dynamic Software Product Lines.Computer45(10):22-26 (2012)
• 
  [j50]
  Emil Vassev,Mike Hinchey:
  Awareness in Software-Intensive Systems.Computer45(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.C3S2E2012:113-117
• 
  [c127]
  Christopher A. Rouff,Richard W. Buskens,Laura Pullum,Xiaohui Cui,Mike Hinchey:
  TheAdaptiV approach to verification of adaptive systems.C3S2E2012:118-122
• 
  [c126]
  Emil Vassev,Mike Hinchey:
  Efficient Space Exploration through Laziness.ICCASA2012:168-175
• 
  [c125]
  Emil Vassev,Mike Hinchey:
  Efficient Reasoning with Ambient Trees for Space Exploration.ICCASA2012:176-182
• 
  [c124]
  Emil Vassev,Mike Hinchey:
  Knowledge Representation for Cognitive Robotic Systems.ISORC Workshops2012:156-163
• 
  [c123]
  Laura Pullum,Xiaohui Cui,Emil Vassev,Michael G. Hinchey,Christopher A. Rouff,Richard W. Buskens:
  Verification of Adaptive Systems.Infotech@Aerospace2012
• 
  [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:
  6^th 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 Complexity2012:159-176
• 
  [p5]
  Mike Hinchey,Roy Sterritt:
  99% (Biological) Inspiration...Conquering Complexity2012: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 Complexity2012:191-214
• 
  [p3]
  Jonathan P. Bowen,Mike Hinchey:
  Ten Commandments of Formal Methods... Ten Years On.Conquering Complexity2012:237-251
• 
  [p2]
  Mike Hinchey,Emil Vassev:
  Multi-Agent Systems - Theory, Approaches and NASA Applications.Software Agents, Agent Systems and Their Applications2012:181-202
• 
  [e15]
  Mike Hinchey,Lorcan Coyle:
  Conquering Complexity.Springer2012, ISBN978-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,Springer2012, ISBN978-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 Society2012, ISBN978-1-4673-5574-2[contents]
• 2011
• 
  [j46]
  Emil Vassev,Mike Hinchey:
  Knowledge Representation and Reasoning for Intelligent Software Systems.Computer44(8):96-99 (2011)
• 
  [j45]
  Carl K. Chang,David M. Weiss,Mike Hinchey:
  Where Software Engineering Meets ...Computer44(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.C3S2E2011:35-42
• 
  [c119]
  Emil Vassev,Mike Hinchey:
  Fundamentals of Designing Complex Aerospace Software Systems.CSDM2011:65-80
• 
  [c118]
  Benoit Gaudin,Mike Hinchey:
  Self-Healing Approach in the FastFix Project.FedCSIS2011: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.ICAC2011:217-220
• 
  [c116]
  Emil Vassev,Mike Hinchey:
  Representing Knowledge in Robotic Systems with KnowLang.ISoLA Workshops2011:91-105
• 
  [c115]
  Emil Vassev,Mike Hinchey:
  Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art.ISORC Workshops2011:110-119
• 
  [c114]
  Emil Vassev,Mike Hinchey:
  Self-Awareness in Autonomous Nano-Technology Swarm Missions.SASO Workshops2011:133-136
• 
  [c113]
  Emil Vassev,Mike Hinchey:
  Developing Model-Checking Mechanisms for ASSL: An Experience Report.SEFM2011:19-34
• 
  [c112]
  Emil Vassev,Mike Hinchey,Dharini Balasubramaniam,Simon Dobson:
  An ASSL Approach to Handling Uncertainty in Self-adaptive Systems.SEW2011:11-18
• 
  [c111]
  Mike Hinchey:
  Families (of Products) in Space.SPLC2011:8-9
• 
  [c110]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011).SPLC2011: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 Reports1(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,Springer2010, ISBN978-1-84628-232-4, pp. 1-289
• 
  [j43]
  Simon Dobson,Roy Sterritt,Paddy Nixon,Mike Hinchey:
  Fulfilling the Vision of Autonomic Computing.Computer43(1):35-41 (2010)
• 
  [j42]
  Lorcan Coyle,Mike Hinchey,Bashar Nuseibeh,José Luiz Fiadeiro:
  Guest Editors' Introduction: Evolving Critical Systems.Computer43(5):28-33 (2010)
• 
  [j41]
  Emil Vassev,Mike Hinchey:
  The Challenge of Developing Autonomic Systems.Computer43(12):93-96 (2010)
• 
  [c108]
  Emil Vassev,Mike Hinchey,Paddy Nixon:
  A formal approach to self-configurable swarm-based space-exploration systems.AHS2010:83-90
• 
  [c107]
  Emil Vassev,Mike Hinchey:
  Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.C3S2E2010:75-83
• 
  [c106]
  Mike Hinchey,Lorcan Coyle:
  Evolving Critical Systems.ECBS2010:4
• 
  [c105]
  Mike Hinchey,Lorcan Coyle:
  Evolving Critical Systems: A Research Agenda for Computer-Based Systems.ECBS2010:430-435
• 
  [c104]
  Emil Vassev,Mike Hinchey,Paddy Nixon:
  Prototyping home automation wireless sensor networks with ASSL.ICAC2010:71-72
• 
  [c103]
  Emil Vassev,Mike Hinchey,Paddy Nixon:
  Developing intelligent sensor networks: a technological convergence approach.SESENA@ICSE2010:66-71
• 
  [c102]
  Peter A. Lindsay,Franz J. Rammig,Mike Hinchey,Jon Timmis:
  Preface.DIPES/BICC2010:219
• 
  [c101]
  Emil Vassev,Mike Hinchey:
  Developing Self-Managing Embedded Systems with ASSL.ISORC Workshops2010:81-89
• 
  [c100]
  Emil Vassev,Mike Hinchey:
  Software Verification of Autonomic Systems Developed with ASSL.Monterey Workshop2010:1-16
• 
  [c99]
  Mike Hinchey:
  Formally Specifying Families of Space Exploration Missions.SPLC Workshops2010:73-74
• 
  [c98]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  4th International Workshop on Dynamic Software Product Lines (DSPL 2010).SPLC2010:523
• 
  [c97]
  Emil Vassev,Mike Hinchey,Paddy Nixon:
  Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.TASE2010:3-8
• 
  [c96]
  Mike Hinchey,Emil Vassev:
  The Art of Developing Autonomic Systems - The ASSL Approach.TASE2010: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,Springer2010, ISBN978-3-642-15233-7[contents]
• 
  [r5]
  Howell R. Jordan,Mike Hinchey,Rem W. Collier:
  Agent-Oriented Software Engineering.Encyclopedia of Software Engineering2010:14-28
• 
  [r4]
  Mike Hinchey,Jonathan P. Bowen,Emil Vassev:
  Formal Methods.Encyclopedia of Software Engineering2010:308-320
• 
  [r3]
  Jonathan P. Bowen,Mike Hinchey,Emil Vassev:
  Formal Requirements Specification.Encyclopedia of Software Engineering2010:321-332
• 
  [r2]
  Roy Sterritt,Mike Hinchey,Emil Vassev:
  Self-Managing Software.Encyclopedia of Software Engineering2010:1072-1081

• 2009
• 
  [j40]
  Dong-hyun Lee,Keun Lee,Sooyong Park,Mike Hinchey:
  A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model.Computer42(2):100-102 (2009)
• 
  [j39]
  Hesham Shokry,Mike Hinchey:
  Model-Based Verification of Embedded Software.Computer42(4):53-59 (2009)
• 
  [j38]
  Emil Vassev,Mike Hinchey:
  ASSL: A Software Engineering Approach to Autonomic Computing.Computer42(6):90-93 (2009)
• 
  [j37]
  Sue Black,Paul Boca,Jonathan P. Bowen,Jason Gorman,Mike Hinchey:
  Formal Versus Agile: Survival of the Fittest.Computer42(9):37-45 (2009)
• 
  [j36]
  Roy Sterritt,Mike Hinchey:
  Adaptive reflex autonomicity for real-time systems.Innov. Syst. Softw. Eng.5(2):107-115 (2009)
• 
  [j35]
  Mike Hinchey:
  Celebrating Advancements in Aerospace.J. Aerosp. Comput. Inf. Commun.6(1):1 (2009)
• 
  [j34]
  Mike Hinchey,Tiziana Margaria,Bernhard Steffen:
  Guest Editor's introduction.Int. J. Softw. Tools Technol. Transf.11(3):173-174 (2009)
• 
  [c95]
  Jonathan P. Bowen,Michael G. Hinchey:
  Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.Rigorous Methods for Software Construction and Analysis2009:219-233
• 
  [c94]
  Mike Hinchey:
  We can't get there from here!: the paradox of developing new classes of complex systems.CSIIRW2009:3
• 
  [c93]
  Riham Hassan,Shawn A. Bohner,Sherif El-Kassas,Michael G. Hinchey:
  Integrating Formal Analysis and Design to Preserve Security Properties.HICSS2009:1-10
• 
  [c92]
  Emil Vassev,Mike Hinchey,Aaron J. Quigley:
  A Self-adaptive Architecture for Autonomic Systems Developed with ASSL.ICSOFT (1)2009:163-168
• 
  [c91]
  Emil Vassev,Mike Hinchey,Aaron J. Quigley:
  Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.ICSOFT (1)2009:251-256
• 
  [c90]
  Mike Hinchey,Roy Sterritt:
  Organic Computing and Model-Driven Engineering in Embedded Systems.ISORC2009:95-96
• 
  [c89]
  Norman F. Schneidewind,Mike Hinchey:
  A Complexity Reliability Model.ISSRE2009:1-10
• 
  [c88]
  Hesham Shokry,Mike Hinchey:
  On practical Service-Based Computing in distributed embedded automotive systems.MOMPES2009:22-30
• 
  [c87]
  Emil Vassev,Mike Hinchey,Aaron J. Quigley:
  Model Checking for Autonomic Systems Specified with ASSL.NASA Formal Methods2009:16-25
• 
  [c86]
  Tiziana Margaria,Marco Bakera,Christian Wagner,Emil Vassev,Michael G. Hinchey,Bernhard Steffen:
  Component-Oriented Behavior Extraction for Autonomic System Design.NASA Formal Methods2009:66-75
• 
  [c85]
  Norman F. Schneidewind,Mike Hinchey:
  A consumer/producer approach to risk-driven software reliability and testing.SAC2009:537-538
• 
  [c84]
  Emil Vassev,Mike Hinchey:
  Complexity Reduction in Developing Autonomic Systems with ASSL.SEW2009:87-93
• 
  [c83]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  3^rd International Workshop on Dynamic Software Product Lines: DSPL 2009.SPLC2009:295
• 
  [c82]
  Claire McInerney,Mike Hinchey,Eamonn McQuade:
  Investment in Information and Communication Technologies in the Irish Education Sector.WCCE2009:83-91
• 
  [c81]
  Emil Vassev,Mike Hinchey:
  Developing Experimental Models for NASA Missions with ASSL.FMA2009:88
• 
  [p1]
  Roy Sterritt,Mike Hinchey:
  Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems.Safety and Security in Multiagent Systems2009:330-341
• 2008
• 
  [j33]
  Mike Hinchey:
  Desert Island Column.Autom. Softw. Eng.15(3-4):393-402 (2008)
• 
  [j32]
  Mike Hinchey,Michael Jackson,Patrick Cousot,Byron Cook,Jonathan P. Bowen,Tiziana Margaria:
  Software engineering and formal methods.Commun. ACM51(9):54-59 (2008)
• 
  [j31]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  Dynamic Software Product Lines.Computer41(4):93-95 (2008)
• 
  [j30]
  Karin Koogan Breitman,Mike Hinchey:
  ICT Research Experience.Computer41(6):58 (2008)
• 
  [j29]
  Mike Hinchey,Paul A. Curto,Scott Hamilton:
  Computer Celebrates NASA's 50th Anniversary.Computer41(12):32-33 (2008)
• 
  [j28]
  Michael G. Hinchey:
  Introduction to special issue: selected papers from SEW-31.Innov. Syst. Softw. Eng.4(1):1 (2008)
• 
  [j27]
  Michael G. Hinchey:
  Editorial : Enabling the Dream of Flight.J. Aerosp. Comput. Inf. Commun.5(1):1-2 (2008)
• 
  [c80]
  Mike Hinchey,Emil Vassev:
  An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL.ATC2008:316-330
• 
  [c79]
  Norman F. Schneidewind,Mike Hinchey:
  Why Predicting Outliers in Software is a Good Thing to Do!ICECCS2008:91-97
• 
  [c78]
  Michael G. Hinchey,James L. Rash,Walter Truszkowski,Roy Sterritt,Christopher A. Rouff:
  You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems.IMCSIT2008:639-647
• 
  [c77]
  Roy Sterritt,Mike Hinchey:
  Towards Self-Managing Real-Time System.IMCSIT2008:751-756
• 
  [c76]
  Michael G. Hinchey:
  Encouraging the Uptake of Formal Methods Training in an Industrial Context.ISoLA2008:473-477
• 
  [c75]
  Karin Koogan Breitman,Michael G. Hinchey:
  The Use of Formal Ontology to Specify Context in Ubiquitous Computing.ISoLA2008:561-571
• 
  [c74]
  Michael G. Hinchey,Karama Kanoun,Mikael Lindvall,Michael R. Lyu,Tiziana Margaria,Veena B. Mendiratta,Paul Pettersson,Norman F. Schneidewind,W. Eric Wong:
  Anything You Want to Ask about Software Reliability Engineering.ISSRE2008:6
• 
  [c73]
  Emil Vassev,Mike Hinchey,Joey Paquet:
  Towards an ASSL specification model for NASA swarm-based exploration missions.SAC2008:1652-1657
• 
  [c72]
  Emil Vassev,Mike Hinchey:
  ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions.SASO Workshops2008:13-18
• 
  [c71]
  Emil Vassev,Mike Hinchey:
  An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions.SASO2008:473-474
• 
  [c70]
  Svein O. Hallsteinsen,Mike Hinchey,Sooyong Park,Klaus Schmid:
  2nd International Workshop on Dynamic Software Product Lines DSPL 2008.SPLC2008:381
• 
  [c69]
  Norman F. Schneidewind,Michael G. Hinchey:
  Risk-Driven Software Reliability and Testing.SSIRI2008:183-184
• 
  [e11]
  Kirstie L. Bellman,Michael G. Hinchey,Christian Müller-Schloer,Hartmut Schmeck,Rolf P. Würtz:
  Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008.Dagstuhl Seminar Proceedings 08141,Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany2008[contents]
• 
  [e10]
  Mike Hinchey,Anastasia Pagnoni,Franz J. Rammig,Hartmut Schmeck:
  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.IFIP 268,Springer2008, ISBN978-0-387-09654-4[contents]
• 
  [i2]
  Kirstie L. Bellman,Michael G. Hinchey,Christian Müller-Schloer,Hartmut Schmeck,Rolf P. Würtz:
  08141 Abstracts Collection - Organic Computing - Controlled Self-organization.Organic Computing - Controlled Self-organization2008
• 
  [i1]
  Kirstie L. Bellman,Michael G. Hinchey,Christian Müller-Schloer,Hartmut Schmeck,Rolf P. Würtz:
  08141 Executive Summary - Organic Computing - Controlled Self-organization.Organic Computing - Controlled Self-organization2008
• 2007
• 
  [j26]
  Michael G. Hinchey,Roy Sterritt,Christopher A. Rouff:
  Swarms and Swarm Intelligence.Computer40(4):111-113 (2007)
• 
  [j25]
  Joaquín Peña,Michael G. Hinchey,Roy Sterritt,Antonio Ruiz Cortés:
  Building and implementing policies in autonomous and autonomic systems using MaCMAS.Innov. Syst. Softw. Eng.3(1):17-31 (2007)
• 
  [j24]
  Abílio Fernandes,Angelo E. M. Ciarlini,António L. Furtado,Michael G. Hinchey,Marco A. Casanova,Karin Koogan Breitman:
  Adding flexibility to workflows through incremental planning.Innov. Syst. Softw. Eng.3(4):291-302 (2007)
• 
  [j23]
  Michael G. Hinchey:
  Editorial: A Year of Aerospace Computing.J. Aerosp. Comput. Inf. Commun.4(12) (2007)
• 
  [j22]
  Shawn A. Bohner,Denis Gracanin,Michael G. Hinchey,Mohamed Eltoweissy:
  Model-Based Evolution of Collaborative Agent-Based Systems.J. Braz. Comput. Soc.13(4):17-38 (2007)
• 
  [j21]
  Joaquín Peña,Michael G. Hinchey,Manuel Resinas,Roy Sterritt,James L. Rash:
  Designing and managing evolving systems using a MAS product line approach.Sci. Comput. Program.66(1):71-86 (2007)
• 
  [c68]
  Michael G. Hinchey,Yuan-Shun Dai,Christopher A. Rouff,James L. Rash,Mingrui Qi:
  Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.AINA2007:250-257
• 
  [c67]
  Karin Koogan Breitman,Simone Diniz Junqueira Barbosa,Marco A. Casanova,António L. Furtado,Michael G. Hinchey:
  Using Analogy to Promote Conceptual Modeling Reuse.ISoLA2007:111-122
• 
  [c66]
  Michael G. Hinchey,Yuan-Shun Dai,James L. Rash,Walt Truszkowski,Manish Madhusoodan:
  Bionic autonomic nervous system and self-healing for NASA ANTS-like missions.SAC2007:90-96
• 
  [c65]
  Michael G. Hinchey:
  Michael G. Hinchey: Biological Inspiration.SASO2007
• 
  [c64]
  Shawn A. Bohner,Michael G. Hinchey,Boby George:
  Agent-Based Software Systems Evolution via Model-Driven Architecture.Software Engineering Research and Practice2007:546-552
• 
  [c63]
  Christopher A. Rouff,Michael G. Hinchey,Joaquín Peña,Antonio Ruiz Cortés:
  Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.SIS2007:348-355
• 
  [e9]
  Michael J. Butler,Michael G. Hinchey,María M. Larrondo-Petrie:
  Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings.Lecture Notes in Computer Science 4789,Springer2007, ISBN978-3-540-76648-3[contents]
• 2006
• 
  [j20]
  Roy Sterritt,Michael G. Hinchey:
  Editorial: Engineering autonomic systems.Artif. Intell. Rev.25(4):281-284 (2006)
• 
  [j19]
  James L. Rash,Michael G. Hinchey,Christopher A. Rouff,Denis Gracanin,John Erickson:
  A requirements-based programming approach to developing a NASA autonomous ground control system.Artif. Intell. Rev.25(4):285-297 (2006)
• 
  [j18]
  Joaquín Peña,Michael G. Hinchey,Antonio Ruiz Cortés:
  Multi-agent system product lines: challenges and benefits.Commun. ACM49(12):82-84 (2006)
• 
  [j17]
  Michael G. Hinchey,James L. Rash,Christopher A. Rouff,Denis Gracanin:
  Achieving dependability in sensor networks through automated requirements-based programming.Comput. Commun.29(2):246-256 (2006)
• 
  [j16]
  Jonathan P. Bowen,Michael G. Hinchey:
  Ten Commandments of Formal Methods ...Ten Years Later.Computer39(1):40-48 (2006)
• 
  [j15]
  Michael G. Hinchey,Roy Sterritt:
  Self-Managing Software.Computer39(2):107-109 (2006)
• 
  [j14]
  Doris L. Carver,Ronald G. Hoelzeman,James H. Aylor,Michael G. Hinchey:
  Special Issue Introduction: The IEEE Computer Society's 60th Anniversary.Computer39(10):22-25 (2006)
• 
  [j13]
  Roy Sterritt,Christopher A. Rouff,Michael G. Hinchey,James L. Rash,Walter Truszkowski:
  Next generation system and software architectures: Challenges from future NASA exploration missions.Sci. Comput. Program.61(1):48-57 (2006)
• 
  [j12]
  Christopher A. Rouff,Michael G. Hinchey,Walter Truszkowski,James L. Rash:
  Experiences applying formal approaches in the development of swarm-based space exploration systems.Int. J. Softw. Tools Technol. Transf.8(6):587-603 (2006)
• 
  [j11]
  Walter Truszkowski,Michael G. Hinchey,James L. Rash,Christopher A. Rouff:
  Autonomous and autonomic systems: a paradigm for future space exploration missions.IEEE Trans. Syst. Man Cybern. Syst.36(3):279-291 (2006)
• 
  [c62]
  Joaquín Peña,Michael G. Hinchey,Antonio Ruiz Cortés,Pablo Trinidad:
  Building the Core Architecture of a NASA Multiagent System Product Line.AOSE2006:208-224
• 
  [c61]
  Yuan-Shun Dai,Michael G. Hinchey,Manish Madhusoodan,James L. Rash,Xukai Zou:
  A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System.DASC2006:3-10
• 
  [c60]
  Joaquín Peña,Michael G. Hinchey,Roy Sterritt,Antonio Ruiz Cortés,Manuel Resinas:
  A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems.DASC2006:19-30
• 
  [c59]
  Yuan-Shun Dai,Michael G. Hinchey,Mingrui Qi,Xukai Zou:
  Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons.DASC2006:227-234
• 
  [c58]
  Roy Sterritt,Michael G. Hinchey:
  Biologically-Inspired Concepts for Self-Management of Complexity.ICECCS2006:163-168
• 
  [c57]
  Michael G. Hinchey,Roy Sterritt,Joaquín Peña,Christopher A. Rouff:
  Software engineering and swarm-based systems.SEAMS@ICSE2006:97
• 
  [c56]
  Michael G. Hinchey,Roy Sterritt:
  99% (Biological) Inspiration ....BICC2006:7-20
• 
  [c55]
  Tiziana Margaria,Michael G. Hinchey,Harald Raffelt,James L. Rash,Christopher A. Rouff,Bernhard Steffen:
  Completing and Adapting Models of Biological Processes.BICC2006:43-54
• 
  [c54]
  Michael G. Hinchey,Thomas Pressburger,Martin S. Feather,Lawrence Markosian,Wes Deadrick:
  Software Assurance Research Infusion: The NASA Experience.ISoLA2006:18-27
• 
  [c53]
  Michael G. Hinchey,Tiziana Margaria,James L. Rash,Christopher A. Rouff,Bernhard Steffen:
  Enhanced Requirements-Based Programming for Embedded Systems Design.MBEES2006:43-52
• 
  [c52]
  Joaquín Peña,Michael G. Hinchey,Manuel Resinas,Roy Sterritt,James L. Rash:
  Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach.Software Engineering Research and Practice2006:995-1001
• 
  [e8]
  Michael G. Hinchey,Patricia Rago,James L. Rash,Christopher A. Rouff,Roy Sterritt,Walt Truszkowski:
  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.Lecture Notes in Computer Science 3825,Springer2006, ISBN978-3-540-69265-2[contents]
• 2005
• 
  [j10]
  Shawn A. Bohner,Mike Hinchey:
  Introduction to Innovations in System and Software Engineering.Innov. Syst. Softw. Eng.1(1):1-2 (2005)
• 
  [j9]
  Michael G. Hinchey,James L. Rash,Walter Truszkowski,Christopher A. Rouff,Roy Sterritt:
  You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems.Trans. SDPS9(1):1-16 (2005)
• 
  [c51]
  Roy Sterritt,Michael G. Hinchey:
  Autonomicity An Antidote for Complexity?CSB Workshops2005:283-291
• 
  [c50]
  James L. Rash,Michael G. Hinchey,Denis Gracanin:
  An Approach to Generating and Verifying Complex Scripts and Procedures.CSB Workshops2005:305-313
• 
  [c49]
  Denis Gracanin,H. Lally Singh,Michael G. Hinchey,Mohamed Eltoweissy,Shawn A. Bohner:
  A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture.ECBS2005:255-262
• 
  [c48]
  Michael G. Hinchey,James L. Rash,Christopher A. Rouff:
  A Formal Approach to Requirements-Based Programming.ECBS2005:339-345
• 
  [c47]
  Roy Sterritt,Michael G. Hinchey:
  Why Computer-Based Systems Should Be Autonomic.ECBS2005:406-412
• 
  [c46]
  James L. Rash,Michael G. Hinchey,Christopher A. Rouff,Denis Gracanin,John Erickson:
  Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.ECBS2005:490-497
• 
  [c45]
  Roy Sterritt,Michael G. Hinchey:
  Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions.ECBS2005:506-511
• 
  [c44]
  Roy Sterritt,Michael G. Hinchey:
  Autonomic Computing - Panacea or Poppycock?ECBS2005:535-539
• 
  [c43]
  Roy Sterritt,Michael G. Hinchey,James L. Rash,Walt Truszkowski,Christopher A. Rouff,Denis Gracanin:
  Towards Formal Specification and Generation of Autonomic Policies.EUC Workshops2005:1245-1254
• 
  [c42]
  Jonathan P. Bowen,Michael G. Hinchey:
  Ten commandments revisited: a ten-year perspective on the industrial application of formal methods.FMICS2005:8-16
• 
  [c41]
  Michael G. Hinchey,Christopher A. Rouff,James L. Rash,Walter Truszkowski:
  Requirements of an integrated formal method for intelligent swarms.FMICS2005:125-133
• 
  [c40]
  Christopher A. Rouff,Michael G. Hinchey,James L. Rash,Walter Truszkowski,Roy Sterritt:
  Autonomicity of NASA Missions.ICAC2005:387-388
• 
  [c39]
  James L. Rash,Michael G. Hinchey,Christopher A. Rouff,Denis Gracanin:
  Formal Requirements-Based Programming for Complex Systems.ICECCS2005:116-125
• 
  [c38]
  Kevin P. Adams,Denis Gracanin,Michael G. Hinchey:
  Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication.ICPADS (1)2005:356-362
• 
  [c37]
  Christopher A. Rouff,Michael G. Hinchey,Walt Truszkowski,James L. Rash:
  Verifying Large Numbers of Cooperating Adaptive Agents.ICPADS (1)2005:391-397
• 
  [c36]
  Michael G. Hinchey,James L. Rash,Walt Truszkowski,Christopher A. Rouff,Roy Sterritt:
  Challenges of Developing New Classes of NASA Self-Managing Missions.ICPADS (2)2005:463-467
• 
  [c35]
  Christopher A. Rouff,Michael G. Hinchey,James L. Rash,Walt Truszkowski,Roy Sterritt:
  Towards Autonomic Management of NASA Missions.ICPADS (2)2005:473-477
• 
  [c34]
  Walt Truszkowski,Michael G. Hinchey,Roy Sterritt:
  Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity.ICPADS (2)2005:478-482
• 
  [c33]
  Michael G. Hinchey,James L. Rash,Christopher A. Rouff:
  Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.ICPADS (2)2005:570-574
• 
  [c32]
  Michael G. Hinchey,James L. Rash,Christopher A. Rouff:
  Towards an automated development methodology for dependable systems with application to sensor networks.IPCCC2005:445-451
• 
  [c31]
  Roy Sterritt,Michael G. Hinchey:
  SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment.Software Engineering Research and Practice2005:3-8
• 
  [c30]
  Michael G. Hinchey,James L. Rash,Walter Truszkowski,Christopher A. Rouff,Roy Sterritt:
  Autonomous and Autonomic Swarms.Software Engineering Research and Practice2005:36-44
• 
  [c29]
  Roy Sterritt,Christopher A. Rouff,James L. Rash,Walter Truszkowski,Michael G. Hinchey:
  Self*- Properties in NASA Mission.Software Engineering Research and Practice2005:66-72
• 
  [c28]
  Christopher A. Rouff,Michael G. Hinchey,James L. Rash,Walter Truszkowski:
  Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.SEW2005:253-264
• 
  [c27]
  Michael G. Hinchey,James L. Rash,Christopher A. Rouff:
  Some Verification Issues at NASA Goddard Space Flight Center.VSTTE2005:403-412
• 
  [c26]
  Roy Sterritt,Michael G. Hinchey:
  Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments.WRAC2005:370-378
• 
  [e7]
  Michael G. Hinchey,James L. Rash,Walt Truszkowski,Christopher A. Rouff:
  Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers.Lecture Notes in Computer Science 3228,Springer2005, ISBN3-540-24422-0[contents]
• 2004
• 
  [j8]
  Walt Truszkowski,Mike Hinchey,James L. Rash,Christopher A. Rouff:
  NASA's Swarm Missions: The Challenge of Building Autonomous Software.IT Prof.6(5):47-52 (2004)
• 
  [c25]
  Christopher A. Rouff,Amy Vanderbilt,Michael G. Hinchey,Walt Truszkowski,James L. Rash:
  Verification of Emergent Behaviors in Swarm-based Systems.ECBS2004:443-448
• 
  [c24]
  Walt Truszkowski,James L. Rash,Christopher A. Rouff,Michael G. Hinchey:
  Asteroid Exploration with Autonomic Systems.ECBS2004:484-489
• 
  [c23]
  Walt Truszkowski,James L. Rash,Christopher A. Rouff,Michael G. Hinchey:
  Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT.ECBS2004:490-499
• 
  [c22]
  Denis Gracanin,Shawn A. Bohner,Michael G. Hinchey:
  Towards a Model-Driven Architecture for Autonomic Systems.ECBS2004:500-505
• 
  [c21]
  Shawn A. Bohner,Boby George,Denis Gracanin,Michael G. Hinchey:
  Formalism Challenges of the Cougaar Model Driven Architecture.FAABS2004:57-71
• 
  [c20]
  Denis Gracanin,H. Lally Singh,Shawn A. Bohner,Michael G. Hinchey:
  Model-Driven Architecture for Agent-Based Systems.FAABS2004:249-261
• 
  [c19]
  Roy Sterritt,Michael G. Hinchey:
  Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?FAABS2004:262-270
• 
  [c18]
  Christopher A. Rouff,Amy Vanderbilt,Walt Truszkowski,James L. Rash,Michael G. Hinchey:
  Verification of NASA Emergent Systems.ICECCS2004:231-238
• 
  [c17]
  Christopher A. Rouff,Amy Vanderbilt,Walt Truszkowski,James L. Rash,Michael G. Hinchey:
  Verification of Nasa Emergent Systems.AIAI2004:167-176
• 
  [c16]
  Christopher A. Rouff,Amy Vanderbilt,Walter Truszkowski,James L. Rash,Michael G. Hinchey:
  Formal Methods for Autonomic and Swarm-based Systems.ISoLA (Preliminary proceedings)2004:100-102
• 
  [c15]
  Christopher A. Rouff,Amy Vanderbilt,Michael G. Hinchey,Walt Truszkowski,James L. Rash:
  Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.SEFM2004:24-33
• 2003
• 
  [c14]
  Christopher A. Rouff,Walter Truszkowski,James L. Rash,Michael G. Hinchey:
  Formal Approaches to Intelligent Swarms.SEW2003:51
• 
  [e6]
  Michael G. Hinchey,James L. Rash,Walt Truszkowski,Christopher A. Rouff,Diana F. Gordon-Spears:
  Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers.Lecture Notes in Computer Science 2699,Springer2003, ISBN3-540-40665-4[contents]
• 
  [e5]
  Walt Truszkowski,Christopher A. Rouff,Michael G. Hinchey:
  Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers.Lecture Notes in Computer Science 2564,Springer2003, ISBN3-540-40725-1[contents]
• 2002
• 
  [c13]
  Peter J. Robinson,Michael G. Hinchey,Keith L. Clark:
  Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.FAABS2002:162-172
• 
  [c12]
  Michael G. Hinchey:
  Confessions of a Formal Methodist.SCS2002:17-20
• 2001
• 
  [e4]
  James L. Rash,Christopher A. Rouff,Walt Truszkowski,Diana F. Gordon,Michael G. Hinchey:
  Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers.Lecture Notes in Computer Science 1871,Springer2001, ISBN3-540-42716-3[contents]
• 2000
• 
  [c11]
  Michael G. Hinchey,James A. Hendler,Charles Pecheur,Constance L. Heitmeyer,Diana F. Gordon,Michael Luck,Walt Truszkowski:
  Panel Discussion: Future Directions.FAABS2000:354-368
• 
  [c10]
  Christopher A. Rouff,James L. Rash,Michael G. Hinchey:
  Experience Using Formal Methods for Specifying a Multi-Agent System.ICECCS2000:72-
• 
  [c9]
  William G. Howerton,Michael G. Hinchey:
  Using the Right Tool for the Job.ICECCS2000:105-

• 1999
• 
  [b2]
  Michael G. Hinchey:
  Structural design and formal methods. University of Cambridge, UK,1999
• 
  [j7]
  Alberto Broggi,Mike Hinchey,Alexander D. Stoyen:
  Engineering complex computer systems.Microprocess. Microsystems23(3):123-124 (1999)
• 1998
• 
  [c8]
  Alberto Broggi,Michael G. Hinchey,Alexander D. Stoyen:
  Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track.HICSS (3)1998:148-149
• 
  [e3]
  Jonathan P. Bowen,Andreas Fett,Michael G. Hinchey:
  ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings.Lecture Notes in Computer Science 1493,Springer1998, ISBN3-540-65070-9[contents]
• 1997
• 
  [c7]
  Jonathan P. Bowen,Michael G. Hinchey:
  The use of industrial-strength formal methods.COMPSAC1997:332-337
• 
  [e2]
  Jonathan P. Bowen,Michael G. Hinchey,David Till:
  ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings.Lecture Notes in Computer Science 1212,Springer1997, ISBN3-540-62717-0[contents]
• 
  [r1]
  Jonathan P. Bowen,Michael G. Hinchey:
  Formal Models and the Specification Process.The Computer Science and Engineering Handbook1997:2302-2322
• 1996
• 
  [j6]
  Jonathan P. Bowen,Ricky W. Butler,David L. Dill,Robert L. Glass,David Gries,Anthony Hall,Michael G. Hinchey,C. Michael Holloway,Daniel Jackson,Cliff B. Jones,Michael J. Lutz,David Lorge Parnas,John M. Rushby,Jeannette M. Wing,Pamela Zave:
  An Invitation to Formal Methods.Computer29(4):16-30 (1996)
• 
  [j5]
  Hossein Saiedian,Michael G. Hinchey:
  Challenges in the successful transfer of formal methods technology into industrial applications.Inf. Softw. Technol.38(5):313-322 (1996)
• 1995
• 
  [b1]
  Michael G. Hinchey,Stephen A. Jarvis:
  Concurrent systems - formal development in CSP.McGrawhill international series in software engineering,McGraw-Hill1995, ISBN978-0-07-707649-8, pp. I-XIV, 1-181
• 
  [j4]
  Jonathan P. Bowen,Michael G. Hinchey:
  Ten Commandments of Formal Methods.Computer28(4):56-63 (1995)
• 
  [j3]
  Jonathan P. Bowen,Mike Hinchey:
  Editorial.Inf. Softw. Technol.37(5-6):258-259 (1995)
• 
  [j2]
  Jonathan P. Bowen,Mike Hinchey:
  Report on Z user meeting (ZUM '94).Inf. Softw. Technol.37(5-6):335-336 (1995)
• 
  [j1]
  Jonathan P. Bowen,Michael G. Hinchey:
  Seven More Myths of Formal Methods.IEEE Softw.12(4):34-41 (1995)
• 
  [c6]
  Neville Dean,Michael G. Hinchey:
  Introducing formal methods through role-playing.SIGCSE1995:302-306
• 
  [e1]
  Jonathan P. Bowen,Michael G. Hinchey:
  ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings.Lecture Notes in Computer Science 967,Springer1995, ISBN3-540-60271-2[contents]
• 1994
• 
  [c5]
  Jonathan P. Bowen,Michael G. Hinchey:
  Seven More Myths of Formal Methods.FME1994:105-117
• 
  [c4]
  Liam Relihan,Tony Cahill,Michael G. Hinchey:
  Untangling the World-Wide Web.SIGDOC1994:17-24
• 1993
• 
  [c3]
  Michael G. Hinchey:
  Structured and Formal Methods: An Investigative Framework.ICSE Workshop on Studies of Software Design1993:151-163
• 
  [c2]
  Tony Cahill,Michael G. Hinchey,Liam Relihan:
  Documents are programs.SIGDOC1993:43-55
• 1992
• 
  [c1]
  Michael G. Hinchey,Tony Cahill:
  Towards a canonical specification of document structures.SIGDOC1992:297-307