Michael G. Hinchey - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 108

2019

Is There Anything That Isn't Software?Michael G. Hinchey. ICSOFT 2019: 7

2014

Formal MethodsJonathan P. Bowen, Michael G. Hinchey. In Teofilo F. Gonzalez, Jorge Diaz-Herrera, Allen Tucker, editors, Computing Handbook, Third Edition: Computer Science and Software Engineering. pages 71-25, CRC Press, 2014.

2012

Verification of Adaptive SystemsLaura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher Rouff, Richard W. Buskens. itaero 2012: [doi]

2011

Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey. dagstuhl-reports, 1(5):1-28, 2011. [doi]

A control theory based approach for self-healing of un-handled runtime exceptionsBenoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey. icac 2011: 217-220 [doi]

2010

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration SystemsWalt Truszkowski, Harold L. Hallock, Christopher Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt. NASA Monographs in Systems and Software Engineering, Springer, 2010. [doi]

2009

2008

08141 Abstracts Collection - Organic Computing - Controlled Self-organizationKirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz. Dagstuhl 2008: [doi]

08141 Executive Summary - Organic Computing - Controlled Self-organizationKirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz. Dagstuhl 2008: [doi]

The Use of Formal Ontology to Specify Context in Ubiquitous ComputingKarin Koogan Breitman, Michael G. Hinchey. ISoLA 2008: 561-571 [doi]

Encouraging the Uptake of Formal Methods Training in an Industrial ContextMichael G. Hinchey. ISoLA 2008: 473-477 [doi]

Introduction to special issue: selected papers from SEW-31Michael G. Hinchey. isse, 4(1):1, 2008. [doi]

Editorial : Enabling the Dream of FlightMichael G. Hinchey. jacic, 5(1):1-2, 2008. [doi]

You can t get there from here! Problems and potential solutions in developing new classes of complex computer systemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff. imcsit 2008: 639-647 [doi]

Anything You Want to Ask about Software Reliability EngineeringMichael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong. issre 2008: 6 [doi]

Risk-Driven Software Reliability and TestingNorman F. Schneidewind, Michael G. Hinchey. ssiri 2008: 183-184 [doi]

2007

Agent-Based Software Systems Evolution via Model-Driven ArchitectureShawn A. Bohner, Michael G. Hinchey, Boby George. serp 2007: 546-552

Model-Based Evolution of Collaborative Agent-Based SystemsShawn A. Bohner, Denis Gracanin, Michael G. Hinchey, Mohamed Eltoweissy. jbcs, 13(4):17-38, 2007. [doi]

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

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

Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic ComputingMichael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi. aina 2007: 250-257 [doi]

Bionic autonomic nervous system and self-healing for NASA ANTS-like missionsMichael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan. SAC 2007: 90-96 [doi]

Michael G. Hinchey: Biological InspirationMichael G. Hinchey. saso 2007: [doi]

Editorial : A Year of Aerospace Computing pages - (Editorial)Michael G. Hinchey. jacic, 4(12), 2007. [doi]

Swarms and Swarm IntelligenceMichael G. Hinchey, Roy Sterritt, Christopher A. Rouff. Computer, 40(4):111-113, 2007. [doi]

Designing and managing evolving systems using a MAS product line approachJoaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash. SCP, 66(1):71-86, 2007. [doi]

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

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based SystemsChristopher A. Rouff, Michael G. Hinchey, Joaquín Peña, Antonio Ruiz Cortés. kit 2007: 348-355 [doi]

2006

Ten Commandments of Formal Methods ...Ten Years LaterJonathan P. Bowen, Michael G. Hinchey. Computer, 39(1):40-48, 2006. [doi]

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

A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics SystemYuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou. dasc 2006: 3-10 [doi]

Autonomic Security and Self-Protection based on Feature-Recognition with Virtual NeuronsYuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou. dasc 2006: 227-234 [doi]

99 (Biological) Inspiration ...Michael G. Hinchey, Roy Sterritt. ifip10 2006: 7-20 [doi]

Software engineering and swarm-based systemsMichael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff. ICSE 2006: 97 [doi]

Self-Managing SoftwareMichael G. Hinchey, Roy Sterritt. Computer, 39(2):107-109, 2006. [doi]

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

Achieving dependability in sensor networks through automated requirements-based programmingMichael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin. comcom, 29(2):246-256, 2006. [doi]

Enhanced Requirements-Based Programming for Embedded Systems DesignMichael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen. mbees 2006: 43-52 [doi]

Completing and Adapting Models of Biological ProcessesTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen. ifip10 2006: 43-54 [doi]

Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line ApproachJoaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash. serp 2006: 995-1001

A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic SystemsJoaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés, Manuel Resinas. dasc 2006: 19-30 [doi]

Building the Core Architecture of a NASA Multiagent System Product LineJoaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad. aose 2007: 208-224 [doi]

Multi-agent system product lines: challenges and benefitsJoaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés. CACM, 49(12):82-84, 2006. [doi]

A requirements-based programming approach to developing a NASA autonomous ground control systemJames L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson. air, 25(4):285-297, 2006. [doi]

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

Editorial: Engineering autonomic systemsRoy Sterritt, Michael G. Hinchey. air, 25(4):281-284, 2006. [doi]

Next generation system and software architectures: Challenges from future NASA exploration missionsRoy Sterritt, Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. SCP, 61(1):48-57, 2006. [doi]

Autonomous and autonomic systems: a paradigm for future space exploration missionsWalter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff. tsmc, 36(3):279-291, 2006. [doi]

