Michael G. Hinchey

Mike Hinchey

	2012
165		Emil Vassev, Mike Hinchey: Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163
164		Mike Hinchey, Emil Vassev: Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202
163		Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2): 36-42 (2012)
162		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)
	2011
161		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
160		Emil Vassev, Mike Hinchey: Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80
159		Benoit Gaudin, Mike Hinchey: Self-Healing Approach in the FastFix Project. FedCSIS 2011: 957-964
158		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
157		Emil Vassev, Mike Hinchey: Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34
156		Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC 2011: 335
155		Mike Hinchey: Families (of Products) in Space. SPLC 2011: 8-9
154		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)
153		Carl K. Chang, David M. Weiss, Mike Hinchey: Where Software Engineering Meets ... IEEE Computer 44(10): 17-18 (2011)
152		Emil Vassev, Mike Hinchey: Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer 44(8): 96-99 (2011)
151		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)
	2010
150		Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf: 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 Springer 2010
149		Emil Vassev, Mike Hinchey: Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83
148		Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis: Preface. DIPES/BICC 2010: 219
147		Mike Hinchey, Lorcan Coyle: Evolving Critical Systems. ECBS 2010: 4
146		Mike Hinchey, Lorcan Coyle: Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS 2010: 430-435
145		Emil Vassev, Mike Hinchey, Paddy Nixon: Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72
144		Emil Vassev, Mike Hinchey: Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16
143		Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC 2010: 523
142		Mike Hinchey: Formally Specifying Families of Space Exploration Missions. SPLC Workshops 2010: 73-74
141		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
140		Mike Hinchey, Emil Vassev: The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12
139		Roy Sterritt, Mike Hinchey, Emil Vassev: Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081
138		Howell R. Jordan, Mike Hinchey, Rem W. Collier: Agent-Oriented Software Engineering. Encyclopedia of Software Engineering 2010: 14-28
137		Mike Hinchey, Jonathan P. Bowen, Emil Vassev: Formal Methods. Encyclopedia of Software Engineering 2010: 308-320
136		Jonathan P. Bowen, Mike Hinchey, Emil Vassev: Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332
135		Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey: Fulfilling the Vision of Autonomic Computing. IEEE Computer 43(1): 35-41 (2010)
134		Emil Vassev, Mike Hinchey: The Challenge of Developing Autonomic Systems. IEEE Computer 43(12): 93-96 (2010)
133		Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro: Guest Editors' Introduction: Evolving Critical Systems. IEEE Computer 43(5): 28-33 (2010)
	2009
132		Emil Vassev, Mike Hinchey: Developing Experimental Models for NASA Missions with ASSL FMA 2009: 88
131		Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10
130		Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168
129		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
128		Mike Hinchey, Roy Sterritt: Organic Computing and Model-Driven Engineering in Embedded Systems. ISORC 2009: 95-96
127		Norman F. Schneidewind, Mike Hinchey: A Complexity Reliability Model. ISSRE 2009: 1-10
126		Hesham Shokry, Mike Hinchey: On practical Service-Based Computing in distributed embedded automotive systems. MOMPES 2009: 22-30
125		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
124		Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538
123		Emil Vassev, Mike Hinchey: Complexity Reduction in Developing Autonomic Systems with ASSL. SEW 2009: 87-93
122		Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 3rd International Workshop on Dynamic Software Product Lines: DSPL 2009. SPLC 2009: 295
121		Claire McInerney, Mike Hinchey, Eamonn McQuade: Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91
120		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)
119		Hesham Shokry, Mike Hinchey: Model-Based Verification of Embedded Software. IEEE Computer 42(4): 53-59 (2009)
118		Emil Vassev, Mike Hinchey: ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer 42(6): 90-93 (2009)
117		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)
116		Roy Sterritt, Mike Hinchey: Adaptive reflex autonomicity for real-time systems. ISSE 5(2): 107-115 (2009)
115		Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
	2008
114		Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330
113		Norman F. Schneidewind, Mike Hinchey: Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97
112		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
111		Roy Sterritt, Mike Hinchey: Towards Self-Managing Real-Time System. IMCSIT 2008: 751-756
110		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
109		Michael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477
108		Karin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571
107		Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657
106		Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474
105		Emil Vassev, Mike Hinchey: ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops 2008: 13-18
104		Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381
103		Norman F. Schneidewind, Michael G. Hinchey: Risk-Driven Software Reliability and Testing. SSIRI 2008: 183-184
102		Mike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)
101		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)
100		Mike Hinchey, Paul A. Curto, Scott Hamilton: Computer Celebrates NASA's 50th Anniversary. IEEE Computer 41(12): 32-33 (2008)
99		Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)
98		Karin Koogan Breitman, Mike Hinchey: ICT Research Experience. IEEE Computer 41(6): 58 (2008)
97		Michael G. Hinchey: Introduction to special issue: selected papers from SEW-31. ISSE 4(1): 1 (2008)
	2007
