Philip K. McKinley

Affiliations:
  • Michigan State University, East Lansing, USA


According to our database1, Philip K. McKinley authored at least 170 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
Softw. Syst. Model., October, 2023

2021
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020
MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases.
Future Gener. Comput. Syst., 2020

AC-ROS: assurance case driven adaptation for the robot operating system.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Localization Uncertainty-driven Adaptive Framework for Controlling Ground Vehicle Robots.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019
Exploring Bipedal Hopping through Computational Evolution.
Artif. Life, 2019

MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Applying evolution and novelty search to enhance the resilience of autonomous systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

2018
Evo-ROS: integrating evolution and the robot operating system.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017
Evolution of Joint-Level Control for Quadrupedal Locomotion.
Artif. Life, 2017

Effect of animat complexity on the evolution of hierarchical control.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016
An evolutionary approach to discovering execution mode boundaries for adaptive controllers.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

A Comparison of Multiobjective Algorithms in Evolving Quadrupedal Gaits.
Proceedings of the From Animals to Animats 14, 2016

2015
Enhancing a Model-Free Adaptive Controller through Evolutionary Computation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Evaluating the Effect of a Flexible Spine on the Evolution of Quadrupedal Gaits.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014
Evolutionary Robotics on the Web with WebGL and Javascript.
CoRR, 2014

Balancing performance and efficiency in a robotic fish with evolutionary multiobjective optimization.
Proceedings of the 2014 IEEE International Conference on Evolvable Systems, 2014

Evolving joint-level control with digital muscles.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Investigating Modular Coupling of Morphology and Control with Digital Muscles.
Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

2013
Genetic Variation and the Evolution of Consensus in Digital Organisms.
IEEE Trans. Evol. Comput., 2013

Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty.
Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Evolution of station keeping as a response to flows in an aquatic robot.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Evolutionary optimization of robotic fish control and morphology.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Exploring the Role of the Tail in Bipedal Hopping through Computational Evolution.
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Evolution of an amphibious robot with passive joints.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.
J. Internet Serv. Appl., 2012

Evolution of Resistance to Quorum Quenching in Digital Organisms.
Artif. Life, 2012

Constructing Communication Networks with Evolved Digital Organisms.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Evolving flexible joint morphologies.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

The SEEDS platform for evolutionary and ecological simulations.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Exploring the evolution of internal control structure using digital enzymes.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Evolutionary Design and Experimental Validation of a Flexible Caudal Fin for Robotic Fish.
Proceedings of the Thirteenth International Conference on the Simulation and Synthesis of Living Systems, 2012

2011
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems.
Clust. Comput., 2011

Evolution of Synchronization and Desynchronization in Digital Organisms.
Artif. Life, 2011

An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Neuroevolution of Controllers for Self-Organizing Mobile Ad Hoc Networks.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Effects of biased group selection on cooperative predation in digital organisms.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Modeling the evolutionary dynamics of plasmids in spatial populations.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Digital enzymes: agents of reaction inside robotic controllers for the foraging problem.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010
Ensemble extraction for classification and detection of bird species.
Ecol. Informatics, 2010

Adaptive monitoring of software requirements.
Proceedings of the First International Workshop on Requirements@Run.Time, 2010

Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration.
Proceedings of the 7th International Conference on Autonomic Computing, 2010

Neuroevolution of mobile ad hoc networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Resource abundance promotes the evolution of public goods cooperation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Investigating whether hyperNEAT produces modular neural networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Social Structure and the Maintenance of Biodiversity.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

2009
Transparent autonomization in CORBA.
Comput. Networks, 2009

Evolution of Probabilistic Consensus in Digital Organisms.
Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Effects of Communication Impairments on Quorum Sensing.
Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Evolving cooperative pheromone usage in digital organisms.
Proceedings of the 2009 IEEE Symposium on Artificial Life, 2009

Applying digital evolution to the design of self-adaptive software.
Proceedings of the 2009 IEEE Symposium on Artificial Life, 2009

Applying genetic algorithms to decision making in autonomic computing systems.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

Evolution of robust data distribution among digital organisms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Evolving quorum sensing in digital organisms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Evolving Virtual Fireflies.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

The Evolution of Division of Labor.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Evolving Social Behavior in Adverse Environments.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

2008
Harnessing Digital Evolution.
Computer, 2008

Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Evolution of Adaptive Population Control in Multi-agent Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Digital Evolution of Behavioral Models for Autonomic Systems.
Proceedings of the 2008 International Conference on Autonomic Computing, 2008

Autonomic Software Development Methodology Based on Darwinian Evolution.
Proceedings of the 2008 International Conference on Autonomic Computing, 2008

Cooperative network construction using digital germlines.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Selection for group-level efficiency leads to self-regulation of population size.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007
Service Clouds: Distributed Infrastructure for Adaptive Communication Services.
IEEE Trans. Netw. Serv. Manag., 2007

MESO: Supporting Online Decision Making in Autonomic Computing Systems.
IEEE Trans. Knowl. Data Eng., 2007

