| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, Jog Coelho Garcia, Walid Maalej |
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.  |
Scalable Computing: Practice and Experience  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey |
Swarm Technology at NASA: Building Resilient Systems. |
IT Professional |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Emil Vassev |
Multi-Agent Systems - Theory, Approaches and NASA Applications. |
Software Agents, Agent Systems and Their Applications |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Knowledge Representation for Cognitive Robotic Systems. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey |
Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey |
A control theory based approach for self-healing of un-handled runtime exceptions. |
ICAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés |
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Knowledge Representation and Reasoning for Intelligent Software Systems. |
IEEE Computer |
2011 |
DBLP DOI BibTeX RDF |
Knowledge representation, Intelligent systems, Software technologies |
| 1 | Carl K. Chang, David M. Weiss, Mike Hinchey |
Where Software Engineering Meets ... |
IEEE Computer |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Gaudin, Mike Hinchey |
Self-Healing Approach in the FastFix Project. |
FedCSIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey |
Families (of Products) in Space. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Developing Model-Checking Mechanisms for ASSL: An Experience Report. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon |
Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. |
C3S2E |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Fundamentals of Designing Complex Aerospace Software Systems. |
CSDM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro |
Guest Editors' Introduction: Evolving Critical Systems. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Security, Biometrics |
| 1 | Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey |
Fulfilling the Vision of Autonomic Computing. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Autonomic computing, Adaptive systems, Systems engineering, Self-managing systems |
| 1 | Emil Vassev, Mike Hinchey |
The Challenge of Developing Autonomic Systems. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Mike Hinchey, Emil Vassev |
Formal Requirements Specification. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roy Sterritt, Mike Hinchey, Emil Vassev |
Self-Managing Software. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Howell R. Jordan, Mike Hinchey, Rem W. Collier |
Agent-Oriented Software Engineering. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mike Hinchey, Jonathan P. Bowen, Emil Vassev |
Formal Methods. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
4th International Workshop on Dynamic Software Product Lines (DSPL 2010). |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey |
Formally Specifying Families of Space Exploration Missions. |
SPLC Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mike Hinchey, Lorcan Coyle |
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
evolving critical systems (ECS), softwware evolution |
| 1 | Mike Hinchey, Lorcan Coyle |
Evolving Critical Systems. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
ASSL, DMF, sensor networks, architecture, prototyping |
| 1 | Emil Vassev, Mike Hinchey, Paddy Nixon |
Prototyping home automation wireless sensor networks with ASSL. |
ICAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis |
Preface. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.) |
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 |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Paddy Nixon |
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Emil Vassev |
The Art of Developing Autonomic Systems - The ASSL Approach. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Software Verification of Autonomic Systems Developed with ASSL. |
Monterey Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey |
Integrating Formal Analysis and Design to Preserve Security Properties. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Sterritt, Mike Hinchey |
Adaptive reflex autonomicity for real-time systems. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
ASSL: A Software Engineering Approach to Autonomic Computing. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hesham Shokry, Mike Hinchey |
Model-Based Verification of Embedded Software. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey |
A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey |
Formal Versus Agile: Survival of the Fittest. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
Software engineering, Formal methods, Agile methods |
| 1 | Emil Vassev, Mike Hinchey |
Developing Experimental Models for NASA Missions with ASSL |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Tiziana Margaria, Bernhard Steffen |
Guest Editor's introduction. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
3rd International Workshop on Dynamic Software Product Lines: DSPL 2009. |
SPLC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Complexity Reduction in Developing Autonomic Systems with ASSL. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman F. Schneidewind, Mike Hinchey |
A consumer/producer approach to risk-driven software reliability and testing. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire McInerney, Mike Hinchey, Eamonn McQuade |
Investment in Information and Communication Technologies in the Irish Education Sector. |
WCCE |
2009 |
DBLP DOI BibTeX RDF |
LGSSE, Networking and Collaborations, Programming and Problem Solving, Education, ICT, Informatics, Outreach |
| 1 | Mike Hinchey, Roy Sterritt |
Organic Computing and Model-Driven Engineering in Embedded Systems. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman F. Schneidewind, Mike Hinchey |
A Complexity Reliability Model. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hesham Shokry, Mike Hinchey |
On practical Service-Based Computing in distributed embedded automotive systems. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey |
Introduction to special issue: selected papers from SEW-31. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff |
You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. |
IMCSIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey |
Encouraging the Uptake of Formal Methods Training in an Industrial Context. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Koogan Breitman, Michael G. Hinchey |
The Use of Formal Ontology to Specify Context in Ubiquitous Computing. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman F. Schneidewind, Michael G. Hinchey |
Risk-Driven Software Reliability and Testing. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
software reliability, test criteria, software risk |
| 1 | Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong |
Anything You Want to Ask about Software Reliability Engineering. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey |
Desert Island Column. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Desert Island Books |
| 1 | Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria |
Software engineering and formal methods. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
Dynamic Software Product Lines. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
domain engineering, software technologies, product line engineering, variability management, application engineering |
| 1 | Mike Hinchey, Paul A. Curto, Scott Hamilton |
Computer Celebrates NASA's 50th Anniversary. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Koogan Breitman, Mike Hinchey |
ICT Research Experience. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. |
SASO Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
2nd International Workshop on Dynamic Software Product Lines DSPL 2008. |
SPLC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Sterritt, Mike Hinchey |
Towards Self-Managing Real-Time System. |
IMCSIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Joey Paquet |
Towards an ASSL specification model for NASA swarm-based exploration missions. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
swarm missions, autonomic computing, formal specification language |
| 1 | Mike Hinchey, Emil Vassev |
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. |
ATC |
2008 |
DBLP DOI BibTeX RDF |
Autonomic computing, specification language, system modeling |
| 1 | Norman F. Schneidewind, Mike Hinchey |
Why Predicting Outliers in Software is a Good Thing to Do! |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquí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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés |
Building and implementing policies in autonomous and autonomic systems using MaCMAS. |
ISSE |
2007 |
DBLP DOI BibTeX RDF |
Autonomic computing, Agent-oriented software engineering, Policy-based management |
| 1 | Abí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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn A. Bohner, Denis Gracanin, Michael G. Hinchey, Mohamed Eltoweissy |
Model-Based Evolution of Collaborative Agent-Based Systems. |
J. Braz. Comp. Soc. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey |
Editorial : A Year of Aerospace Computing pages - (Editorial). |
JACIC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff |
Swarms and Swarm Intelligence. |
IEEE Computer |
2007 |
DBLP DOI BibTeX RDF |
swarm technologies, BioTracking, software technologies |
| 1 | Michael G. Hinchey |
Michael G. Hinchey: Biological Inspiration. |
SASO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.) |
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings |
ICFEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael 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 |
DBLP DOI BibTeX RDF |
autonomous nano-technology swarm, reliability, autonomic computing, self-healing |
| 1 | Michael 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Shawn A. Bohner, Michael G. Hinchey, Boby George |
Agent-Based Software Systems Evolution via Model-Driven Architecture. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roy 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin |
Achieving dependability in sensor networks through automated requirements-based programming. |
Computer Communications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés |
Multi-agent system product lines: challenges and benefits. |
Commun. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, Roy Sterritt |
Self-Managing Software. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Selfware, Self-managing software, Autonomic computing, Software technologies |
| 1 | Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey |
Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
60th Anniversary Celebration, Software engineering, IEEE Computer Society |
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments of Formal Methods ...Ten Years Later. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Software engineering, Unified Modeling Language, Formal methods, Standards |
| 1 | James 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. |
2006 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Validation, Autonomous systems, Autonomic systems, Automatic code generation, NASA |
| 1 | Roy Sterritt, Michael G. Hinchey |
Editorial: Engineering autonomic systems. |
Artif. Intell. Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash |
Experiences applying formal approaches in the development of swarm-based space exploration systems. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Validation, Swarm |
| 1 | Yuan-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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou |
Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquí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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen |
Enhanced Requirements-Based Programming for Embedded Systems Design. |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.) |
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 |
WRAC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael G. Hinchey, Roy Sterritt |
99% (Biological) Inspiration .... |
BICC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen |
Completing and Adapting Models of Biological Processes. |
BICC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquí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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
Software Assurance Research Infusion: The NASA Experience. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Sterritt, Michael G. Hinchey |
Biologically-Inspired Concepts for Self-Management of Complexity. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")