Michael G. Hinchey Vis

Mike Hinchey

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2009

113 EE Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10

112 Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168

111 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

110 EE Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538

109 EE Claire McInerney, Mike Hinchey, Eamonn McQuade: Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91

108 EE 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)

107 EE Roy Sterritt, Mike Hinchey: Adaptive reflex autonomicity for real-time systems. ISSE 5(2): 107-115 (2009)

106 EE Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)

2008

105 EE Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330

104 EE Norman F. Schneidewind, Mike Hinchey: Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97

103 EE Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6

102 EE Michael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477

101 EE Karin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571

100 EE Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657

99 EE Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474

98 EE Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381

97 EE Mike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)

96 EE 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)

95 EE Mike Hinchey, Paul A. Curto, Scott Hamilton: Computer Celebrates NASA's 50th Anniversary. IEEE Computer 41(12): 32-33 (2008)

94 EE Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)

93 EE Karin Koogan Breitman, Mike Hinchey: ICT Research Experience. IEEE Computer 41(6): 58 (2008)

92 EE Michael G. Hinchey: Introduction to special issue: selected papers from SEW-31. ISSE 4(1): 1 (2008)

2007

91 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

90 EE 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

89 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

88 EE 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

87 EE Michael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007

86 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

85 EE Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)

84 EE 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)

83 EE 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)

82 EE 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

81 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

80 EE 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

79 EE 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

78 EE Michael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20

77 EE 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

76 EE 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

75 EE 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

74 EE Roy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168

73 EE Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27

72 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

71 EE Roy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)

70 EE 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)

69 EE 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)

68 EE 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)

67 EE Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)

66 EE 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)

65 EE Michael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)

64 EE 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)

63 EE 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

62 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

61 EE Roy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291

60 EE James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313

59 EE 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

58 EE Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345

57 EE Roy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412

56 EE 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

55 EE Roy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511

54 EE Roy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539

53 EE 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

52 EE Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388

51 EE James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125

50 EE Kevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362

49 EE Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397

48 EE 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

47 EE Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477

46 EE Walt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482

45 EE 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

44 EE 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

43 EE 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

42 Roy Sterritt, Michael G. Hinchey: SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8

41 Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44

40 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

39 EE Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412

38 EE Roy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378

37 EE Shawn A. Bohner, Mike Hinchey: Introduction to Innovations in System and Software Engineering. ISSE 1(1): 1-2 (2005)

2004

36 Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176

35 EE Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448

34 EE Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489

33 EE 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

32 EE Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505

31 EE Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261

30 EE Roy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270

29 EE Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71

28 EE Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238

27 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

26 EE 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

2003

25 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

24 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

23 EE Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51

2002

22 EE Peter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172

21 EE Michael G. Hinchey: Confessions of a Formal Methodist. SCS 2002: 17-20

2001

20 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

19 EE 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

18 EE William G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-

17 EE Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-

1998

16 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

15 EE 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

14 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

13 EE Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337

12 Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322

1996

11 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)

10 EE 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

9 Jonathan P. Bowen, Michael G. Hinchey: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings Springer 1995

8 EE 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 EE Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)

1994

5 EE Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117

4 EE 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 EE Tony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55

1992

1 EE Michael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307

*	2009
113	EE	Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10
112		Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168
111		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
110	EE	Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538
109	EE	Claire McInerney, Mike Hinchey, Eamonn McQuade: Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91
108	EE	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)
107	EE	Roy Sterritt, Mike Hinchey: Adaptive reflex autonomicity for real-time systems. ISSE 5(2): 107-115 (2009)
106	EE	Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
	2008
105	EE	Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330
104	EE	Norman F. Schneidewind, Mike Hinchey: Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97
103	EE	Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
102	EE	Michael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477
101	EE	Karin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571
100	EE	Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657
99	EE	Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474
98	EE	Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381
97	EE	Mike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)
96	EE	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)
95	EE	Mike Hinchey, Paul A. Curto, Scott Hamilton: Computer Celebrates NASA's 50th Anniversary. IEEE Computer 41(12): 32-33 (2008)
94	EE	Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)
93	EE	Karin Koogan Breitman, Mike Hinchey: ICT Research Experience. IEEE Computer 41(6): 58 (2008)
92	EE	Michael G. Hinchey: Introduction to special issue: selected papers from SEW-31. ISSE 4(1): 1 (2008)
	2007