Specifying real-time properties in autonomic systems.
Innov. Syst. Softw. Eng., 2007

Topology-aware overlay path probing.
Comput. Commun., 2007

Evolution of Cooperative Information Gathering in Self-Replicating Digital Organisms.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Digitally Evolving Models for Dynamically Adaptive Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Automated Ensemble Extraction and Analysis of Acoustic Data Streams.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

Using group selection to evolve leadership in populations of self-replicating digital organisms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Directed Evolution of Communication and Cooperation in Digital Organisms.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

Evolution of an Adaptive Sleep Response in Digital Organisms.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006
Energy Optimization under Informed Mobility.
IEEE Trans. Parallel Distributed Syst., 2006

MetaSockets: design and operation of runtime reconfigurable communication services.
Softw. Pract. Exp., 2006

Mobile Service Clouds: A Self-Managing Infrastructure for Autonomic Mobile Computing Services.
Proceedings of the Self-Managed Networks, 2006

COCA: A Contract-Based Infrastructure for Composing Adaptive Multimedia Systems.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Service Clouds: A Distributed Infrastructure for Constructing Autonomic Communication Services.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

2005
Transparent shaping of existing software to support pervasive and autonomic computing.
ACM SIGSOFT Softw. Eng. Notes, 2005

An approach to implementing dynamic adaptation in C++.
ACM SIGSOFT Softw. Eng. Notes, 2005

Introduction to the special issue on PerCom 2005.
Pervasive Mob. Comput., 2005

iMobif: An Informed Mobility Framework for Energy Optimization in Wireless Ad Hoc Networks.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Improving Mutipath Reliability in Topology-Aware Overlay Networks.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Using Transparent Shaping and Web Services to Support Self-Management of Composite Systems.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

2004
Composing Adaptive Software.
Computer, 2004

Enabling collaborative adaptation across legacy components.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Kernel-middleware interaction to support adaptation in pervasive computing environments.
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

On quality-of-service and energy consumption tradeoffs in FEC-encoded audio streaming.
Proceedings of the Quality of Service, 2004

Enabling Safe Dynamic Component-Based Software Adaptation.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Perimorph: Run-Time Composition and State Management for Adaptive Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

A Distributed Approach to Topology-Aware Overlay Path Monitoring.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Generation of Self-Optimizing Wireless Network Applications.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

Transparent Self-Optimization in Existing CORBA Applications.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

TRAP/J: Transparent Generation of Adaptable Java Programs.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
Composable Proxy Services to Support Collaboration on the Mobile Internet.
IEEE Trans. Computers, 2003

Tree-based link-state routing in the presence of routing information corruption.
Comput. Commun., 2003

Modeling multicast packet losses in wireless LANs.
Proceedings of the 6th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2003

On the Cost-Quality Tradeoff in Topology-Aware Overlay Path Probing.
Proceedings of the 11th IEEE International Conference on Network Protocols (ICNP 2003), 2003

Architecture and Operation of an Adaptable Communication Substrate.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002
A Study of Adaptive Forward Error Correction for Wireless Collaborative Computing.
IEEE Trans. Parallel Distributed Syst., 2002

Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online, 2002

An aspect-oriented approach to dynamic adaptation.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Optimizing the Java Piped I/O Stream Library for Performance.
Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

Programming Language Support for Adaptable Wearable Computing.
Proceedings of the 6th International Symposium on Wearable Computers (ISWC 2002), 2002

Separating Introspection and Intercession to Support Metamorphic Distributed Systems.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

2001
An Experimental Study of Adaptive Forward Error Correction for Wireless.
Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001

Experiments in Composing Proxy Audio Services for Mobile Users.
Proceedings of the Middleware 2001, 2001

Design of Composable Proxy Filters for Heterogeneous Mobile Computing.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Experimental Evaluation of Error Control for Video Multicast over Wireless LANs.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

2000
On the performance and feasibility of multicast core selection heuristics.
Networks, 2000

Group leader election under link-state routing.
Comput. Commun., 2000

Experimental evaluation of forward error correction on multicast audio streams in wireless LANs.
Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000

Pocket Pavilion: A Synchronous Collaborative Browsing Application for Wireless Handheld Computers.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

VGuide: Design and Performance Evaluation of a Synchronous Collaborative Virtual Reality Application.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

1999
Moving industry-guided multimedia technology into the classroom.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

H-RMC: A Hybrid Reliable Multicast Protocol for the Linux Kernel.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Design and Performance Evaluation of a Java-Based Multicast Browser Tool.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Pavilion: a middleware framework for collaborative Web-based applications.
Proceedings of GROUP'99, 1999

1998
Large-Scale Parallel Data Clustering.
IEEE Trans. Pattern Anal. Mach. Intell., 1998

LCM: a multicast core management protocol for link-state routing networks.
Proceedings of the 1998 IEEE International Conference on Communications, 1998

1997
An Extended Dominating Node Approach to Broadcast and Global Combine in Multiport Wormhole-Routed Mesh Networks.
IEEE Trans. Parallel Distributed Syst., 1997

An Adaptive Global Reduction Algorithm for Wormhole-Routed 2D Meshes.
Parallel Comput., 1997

Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks.
J. Parallel Distributed Comput., 1997

Performance Evaluation of Large-Scale Parallel Clustering in NOW Environments.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

A Centralized Generic Protocol for Multipoint Connections.
Proceedings of the 22nd IEEE Conference on Local Computer Networks (LCN '97), 1997

Switch-Aided Flooding Operations in ATM Networks.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

IMcast: An Object-Oriented Tool for Image Multicasting.
Proceedings of the International Conference on Multimedia Computing and Systems, 1997

1996
A Broadcast Algorithm for All-Port Wormhole-Routed Torus Networks.
IEEE Trans. Parallel Distributed Syst., 1996

Efficient Collective Operations with ATM Network Interface Support.
Proceedings of the 1996 International Conference on Parallel Processing, 1996

A Lightweight Protocol for Multipoint Connections under Link-State Routing.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Optimal Multicast Communication in Wormhole-Routed Torus Networks.
IEEE Trans. Parallel Distributed Syst., 1995

The Message Flow Model for Routing in Wormhole-Routed Networks.
IEEE Trans. Parallel Distributed Syst., 1995

A Scalable Eigenvalue Solver for Symmetric Tridiagonal Matrices.
Parallel Comput., 1995

Efficient Multicast in All-Port Wormhole-Routed Hypercubes.
J. Parallel Distributed Comput., 1995

Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers.
J. Parallel Distributed Comput., 1995

Collective Communication in Wormhole-Routed Massively Parallel Computers.
Computer, 1995

Multicast Virtual Topologies for Collective Communication in MPCs and ATM Clusters.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

A Parallel Algorithm for the Singular Value Problem in Bidiagonal Matrices.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

A Thread-Based Interface for Collective Communication on ATM Networks.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994
Unicast-Based Multicast Communication in Wormhole-Routed Networks.
IEEE Trans. Parallel Distributed Syst., 1994

Deadlock-Free Multicast Wormhole Routing in 2-D Mesh Multicomputers.
IEEE Trans. Parallel Distributed Syst., 1994

ComPaSS: A Communication Package for Scalable Software Design.
J. Parallel Distributed Comput., 1994

Multicast Communication in Staircase Multichannel Networks.
J. Parallel Distributed Comput., 1994

Communication issues in parallel computing across ATM networks.
IEEE Parallel Distributed Technol. Syst. Appl., 1994

Design and implementation of multicast operations for ATM-based high performance computing.
Proceedings of the Proceedings Supercomputing '94, 1994

A dominating set model for broadcast in all-port wormhole-routed 2D mesh networks.
Proceedings of the 8th international conference on Supercomputing, 1994

Parallel implementation of vision algorithms on workstation clusters.
Proceedings of the 12th IAPR International Conference on Pattern Recognition, 1994

Broadcast in All-Port Wormhole-Routed 3D Mesh Networks Using Extended Dominating Sets.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Design and Performance Evaluation of a Distributed Eigenvalue Solver on a Workstation Cluster.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Design and Implementation of Global Reduction Operations Across ATM Networks.
Proceedings of the Third International Symposium on High Performance Distributed Computing, 1994

1993
Supporting a Simulation Environment with OpenSim.
Simul., 1993

A Survey of Wormhole Routing Techniques in Direct Networks.
Computer, 1993

Adaptive Wormhole Routing in Hypercube Multicomputers.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Efficient collective data distribution in all-port wormhole-routed hypercubes.
Proceedings of the Proceedings Supercomputing '93, 1993

A Scalable Eigenvalue Solver for Symmetric Tridiagonal Matrices.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

MultiSim: A Simulation Tool for the Study of Large-Scale Multiprocessors.
Proceedings of the MASCOTS '93, 1993

Efficient Broadcast in All-Port Wormhole-Routed Hypercubes.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
ComPaSS: Efficient Communication Services for Scalable Architectures.
Proceedings of the Proceedings Supercomputing '92, 1992

Efficient Implementation of Barrier Synchronization in Wormhole-Routed Hypercube Multicomputers.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991
Disjoint Covers in Replicated Heterogeneous Arrays.
SIAM J. Discret. Math., 1991

Performance Evaluation of Multicast Wormhole Routing in 2D-Mesh Multicomputers.
Proceedings of the International Conference on Parallel Processing, 1991

1990
Multicast Tree Construction in Bus-Based Networks.
Commun. ACM, 1990

1989
Group communication in bus-based computer networks
PhD thesis, 1989

A Token-Based Protocol for Reliable, Ordered Multicast Communications.
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Group Communication in Multichannel Networks with Staircase Interconnection Topologies.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1988
Multicast Routing in Spanning Bus Hypercubes.
Proceedings of the International Conference on Parallel Processing, 1988

1987
Performance analysis of switching strategies.
Proceedings of the 1987 Symposium on the Simulation of Computer Networks, 1987

Resource sharing in synchronous optical hypergraph.
Proceedings of the 1987 Symposium on the Simulation of Computer Networks, 1987


  Loading...