96		Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings Springer 2007
95		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
94		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
93		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
92		Michael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007
91		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
90		Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)
89		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)
88		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)
87		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)
86		Michael G. Hinchey: Editorial : A Year of Aerospace Computing pages - (Editorial). JACIC 4(12): (2007)
85		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)
	2006
84		Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski: 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 Springer 2006
83		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
82		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
81		Michael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20
80		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
79		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
78		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
77		Roy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168
76		Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
75		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
74		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
73		Roy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)
72		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)
71		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)
70		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)
69		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
68		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)
67		Michael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)
66		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)
65		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)
	2005
64		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers Springer 2005
63		Roy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291
62		James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
61		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
60		Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
59		Roy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412
58		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
57		Roy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511
56		Roy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539
55		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
54		Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
53		James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
52		Kevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362
51		Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
50		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
49		Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
48		Walt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482
47		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
46		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
45		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
44		Roy Sterritt, Michael G. Hinchey: SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8
43		Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
42		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
41		Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
40		Roy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378
39		Shawn A. Bohner, Mike Hinchey: Introduction to Innovations in System and Software Engineering. ISSE 1(1): 1-2 (2005)
	2004
38		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
37		Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
36		Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
35		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
34		Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505
33		Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261
32		Roy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270
31		Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71
30		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
29		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
28		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
27		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)
	2003
26		Walt Truszkowski, Christopher Rouff, Michael G. Hinchey: Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers Springer 2003
25		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears: Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers Springer 2003
24		Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
	2002
23		Peter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172
22		Michael G. Hinchey: Confessions of a Formal Methodist. SCS 2002: 17-20
	2001
21		James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers Springer 2001
	2000
20		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
19		William G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-
18		Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
	1998
17		Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings Springer 1998
16		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
	1997
15		Jonathan P. Bowen, Michael G. Hinchey, David Till: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings Springer 1997
14		Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337
13		Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322
	1996
12		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)
11		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)
	1995
10		Michael G. Hinchey, Stephen A. Jarvis: Concurrent systems - formal development in CSP. McGraw-Hill 1995: I-XIV, 1-181
9		Jonathan P. Bowen, Michael G. Hinchey: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings Springer 1995
8		Neville Dean, Michael G. Hinchey: Introducing formal methods through role-playing. SIGCSE 1995: 302-306
7		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63 (1995)
6		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)
	1994
5		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117
4		Liam Relihan, Tony Cahill, Michael G. Hinchey: Untangling the World-Wide Web. SIGDOC 1994: 17-24
	1993
3		Michael G. Hinchey: Structured and Formal Methods: An Investigative Framework. ICSE Workshop on Studies of Software Design 1993: 151-163
2		Tony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55
	1992
1		Michael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307

Coauthor Index

