Dr. Mark-Oliver Stehr Senior Computer Scientist SRI International Room EL 268 333 Ravenswood Avenue Menlo Park, CA, 94025 USA Phone: (650) 859-5710 Fax:(650) 859-2844 Email: stehr@csl.sri.com Personal Home Page: http://formal.cs.uiuc.edu/stehr Projects: Next Generation (XG) Pathway Logic PHD: Predicting Health and Disease (PHD) Principles and Foundations for Fractionated Networked Cyber-Physical Systems Papers: Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision  (2011) A semantic web reasoner for rules, equations and constraints  (2008) Demonstration of a Policy Engine For Spectrum Sharing  (2007) Coral - policy language and reasoning techniques for spectrum policies  (2007) A Policy Engine for Spectrum Sharing  (2007) Policy-based Cognitive Radios  (2007) Plan in Maude: Specifying an Active Network Programming Language  (2002)

About Us    R&D Divisions    Careers    Newsroom    Contact Us
© 2013 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy