Evan Sultanik

Marek Surovic

CoRR, 2023

Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis.

[BibT_eX]

[DOI]

Kelly Kaoudis

Henrik Brodin

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Blind Spots: Identifying Exploitable Program Inputs.

[BibT_eX]

[DOI]

Henrik Brodin

Marek Surovic

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

2020

Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations.

[BibT_eX]

[DOI]

Carson Harmon

Bradford Larsen

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2014

Development and Specification of a Reference Architecture for Agent-Based Systems.

[BibT_eX]

[DOI]

Israel Mayk

Christopher T. Cannon

IEEE Trans. Syst. Man Cybern. Syst., 2014

A Bound on the Expected Optimality of Random Feasible Solutions to Combinatorial Optimization Problems.

[BibT_eX]

[DOI]

CoRR, 2014

2012

Rapid geotagging and disambiguation of social media text via an indexed gazetteer.

[BibT_eX]

[DOI]

Clayton Fink

Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

2010

Dominating sets of agents in visibility graphs: distributed algorithms for art gallery problems.

[BibT_eX]

[DOI]

Ali Shokoufandeh

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Development and Specification of a Reference Model for Agent-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2009

Dynamic Configuration of Agent Organizations.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

2008

Distributed Coordination of First Responders.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2008

Measurement techniques for multiagent systems.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems, 2008

Constant Cost of the Computation-Unit in Efficiency Graphs for DCOP Solvers.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

DCOPolis: a framework for simulating and deploying distributed constraint reasoning algorithms.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Coordination of first responders under communication and resource constraints.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Human-Robot Collaboration for Remote Surveillance.

[BibT_eX]

[DOI]

Steven N. Furtwangler

Alan J. Vayda

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Dynamic Distributed Constraint Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Analyzing the performance of distributed algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2007 Workshop on Performance Metrics for Intelligent Systems, 2007

On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem.

[BibT_eX]

[DOI]

Pragnesh Jay Modi

Proceedings of the IJCAI 2007, 2007

Demonstration: disaster evacuation support.

[BibT_eX]

[DOI]

Christopher J. Carpenter

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Disaster Evacuation Support.

[BibT_eX]

[DOI]

Christopher J. Carpenter

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Constraint Propagation for Domain Bounding in Distributed Task Scheduling.

[BibT_eX]

[DOI]

Pragnesh Jay Modi

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Service-Based Computing on Manets: Enabling Dynamic Interoperability of First Responders.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2005

Agent Transport Simulation for Dynamic Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Maxim Peysakhov

Proceedings of the Multi-Agent-Based Simulation VI, International Workshop, 2005

Service-based computing for agents on disruption and delay prone networks.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Network Awareness and the Philadelphia Area Urban Wireless Network Testbed.

[BibT_eX]

[DOI]

Proceedings of the AI Technologies for Homeland Security, 2005

Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed <i>k-</i>Center Problem.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Heuristics for Agent Routing and Itinerary Optimization on Dynamic Networks.

[BibT_eX]

Proceedings of the Proceedings, 2005

The AI Technologies of the Philadelphia Area Urban Wireless Network Testbed.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

A Secure Wireless Agent-based Testbed.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Information Assurance (IWIA'04), 2004

Network Awareness for Mobile Agents on Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Demonstration of the Secure Wireless Agent Testbed (SWAT).

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Service Discovery on Dynamic Peer-to-Peer Networks Using Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Agents and Peer-to-Peer Computing, Third International Workshop, 2004

Mobile Agent-Based Search for Service Discovery on Dynamic Peer-to-Peer Networks.

[BibT_eX]

[DOI]