default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael G. Hinchey
Mike Hinchey
Person information
- affiliation: University of Limerick, Irish Software Engineering Research Centre (Lero), Ireland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c157]Bernhard Steffen, Mike Hinchey:
The Combined Power of Research, Education and Dissemination. The Combined Power of Research, Education, and Dissemination 2025: 1-18- [e20]Mike Hinchey, Bernhard Steffen
:
The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 15240, Springer 2025, ISBN 978-3-031-73886-9 [contents] - 2024
- [j67]Mike Hinchey:
Ethics and Computing. Computer 57(2): 21-23 (2024) - 2023
- [j66]Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra:
Guest Editorial: Intelligence for systems and software engineering. Innov. Syst. Softw. Eng. 19(1): 1-4 (2023) - [c156]Mike Hinchey, Emil Vassev:
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods 2023: 367-392 - [c155]Radha Krishna Bar, Somnath Mukhopadhyay, Debasish Chakraborty, Mike Hinchey:
Dimension Reduction in Hyperspectral Image Using Single Layer Perceptron Neural Network. CICBA (1) 2023: 93-106 - 2022
- [j65]Loveleen Gaur, Gurinder Singh, Mike Hinchey, Gurmeet Singh, Vishal Jain:
Applications of computational intelligence techniques to software engineering problems. Innov. Syst. Softw. Eng. 18(2): 231-232 (2022) - 2020
- [c154]Clare McInerney, Chris Exton, Mike Hinchey:
A study of high school computer science teacher confidence levels. WiPSCE 2020: 26:1-26:2
2010 – 2019
- 2019
- [c153]Michael G. Hinchey:
Is There Anything That Isn't Software? ICSOFT 2019: 7 - 2018
- [c152]Emil Vassev, Mike Hinchey:
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta 2018: 268-296 - [c151]Emil Vassev, Mike Hinchey:
Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS 2018: 481-487 - 2017
- [c150]Emil Vassev, Mike Hinchey:
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS 2017: 366-372 - [e19]Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog:
Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7 [contents] - [e18]Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu:
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3681-7 [contents] - [e17]Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria:
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science 10139, Springer 2017, ISBN 978-3-319-51962-3 [contents] - 2016
- [j64]Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey:
Good Change and Bad Change: An Analysis Perspective on Software Evolution. LNCS Trans. Found. Mastering Chang. 1: 90-112 (2016) - [j63]Youngsub Han, Dong-hyun Lee, Byoungju Choi, Mike Hinchey, Hoh Peter In:
Value-Driven V-Model: From Requirements Analysis to Acceptance Testing. IEICE Trans. Inf. Syst. 99-D(7): 1776-1785 (2016) - [j62]Emil Vassev, Mike Hinchey:
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12(2): 95-107 (2016) - [c149]Emil Vassev, Mike Hinchey:
Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) 2016: 689-703 - 2015
- [j61]Emil Vassev, Mike Hinchey:
KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer 48(2): 81-84 (2015) - [j60]Davide Brugali, Rafael Capilla, Mike Hinchey:
Dynamic Variability Meets Robotics. Computer 48(12): 94-97 (2015) - [j59]George Eleftherakis, Michael J. Butler, Mike Hinchey:
Editorial. Formal Aspects Comput. 27(3): 473 (2015) - [c148]Mike Hinchey:
Evolving Critical Systems. APSEC 2015: 1 - [c147]Emil Vassev, Mike Hinchey:
The KnowLang Approach to Self-adaptation. Software, Services, and Systems 2015: 676-692 - [c146]David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey:
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS 2015: 120-129 - [c145]Anila Mjeda, Mike Hinchey:
Requirement-centric Reactive Testing for Safety-Related Automotive Software. RET@ICSE 2015: 5-8 - [c144]Rafael Capilla, Mike Hinchey, Francisco J. Díaz:
Collaborative Context Features for Critical Systems. VaMoS 2015: 43 - [p10]Emil Vassev, Mike Hinchey:
Knowledge Representation for Adaptive and Self-aware Systems. The ASCENS Approach 2015: 221-247 - [p9]Emil Vassev, Mike Hinchey:
Engineering Requirements for Autonomy Features. The ASCENS Approach 2015: 379-403 - [e16]Phan Cong Vinh, Emil Vassev, Mike Hinchey:
Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 144, Springer 2015, ISBN 978-3-319-15391-9 [contents] - 2014
- [b4]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Space Missions. NASA Monographs in Systems and Software Engineering, Springer 2014, ISBN 978-3-319-09815-9, pp. 1-187 - [j58]Rafael Capilla, Óscar Ortiz, Mike Hinchey:
Context Variability for Context-Aware Systems. Computer 47(2): 85-87 (2014) - [j57]Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan:
Formality, Agility, Security, and Evolution in Software Development. Computer 47(10): 86-89 (2014) - [j56]Rafael Capilla, Jan Bosch, Pablo Trinidad, Antonio Ruiz Cortés, Mike Hinchey:
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. J. Syst. Softw. 91: 3-23 (2014) - [c143]Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey:
Formalizing eMobility with KnowLang. C3S2E 2014: 4:1-4:8 - [c142]Robert W. Techentin, Barry K. Gilbert, Adam Lugowski, Kevin Deweese, John R. Gilbert, Eric Dull, Mike Hinchey, Steven P. Reinhardt:
Implementing Iterative Algorithms with SPARQL. EDBT/ICDT Workshops 2014: 216-223 - [c141]Emil Vassev, Mike Hinchey:
Modeling Swarm Robotics with KnowLang. ICTCC 2014: 13-22 - [c140]Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey:
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC 2014: 23-32 - [c139]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops 2014: 1344-1353 - [c138]Mike Hinchey, Tiziana Margaria:
Evolving Critical Systems - Track Introduction. ISoLA (1) 2014: 1-3 - [c137]Emil Vassev, Mike Hinchey, Philip Mayer:
Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) 2014: 117-130 - [c136]Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid:
8th International Workshop on Dynamic Software Product Lines (DSPL 2014). SPLC 2014: 355 - [c135]David Sanán, Andrew Butterfield, Mike Hinchey:
Separation Kernel Verification: The Xtratum Case Study. VSTTE 2014: 133-149 - [p8]Jonathan P. Bowen, Michael G. Hinchey:
Formal Methods. Computing Handbook, 3rd ed. (1) 2014: 71-25 - 2013
- [j55]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering. Computer 46(8): 82-84 (2013) - [j54]Tiziana Margaria, Mike Hinchey:
Simplicity in IT: The Power of Less. Computer 46(11): 23-25 (2013) - [j53]Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. Formal Aspects Comput. 25(3): 343 (2013) - [j52]Dong-hyun Lee, Hoh Peter In, Keun Lee, Sooyong Park, Mike Hinchey:
Sustainable Embedded Software Life-Cycle Planning. IEEE Softw. 30(4): 72-80 (2013) - [c134]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E 2013: 31-41 - [c133]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering. IRI 2013: 175-184 - [c132]Emil Vassev, Mike Hinchey:
On the autonomy requirements for space missions. ISORC 2013: 1-10 - [c131]Anila Mjeda, Mike Hinchey:
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. CARS@SAFECOMP 2013 - [c130]Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid:
7th International Workshop on Dynamic Software Product Lines (DSPL 2013). SPLC 2013: 271 - [c129]Emil Vassev, Mike Hinchey:
Implementing artificial awareness with KnowLang. SysCon 2013: 580-586 - [p7]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
Dynamic Software Product Lines. Systems and Software Variability Management 2013: 253-260 - 2012
- [j51]Mike Hinchey, Sooyong Park, Klaus Schmid:
Building Dynamic Software Product Lines. Computer 45(10): 22-26 (2012) - [j50]Emil Vassev, Mike Hinchey:
Awareness in Software-Intensive Systems. Computer 45(12): 84-87 (2012) - [j49]Emil Vassev, Mike Hinchey:
The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. 24(16): 1860-1878 (2012) - [j48]Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey:
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14(2): 36-42 (2012) - [j47]Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej:
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Comput. Pract. Exp. 13(1) (2012) - [c128]Emil Vassev, Mike Hinchey, Benoit Gaudin:
Knowledge representation for self-adaptive behavior. C3S2E 2012: 113-117 - [c127]Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey:
The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122 - [c126]Emil Vassev, Mike Hinchey:
Efficient Space Exploration through Laziness. ICCASA 2012: 168-175 - [c125]Emil Vassev, Mike Hinchey:
Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA 2012: 176-182 - [c124]Emil Vassev, Mike Hinchey:
Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163 - [c123]Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens:
Verification of Adaptive Systems. Infotech@Aerospace 2012 - [c122]Óscar Ortiz, Ana Belén García, Rafael Capilla, Jan Bosch, Mike Hinchey:
Runtime variability for dynamic reconfiguration in wireless sensor network product lines. SPLC (2) 2012: 143-150 - [c121]Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid:
6th International Workshop on Dynamic Software Product Lines (DSPL 2012). SPLC (1) 2012: 290 - [p6]Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity 2012: 159-176 - [p5]Mike Hinchey, Roy Sterritt:
99% (Biological) Inspiration... Conquering Complexity 2012: 177-190 - [p4]Joaquín Peña, Renato Levy, Mike Hinchey, Antonio Ruiz Cortés:
Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions. Conquering Complexity 2012: 191-214 - [p3]Jonathan P. Bowen, Mike Hinchey:
Ten Commandments of Formal Methods... Ten Years On. Conquering Complexity 2012: 237-251 - [p2]Mike Hinchey, Emil Vassev:
Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202 - [e15]Mike Hinchey, Lorcan Coyle:
Conquering Complexity. Springer 2012, ISBN 978-1-4471-2296-8 [contents] - [e14]George Eleftherakis, Mike Hinchey, Mike Holcombe:
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, ISBN 978-3-642-33825-0 [contents] - [e13]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey:
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2 [contents] - 2011
- [j46]Emil Vassev, Mike Hinchey:
Knowledge Representation and Reasoning for Intelligent Software Systems. Computer 44(8): 96-99 (2011) - [j45]Carl K. Chang, David M. Weiss, Mike Hinchey:
Where Software Engineering Meets ... Computer 44(10): 17-18 (2011) - [j44]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. Softw. Syst. Model. 10(1): 55-62 (2011) - [c120]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: 35-42 - [c119]Emil Vassev, Mike Hinchey:
Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80 - [c118]Benoit Gaudin, Mike Hinchey:
Self-Healing Approach in the FastFix Project. FedCSIS 2011: 957-964 - [c117]Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey:
A control theory based approach for self-healing of un-handled runtime exceptions. ICAC 2011: 217-220 - [c116]Emil Vassev, Mike Hinchey:
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops 2011: 91-105 - [c115]Emil Vassev, Mike Hinchey:
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops 2011: 110-119 - [c114]Emil Vassev, Mike Hinchey:
Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops 2011: 133-136 - [c113]Emil Vassev, Mike Hinchey:
Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34 - [c112]Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson:
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW 2011: 11-18 - [c111]Mike Hinchey:
Families (of Products) in Space. SPLC 2011: 8-9 - [c110]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). SPLC 2011: 335 - [c109]Norman F. Schneidewind, Mike Hinchey:
A Reliability Model for Complex Systems. SSIRI (Companion) 2011: 85-94 - [i3]Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey:
Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). Dagstuhl Reports 1(5): 1-28 (2011) - 2010
- [b3]Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt:
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software Engineering, Springer 2010, ISBN 978-1-84628-232-4, pp. 1-289 - [j43]Simon Dobson, Roy Sterritt, Paddy Nixon, Mike Hinchey:
Fulfilling the Vision of Autonomic Computing. Computer 43(1): 35-41 (2010) - [j42]Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro:
Guest Editors' Introduction: Evolving Critical Systems. Computer 43(5): 28-33 (2010) - [j41]Emil Vassev, Mike Hinchey:
The Challenge of Developing Autonomic Systems. Computer 43(12): 93-96 (2010) - [c108]Emil Vassev, Mike Hinchey, Paddy Nixon:
A formal approach to self-configurable swarm-based space-exploration systems. AHS 2010: 83-90 - [c107]Emil Vassev, Mike Hinchey:
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83 - [c106]Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems. ECBS 2010: 4 - [c105]Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. ECBS 2010: 430-435 - [c104]Emil Vassev, Mike Hinchey, Paddy Nixon:
Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72 - [c103]Emil Vassev, Mike Hinchey, Paddy Nixon:
Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE 2010: 66-71 - [c102]Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis:
Preface. DIPES/BICC 2010: 219 - [c101]Emil Vassev, Mike Hinchey:
Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops 2010: 81-89 - [c100]Emil Vassev, Mike Hinchey:
Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16 - [c99]Mike Hinchey:
Formally Specifying Families of Space Exploration Missions. SPLC Workshops 2010: 73-74 - [c98]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
4th International Workshop on Dynamic Software Product Lines (DSPL 2010). SPLC 2010: 523 - [c97]Emil Vassev, Mike Hinchey, Paddy Nixon:
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE 2010: 3-8 - [c96]Mike Hinchey, Emil Vassev:
The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12 - [e12]Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf:
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. IFIP Advances in Information and Communication Technology 329, Springer 2010, ISBN 978-3-642-15233-7 [contents] - [r5]Howell R. Jordan, Mike Hinchey, Rem W. Collier:
Agent-Oriented Software Engineering. Encyclopedia of Software Engineering 2010: 14-28 - [r4]Mike Hinchey, Jonathan P. Bowen, Emil Vassev:
Formal Methods. Encyclopedia of Software Engineering 2010: 308-320 - [r3]Jonathan P. Bowen, Mike Hinchey, Emil Vassev:
Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332 - [r2]Roy Sterritt, Mike Hinchey, Emil Vassev:
Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081
2000 – 2009
- 2009
- [j40]Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey:
A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. Computer 42(2): 100-102 (2009) - [j39]Hesham Shokry, Mike Hinchey:
Model-Based Verification of Embedded Software. Computer 42(4): 53-59 (2009) - [j38]Emil Vassev, Mike Hinchey:
ASSL: A Software Engineering Approach to Autonomic Computing. Computer 42(6): 90-93 (2009) - [j37]Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey:
Formal Versus Agile: Survival of the Fittest. Computer 42(9): 37-45 (2009) - [j36]Roy Sterritt, Mike Hinchey:
Adaptive reflex autonomicity for real-time systems. Innov. Syst. Softw. Eng. 5(2): 107-115 (2009) - [j35]Mike Hinchey:
Celebrating Advancements in Aerospace. J. Aerosp. Comput. Inf. Commun. 6(1): 1 (2009) - [j34]Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. 11(3): 173-174 (2009) - [c95]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: 219-233 - [c94]Mike Hinchey:
We can't get there from here!: the paradox of developing new classes of complex systems. CSIIRW 2009: 3 - [c93]Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey:
Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10 - [c92]Emil Vassev, Mike Hinchey, Aaron J. Quigley:
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168 - [c91]Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) 2009: 251-256 - [c90]Mike Hinchey, Roy Sterritt:
Organic Computing and Model-Driven Engineering in Embedded Systems. ISORC 2009: 95-96 - [c89]Norman F. Schneidewind, Mike Hinchey:
A Complexity Reliability Model. ISSRE 2009: 1-10 - [c88]Hesham Shokry, Mike Hinchey:
On practical Service-Based Computing in distributed embedded automotive systems. MOMPES 2009: 22-30 - [c87]Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods 2009: 16-25 - [c86]Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen:
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75 - [c85]Norman F. Schneidewind, Mike Hinchey:
A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538 - [c84]Emil Vassev, Mike Hinchey:
Complexity Reduction in Developing Autonomic Systems with ASSL. SEW 2009: 87-93 - [c83]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
3rd International Workshop on Dynamic Software Product Lines: DSPL 2009. SPLC 2009: 295 - [c82]Claire McInerney, Mike Hinchey, Eamonn McQuade:
Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91 - [c81]Emil Vassev, Mike Hinchey:
Developing Experimental Models for NASA Missions with ASSL. FMA 2009: 88 - [p1]Roy Sterritt, Mike Hinchey:
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems. Safety and Security in Multiagent Systems 2009: 330-341 - 2008
- [j33]Mike Hinchey:
Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008) - [j32]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - [j31]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
Dynamic Software Product Lines. Computer 41(4): 93-95 (2008) - [j30]Karin Koogan Breitman, Mike Hinchey:
ICT Research Experience. Computer 41(6): 58 (2008) - [j29]Mike Hinchey, Paul A. Curto, Scott Hamilton:
Computer Celebrates NASA's 50th Anniversary. Computer 41(12): 32-33 (2008) - [j28]Michael G. Hinchey:
Introduction to special issue: selected papers from SEW-31. Innov. Syst. Softw. Eng. 4(1): 1 (2008) - [j27]Michael G. Hinchey:
Editorial : Enabling the Dream of Flight. J. Aerosp. Comput. Inf. Commun. 5(1): 1-2 (2008) - [c80]Mike Hinchey, Emil Vassev:
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330 - [c79]Norman F. Schneidewind, Mike Hinchey:
Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97 - [c78]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: 639-647 - [c77]Roy Sterritt, Mike Hinchey:
Towards Self-Managing Real-Time System. IMCSIT 2008: 751-756 - [c76]Michael G. Hinchey:
Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477 - [c75]Karin Koogan Breitman, Michael G. Hinchey:
The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571 - [c74]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: 6 - [c73]Emil Vassev, Mike Hinchey, Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657 - [c72]Emil Vassev, Mike Hinchey:
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops 2008: 13-18 - [c71]Emil Vassev, Mike Hinchey:
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474 - [c70]Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid:
2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381 - [c69]Norman F. Schneidewind, Michael G. Hinchey:
Risk-Driven Software Reliability and Testing. SSIRI 2008: 183-184 - [e11]Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz:
Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008. Dagstuhl Seminar Proceedings 08141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [e10]Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck:
Biologically-Inspired Collaborative Computing - IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy. IFIP 268, Springer 2008, ISBN 978-0-387-09654-4 [contents] - [i2]Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz:
08141 Abstracts Collection - Organic Computing - Controlled Self-organization. Organic Computing - Controlled Self-organization 2008 - [i1]Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz:
08141 Executive Summary - Organic Computing - Controlled Self-organization. Organic Computing - Controlled Self-organization 2008 - 2007
- [j26]Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff:
Swarms and Swarm Intelligence. Computer 40(4): 111-113 (2007) - [j25]Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés:
Building and implementing policies in autonomous and autonomic systems using MaCMAS. Innov. Syst. Softw. Eng. 3(1): 17-31 (2007) - [j24]Abílio Fernandes, Angelo E. M. Ciarlini, António L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman:
Adding flexibility to workflows through incremental planning. Innov. Syst. Softw. Eng. 3(4): 291-302 (2007) - [j23]Michael G. Hinchey:
Editorial: A Year of Aerospace Computing. J. Aerosp. Comput. Inf. Commun. 4(12) (2007) - [j22]Shawn A. Bohner, Denis Gracanin, Michael G. Hinchey, Mohamed Eltoweissy:
Model-Based Evolution of Collaborative Agent-Based Systems. J. Braz. Comput. Soc. 13(4): 17-38 (2007) - [j21]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. 66(1): 71-86 (2007) - [c68]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: 250-257 - [c67]Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado, Michael G. Hinchey:
Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122 - [c66]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: 90-96 - [c65]Michael G. Hinchey:
Michael G. Hinchey: Biological Inspiration. SASO 2007 - [c64]Shawn A. Bohner, Michael G. Hinchey, Boby George:
Agent-Based Software Systems Evolution via Model-Driven Architecture. Software Engineering Research and Practice 2007: 546-552 - [c63]Christopher A. Rouff, Michael G. Hinchey, Joaquín Peña, Antonio Ruiz Cortés:
Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. SIS 2007: 348-355 - [e9]Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie:
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789, Springer 2007, ISBN 978-3-540-76648-3 [contents] - 2006
- [j20]Roy Sterritt, Michael G. Hinchey:
Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006) - [j19]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. 25(4): 285-297 (2006) - [j18]Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés:
Multi-agent system product lines: challenges and benefits. Commun. ACM 49(12): 82-84 (2006) - [j17]Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin:
Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. 29(2): 246-256 (2006) - [j16]Jonathan P. Bowen, Michael G. Hinchey:
Ten Commandments of Formal Methods ...Ten Years Later. Computer 39(1): 40-48 (2006) - [j15]Michael G. Hinchey, Roy Sterritt:
Self-Managing Software. Computer 39(2): 107-109 (2006) - [j14]Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey:
Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. Computer 39(10): 22-25 (2006) - [j13]Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. 61(1): 48-57 (2006) - [j12]Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash:
Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. 8(6): 587-603 (2006) - [j11]Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. 36(3): 279-291 (2006) - [c62]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: 208-224 - [c61]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: 3-10 - [c60]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: 19-30 - [c59]Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou:
Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. DASC 2006: 227-234 - [c58]Roy Sterritt, Michael G. Hinchey:
Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168 - [c57]Michael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff:
Software engineering and swarm-based systems. SEAMS@ICSE 2006: 97 - [c56]Michael G. Hinchey, Roy Sterritt:
99% (Biological) Inspiration .... BICC 2006: 7-20 - [c55]Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Completing and Adapting Models of Biological Processes. BICC 2006: 43-54 - [c54]Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick:
Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27 - [c53]Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52 - [c52]Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash:
Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice 2006: 995-1001 - [e8]Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski:
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. Lecture Notes in Computer Science 3825, Springer 2006, ISBN 978-3-540-69265-2 [contents] - 2005
- [j10]Shawn A. Bohner, Mike Hinchey:
Introduction to Innovations in System and Software Engineering. Innov. Syst. Softw. Eng. 1(1): 1-2 (2005) - [j9]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS 9(1): 1-16 (2005) - [c51]Roy Sterritt, Michael G. Hinchey:
Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291 - [c50]James L. Rash, Michael G. Hinchey, Denis Gracanin:
An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313 - [c49]Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner:
A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture. ECBS 2005: 255-262 - [c48]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345 - [c47]Roy Sterritt, Michael G. Hinchey:
Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412 - [c46]James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson:
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS 2005: 490-497 - [c45]Roy Sterritt, Michael G. Hinchey:
Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511 - [c44]Roy Sterritt, Michael G. Hinchey:
Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539 - [c43]Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin:
Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops 2005: 1245-1254 - [c42]Jonathan P. Bowen, Michael G. Hinchey:
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. FMICS 2005: 8-16 - [c41]Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski:
Requirements of an integrated formal method for intelligent swarms. FMICS 2005: 125-133 - [c40]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt:
Autonomicity of NASA Missions. ICAC 2005: 387-388 - [c39]James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin:
Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125 - [c38]Kevin P. Adams, Denis Gracanin, Michael G. Hinchey:
Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362 - [c37]Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397 - [c36]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt:
Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467 - [c35]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt:
Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477 - [c34]Walt Truszkowski, Michael G. Hinchey, Roy Sterritt:
Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482 - [c33]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) 2005: 570-574 - [c32]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC 2005: 445-451 - [c31]Roy Sterritt, Michael G. Hinchey:
SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8 - [c30]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44 - [c29]Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey:
Self*- Properties in NASA Mission. Software Engineering Research and Practice 2005: 66-72 - [c28]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW 2005: 253-264 - [c27]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412 - [c26]Roy Sterritt, Michael G. Hinchey:
Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378 - [e7]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff:
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, Springer 2005, ISBN 3-540-24422-0 [contents] - 2004
- [j8]Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff:
NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. 6(5): 47-52 (2004) - [c25]Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448 - [c24]Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey:
Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489 - [c23]Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey:
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS 2004: 490-499 - [c22]Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey:
Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505 - [c21]Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey:
Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71 - [c20]Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey:
Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261 - [c19]Roy Sterritt, Michael G. Hinchey:
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270 - [c18]Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of NASA Emergent Systems. ICECCS 2004: 231-238 - [c17]Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of Nasa Emergent Systems. AIAI 2004: 167-176 - [c16]Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) 2004: 100-102 - [c15]Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM 2004: 24-33 - 2003
- [c14]Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Approaches to Intelligent Swarms. SEW 2003: 51 - [e6]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, ISBN 3-540-40665-4 [contents] - [e5]Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey:
Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers. Lecture Notes in Computer Science 2564, Springer 2003, ISBN 3-540-40725-1 [contents] - 2002
- [c13]Peter J. Robinson, Michael G. Hinchey, Keith L. Clark:
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172 - [c12]Michael G. Hinchey:
Confessions of a Formal Methodist. SCS 2002: 17-20 - 2001
- [e4]James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey:
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Lecture Notes in Computer Science 1871, Springer 2001, ISBN 3-540-42716-3 [contents] - 2000
- [c11]Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski:
Panel Discussion: Future Directions. FAABS 2000: 354-368 - [c10]Christopher A. Rouff, James L. Rash, Michael G. Hinchey:
Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72- - [c9]William G. Howerton, Michael G. Hinchey:
Using the Right Tool for the Job. ICECCS 2000: 105-
1990 – 1999
- 1999
- [b2]Michael G. Hinchey:
Structural design and formal methods. University of Cambridge, UK, 1999 - [j7]Alberto Broggi, Mike Hinchey, Alexander D. Stoyen:
Engineering complex computer systems. Microprocess. Microsystems 23(3): 123-124 (1999) - 1998
- [c8]Alberto Broggi, Michael G. Hinchey, Alexander D. Stoyen:
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track. HICSS (3) 1998: 148-149 - [e3]Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey:
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493, Springer 1998, ISBN 3-540-65070-9 [contents] - 1997
- [c7]Jonathan P. Bowen, Michael G. Hinchey:
The use of industrial-strength formal methods. COMPSAC 1997: 332-337 - [e2]Jonathan P. Bowen, Michael G. Hinchey, David Till:
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212, Springer 1997, ISBN 3-540-62717-0 [contents] - [r1]Jonathan P. Bowen, Michael G. Hinchey:
Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322 - 1996
- [j6]Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - [j5]Hossein Saiedian, Michael G. Hinchey:
Challenges in the successful transfer of formal methods technology into industrial applications. Inf. Softw. Technol. 38(5): 313-322 (1996) - 1995
- [b1]Michael G. Hinchey, Stephen A. Jarvis:
Concurrent systems - formal development in CSP. McGrawhill international series in software engineering, McGraw-Hill 1995, ISBN 978-0-07-707649-8, pp. I-XIV, 1-181 - [j4]Jonathan P. Bowen, Michael G. Hinchey:
Ten Commandments of Formal Methods. Computer 28(4): 56-63 (1995) - [j3]Jonathan P. Bowen, Mike Hinchey:
Editorial. Inf. Softw. Technol. 37(5-6): 258-259 (1995) - [j2]Jonathan P. Bowen, Mike Hinchey:
Report on Z user meeting (ZUM '94). Inf. Softw. Technol. 37(5-6): 335-336 (1995) - [j1]Jonathan P. Bowen, Michael G. Hinchey:
Seven More Myths of Formal Methods. IEEE Softw. 12(4): 34-41 (1995) - [c6]Neville Dean, Michael G. Hinchey:
Introducing formal methods through role-playing. SIGCSE 1995: 302-306 - [e1]Jonathan P. Bowen, Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings. Lecture Notes in Computer Science 967, Springer 1995, ISBN 3-540-60271-2 [contents] - 1994
- [c5]Jonathan P. Bowen, Michael G. Hinchey:
Seven More Myths of Formal Methods. FME 1994: 105-117 - [c4]Liam Relihan, Tony Cahill, Michael G. Hinchey:
Untangling the World-Wide Web. SIGDOC 1994: 17-24 - 1993
- [c3]Michael G. Hinchey:
Structured and Formal Methods: An Investigative Framework. ICSE Workshop on Studies of Software Design 1993: 151-163 - [c2]Tony Cahill, Michael G. Hinchey, Liam Relihan:
Documents are programs. SIGDOC 1993: 43-55 - 1992
- [c1]Michael G. Hinchey, Tony Cahill:
Towards a canonical specification of document structures. SIGDOC 1992: 297-307
Coauthor Index
Walter Truszkowski
aka: Walt Truszkowski
aka: Walt Truszkowski
[c156] [c152] [c151] [c150] [j62] [c149] [j61] [c147] [p10] [p9] [e16] [b4] [c143] [c141] [c140] [c139] [c137] [j55] [c134] [c133] [c132] [c129] [j50] [j49] [j48] [j47] [c128] [c126] [c125] [c124] [c123] [p2] [j46] [c120] [c119] [c117] [c116] [c115] [c114] [c113] [c112] [j41] [c108] [c107] [c104] [c103] [c101] [c100] [c97] [c96] [r4] [r3] [r2] [j38] [c92] [c91] [c87] [c86] [c84] [c81] [c80] [c73] [c72] [c71]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-14 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
