Robby

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Abstract Requirement Analysis in Multiagent System Design.

[BibT_eX]

[DOI]

Scott J. Harmon

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

Preliminary design of a unified JML representation and software infrastructure.

[BibT_eX]

[DOI]

Patrice Chalin

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

From abstract qualities to concrete specification using guidance policies.

[BibT_eX]

[DOI]

Scott J. Harmon

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

agentTool III: from process definition to code generation.

[BibT_eX]

[DOI]

Juan C. García-Ojeda

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

2008

Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Specification and Checking of Software Contracts for Conditional Information Flow.

[BibT_eX]

[DOI]

Proceedings of the FM 2008: Formal Methods, 2008

2007

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.

[BibT_eX]

[DOI]

Xianghua Deng

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Formal Software Analysis Emerging Trends in Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems.

[BibT_eX]

[DOI]

Scott J. Harmon

Proceedings of the Engineering Societies in the Agents World VIII, 2007

O-MaSE: A Customizable Approach to Developing Multiagent Development Processes.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

2006

Checking JML specifications using an extensible software model checking framework.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Bogor: A Flexible Framework for Creating Software Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Venkatesh Prasad Ranganath

Matthew Hoosier

Todd Wallentine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Domain-specific Model Checking Using The Bogor Framework.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.

[BibT_eX]

[DOI]

Xianghua Deng

Jooyong Lee

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.

[BibT_eX]

[DOI]

Xianghua Deng

Proceedings of the Leveraging Applications of Formal Methods, 2006

Using Design Metrics for Predicting System Flexibility.

[BibT_eX]

[DOI]

Valeriy A. Kolesnikov

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Extending JML for Modular Specification and Verification of Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Venkatesh Prasad Ranganath

Formal Methods Syst. Des., 2004

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Checking Strong Specifications Using an Extensible Software Model Checking Framework.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Analyzing Interaction Orderings with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Case Study in Domain-customized Model Checking for Real-time Component Software.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Construction and Analysis of Safe, 2004

2003

Space-Reduction Strategies for Model Checking Dynamic Software.

[BibT_eX]

[DOI]

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Bogor: an extensible and highly-modular software model checking framework.

[BibT_eX]

[DOI]

Venkatesh Prasad Ranganath

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Slicing and partial evaluation of CORBA component model designs for avionics system.

[BibT_eX]

[DOI]