Michael G. Hinchey - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-netJonathan P. Bowen, Michael G. Hinchey. BIRTHDAY 2009: 219-233 [doi]

Integrating Formal Analysis and Design to Preserve Security PropertiesRiham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey. hicss 2009: 1-10 [doi]

2008

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

Introduction to special issue: selected papers from SEW-31Michael G. Hinchey. isse, 4(1):1, 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]

Encouraging the Uptake of Formal Methods Training in an Industrial ContextMichael G. Hinchey. isola 2008: 473-477 [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

Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, ProceedingsMichael Butler, Michael G. Hinchey, María M. Larrondo-Petrie, editors, Volume 4789 of Lecture Notes in Computer Science, Springer, 2007.

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]

Swarms and Swarm IntelligenceMichael G. Hinchey, Roy Sterritt, Christopher A. Rouff. Computer, 40(4):111-113, 2007. [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]

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]

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]

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]

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]

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 PapersMichael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski, editors, Volume 3825 of Lecture Notes in Computer Science, Springer, 2006.

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

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

Self-Managing SoftwareMichael G. Hinchey, Roy Sterritt. Computer, 39(2):107-109, 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]

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]

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]

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]

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]

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]

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]

2005

Increasing Resiliency through Priority Scheduling of Asynchronous Data ReplicationKevin P. Adams, Denis Gracanin, Michael G. Hinchey. icpads 2005: 356-362 [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]

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]

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

Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected PapersMichael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, editors, Volume 3228 of Lecture Notes in Computer Science, Springer, 2005.

A Formal Approach to Requirements-Based ProgrammingMichael G. Hinchey, James L. Rash, Christopher Rouff. ECBS 2005: 339-345 [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]

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

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]

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

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

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

Towards Autonomic Management of NASA MissionsChristopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt. icpads 2005: 473-477 [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]

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]

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]

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

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

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

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

Why Computer-Based Systems Should Be AutonomicRoy Sterritt, Michael G. Hinchey. ECBS 2005: 406-412 [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]

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

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

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

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

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]

Verification of Emergent Behaviors in Swarm-based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. ECBS 2004: 443-448 [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

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 Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised PapersMichael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears, editors, Volume 2699 of Lecture Notes in Computer Science, Springer, 2003.

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

Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised PapersWalt Truszkowski, Christopher Rouff, Michael G. Hinchey, editors, Volume 2564 of Lecture Notes in Computer Science, Springer, 2003.

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]

2001

Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised PapersJames L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Volume 1871 of Lecture Notes in Computer Science, Springer, 2001.

2000

1998

ZUM 98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, ProceedingsJonathan P. Bowen, Andreas Fett, Michael G. Hinchey, editors, Volume 1493 of Lecture Notes in Computer Science, Springer, 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]

ZUM 97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, ProceedingsJonathan P. Bowen, Michael G. Hinchey, David Till, editors, Volume 1212 of Lecture Notes in Computer Science, Springer, 1997.

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

ZUM 95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, ProceedingsJonathan P. Bowen, Michael G. Hinchey, editors, Volume 967 of Lecture Notes in Computer Science, Springer, 1995.

Seven More Myths of Formal MethodsJonathan P. Bowen, Michael G. Hinchey. IEEE Software, 12(4):34-41, 1995. [doi]

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

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

Concurrent systems - formal development in CSPMichael G. Hinchey, Stephen A. Jarvis. McGrawhill international series in software engineering, McGraw-Hill, 1995.

1994

Seven More Myths of Formal MethodsJonathan P. Bowen, Michael G. Hinchey. fm 1994: 105-117

Untangling the World-Wide WebLiam Relihan, Tony Cahill, Michael G. Hinchey. sigdoc 1994: 17-24 [doi]

1993

Documents are programsTony Cahill, Michael G. Hinchey, Liam Relihan. sigdoc 1993: 43-55 [doi]

Structured and Formal Methods: An Investigative FrameworkMichael G. Hinchey. ICSE 1996: 151-163

PreviousNext