WorldCat Identities

Hinchey, Michael G. (Michael Gerard) 1969-

Overview
Works: 51 works in 338 publications in 1 language and 8,371 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Other
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 423 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc
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 )

25 editions published between 2003 and 2006 in English and held by 301 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
Understanding formal methods by Jean François Monin( Book )

10 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'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by J. P Bowen( Book )

17 editions published in 1998 in English and held by 230 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation
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 )

15 editions published in 1997 in English and held by 230 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
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 )

13 editions published in 1995 in English and held by 187 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
Industrial-strength formal methods in practice by Michael G Hinchey( Book )

10 editions published in 1999 in English and held by 146 WorldCat member libraries worldwide

"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket
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 )

12 editions published in 2007 in English and held by 88 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting
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
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 )

21 editions published between 2010 and 2014 in English and held by 63 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
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 Michael G Hinchey( Book )

20 editions published between 2008 and 2011 in English and held by 63 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
Seventh IEEE International Conference on Engineering of Complex Computer Systems : proceedings : Skövde, Sweden, June 11-13, 2001 by IEEE International Conference on Engineering of Complex Computer Systems( Book )

8 editions published between 2001 and 2002 in English and held by 50 WorldCat member libraries worldwide

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 )

8 editions published in 2000 in English and held by 37 WorldCat member libraries worldwide

Conquering complexity by Michael G Hinchey( Book )

9 editions published between 2011 and 2012 in English and held by 28 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
Experience from the DARPA Urban Challenge by Chris Rouff( Book )

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

Annotation
Autonomy Requirements Engineering for Space Missions by Emil Vassev( Book )

7 editions published in 2014 in English and held by 18 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
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
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England by International Conference on Software Engineering and Formal Methods( Book )

3 editions published in 2007 in English and held by 11 WorldCat member libraries worldwide

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 thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 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.64 (from 0.34 for Agent tech ... to 0.74 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 (258)

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