dblp.uni-trier.dewww.uni-trier.de

Michael G. Hinchey

Mike Hinchey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
101EERiham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10
100EENorman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538
2008
99EEMike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330
98EEMichael 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
97EEMichael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477
96EEKarin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571
95EEEmil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657
94EESvein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381
93EEMike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)
92EEMike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
91EESvein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)
2007
90 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
89EEMichael 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
88 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
87EEMichael 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
86EEMichael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007
85 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
84EEMichael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)
83EEJoaquí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)
82EEAbí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)
81EEJoaquí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
80 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
79EEJoaquí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
78EETiziana 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
77EEMichael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20
76EEJoaquí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
75EEYuan-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
74EEYuan-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
73EERoy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168
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
71EERoy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)
70EEJames 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)
69EEJoaquí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)
68EEMichael 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)
67EEJonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
66EEDoris 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)
65EEMichael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)
64EEChristopher 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)
63EERoy 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
61EERoy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291
60EEJames L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
59EEDenis 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
58EEMichael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
57EERoy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412
56EEJames 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
55EERoy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511
54EERoy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539
53EERoy 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
52EEChristopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
51EEJames L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
50EEKevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362
49EEChristopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
48EEMichael 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
47EEChristopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
46EEWalt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482
45EEMichael G. Hinchey, James L. Rash, Christopher Rouff: Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) 2005: 570-574
44EEMichael 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
43EEChristopher 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
39EEMichael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
38EERoy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378
37EEShawn 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
35EEChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
34EEWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
33EEWalt 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
32EEDenis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505
31EEDenis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261
30EERoy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270
29EEShawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71
28EEChristopher 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
26EEChristopher 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
23EEChristopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
2002
22EEPeter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172
21EEMichael 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
19EEMichael 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
18EEWilliam G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-
17EEChristopher 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
15EEAlberto 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
13EEJonathan 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)
10EEHossein 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
8EENeville 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)
6EEJonathan 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
4EELiam 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
2EETony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55
1992
1EEMichael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)