Michael G. Hinchey

According to our database1, Michael G. Hinchey authored at least 233 papers between 1992 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A study of high school computer science teacher confidence levels.
Proceedings of the WiPSCE '20: Workshop in Primary and Secondary Computing Education, 2020

2019
Is There Anything That Isn't Software?
Proceedings of the 14th International Conference on Software Technologies, 2019

2018
Stability Analysis for Adaptive Behavior - (Position Paper).
Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, 2018

The ASSL Approach to Formal Specification of Self-managing Systems.
Proceedings of the Models, Mindsets, 2018

2017
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper).
Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

2016
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach.
Innov. Syst. Softw. Eng., 2016

Value-Driven V-Model: From Requirements Analysis to Acceptance Testing.
IEICE Trans. Inf. Syst., 2016

Good Change and Bad Change: An Analysis Perspective on Software Evolution.
LNCS Trans. Found. Mastering Chang., 2016

Integration and Promotion of Autonomy with the ARE Framework.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Engineering Requirements for Autonomy Features.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Knowledge Representation for Adaptive and Self-aware Systems.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Editorial.
Formal Aspects Comput., 2015

KnowLang: Knowledge Representation for Self-Adaptive Systems.
Computer, 2015

Dynamic Variability Meets Robotics.
Computer, 2015

Collaborative Context Features for Critical Systems.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Requirement-centric Reactive Testing for Safety-Related Automotive Software.
Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

The KnowLang Approach to Self-adaptation.
Proceedings of the Software, 2015

Evolving Critical Systems.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry.
J. Syst. Softw., 2014

Context Variability for Context-Aware Systems.
Computer, 2014

Formality, Agility, Security, and Evolution in Software Development.
Computer, 2014

Separation Kernel Verification: The Xtratum Case Study.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

8<sup>th</sup> International Workshop on Dynamic Software Product Lines (DSPL 2014).
Proceedings of the 18th International Software Product Line Conference, 2014

Formalizing Self-adaptive Clouds with KnowLang.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Evolving Critical Systems - Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Autonomy Requirements Engineering for Self-Adaptive Science Clouds.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Modeling Swarm Robotics with KnowLang.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Implementing Iterative Algorithms with SPARQL.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Formalizing eMobility with KnowLang.
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2014

Autonomy Requirements Engineering for Space Missions
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-3-319-09816-6, 2014

Formal Methods.
Proceedings of the Computing Handbook, 2014

2013
Sustainable Embedded Software Life-Cycle Planning.
IEEE Softw., 2013

Editorial.
Formal Aspects Comput., 2013

Autonomy Requirements Engineering.
Computer, 2013

Simplicity in IT: The Power of Less.
Computer, 2013

Implementing artificial awareness with KnowLang.
Proceedings of the IEEE International Systems Conference, 2013

7<sup>th</sup> International Workshop on Dynamic Software Product Lines (DSPL 2013).
Proceedings of the 17th International Software Product Line Conference, 2013

CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.
Proceedings of the SAFECOMP 2013, 2013

On the autonomy requirements for space missions.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Autonomy requirements engineering: a case study on the BepiColombo mission.
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2013

Dynamic Software Product Lines.
Proceedings of the Systems and Software Variability Management, 2013

2012
Multi-Agent Systems - Theory, Approaches and NASA Applications.
Proceedings of the Software Agents, Agent Systems and Their Applications, 2012

FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.
Scalable Comput. Pract. Exp., 2012

Swarm Technology at NASA: Building Resilient Systems.
IT Prof., 2012

The ASSL approach to specifying self-managing embedded systems.
Concurr. Comput. Pract. Exp., 2012

Awareness in Software-Intensive Systems.
Computer, 2012

Building Dynamic Software Product Lines.
Computer, 2012

Runtime variability for dynamic reconfiguration in wireless sensor network product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