91		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
90	EE	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
89		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
88	EE	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
87	EE	Michael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007
86		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
85	EE	Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)
84	EE	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)
83	EE	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)
82	EE	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
81		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
80	EE	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
79	EE	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
78	EE	Michael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20
77	EE	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
76	EE	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
75	EE	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
74	EE	Roy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168
73	EE	Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
72		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
71	EE	Roy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)
70	EE	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)
69	EE	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)
68	EE	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)
67	EE	Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
66	EE	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)
65	EE	Michael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)
64	EE	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)
63	EE	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
62		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
61	EE	Roy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291
60	EE	James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
59	EE	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
58	EE	Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
57	EE	Roy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412
56	EE	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
55	EE	Roy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511
54	EE	Roy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539
53	EE	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
52	EE	Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
51	EE	James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
50	EE	Kevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362
49	EE	Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
48	EE	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
47	EE	Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
46	EE	Walt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482
45	EE	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
44	EE	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
43	EE	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
42		Roy Sterritt, Michael G. Hinchey: SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8
41		Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
40		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
39	EE	Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
38	EE	Roy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378
37	EE	Shawn A. Bohner, Mike Hinchey: Introduction to Innovations in System and Software Engineering. ISSE 1(1): 1-2 (2005)
	2004
36		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
35	EE	Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
34	EE	Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
33	EE	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
32	EE	Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505
31	EE	Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261
30	EE	Roy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270
29	EE	Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71
28	EE	Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
27		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
26	EE	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
	2003
25		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
24		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
23	EE	Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
	2002
22	EE	Peter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172
21	EE	Michael G. Hinchey: Confessions of a Formal Methodist. SCS 2002: 17-20
	2001
20		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
19	EE	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
18	EE	William G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-
17	EE	Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
	1998
16		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
15	EE	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
14		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
13	EE	Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337
12		Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322
	1996
11		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)
10	EE	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
9		Jonathan P. Bowen, Michael G. Hinchey: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings Springer 1995
8	EE	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	EE	Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)
	1994
5	EE	Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117
4	EE	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	EE	Tony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55
	1992
1	EE	Michael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307

Coauthor Index

1 Kevin P. Adams [50]

2 James H. Aylor [66]

3 Simone Diniz Junqueira Barbosa [89]

4 Shawn A. Bohner [29] [31] [32] [37] [59] [86] [113]

5 Jonathan P. Bowen [5] [6] [7] [9] [11] [12] [13] [14] [16] [67] [96]

6 Karin Koogan Breitman (Karin Breitman) [83] [89] [93] [101]

7 Alberto Broggi [15]

8 Michael Butler [91]

9 Ricky W. Butler [11]

10 Tony Cahill [1] [2] [4]

11 Doris L. Carver [66]

12 Marco A. Casanova [83] [89]

13 Angelo E. M. Ciarlini [83]

14 Keith L. Clark [22]

15 Byron Cook [96]

16 Antonio Ruiz Cortés [69] [77] [80] [84]

17 Patrick Cousot [96]

18 Paul A. Curto [95]

19 Yuan-Shun Dai [75] [76] [88] [90]

20 Wes Deadrick [73]

21 Neville Dean [8]

22 David L. Dill [11]

23 Sherif El-Kassas [113]

24 Mohamed Eltoweissy [59]

25 John Erickson [56] [70]

26 Martin S. Feather [73]

27 Abílio Fernandes [83]

28 Andreas Fett [16]

29 Antonio L. Furtado [83] [89]

30 Boby George [29] [86]

31 Robert L. Glass [11]

32 Denis Gracanin [29] [31] [32] [50] [51] [53] [56] [59] [60] [68] [70]

33 David Gries [11]

34 Anthony Hall [11]

35 Svein Hallsteinsen [94] [98]

