Michael G. Hinchey

Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey: Editorial. Formal Asp. Comput. 25(3): 343 (2013)

Mike Hinchey, Sooyong Park, Klaus Schmid: Building Dynamic Software Product Lines. IEEE Computer 45(10): 22-26 (2012)

Emil Vassev, Mike Hinchey: Awareness in Software-Intensive Systems. IEEE Computer 45(12): 84-87 (2012)

Emil Vassev, Mike Hinchey: The ASSL approach to specifying self-managing embedded systems. Concurrency and Computation: Practice and Experience 24(16): 1860-1878 (2012)

Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2): 36-42 (2012)

Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, Jog Coelho Garcia, Walid Maalej: FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience 13(1) (2012)

Emil Vassev, Mike Hinchey, Benoit Gaudin: Knowledge representation for self-adaptive behavior. C3S2E 2012: 113-117

Christopher Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey: The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122

Emil Vassev, Mike Hinchey: Efficient Space Exploration through Laziness. ICCASA 2012: 168-175

Emil Vassev, Mike Hinchey: Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA 2012: 176-182

Emil Vassev, Mike Hinchey: Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163

Ó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

Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid: 6^th International Workshop on Dynamic Software Product Lines (DSPL 2012). SPLC (1) 2012: 290

Mike Hinchey, Emil Vassev: Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202

George Eleftherakis, Mike Hinchey, Mike Holcombe (Eds.): 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

Emil Vassev, Mike Hinchey: Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer 44(8): 96-99 (2011)

Carl K. Chang, David M. Weiss, Mike Hinchey: Where Software Engineering Meets ... IEEE Computer 44(10): 17-18 (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. Software and System Modeling 10(1): 55-62 (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: 35-42

Emil Vassev, Mike Hinchey: Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80

Benoit Gaudin, Mike Hinchey: Self-Healing Approach in the FastFix Project. FedCSIS 2011: 957-964

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

Emil Vassev, Mike Hinchey: Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops 2011: 133-136

Emil Vassev, Mike Hinchey: Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34

Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson: An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW 2011: 11-18

Mike Hinchey: Families (of Products) in Space. SPLC 2011: 8-9

Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC 2011: 335

Norman F. Schneidewind, Mike Hinchey: A Reliability Model for Complex Systems. SSIRI (Companion) 2011: 85-94

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)

Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey: Fulfilling the Vision of Autonomic Computing. IEEE Computer 43(1): 35-41 (2010)

Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro: Guest Editors' Introduction: Evolving Critical Systems. IEEE Computer 43(5): 28-33 (2010)

Emil Vassev, Mike Hinchey: The Challenge of Developing Autonomic Systems. IEEE Computer 43(12): 93-96 (2010)

Emil Vassev, Mike Hinchey, Paddy Nixon: A formal approach to self-configurable swarm-based space-exploration systems. AHS 2010: 83-90

Emil Vassev, Mike Hinchey: Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83

Mike Hinchey, Lorcan Coyle: Evolving Critical Systems. ECBS 2010: 4

Mike Hinchey, Lorcan Coyle: Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS 2010: 430-435

Emil Vassev, Mike Hinchey, Paddy Nixon: Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72

Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis: Preface. DIPES/BICC 2010: 219

Emil Vassev, Mike Hinchey: Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16

Mike Hinchey: Formally Specifying Families of Space Exploration Missions. SPLC Workshops 2010: 73-74

Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC 2010: 523

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

Mike Hinchey, Emil Vassev: The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12

Howell R. Jordan, Mike Hinchey, Rem W. Collier: Agent-Oriented Software Engineering. Encyclopedia of Software Engineering 2010: 14-28

Mike Hinchey, Jonathan P. Bowen, Emil Vassev: Formal Methods. Encyclopedia of Software Engineering 2010: 308-320

Jonathan P. Bowen, Mike Hinchey, Emil Vassev: Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332

Roy Sterritt, Mike Hinchey, Emil Vassev: Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (Eds.): 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

Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey: A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. IEEE Computer 42(2): 100-102 (2009)

Hesham Shokry, Mike Hinchey: Model-Based Verification of Embedded Software. IEEE Computer 42(4): 53-59 (2009)

Emil Vassev, Mike Hinchey: ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer 42(6): 90-93 (2009)

Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey: Formal Versus Agile: Survival of the Fittest. IEEE Computer 42(9): 37-45 (2009)

Roy Sterritt, Mike Hinchey: Adaptive reflex autonomicity for real-time systems. ISSE 5(2): 107-115 (2009)

Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)

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 Analysis 2009: 219-233