6<sup>th</sup> International Workshop on Dynamic Software Product Lines (DSPL 2012).
Proceedings of the 16th International Software Product Line Conference, 2012

Verification of Adaptive Systems.
Proceedings of the Infotech@Aerospace 2012, 2012

Knowledge Representation for Cognitive Robotic Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Efficient Reasoning with Ambient Trees for Space Exploration.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Efficient Space Exploration through Laziness.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Knowledge representation for self-adaptive behavior.
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

The <i>AdaptiV</i> approach to verification of adaptive systems.
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions.
Proceedings of the Conquering Complexity, 2012

99% (Biological) Inspiration...
Proceedings of the Conquering Complexity, 2012

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems.
Proceedings of the Conquering Complexity, 2012

Ten Commandments of Formal Methods... Ten Years On.
Proceedings of the Conquering Complexity, 2012

2011
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods.
Softw. Syst. Model., 2011

Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181).
Dagstuhl Reports, 2011

Knowledge Representation and Reasoning for Intelligent Software Systems.
Computer, 2011

Where Software Engineering Meets ...
Computer, 2011

A Reliability Model for Complex Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Families (of Products) in Space.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011).
Proceedings of the Software Product Lines - 15th International Conference, 2011

An ASSL Approach to Handling Uncertainty in Self-adaptive Systems.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Developing Model-Checking Mechanisms for ASSL: An Experience Report.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Self-Awareness in Autonomous Nano-Technology Swarm Missions.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Representing Knowledge in Robotic Systems with KnowLang.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

A control theory based approach for self-healing of un-handled runtime exceptions.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

Self-Healing Approach in the FastFix Project.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Fundamentals of Designing Complex Aerospace Software Systems.
Proceedings of the Complex Systems Design & Management, 2011

Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles.
Proceedings of the Fourth International C* Conference on Computer Science & Software Engineering, 2011

2010
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-84628-233-1, 2010

Self-Managing Software.
Proceedings of the Encyclopedia of Software Engineering, 2010

Agent-Oriented Software Engineering.
Proceedings of the Encyclopedia of Software Engineering, 2010

Formal Methods.
Proceedings of the Encyclopedia of Software Engineering, 2010

Formal Requirements Specification.
Proceedings of the Encyclopedia of Software Engineering, 2010

The Challenge of Developing Autonomic Systems.
Computer, 2010

Fulfilling the Vision of Autonomic Computing.
Computer, 2010

Guest Editors' Introduction: Evolving Critical Systems.
Computer, 2010

Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

The Art of Developing Autonomic Systems - The ASSL Approach.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Formally Specifying Families of Space Exploration Missions.
Proceedings of the Software Product Lines - 14th International Conference, 2010

4th International Workshop on Dynamic Software Product Lines (DSPL 2010).
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Software Verification of Autonomic Systems Developed with ASSL.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Developing Self-Managing Embedded Systems with ASSL.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Preface.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Developing intelligent sensor networks: a technological convergence approach.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Prototyping home automation wireless sensor networks with ASSL.
Proceedings of the 7th International Conference on Autonomic Computing, 2010

Evolving Critical Systems: A Research Agenda for Computer-Based Systems.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Evolving Critical Systems.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

A formal approach to self-configurable swarm-based space-exploration systems.
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2009
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Guest Editor's introduction.
Int. J. Softw. Tools Technol. Transf., 2009

Celebrating Advancements in Aerospace.
J. Aerosp. Comput. Inf. Commun., 2009

Adaptive reflex autonomicity for real-time systems.
Innov. Syst. Softw. Eng., 2009

Developing Experimental Models for NASA Missions with ASSL
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

ASSL: A Software Engineering Approach to Autonomic Computing.
Computer, 2009

Model-Based Verification of Embedded Software.
Computer, 2009

A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model.
Computer, 2009

Formal Versus Agile: Survival of the Fittest.
Computer, 2009