1	Kevin P. Adams	[52]
2	James H. Aylor	[68]
3	Simone Diniz Junqueira Barbosa	[94]
4	Kirstie L. Bellman	[154]
5	Sue Black	[117]
6	Paul Boca	[117]
7	Shawn A. Bohner	[31] [33] [34] [39] [61] [87] [91] [131]
8	Jonathan P. Bowen	[5] [6] [7] [9] [12] [13] [14] [15] [17] [69] [101] [117] [125] [136] [137]
9	Karin Koogan Breitman (Karin Breitman)	[88] [94] [98] [108]
10	Alberto Broggi	[16]
11	Michael Butler	[96]
12	Ricky W. Butler	[12]
13	Tony Cahill	[1] [2] [4]
14	Doris L. Carver	[68]
15	Marco A. Casanova	[88] [94]
16	Carl K. Chang	[153]
17	Angelo E. M. Ciarlini	[88]
18	Keith L. Clark	[23]
19	Rem W. Collier (Rem Collier)	[138]
20	Byron Cook	[101]
21	Antonio Ruiz Cortés	[71] [80] [83] [89] [151]
22	Patrick Cousot	[101]
23	Lorcan Coyle	[133] [146] [147]
24	Paul A. Curto	[100]
25	Yuan-Shun Dai (Yuanshun Dai)	[78] [79] [93] [95]
26	Wes Deadrick	[76]
27	Neville Dean	[8]
28	David L. Dill	[12]
29	Simon A. Dobson (Simon Dobson)	[135]
30	Sherif El-Kassas	[131]
31	Mohamed Eltoweissy	[61] [87]
32	John Erickson	[58] [72]
33	Martin S. Feather	[76]
34	Abílio Fernandes	[88]
35	Andreas Fett	[17]
36	José Luiz Fiadeiro	[133]
37	Antonio L. Furtado	[88] [94]
38	Jog Coelho Garcia	[162]
39	Benoit Gaudin	[158] [159] [161] [162]
40	Boby George	[31] [91]
41	Robert L. Glass	[12]
42	Jason Gorman	[117]
43	Denis Gracanin	[31] [33] [34] [52] [53] [55] [58] [61] [62] [70] [72] [87]
44	David Gries	[12]
45	Anthony Hall	[12]
46	Svein O. Hallsteinsen	[99] [104] [122] [143] [156]
47	Scott Hamilton	[100]
48	Riham Hassan	[131]
49	Constance L. Heitmeyer (Connie Heitmeyer)	[20]
50	James A. Hendler (Jim Hendler)	[20]
51	Andreas Herkersdorf	[154]
52	Ronald G. Hoelzeman	[68]
53	C. Michael Holloway	[12]
54	William G. Howerton	[19]
55	Daniel Jackson	[12]
56	Michael Jackson	[101]
57	Stephen A. Jarvis	[10]
58	Cliff B. Jones (Clifford B. Jones)	[12]
59	Howell R. Jordan	[138]
60	Karama Kanoun	[110]
61	Bernd Kleinjohann	[150]
62	Lisa Kleinjohann	[150]
63	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[96]
64	Dong-hyun Lee	[120]
65	Keun Lee	[120]
66	Peter Lindsay	[148]
67	Peter A. Lindsay (Peter Alexander Lindsay)	[150]
68	Mikael Lindvall	[110]
69	Michael Luck	[20]
70	Michael J. Lutz	[12]
71	Michael R. Lyu	[110]
72	Walid Maalej	[162]
73	Manish Madhusoodan	[78] [93]
74	Tiziana Margaria (Tiziana Margaria-Steffen)	[75] [82] [101] [110] [115]
75	Lawrence Markosian	[76]
76	Pablo Trinidad Martín-Arroyo (Pablo Trinidad)	[83]
77	Claire McInerney	[121]
78	Eamonn McQuade	[121]
79	Veena B. Mendiratta	[110]
80	Paddy Nixon (Patrick Nixon)	[135] [141] [145] [158] [161] [162]
81	Bashar Nuseibeh	[133]
82	Joey Paquet	[107]
83	Sooyong Park	[99] [104] [120] [122] [143] [156]
84	David Lorge Parnas	[12]
85	Charles Pecheur	[20]
86	Joaquín Peña	[71] [74] [80] [83] [85] [89] [151]
87	Paul Pettersson	[110]
88	Thomas Pressburger	[76]
89	Mingrui Qi	[79] [95]
90	Aaron J. Quigley	[129] [130]
91	Harald Raffelt	[82]
92	Patricia Rago	[84]
93	Franz Josef Rammig (Franz-Josef Rammig, Franz J. Rammig)	[148] [150]
94	James L. Rash	[18] [21] [24] [25] [27] [28] [29] [30] [35] [36] [37] [38] [41] [42] [43] [45] [46] [47] [49] [50] [51] [53] [54] [55] [58] [60] [62] [64] [65] [66] [70] [72] [74] [75] [78] [82] [84] [85] [93] [95] [112]
95	Liam Relihan	[2] [4]
96	Manuel Resinas	[74] [80] [85]
97	Peter J. Robinson	[23]
98	Christopher A. Rouff (Christopher Rouff)	[18] [21] [24] [25] [26] [27] [28] [29] [30] [35] [36] [37] [38] [41] [42] [43] [45] [46] [47] [49] [50] [51] [53] [54] [55] [58] [60] [64] [65] [66] [70] [72] [75] [82] [84] [90] [95] [112] [151] [163]
99	John M. Rushby	[12]
100	Hossein Saiedian	[11]
101	Klaus Schmid	[99] [104] [122] [143] [156]
102	Norman F. Schneidewind	[103] [110] [113] [124] [127]
103	Hesham Shokry (Hesham S. Ali)	[119] [126]
104	H. Lally Singh	[33] [61]
105	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[20] [21] [25]
106	Bernhard Steffen	[75] [82] [115]
107	Roy Sterritt	[32] [40] [42] [43] [44] [48] [49] [50] [54] [55] [56] [57] [59] [63] [65] [67] [73] [74] [77] [80] [81] [84] [85] [89] [90] [111] [112] [116] [128] [135] [139] [163]
108	Alexander D. Stoyen (Alexander D. Stoyenko)	[16]
109	David Till	[15]
110	Jonathan Timmis (Jon Timmis)	[148] [150]
111	Walter Truszkowski (Walt Truszkowski)	[20] [21] [24] [25] [26] [27] [28] [29] [30] [35] [36] [37] [38] [42] [43] [45] [48] [49] [50] [51] [54] [55] [64] [65] [66] [84] [93] [112]
112	Amy Vanderbilt	[28] [29] [30] [37] [38]
113	Emil Vassev	[105] [106] [107] [114] [118] [123] [129] [130] [132] [134] [136] [137] [139] [140] [141] [144] [145] [149] [152] [157] [158] [160] [161] [162] [163] [164] [165]
114	David M. Weiss	[153]
115	Jeannette M. Wing	[12]
116	Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf)	[150]
117	W. Eric Wong	[110]
118	Pamela Zave	[12]
119	Xukai Zou	[78] [79]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page