Mike Hinchey: We can't get there from here!: the paradox of developing new classes of complex systems. CSIIRW 2009: 3

Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10

Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168

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

Mike Hinchey, Roy Sterritt: Organic Computing and Model-Driven Engineering in Embedded Systems. ISORC 2009: 95-96

Norman F. Schneidewind, Mike Hinchey: A Complexity Reliability Model. ISSRE 2009: 1-10

Hesham Shokry, Mike Hinchey: On practical Service-Based Computing in distributed embedded automotive systems. MOMPES 2009: 22-30

Emil Vassev, Mike Hinchey, Aaron J. Quigley: Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods 2009: 16-25

Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen: Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75

Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538

Emil Vassev, Mike Hinchey: Complexity Reduction in Developing Autonomic Systems with ASSL. SEW 2009: 87-93

Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 3^rd International Workshop on Dynamic Software Product Lines: DSPL 2009. SPLC 2009: 295

Claire McInerney, Mike Hinchey, Eamonn McQuade: Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91

Emil Vassev, Mike Hinchey: Developing Experimental Models for NASA Missions with ASSL. FMA 2009: 88

Mike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)

Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)

Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)

Karin Koogan Breitman, Mike Hinchey: ICT Research Experience. IEEE Computer 41(6): 58 (2008)

Mike Hinchey, Paul A. Curto, Scott Hamilton: Computer Celebrates NASA's 50th Anniversary. IEEE Computer 41(12): 32-33 (2008)

Michael G. Hinchey: Introduction to special issue: selected papers from SEW-31. ISSE 4(1): 1 (2008)

Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330

Norman F. Schneidewind, Mike Hinchey: Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97

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. IMCSIT 2008: 639-647

Roy Sterritt, Mike Hinchey: Towards Self-Managing Real-Time System. IMCSIT 2008: 751-756

Michael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477

Karin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571

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. ISSRE 2008: 6

Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657

Emil Vassev, Mike Hinchey: ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops 2008: 13-18

Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474

Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381

Norman F. Schneidewind, Michael G. Hinchey: Risk-Driven Software Reliability and Testing. SSIRI 2008: 183-184

Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)

Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés: Building and implementing policies in autonomous and autonomic systems using MaCMAS. ISSE 3(1): 17-31 (2007)

Abílio Fernandes, Angelo E. M. Ciarlini, Antonio L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman: Adding flexibility to workflows through incremental planning. ISSE 3(4): 291-302 (2007)

Michael G. Hinchey: Editorial : A Year of Aerospace Computing pages - (Editorial). JACIC 4(12) (2007)

Shawn A. Bohner, Denis Gracanin, Michael G. Hinchey, Mohamed Eltoweissy: Model-Based Evolution of Collaborative Agent-Based Systems. J. Braz. Comp. Soc. 13(4): 17-38 (2007)

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)

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. AINA 2007: 250-257

Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado, Michael G. Hinchey: Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122

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. SAC 2007: 90-96

Michael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007

Shawn A. Bohner, Michael G. Hinchey, Boby George: Agent-Based Software Systems Evolution via Model-Driven Architecture. Software Engineering Research and Practice 2007: 546-552

Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): 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, Springer 2007, isbn 978-3-540-76648-3

Roy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)

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)

Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés: Multi-agent system product lines: challenges and benefits. Commun. ACM 49(12): 82-84 (2006)

Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin: Achieving dependability in sensor networks through automated requirements-based programming. Computer Communications 29(2): 246-256 (2006)

Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)

Michael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)

Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey: Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. IEEE Computer 39(10): 22-25 (2006)