Investment in Information and Communication Technologies in the Irish Education Sector.
Proceedings of the Education and Technology for a Better World, 2009

3<sup>rd</sup> International Workshop on Dynamic Software Product Lines: DSPL 2009.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Complexity Reduction in Developing Autonomic Systems with ASSL.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

A consumer/producer approach to risk-driven software reliability and testing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Model Checking for Autonomic Systems Specified with ASSL.
Proceedings of the First NASA Formal Methods Symposium, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.
Proceedings of the First NASA Formal Methods Symposium, 2009

On practical Service-Based Computing in distributed embedded automotive systems.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

A Complexity Reliability Model.
Proceedings of the ISSRE 2009, 2009

Organic Computing and Model-Driven Engineering in Embedded Systems.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.
Proceedings of the ICSOFT 2009, 2009

A Self-adaptive Architecture for Autonomic Systems Developed with ASSL.
Proceedings of the ICSOFT 2009, 2009

Integrating Formal Analysis and Design to Preserve Security Properties.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

We can't get there from here!: the paradox of developing new classes of complex systems.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008
Editorial : Enabling the Dream of Flight.
J. Aerosp. Comput. Inf. Commun., 2008

Introduction to special issue: selected papers from SEW-31.
Innov. Syst. Softw. Eng., 2008

Computer Celebrates NASA's 50th Anniversary.
Computer, 2008

Dynamic Software Product Lines.
Computer, 2008

ICT Research Experience.
Computer, 2008

Software engineering and formal methods.
Commun. ACM, 2008

Desert Island Column.
Autom. Softw. Eng., 2008

Risk-Driven Software Reliability and Testing.
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

2nd International Workshop on Dynamic Software Product Lines DSPL 2008.
Proceedings of the Software Product Lines, 12th International Conference, 2008

ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Towards an ASSL specification model for NASA swarm-based exploration missions.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Anything You Want to Ask about Software Reliability Engineering.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Encouraging the Uptake of Formal Methods Training in an Industrial Context.
Proceedings of the Leveraging Applications of Formal Methods, 2008

The Use of Formal Ontology to Specify Context in Ubiquitous Computing.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Towards Self-Managing Real-Time System.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Why Predicting Outliers in Software is a Good Thing to Do!
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

08141 Executive Summary - Organic Computing - Controlled Self-organization.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

08141 Abstracts Collection - Organic Computing - Controlled Self-organization.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL.
Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

2007
Designing and managing evolving systems using a MAS product line approach.
Sci. Comput. Program., 2007

Model-Based Evolution of Collaborative Agent-Based Systems.
J. Braz. Comput. Soc., 2007

Editorial: A Year of Aerospace Computing.
J. Aerosp. Comput. Inf. Commun., 2007

Building and implementing policies in autonomous and autonomic systems using MaCMAS.
Innov. Syst. Softw. Eng., 2007

Adding flexibility to workflows through incremental planning.
Innov. Syst. Softw. Eng., 2007

Swarms and Swarm Intelligence.
Computer, 2007

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.
Proceedings of the 2007 IEEE Swarm Intelligence Symposium, 2007

Agent-Based Software Systems Evolution via Model-Driven Architecture.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Michael G. Hinchey: Biological Inspiration.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Using Analogy to Promote Conceptual Modeling Reuse.
Proceedings of the ISoLA 2007, 2007

Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Experiences applying formal approaches in the development of swarm-based space exploration systems.
Int. J. Softw. Tools Technol. Transf., 2006

Next generation system and software architectures: Challenges from future NASA exploration missions.
Sci. Comput. Program., 2006

Self-Managing Software.
Computer, 2006

Special Issue Introduction: The IEEE Computer Society's 60th Anniversary.
Computer, 2006

Ten Commandments of Formal Methods ...Ten Years Later.
Computer, 2006

Achieving dependability in sensor networks through automated requirements-based programming.
Comput. Commun., 2006