2005

Increasing Resiliency through Priority Scheduling of Asynchronous Data ReplicationKevin P. Adams, Denis Gracanin, Michael G. Hinchey. icpads 2005: 356-362 [doi]

Ten commandments revisited: a ten-year perspective on the industrial application of formal methodsJonathan P. Bowen, Michael G. Hinchey. fmics 2005: 8-16 [doi]

A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based ArchitectureDenis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner. ECBS 2005: 255-262 [doi]

Some Verification Issues at NASA Goddard Space Flight CenterMichael G. Hinchey, James L. Rash, Christopher A. Rouff. vstte 2008: 403-412 [doi]

Towards an automated development methodology for dependable systems with application to sensor networksMichael G. Hinchey, James L. Rash, Christopher A. Rouff. ipccc 2005: 445-451 [doi]

Requirements of an integrated formal method for intelligent swarmsMichael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. fmics 2005: 125-133 [doi]

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex SystemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt. jid, 9(1):1-16, 2005. [doi]

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed SystemsMichael G. Hinchey, James L. Rash, Christopher Rouff. icpads 2005: 570-574 [doi]

Challenges of Developing New Classes of NASA Self-Managing MissionsMichael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt. icpads 2005: 463-467 [doi]

A Formal Approach to Requirements-Based ProgrammingMichael G. Hinchey, James L. Rash, Christopher Rouff. ECBS 2005: 339-345 [doi]

Autonomous and Autonomic SwarmsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt. serp 2005: 36-44

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

An Approach to Generating and Verifying Complex Scripts and ProceduresJames L. Rash, Michael G. Hinchey, Denis Gracanin. csb 2005: 305-313 [doi]

Formal Requirements-Based Programming for Complex SystemsJames L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin. ICECCS 2005: 116-125 [doi]

Towards a Hybrid Formal Method for Swarm-Based Exploration MissionsChristopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. sew 2006: 253-264 [doi]

Verifying Large Numbers of Cooperating Adaptive AgentsChristopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash. icpads 2005: 391-397 [doi]

Autonomicity of NASA MissionsChristopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt. icac 2005: 387-388 [doi]

Towards Autonomic Management of NASA MissionsChristopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt. icpads 2005: 473-477 [doi]

Why Computer-Based Systems Should Be AutonomicRoy Sterritt, Michael G. Hinchey. ECBS 2005: 406-412 [doi]

Radical Concepts for Self-managing Ubiquitous and Pervasive Computing EnvironmentsRoy Sterritt, Michael G. Hinchey. wrac 2006: 370-378 [doi]

Autonomicity An Antidote for Complexity?Roy Sterritt, Michael G. Hinchey. csb 2005: 283-291 [doi]

SPAACE: : Self-Properties for an Autonomous & Autonomic Computing EnvironmentRoy Sterritt, Michael G. Hinchey. serp 2005: 3-8

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

Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration MissionsRoy Sterritt, Michael G. Hinchey. ECBS 2005: 506-511 [doi]

Self*- Properties in NASA MissionRoy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey. serp 2005: 66-72

Towards Formal Specification and Generation of Autonomic PoliciesRoy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin. euc 2005: 1245-1254 [doi]

Towards an Autonomic Cluster Management System (ACMS) with Reflex AutonomicityWalt Truszkowski, Michael G. Hinchey, Roy Sterritt. icpads 2005: 478-482 [doi]

2004

Formalism Challenges of the Cougaar Model Driven ArchitectureShawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey. faabs 2005: 57-71 [doi]

Model-Driven Architecture for Agent-Based SystemsDenis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey. faabs 2005: 249-261 [doi]

Towards a Model-Driven Architecture for Autonomic SystemsDenis Gracanin, Shawn A. Bohner, Michael G. Hinchey. ECBS 2004: 500-505 [doi]

Formal Methods for Autonomic and Swarm-based SystemsChristopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey. ISoLA 2004: 100-102

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

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

Verification of NASA Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. ICECCS 2004: 231-238 [doi]

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. SEFM 2004: 24-33 [doi]

Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?Roy Sterritt, Michael G. Hinchey. faabs 2005: 262-270 [doi]

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

Asteroid Exploration with Autonomic SystemsWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey. ECBS 2004: 484-489 [doi]

2003

Formal Approaches to Intelligent SwarmsChristopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey. sew 2004: 51 [doi]

2002

Confessions of a Formal MethodistMichael G. Hinchey. SCSC 2003: 17-20 [doi]

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning CapabilitiesPeter J. Robinson, Michael G. Hinchey, Keith L. Clark. faabs 2003: 162-172 [doi]

2000

1998

Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies TrackAlberto Broggi, Michael G. Hinchey, Alexander D. Stoyen. hicss 1998: 148-149 [doi]

1997

The use of industrial-strength formal methodsJonathan P. Bowen, Michael G. Hinchey. compsac 1997: 332-337 [doi]

Formal Models and the Specification ProcessJonathan P. Bowen, Michael G. Hinchey. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2302-2322, CRC Press, 1997.

1996

1995

Introducing formal methods through role-playingNeville Dean, Michael G. Hinchey. sigcse 1995: 302-306 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michael G. Hinchey'

Viewing Publication 1 - 100 from 108

2019

2014

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1998

1997

1996

1995

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michael G. Hinchey'

Viewing Publication 1 - 100 from 108

2019

2014

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1998

1997

1996

1995

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1