Roy Sterritt, Christopher 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)

Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash: Experiences applying formal approaches in the development of swarm-based space exploration systems. STTT 8(6): 587-603 (2006)

Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad: Building the Core Architecture of a NASA Multiagent System Product Line. AOSE 2006: 208-224

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. DASC 2006: 3-10

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. DASC 2006: 19-30

Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou: Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. DASC 2006: 227-234

Roy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168

Michael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20

Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Completing and Adapting Models of Biological Processes. BICC 2006: 43-54

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27

Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52

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 Practice 2006: 995-1001

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (Eds.): 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, Springer 2006, isbn 978-3-540-69265-2

Shawn A. Bohner, Mike Hinchey: Introduction to Innovations in System and Software Engineering. ISSE 1(1): 1-2 (2005)

Roy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291

James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313

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. ECBS 2005: 255-262

Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345

Roy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412

James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson: Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS 2005: 490-497

Roy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511

Roy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539

Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin: Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops 2005: 1245-1254

Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388

James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125

Kevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362

Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397

Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt: Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467

Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477

Walt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482

Michael G. Hinchey, James L. Rash, Christopher Rouff: Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) 2005: 570-574

Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC 2005: 445-451

Roy Sterritt, Michael G. Hinchey: SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8

Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44

Roy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey: Self*- Properties in NASA Mission. Software Engineering Research and Practice 2005: 66-72

Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski: Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW 2005: 253-264

Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412

Roy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378

Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff (Eds.): 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, Springer 2005, isbn 3-540-24422-0

Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher Rouff: NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Professional 6(5): 47-52 (2004)

Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448

Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489

Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS 2004: 490-499

Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505

Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71

Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261

Roy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270

Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238

Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176

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

Christopher 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. SEFM 2004: 24-33

Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51

Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears (Eds.): 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, Springer 2003, isbn 3-540-40665-4

Walt Truszkowski, Christopher Rouff, Michael G. Hinchey (Eds.): 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, Springer 2003, isbn 3-540-40725-1

Peter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172

Michael G. Hinchey: Confessions of a Formal Methodist. SCS 2002: 17-20

James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.): 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, Springer 2001, isbn 3-540-42716-3

Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski: Panel Discussion: Future Directions. FAABS 2000: 354-368

Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-

William G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-

Alberto Broggi, Mike Hinchey, Alexander D. Stoyen: Engineering complex computer systems. Microprocessors and Microsystems - Embedded Hardware Design 23(3): 123-124 (1999)

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

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.): 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, Springer 1998, isbn 3-540-65070-9

Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322

Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337

Jonathan P. Bowen, Michael G. Hinchey, David Till (Eds.): 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, Springer 1997, isbn 3-540-62717-0

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. IEEE Computer 29(4): 16-30 (1996)

Hossein Saiedian, Michael G. Hinchey: Challenges in the successful transfer of formal methods technology into industrial applications. Information & Software Technology 38(5): 313-322 (1996)

Michael G. Hinchey, Stephen A. Jarvis: Concurrent systems - formal development in CSP. McGrawhill international series in software engineering, McGraw-Hill 1995, isbn 978-0-07-707649-8, pp. I-XIV, 1-181

Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63 (1995)

Jonathan P. Bowen, Mike Hinchey: Editorial. Information & Software Technology 37(5-6): 258-259 (1995)

Jonathan P. Bowen, Mike Hinchey: Report on Z user meeting (ZUM '94). Information & Software Technology 37(5-6): 335-336 (1995)

Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)

Neville Dean, Michael G. Hinchey: Introducing formal methods through role-playing. SIGCSE 1995: 302-306

Jonathan P. Bowen, Michael G. Hinchey (Eds.): 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, Springer 1995, isbn 3-540-60271-2

Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117

Liam Relihan, Tony Cahill, Michael G. Hinchey: Untangling the World-Wide Web. SIGDOC 1994: 17-24

Michael G. Hinchey: Structured and Formal Methods: An Investigative Framework. ICSE Workshop on Studies of Software Design 1993: 151-163

Tony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55

Michael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307