WorldCat Identities

Hinchey, Michael G. (Michael Gerard) 1969-

Overview
Works: 71 works in 369 publications in 1 language and 9,635 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator
Classifications: QA76.9.F67, 005.131
Publication Timeline
.
Most widely held works by Michael G Hinchey
Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers by Michael G Hinchey( Book )

41 editions published between 2001 and 2005 in English and held by 416 WorldCat member libraries worldwide

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance
Understanding formal methods by Jean François Monin( Book )

11 editions published between 2002 and 2003 in English and held by 236 WorldCat member libraries worldwide

This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up-to-date with the latest techniques
ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings by J. P Bowen( Book )

16 editions published in 1997 in English and held by 228 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by J. P Bowen( Book )

19 editions published in 1998 in English and held by 227 WorldCat member libraries worldwide

Annotation
Applications of formal methods( Book )

12 editions published between 1995 and 1996 in English and held by 211 WorldCat member libraries worldwide

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance
ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings by J. P Bowen( Book )

11 editions published in 1995 in English and held by 180 WorldCat member libraries worldwide

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community
Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers by Walt Truszkowski( Book )

7 editions published between 2003 and 2006 in English and held by 163 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Radical Agent Concepts, WRAC 2002, held in McLean, VA, USA in January 2002. The 32 revised full papers presented together with an invited article, 6 poster papers, and 2 panel reports were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on adaptation and learning, agent-based software engineering, agent architectures, agent communication and coordination, and innovative applications
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings by Jin Song Dong( Book )

13 editions published in 2007 in English and held by 98 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004. The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains
Agent technology from a formal perspective by Chris Rouff( Book )

11 editions published between 2005 and 2006 in English and held by 67 WorldCat member libraries worldwide

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS '00, '02 & '04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an invaluable in-depth view of the key issues related to agent technology from a formal perspective, for both researchers and practitioners. This is a relatively new interdisciplinary field, and there is enormous room for further growth The book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners
Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, Second IFIP TC10 International Conference on Biologically-inspired Collaborative Computing, September 8-9, 2008, Milano, Italy by Mike Hinchey( Book )

20 editions published between 2008 and 2011 in English and held by 58 WorldCat member libraries worldwide

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 by IEEE International Conference on Formal Engineering Methods( Book )

6 editions published in 1997 in English and held by 53 WorldCat member libraries worldwide

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 by Michael G Hinchey( Book )

19 editions published between 2010 and 2014 in English and held by 53 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and the 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 18 revised full papers presented at DIPES were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on specification and modeling; fault tolerance; verification and validation; code-generation, simulation and timing analysis; and distributed architectures and design support. The 8 revised full papers presented at BICC were carefully reviewed and selected from numerous submissions. They deal with organic computing, autonomic computing, self-organizing systems, pervasive computing and related areas
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000 by IEEE International Conference on Formal Engineering Methods( Book )

6 editions published in 2000 in English and held by 36 WorldCat member libraries worldwide

Experience from the DARPA Urban Challenge by Chris Rouff( Book )

12 editions published between 2011 and 2012 in English and held by 28 WorldCat member libraries worldwide

Annotation
Conquering complexity by Michael G Hinchey( Book )

9 editions published between 2011 and 2012 in English and held by 27 WorldCat member libraries worldwide

"Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. The problem is fundamentally one of complexity: software is fundamentally complex because it must be precise. Problems that appear to be specified quite easily in plain language become far more complex when written in a more formal notation, such as computer code. Comparisons with other engineering disciplines are deceptive. One cannot easily increase the factor of safety of software in the same way that one could in building a steel structure, for example. Software is typically built assuming perfection, often without adequate safety nets in case the unthinkable happens. In such circumstances it should not be surprising to find out that (seemingly) minor errors have the potential to cause entire software systems to collapse"--Provided by publisher
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by George Eleftherakis( Book )

3 editions published in 2012 in English and held by 17 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods
Autonomy requirements engineering for space missions by Emil Vassev( Book )

8 editions published in 2014 in English and held by 3 WorldCat member libraries worldwide

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE's ability to handle autonomy requirements
Nature of Computation and Communication International Conference, Ictcc 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers by Phan Cong-Vinh( )

1 edition published in 2015 in English and held by 0 WorldCat member libraries worldwide

This book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam. The 36 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.34 for Agent tech ... to 0.73 for ZUM '95, t ...)

Understanding formal methods
Alternative Names
Hinchey, Michael

Hinchey, Michael G.

Hinchey, Mike.

Hinchey, Mike 1969-

Michael Hinchey Computer scientist

Michael Hinchey informaticus uit Ierland

Languages
English (241)

Covers
Understanding formal methodsZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedingsZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedingsApplications of formal methodsZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedingsInnovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papersInnovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papersFormal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings