The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael G. Hinchey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan P. Bowen, Michael G. Hinchey
    Ten Commandments of Formal Methods. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1995, v:28, n:4, pp:56-63 [Journal]
  2. 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. [Citation Graph (0, 0)][DBLP]
    AINA, 2007, pp:250-257 [Conf]
  3. Jonathan P. Bowen, Michael G. Hinchey
    The use of industrial-strength formal methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:332-337 [Conf]
  4. James L. Rash, Michael G. Hinchey, Denis Gracanin
    An Approach to Generating and Verifying Complex Scripts and Procedures. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:305-313 [Conf]
  5. Roy Sterritt, Michael G. Hinchey
    Autonomicity An Antidote for Complexity? [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:283-291 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:3-10 [Conf]
  7. Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou
    Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:227-234 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:19-30 [Conf]
  9. Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey
    Towards a Model-Driven Architecture for Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:500-505 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:255-262 [Conf]
  11. Michael G. Hinchey, James L. Rash, Christopher Rouff
    A Formal Approach to Requirements-Based Programming. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:339-345 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:490-497 [Conf]
  13. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
    Verification of Emergent Behaviors in Swarm-based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:443-448 [Conf]
  14. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:490-499 [Conf]
  15. Roy Sterritt, Michael G. Hinchey
    Why Computer-Based Systems Should Be Autonomic. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:406-412 [Conf]
  16. Roy Sterritt, Michael G. Hinchey
    Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:506-511 [Conf]
  17. Roy Sterritt, Michael G. Hinchey
    Autonomic Computing - Panacea or Poppycock? [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:535-539 [Conf]
  18. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Asteroid Exploration with Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:484-489 [Conf]
  19. Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin
    Towards Formal Specification and Generation of Autonomic Policies. [Citation Graph (0, 0)][DBLP]
    EUC Workshops, 2005, pp:1245-1254 [Conf]
  20. Roy Sterritt, Michael G. Hinchey
    Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:262-270 [Conf]
  21. Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey
    Formalism Challenges of the Cougaar Model Driven Architecture. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:57-71 [Conf]
  22. Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey
    Model-Driven Architecture for Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:249-261 [Conf]
  23. Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
    Panel Discussion: Future Directions. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:354-368 [Conf]
  24. Peter J. Robinson, Michael G. Hinchey, Keith L. Clark
    Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:162-172 [Conf]
  25. Jonathan P. Bowen, Michael G. Hinchey
    Seven More Myths of Formal Methods. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:105-117 [Conf]
  26. Alberto Broggi, Michael G. Hinchey, Alexander D. Stoyen
    Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:148-149 [Conf]
  27. Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
    Autonomicity of NASA Missions. [Citation Graph (0, 0)][DBLP]
    ICAC, 2005, pp:387-388 [Conf]
  28. William G. Howerton, Michael G. Hinchey
    Using the Right Tool for the Job. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:105-0 [Conf]
  29. James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin
    Formal Requirements-Based Programming for Complex Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:116-125 [Conf]
  30. Christopher Rouff, James L. Rash, Michael G. Hinchey
    Experience Using Formal Methods for Specifying a Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:72-0 [Conf]
  31. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
    Verification of NASA Emergent Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:231-238 [Conf]
  32. Kevin P. Adams, Denis Gracanin, Michael G. Hinchey
    Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:356-362 [Conf]
  33. Michael G. Hinchey, James L. Rash, Christopher Rouff
    Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:570-574 [Conf]
  34. Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt
    Challenges of Developing New Classes of NASA Self-Managing Missions. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:463-467 [Conf]
  35. Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
    Towards Autonomic Management of NASA Missions. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:473-477 [Conf]
  36. Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
    Verifying Large Numbers of Cooperating Adaptive Agents. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:391-397 [Conf]
  37. Walt Truszkowski, Michael G. Hinchey, Roy Sterritt
    Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:478-482 [Conf]
  38. Michael G. Hinchey
    Structured and Formal Methods: An Investigative Framework. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on Studies of Software Design, 1993, pp:151-163 [Conf]
  39. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
    Verification of Nasa Emergent Systems. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:167-176 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:90-96 [Conf]
  41. Michael G. Hinchey
    Confessions of a Formal Methodist. [Citation Graph (0, 0)][DBLP]
    SCS, 2002, pp:17-20 [Conf]
  42. 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. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:24-33 [Conf]
  43. Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt
    Autonomous and Autonomic Swarms. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:36-44 [Conf]
  44. 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. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2006, pp:995-1001 [Conf]
  45. Roy Sterritt, Michael G. Hinchey
    SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:3-8 [Conf]
  46. Roy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
    Self*- Properties in NASA Mission. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:66-72 [Conf]
  47. Neville Dean, Michael G. Hinchey
    Introducing formal methods through role-playing. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1995, pp:302-306 [Conf]
  48. Tony Cahill, Michael G. Hinchey, Liam Relihan
    Documents are programs. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 1993, pp:43-55 [Conf]
  49. Michael G. Hinchey, Tony Cahill
    Towards a canonical specification of document structures. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 1992, pp:297-307 [Conf]
  50. Liam Relihan, Tony Cahill, Michael G. Hinchey
    Untangling the World-Wide Web. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 1994, pp:17-24 [Conf]
  51. Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter F. Truszkowski
    Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:253-264 [Conf]
  52. Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
    Formal Approaches to Intelligent Swarms. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:51- [Conf]
  53. Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés
    Multi-agent system product lines: challenges and benefits. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2006, v:49, n:12, pp:82-84 [Journal]
  54. Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin
    Achieving dependability in sensor networks through automated requirements-based programming. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:2, pp:246-256 [Journal]
  55. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
  56. Jonathan P. Bowen, Michael G. Hinchey
    Ten Commandments of Formal Methods ...Ten Years Later. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:1, pp:40-48 [Journal]
  57. Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey
    Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:22-25 [Journal]
  58. Michael G. Hinchey, Roy Sterritt
    Self-Managing Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:2, pp:107-109 [Journal]
  59. Hossein Saiedian, Michael G. Hinchey
    Challenges in the successful transfer of formal methods technology into industrial applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:5, pp:313-322 [Journal]
  60. Roy Sterritt, Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
    Next generation system and software architectures: Challenges from future NASA exploration missions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:1, pp:48-57 [Journal]
  61. Jonathan P. Bowen, Michael G. Hinchey
    Seven More Myths of Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:4, pp:34-41 [Journal]
  62. Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski, James L. Rash
    Experiences applying formal approaches in the development of swarm-based space exploration systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:587-603 [Journal]
  63. Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad
    Building the Core Architecture of a NASA Multiagent System Product Line. [Citation Graph (0, 0)][DBLP]
    AOSE, 2006, pp:208-224 [Conf]
  64. Roy Sterritt, Michael G. Hinchey
    Biologically-Inspired Concepts for Self-Management of Complexity. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:163-168 [Conf]
  65. Roy Sterritt, Mike Hinchey
    Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. [Citation Graph (0, 0)][DBLP]
    WRAC, 2005, pp:370-378 [Conf]
  66. Michael G. Hinchey, James L. Rash, Christopher A. Rouff
    Towards an automated development methodology for dependable systems with application to sensor networks. [Citation Graph (0, 0)][DBLP]
    IPCCC, 2005, pp:445-451 [Conf]
  67. Michael G. Hinchey
    Michael G. Hinchey: Biological Inspiration. [Citation Graph (0, 0)][DBLP]
    SASO, 2007, pp:- [Conf]
  68. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:1, pp:71-86 [Journal]

  69. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. [Citation Graph (, )][DBLP]


  70. Integrating Formal Analysis and Design to Preserve Security Properties. [Citation Graph (, )][DBLP]


  71. Encouraging the Uptake of Formal Methods Training in an Industrial Context. [Citation Graph (, )][DBLP]


  72. Using Analogy to Promote Conceptual Modeling Reuse. [Citation Graph (, )][DBLP]


  73. The Use of Formal Ontology to Specify Context in Ubiquitous Computing. [Citation Graph (, )][DBLP]


  74. Formal Methods for Autonomic and Swarm-based Systems. [Citation Graph (, )][DBLP]


  75. Software Assurance Research Infusion: The NASA Experience. [Citation Graph (, )][DBLP]


  76. Anything You Want to Ask about Software Reliability Engineering. [Citation Graph (, )][DBLP]


  77. Agent-Based Software Systems Evolution via Model-Driven Architecture. [Citation Graph (, )][DBLP]


  78. Some Verification Issues at NASA Goddard Space Flight Center. [Citation Graph (, )][DBLP]


  79. Completing and Adapting Models of Biological Processes. [Citation Graph (, )][DBLP]


  80. 99% (Biological) Inspiration .... [Citation Graph (, )][DBLP]


  81. You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. [Citation Graph (, )][DBLP]


  82. Enhanced Requirements-Based Programming for Embedded Systems Design. [Citation Graph (, )][DBLP]


  83. Risk-Driven Software Reliability and Testing. [Citation Graph (, )][DBLP]


  84. Editorial: Engineering autonomic systems. [Citation Graph (, )][DBLP]


  85. A requirements-based programming approach to developing a NASA autonomous ground control system. [Citation Graph (, )][DBLP]


  86. Swarms and Swarm Intelligence. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002