Peer-Reviewed Conference & Journal Publications

Policy-Based Cognitive Radios.  pdf
David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, and Carolyn Talcott. IEEE Wireless Communications, Special Issue on Cognitive Wireless Networks. 2007
Abstract
We present a new language for expressing policies that allow opportunistic spectrum access while not causing interference. CoRaL has expressive constructs for numerical constraints, supports efficient reasoning, and will be verifiable. The language is extensible so that unanticipated policy types can be encoded. We also describe a Policy Reasoner that reasons about CoRaL policies, and show how this reasoner can be used with various cognitive radios (in this case, an XG radio) to guarantee policy-specified behaviors while allowing spectrum sharing.
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.  pdf
Daniel Elenius, grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn Talcott, David Wilkins. 2007 IEEE Workshop on Policies for Distributed Systems and Networks, Bologna, Italy on June 13-15, 2007
Abstract
We present Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that oppor- tunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by deriving what requirements have to be fulfilled for transmissions to be valid, i.e., in compliance with policies. A novel mix of reasoning techniques is required to implement such a reasoner.
A Policy Engine for Spectrum Sharing.  pdf
Grit Denker, Daniel Elenius, Rukman Senanayake, Mark-Oliver Stehr, David Wilkins. In Proc. IEEE DySPAN 2007 Conference, Dublin, Ireland on April 17-20, 2007
Abstract
We argue for a policy-based approach to increase spectrum availability. To this extend, we briefly summarize a new language for expressing policies that allow opportunistic spectrum access. A Policy Reasoner that reasons about these policies has can be used with cognitive radios to guarantee policy-specified behaviors while allowing spectrum sharing. We evaluated the reasoner in a demonstration. We describe the policies used in that demonstration and the results of the evaluation.
Demonstration of a Policy Engine for Spectrum Sharing.  pdf
Grit Denker, Daniel Elenius, Rukman Senanayake, Mark-Oliver Stehr, David Wilkins, Christina M. Conway, Robert A. Newell. Paper accompanying system demonstration at IEEE DySPAN 2007 Conference, Dublin, Ireland on April 17-20, 2007
Abstract
We argue for a policy-based approach to in- crease spectrum availability. We have designed a language to capture rules and regulations for opportunistic spectrum use. A Policy Reasoner that reasons about these spectrum-sharing policies can be used with cognitive radios to guarantee policy-specified behaviors. We demonstrate the reasoner on various policies, including those established for the dedicated spectrum from the Commisssion for Communication Regulations that has been acquired for DySPAN 2007. We show the effects of enforcing these policies and how a radio adapts to the conditions of dynamically changing environments. We will link our reasoner to a live sensor from Rockwell Collins that measures the state of the spectrum at the conference site and delivers input data for the reasoner. We will also illustrate the ease of changing policies and uploading new policies.
Policy Specification and Enforcement for Spectrum-Agile Radios.  pdf
Grit Denker. Invited Paper to Semantic Web Policy Workshop at the 5th Intern. Semantic Web Conferences, Nov 5-9, 2006, Georgia, Athens.