WorldCat Identities

Hinchey, Michael G. (Michael Gerard) 1969-

Overview
Works: 56 works in 159 publications in 1 language and 6,826 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator
Classifications: QA76.9.F67, 005.1
Publication Timeline
.
Most widely held works by Michael G Hinchey
Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers by Michael G Hinchey( )
8 editions published between 2004 and 2005 in English and held by 511 WorldCat member libraries worldwide
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 by International Workshop on Radical Agent Concepts( )
5 editions published in 2006 in English and held by 455 WorldCat member libraries worldwide
Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings by Jim Davies( )
5 editions published in 2007 in English and held by 438 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis
Agent technology from a formal perspective by Chris Rouff( )
9 editions published between 2005 and 2006 in English and held by 425 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
Conquering complexity by Mike Hinchey( )
5 editions published between 2011 and 2012 in English and held by 391 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( )
2 editions published in 2012 in English and held by 295 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
Experience from the DARPA Urban Challenge by Chris Rouff( )
3 editions published in 2012 in English and held by 272 WorldCat member libraries worldwide
Experience from the DARPA Urban Challenge provides details of the types of systems, software and processes that were used to develop the complex unmanned vehicles that participated in the DARPA Urban Challenge. The vehicle developers explain how autonomous vehicle software in this race was designed and implemented. The chapters range from system and software architecture, navigation, path planning, steering, perception, engineering autonomous systems, and testing and performance evaluation.This book is based on papers from entrants in the Urban Challenge. The content is broken into five parts:an introduction to the DARPA Urban Challenge; systems and software architectures; navigation; control and sensors; anddevelopment and test.Experience from the DARPA Urban Challenge provides graduate students in robotics and engineering professionals with an insight into multiple ways of approaching the development of autonomous vehicles
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 )
4 editions published in 1997 in English and held by 267 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
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 International Workshop on Radical Agent Concepts( Book )
3 editions published in 2003 in English and held by 253 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 approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers by FAABS 2002( Book )
3 editions published in 2003 in English and held by 249 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
Understanding formal methods by Jean François Monin( Book )
7 editions published between 2002 and 2003 in English and held by 221 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 '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings by J. P Bowen( Book )
4 editions published in 1995 in English and held by 193 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
Applications of formal methods ( Book )
7 editions published between 1995 and 1996 in English and held by 190 WorldCat member libraries worldwide
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance
Autonomy requirements engineering for space missions by Emil Vassev( )
1 edition published in 2014 in English and held by 188 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
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( )
3 editions published in 1997 in English and held by 163 WorldCat member libraries worldwide
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by International Conference of Z Users( Book )
2 editions published in 1998 in English and held by 161 WorldCat member libraries worldwide
Teaching and learning formal methods ( Book )
3 editions published in 1996 in English and held by 149 WorldCat member libraries worldwide
Second International Conference on Formal Engineering Methods proceedings : December 9-11, 1998, Brisbane, Australia by IEEE International Conference on Formal Engineering Methods( )
4 editions published between 1998 and 2002 in English and held by 140 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.63 for Agent tech ... to 0.90 for ZUM'98 : t ...)
Alternative Names
Hinchey, Michael
Hinchey, Michael G.
Hinchey, Mike.
Hinchey, Mike 1969-
Languages
English (93)
Covers