Multi-agent system product lines: challenges and benefits.
Commun. ACM, 2006

Editorial: Engineering autonomic systems.
Artif. Intell. Rev., 2006

A requirements-based programming approach to developing a NASA autonomous ground control system.
Artif. Intell. Rev., 2006

Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Enhanced Requirements-Based Programming for Embedded Systems Design.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Software Assurance Research Infusion: The NASA Experience.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Completing and Adapting Models of Biological Processes.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

99% (Biological) Inspiration ....
Proceedings of the Biologically Inspired Cooperative Computing, 2006

Software engineering and swarm-based systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Biologically-Inspired Concepts for Self-Management of Complexity.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

Building the Core Architecture of a NASA Multiagent System Product Line.
Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems.
Trans. SDPS, 2005

Introduction to Innovations in System and Software Engineering.
Innov. Syst. Softw. Eng., 2005

Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments.
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

Some Verification Issues at NASA Goddard Space Flight Center.
Proceedings of the Verified Software: Theories, 2005

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Self*- Properties in NASA Mission.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Autonomous and Autonomic Swarms.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Towards an automated development methodology for dependable systems with application to sensor networks.
Proceedings of the 24th IEEE International Performance Computing and Communications Conference, 2005

Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Verifying Large Numbers of Cooperating Adaptive Agents.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Towards Autonomic Management of NASA Missions.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Challenges of Developing New Classes of NASA Self-Managing Missions.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Formal Requirements-Based Programming for Complex Systems.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Autonomicity of NASA Missions.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Towards Formal Specification and Generation of Autonomic Policies.
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

Autonomic Computing - Panacea or Poppycock?
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Why Computer-Based Systems Should Be Autonomic.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

A Formal Approach to Requirements-Based Programming.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Autonomicity An Antidote for Complexity?
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

An Approach to Generating and Verifying Complex Scripts and Procedures.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004
NASA's Swarm Missions: The Challenge of Building Autonomous Software.
IT Prof., 2004

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Methods for Autonomic and Swarm-based Systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Verification of Nasa Emergent Systems.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Model-Driven Architecture for Agent-Based Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Formalism Challenges of the Cougaar Model Driven Architecture.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Asteroid Exploration with Autonomic Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Verification of Emergent Behaviors in Swarm-based Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Towards a Model-Driven Architecture for Autonomic Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Formal Approaches to Intelligent Swarms.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002
Confessions of a Formal Methodist.
Proceedings of the Safety Critical Systems and Software 2002, 2002

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2000
Experience Using Formal Methods for Specifying a Multi-Agent System.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Using the Right Tool for the Job.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Panel Discussion: Future Directions.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
Engineering complex computer systems.
Microprocess. Microsystems, 1999

1998
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997
The use of industrial-strength formal methods.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Formal Models and the Specification Process.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Challenges in the successful transfer of formal methods technology into industrial applications.
Inf. Softw. Technol., 1996

An Invitation to Formal Methods.
Computer, 1996

1995
Seven More Myths of Formal Methods.
IEEE Softw., 1995

Report on Z user meeting (ZUM '94).
Inf. Softw. Technol., 1995

Editorial.
Inf. Softw. Technol., 1995

Ten Commandments of Formal Methods.
Computer, 1995

Introducing formal methods through role-playing.
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

Concurrent systems - formal development in CSP.
McGrawhill international series in software engineering, McGraw-Hill, ISBN: 978-0-07-707649-8, 1995

1994
Untangling the World-Wide Web.
Proceedings of the 12th Annual International Conference on Documentation: technical communications at the great divide, 1994

1993
Documents are programs.
Proceedings of the 11th Annual International Conference on Systems Documentation, 1993

Structured and Formal Methods: An Investigative Framework.
Proceedings of the Studies of Software Design, 1993

1992
Towards a canonical specification of document structures.
Proceedings of the 10th Annual International Conference on Systems Documentation, 1992


  Loading...