36 Scott Hamilton [95]

37 Riham Hassan [113]

38 Constance L. Heitmeyer (Connie Heitmeyer) [19]

39 James A. Hendler (Jim Hendler) [19]

40 Ronald G. Hoelzeman [66]

41 C. Michael Holloway [11]

42 William G. Howerton [18]

43 Daniel Jackson [11]

44 Michael Jackson [96]

45 Cliff B. Jones [11]

46 Karama Kanoun [103]

47 María M. Larrondo-Petrie (Maria M. Larrondo-Petrie) [91]

48 Dong-hyun Lee [108]

49 Keun Lee [108]

50 Mikael Lindvall [103]

51 Michael Luck [19]

52 Michael J. Lutz [11]

53 Michael R. Lyu [103]

54 Manish Madhusoodan [75] [88]

55 Tiziana Margaria (Tiziana Margaria-Steffen) [79] [96] [103] [106]

56 Lawrence Markosian [73]

57 Pablo Trinidad Martín-Arroyo (Pablo Trinidad) [80]

58 Claire McInerney [109]

59 Eamonn McQuade [109]

60 Veena B. Mendiratta [103]

61 Joey Paquet [100]

62 Sooyong Park [94] [98] [108]

63 David Lorge Parnas [11]

64 Charles Pecheur [19]

65 Joaquín Peña [69] [72] [77] [80] [82] [84]

66 Paul Pettersson [103]

67 Thomas Pressburger [73]

68 Mingrui Qi [76] [90]

69 Aaron J. Quigley [111] [112]

70 Harald Raffelt [79]

71 Patricia Rago [81]

72 James L. Rash [17] [20] [23] [24] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [60] [62] [63] [64] [68] [70] [72] [75] [79] [81] [82] [88] [90]

73 Liam Relihan [2] [4]

74 Manuel Resinas [72] [77] [82]

75 Peter J. Robinson [22]

76 Christopher A. Rouff (Christopher Rouff) [17] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [62] [63] [64] [68] [70] [79] [81] [85] [90]

77 John M. Rushby [11]

78 Hossein Saiedian [10]

79 Klaus Schmid [94] [98]

80 Norman F. Schneidewind [103] [104] [110]

81 H. Lally Singh [31] [59]

82 Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon) [19] [20] [24]

83 Bernhard Steffen [79] [106]

84 Roy Sterritt [30] [38] [40] [41] [42] [46] [47] [48] [52] [53] [54] [55] [57] [61] [63] [65] [71] [72] [74] [77] [78] [81] [82] [84] [85] [107]

85 Alexander D. Stoyen (Alexander D. Stoyenko) [15]

86 David Till [14]

87 Walter Truszkowski (Walt Truszkowski) [19] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [40] [41] [43] [46] [47] [48] [49] [52] [53] [62] [63] [64] [81] [88]

88 Amy Vanderbilt [26] [27] [28] [35] [36]

89 Emil Vassev [99] [100] [105] [111] [112]

90 Jeannette M. Wing [11]

91 Eric Wong [103]

92 Pamela Zave [11]

93 Xukai Zou [75] [76]

Colors in the list of coauthors

1	Kevin P. Adams	[50]
2	James H. Aylor	[66]
3	Simone Diniz Junqueira Barbosa	[89]
4	Shawn A. Bohner	[29] [31] [32] [37] [59] [86] [113]
5	Jonathan P. Bowen	[5] [6] [7] [9] [11] [12] [13] [14] [16] [67] [96]
6	Karin Koogan Breitman (Karin Breitman)	[83] [89] [93] [101]
7	Alberto Broggi	[15]
8	Michael Butler	[91]
9	Ricky W. Butler	[11]
10	Tony Cahill	[1] [2] [4]
11	Doris L. Carver	[66]
12	Marco A. Casanova	[83] [89]
13	Angelo E. M. Ciarlini	[83]
14	Keith L. Clark	[22]
15	Byron Cook	[96]
16	Antonio Ruiz Cortés	[69] [77] [80] [84]
17	Patrick Cousot	[96]
18	Paul A. Curto	[95]
19	Yuan-Shun Dai	[75] [76] [88] [90]
20	Wes Deadrick	[73]
21	Neville Dean	[8]
22	David L. Dill	[11]
23	Sherif El-Kassas	[113]
24	Mohamed Eltoweissy	[59]
25	John Erickson	[56] [70]
26	Martin S. Feather	[73]
27	Abílio Fernandes	[83]
28	Andreas Fett	[16]
29	Antonio L. Furtado	[83] [89]
30	Boby George	[29] [86]
31	Robert L. Glass	[11]
32	Denis Gracanin	[29] [31] [32] [50] [51] [53] [56] [59] [60] [68] [70]
33	David Gries	[11]
34	Anthony Hall	[11]
35	Svein Hallsteinsen	[94] [98]
36	Scott Hamilton	[95]
37	Riham Hassan	[113]
38	Constance L. Heitmeyer (Connie Heitmeyer)	[19]
39	James A. Hendler (Jim Hendler)	[19]
40	Ronald G. Hoelzeman	[66]
41	C. Michael Holloway	[11]
42	William G. Howerton	[18]
43	Daniel Jackson	[11]
44	Michael Jackson	[96]
45	Cliff B. Jones	[11]
46	Karama Kanoun	[103]
47	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[91]
48	Dong-hyun Lee	[108]
49	Keun Lee	[108]
50	Mikael Lindvall	[103]
51	Michael Luck	[19]
52	Michael J. Lutz	[11]
53	Michael R. Lyu	[103]
54	Manish Madhusoodan	[75] [88]
55	Tiziana Margaria (Tiziana Margaria-Steffen)	[79] [96] [103] [106]
56	Lawrence Markosian	[73]
57	Pablo Trinidad Martín-Arroyo (Pablo Trinidad)	[80]
58	Claire McInerney	[109]
59	Eamonn McQuade	[109]
60	Veena B. Mendiratta	[103]
61	Joey Paquet	[100]
62	Sooyong Park	[94] [98] [108]
63	David Lorge Parnas	[11]
64	Charles Pecheur	[19]
65	Joaquín Peña	[69] [72] [77] [80] [82] [84]
66	Paul Pettersson	[103]
67	Thomas Pressburger	[73]
68	Mingrui Qi	[76] [90]
69	Aaron J. Quigley	[111] [112]
70	Harald Raffelt	[79]
71	Patricia Rago	[81]
72	James L. Rash	[17] [20] [23] [24] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [60] [62] [63] [64] [68] [70] [72] [75] [79] [81] [82] [88] [90]
73	Liam Relihan	[2] [4]
74	Manuel Resinas	[72] [77] [82]
75	Peter J. Robinson	[22]
76	Christopher A. Rouff (Christopher Rouff)	[17] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [62] [63] [64] [68] [70] [79] [81] [85] [90]
77	John M. Rushby	[11]
78	Hossein Saiedian	[10]
79	Klaus Schmid	[94] [98]
80	Norman F. Schneidewind	[103] [104] [110]
81	H. Lally Singh	[31] [59]
82	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[19] [20] [24]
83	Bernhard Steffen	[79] [106]
84	Roy Sterritt	[30] [38] [40] [41] [42] [46] [47] [48] [52] [53] [54] [55] [57] [61] [63] [65] [71] [72] [74] [77] [78] [81] [82] [84] [85] [107]
85	Alexander D. Stoyen (Alexander D. Stoyenko)	[15]
86	David Till	[14]
87	Walter Truszkowski (Walt Truszkowski)	[19] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [40] [41] [43] [46] [47] [48] [49] [52] [53] [62] [63] [64] [81] [88]
88	Amy Vanderbilt	[26] [27] [28] [35] [36]
89	Emil Vassev	[99] [100] [105] [111] [112]
90	Jeannette M. Wing	[11]
91	Eric Wong	[103]
92	Pamela Zave	[11]
93	Xukai Zou	[75] [76]