Michael G. Hinchey

121 papers A 2B 8C 14Misc 2Journal 24Unranked 56

Year	Rank	Type	Title / Venue / Authors
2019	C	`conf`	Is There Anything That Isn't Software? ICSOFT Michael G. Hinchey
2017	—	`book`	Provably Correct Systems Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
2014	—	`ch.`	Formal Methods. Computing Handbook, 3rd ed. (1) Jonathan P. Bowen, Michael G. Hinchey
2012	—	`conf`	Verification of Adaptive Systems. Infotech@Aerospace Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens
2011	—	`conf`	A control theory based approach for self-healing of un-handled runtime exceptions. ICAC Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey
2011	J	`jnl`	Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). Dagstuhl Reports Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey
2010	—	`book`	Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt
2009	—	`conf`	Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen
2009	—	`conf`	Integrating Formal Analysis and Design to Preserve Security Properties. HICSS Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey
2009	—	`conf`	Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. Rigorous Methods for Software Construction and Analysis Jonathan P. Bowen, Michael G. Hinchey
2008	—	`conf`	08141 Abstracts Collection - Organic Computing - Controlled Self-organization. Organic Computing - Controlled Self-organization Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz
2008	—	`conf`	08141 Executive Summary - Organic Computing - Controlled Self-organization. Organic Computing - Controlled Self-organization Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz
2008	A	`conf`	Anything You Want to Ask about Software Reliability Engineering. ISSRE Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong
2008	J	`jnl`	Editorial : Enabling the Dream of Flight. J. Aerosp. Comput. Inf. Commun. Michael G. Hinchey
2008	C	`conf`	Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA Michael G. Hinchey
2008	J	`jnl`	Introduction to special issue: selected papers from SEW-31. Innov. Syst. Softw. Eng. Michael G. Hinchey
2008	—	`ed.`	Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008 Organic Computing - Controlled Self-organization Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz
2008	—	`conf`	Risk-Driven Software Reliability and Testing. SSIRI Norman F. Schneidewind, Michael G. Hinchey
2008	C	`conf`	The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA Karin Koogan Breitman, Michael G. Hinchey
2008	—	`conf`	You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. IMCSIT Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff
2007	J	`jnl`	Adding flexibility to workflows through incremental planning. Innov. Syst. Softw. Eng. Abílio Fernandes, Angelo E. M. Ciarlini, António L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman
2007	—	`conf`	Agent-Based Software Systems Evolution via Model-Driven Architecture. Software Engineering Research and Practice Shawn A. Bohner, Michael G. Hinchey, Boby George
2007	Misc	`conf`	Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. SAC Michael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan
2007	J	`jnl`	Building and implementing policies in autonomous and autonomic systems using MaCMAS. Innov. Syst. Softw. Eng. Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés
2007	J	`jnl`	Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
2007	J	`jnl`	Editorial: A Year of Aerospace Computing. J. Aerosp. Comput. Inf. Commun. Michael G. Hinchey
2007	C	`ed.`	Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings ICFEM Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie
2007	—	`conf`	Michael G. Hinchey: Biological Inspiration. SASO Michael G. Hinchey
2007	J	`jnl`	Model-Based Evolution of Collaborative Agent-Based Systems. J. Braz. Comput. Soc. Shawn A. Bohner, Denis Gracanin, Michael G. Hinchey, Mohamed Eltoweissy
2007	B	`conf`	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi
2007	J	`jnl`	Swarms and Swarm Intelligence. Computer Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff
2007	C	`conf`	Using Analogy to Promote Conceptual Modeling Reuse. ISoLA Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado, Michael G. Hinchey
2007	—	`conf`	Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. SIS Christopher A. Rouff, Michael G. Hinchey, Joaquín Peña, Antonio Ruiz Cortés
2006	—	`conf`	99% (Biological) Inspiration .... BICC Michael G. Hinchey, Roy Sterritt
2006	C	`conf`	A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems. DASC Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés, Manuel Resinas
2006	C	`conf`	A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. DASC Yuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou
2006	J	`jnl`	A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2006	J	`jnl`	Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin
2006	C	`conf`	Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. DASC Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou
2006	J	`jnl`	Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2006	B	`conf`	Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS Roy Sterritt, Michael G. Hinchey
2006	—	`conf`	Building the Core Architecture of a NASA Multiagent System Product Line. AOSE Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad
2006	—	`conf`	Completing and Adapting Models of Biological Processes. BICC Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	J	`jnl`	Editorial: Engineering autonomic systems. Artif. Intell. Rev. Roy Sterritt, Michael G. Hinchey
2006	—	`conf`	Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	J	`jnl`	Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash
2006	—	`ed.`	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 WRAC Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski
2006	—	`conf`	Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
2006	J	`jnl`	Multi-agent system product lines: challenges and benefits. Commun. ACM Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés
2006	J	`jnl`	Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2006	J	`jnl`	Self-Managing Software. Computer Michael G. Hinchey, Roy Sterritt
2006	C	`conf`	Software Assurance Research Infusion: The NASA Experience. ISoLA Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick
2006	—	`conf`	Software engineering and swarm-based systems. SEAMS@ICSE Michael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff
2006	J	`jnl`	Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. Computer Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey
2006	J	`jnl`	Ten Commandments of Formal Methods ...Ten Years Later. Computer Jonathan P. Bowen, Michael G. Hinchey
2005	—	`conf`	A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture. ECBS Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner
2005	—	`conf`	A Formal Approach to Requirements-Based Programming. ECBS Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops James L. Rash, Michael G. Hinchey, Denis Gracanin
2005	—	`conf`	Autonomic Computing - Panacea or Poppycock? ECBS Roy Sterritt, Michael G. Hinchey
2005	—	`conf`	Autonomicity An Antidote for Complexity? CSB Workshops Roy Sterritt, Michael G. Hinchey
2005	—	`conf`	Autonomicity of NASA Missions. ICAC Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
2005	—	`conf`	Autonomous and Autonomic Swarms. Software Engineering Research and Practice Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS Roy Sterritt, Michael G. Hinchey
2005	—	`conf`	Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2005	—	`ed.`	Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff
2005	B	`conf`	Formal Requirements-Based Programming for Complex Systems. ICECCS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin
2005	—	`conf`	Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) Kevin P. Adams, Denis Gracanin, Michael G. Hinchey
2005	—	`conf`	Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC Roy Sterritt, Michael G. Hinchey
2005	C	`conf`	Requirements of an integrated formal method for intelligent swarms. FMICS Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski
2005	—	`conf`	SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice Roy Sterritt, Michael G. Hinchey
2005	—	`conf`	Self*- Properties in NASA Mission. Software Engineering Research and Practice Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
2005	—	`conf`	Some Verification Issues at NASA Goddard Space Flight Center. VSTTE Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	C	`conf`	Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. FMICS Jonathan P. Bowen, Michael G. Hinchey
2005	—	`conf`	Towards Autonomic Management of NASA Missions. ICPADS (2) Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
2005	—	`conf`	Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin
2005	C	`conf`	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2005	—	`conf`	Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) Walt Truszkowski, Michael G. Hinchey, Roy Sterritt
2005	C	`conf`	Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2005	—	`conf`	Why Computer-Based Systems Should Be Autonomic. ECBS Roy Sterritt, Michael G. Hinchey
2005	J	`jnl`	You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2004	—	`conf`	Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS Roy Sterritt, Michael G. Hinchey
2004	—	`conf`	Asteroid Exploration with Autonomic Systems. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2004	—	`conf`	Formalism Challenges of the Cougaar Model Driven Architecture. FAABS Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey
2004	—	`conf`	Model-Driven Architecture for Agent-Based Systems. FAABS Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey
2004	B	`conf`	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	—	`conf`	Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Towards a Model-Driven Architecture for Autonomic Systems. ECBS Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey
2004	—	`conf`	Verification of Emergent Behaviors in Swarm-based Systems. ECBS Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	B	`conf`	Verification of NASA Emergent Systems. ICECCS Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2004	Misc	`conf`	Verification of Nasa Emergent Systems. AIAI Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2003	—	`ed.`	Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears
2003	C	`conf`	Formal Approaches to Intelligent Swarms. SEW Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2003	—	`ed.`	Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers WRAC Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey
2002	—	`conf`	Confessions of a Formal Methodist. SCS Michael G. Hinchey
2002	—	`conf`	Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS Peter J. Robinson, Michael G. Hinchey, Keith L. Clark
2001	—	`ed.`	Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers FAABS James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey
2000	B	`conf`	Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS Christopher A. Rouff, James L. Rash, Michael G. Hinchey
2000	—	`conf`	Panel Discussion: Future Directions. FAABS Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
2000	B	`conf`	Using the Right Tool for the Job. ICECCS William G. Howerton, Michael G. Hinchey
1999	—	`—`	Structural design and formal methods Michael G. Hinchey
1998	—	`conf`	Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track. HICSS (3) Alberto Broggi, Michael G. Hinchey, Alexander D. Stoyen
1998	—	`ed.`	ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings ZUM Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
1997	—	`ch.`	Formal Models and the Specification Process. The Computer Science and Engineering Handbook Jonathan P. Bowen, Michael G. Hinchey
1997	B	`conf`	The use of industrial-strength formal methods. COMPSAC Jonathan P. Bowen, Michael G. Hinchey
1997	—	`ed.`	ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings ZUM Jonathan P. Bowen, Michael G. Hinchey, David Till
1996	J	`jnl`	An Invitation to Formal Methods. Computer 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
1996	J	`jnl`	Challenges in the successful transfer of formal methods technology into industrial applications. Inf. Softw. Technol. Hossein Saiedian, Michael G. Hinchey
1995	—	`book`	Concurrent systems - formal development in CSP. Michael G. Hinchey, Stephen A. Jarvis
1995	A	`conf`	Introducing formal methods through role-playing. SIGCSE Neville Dean, Michael G. Hinchey
1995	J	`jnl`	Seven More Myths of Formal Methods. IEEE Softw. Jonathan P. Bowen, Michael G. Hinchey
1995	J	`jnl`	Ten Commandments of Formal Methods. Computer Jonathan P. Bowen, Michael G. Hinchey
1995	—	`ed.`	ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings ZUM Jonathan P. Bowen, Michael G. Hinchey
1994	—	`conf`	Seven More Myths of Formal Methods. FME Jonathan P. Bowen, Michael G. Hinchey
1994	—	`conf`	Untangling the World-Wide Web. SIGDOC Liam Relihan, Tony Cahill, Michael G. Hinchey
1993	—	`conf`	Documents are programs. SIGDOC Tony Cahill, Michael G. Hinchey, Liam Relihan
1993	—	`conf`	Structured and Formal Methods: An Investigative Framework. ICSE Workshop on Studies of Software Design Michael G. Hinchey
1992	—	`conf`	Towards a canonical specification of document structures. SIGDOC Michael G. Hinchey, Tony Cahill