Kurt Rohloff

Information and Knowledge Technologies

Kurt R. Rohloff, Ph.D.
krohloff<at>bbn<dot>com

617-873-7664

BBN Technologies
10 Moulton St
Cambridge, MA 02139

Other publications made by my group can be seen on group's publication page here.

Ph.D. Thesis

Kurt Rohloff. Computations on Distributed Discrete-Event Systems. Ph.D. Thesis, The University of Michigan, 2004.

up to Top

Journal Publications

Kurt Rohloff and Tamer Başar. Deterministic and Stochastic Models for the Detection of Random Constant Scanning Worms. ACM TOMACS (Transactions on Modeling and Computer Science) Special Issue on Simulation, Modeling and Security. Volume 18, Number 2, April 2008.
Kurt Rohloff, Samir Khuller and Guy Kortsarz. Approximating Optimal Sensor Selections and Connections to Colored st-cut Problems. Discrete-Event Dynamic Systems: Theory and Applications. Volume 16, Number 1, Jan. 2006.
Kurt Rohloff and Stéphane Lafortune. The Verification and Control of Interacting Similar Discrete-Event Systems. SIAM Journal on Control and Optimization. Volume 45, Number 2, Jan. 2006.
Kurt Rohloff, Joseph Loyall, Richard Schantz. Quality Measures for Embedded Systems and Their Application to Control and Certification. ACM SIGBED Review, Special Issues on Workshop on Innovative Techniques for Certification of Embedded Systems. Volume 3, Number 4, October 2006.
Kurt Rohloff, Stéphane Lafortune. PSPACE-completeness of Modular Supervisory Control Problems. Discrete-Event Dynamic Systems, 15:2 June, 2005.
Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune. Deciding Coobservability is PSPACE-complete. Transactions of Automatic Control, 48:11. November, 2003.
Kurt Rohloff, Stéphane Lafortune. On the Synthesis of Safe Control Policies in Decentralized Control of Discrete Event Systems. Transactions of Automatic Control. 48:6, pg.1064-1068. June, 2003.

up to Top

Book Chapters

Stéphane Lafortune, Kurt Rohloff, Tae-Sic Yoo. Recent Advances on the Control of Partially-Observed Discrete-Event Systems. In Synthesis and Control of Discrete Event Systems. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno and Xiaolan Xie, eds., 2002.

up to Top

Conference Publications

David Bruce Cousins, Kurt Rohloff, Chris Peikert, Rick Schantz. “SIPHER: Scalable Implementation of Primitives for Homomorphic EncRyption - FPGA implementation using Simulink.” Fifteenth Annual Workshop on High Performance Embedded Computing (HPEC), Sept. 21, 2011.
Kurt Rohloff, Joseph Loyall. “An Ontology for Resource Sharing.” Fifth IEEE International Conference on Semantic Computing (ICSC) Workshop on Ontologies for Systems Integration and Standards, Sept. 18, 2011.
Kurt Rohloff, Rick Schantz. “Clause-Iteration with MapReduce to Scalably Query Data Graphs in the SHARD Graph-Store.” Fourth International Workshop on Data Intensive Distributed Computing (DIDC), June 8th, 2011.
Joseph Loyall, Kurt Rohloff, Partha Pal, Michael Atighetchi. “ A Survey of Security Concepts for Common Operating Environments.” WORNUS 2011: 2nd IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems. March 28-31 2011.
Kurt Rohloff, Rick Schantz. “High-Performance, Massively Scalable Distributed Systems using the MapReduce Software Framework: The SHARD Triple-Store.” International Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA), Oct. 17, 2010.
Partha Pal, Kurt Rohloff, Michael Atighetchi, and Rick Schantz. “Managed Mission Assurance: Concept, Methodology and Runtime Support.” Workshop on Mission Assurance: Tools, Techniques, and Methodologies at the 2nd IEEE International Conference on Privacy, Security, Risk, and Trust. August 20-22 2010, Minneapolis, Minnesota, USA.
Partha Pal, Rick Schantz, Michael Atighetchi, Kurt Rohloff, Nathan Dautenhahn and William Sanders. “Fighting Through Cyber Attacks: An Informed Perspective Toward the Future.” Workshop on Survivability in Cyberspace, Part of CPS Week 2010, April 2010.
Kurt Rohloff, Partha Pal, Michael Atighetchi, Richard Schantz, Kishor Trivedi and Christos Cassandras. “ Approaches to Modeling and Simulation for Dynamic, Distributed Cyber-Physical Systems.” Workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security (MSAHS-2010), March 2010.
Kurt Rohloff, Robert Battle, Jim Chatigny, Rick Schantz and Victor Asal. “A Trend Pattern Approach to Forecasting Socio-Political Violence.” Third International Conference on Computational Cultural Dynamics, December 2009.
Kurt Rohloff. “Automated Discovery and Modeling Of Sequential Patterns Preceding Events of Interest.” ModSim World, October 2009.
Kurt Rohloff and Paul Rubel. “Discovering Automated Sequential Patterns the Precede Outbreaks of Socio-Political Violence.” HSCB Focus 2010, August 2009.
Partha Pal, Rick Schantz, Kurt Rohloff and Joseph Loyall. “Cyber-physical Systems Security - Challenges and Research Ideas.” Workshop on Future Directions in Cyber-physical Systems Security, July 2009.
Rick Schantz, Jake Beal, Joe Loyall, Partha Pal, Kurt Rohloff and Azer Bestavros. “Research Challenges in Information Systems for the Next Generation Electric Grid.” National Workshop on New Research Directions for Future Cyber-Physical Energy Systems, June 2009.
Kurt Rohloff and Wayne Thornton. “A Knowledge Environment for Social Science Exploration.” Human Behavior-Computational Intelligence Modelling Conference, June 2009.
Kurt Rohloff and Victor Asal. “Computational Methods to Discover Sets of Patterns of Behaviors that Precede Political Events of Interest.” AAAI Spring Symposium on Technosocial Predictive Analytics, March 2009.
Joseph Loyall, Partha Pal, Kurt Rohloff and Matthew Gillen. “Issues in Context-Aware and Adaptive Middleware for Wireless, Mobile Networked Systems.” Workshop on Research Directions in Situational-aware Self-managed Proactive Computing in Wireless Adhoc Networks, March 2009.
Robert Battle, Douglas Reid, Kurt Rohloff. “CWEST: Disruptive Integration of Computation Technology for Data Analysis and Visualization.” Visualizing the Past: Tools and Techniques for Understanding Historical Processes, February 2009.
Kurt Rohloff and Victor Asal. “The Identification of Sequential Patterns Preceding the Occurrence of Political Events of Interest.” Second International Conference on Computational Cultural Dynamics, September 2008.
Kurt Rohloff, Mike Dean, Ian Emmons, Dorene Ryder, John Sumner. “An Evaluation of Triple-Store Technologies for Large Data Stores.” 3rd International Workshop On Scalable Semantic Web Knowledge Base Systems (SSWS '07), Vilamoura, Portugal, Nov 27, 2007.
Matthew Gillen, Kurt Rohloff, Prakash Manghwani, and Richard Schantz. “Scalable, Adaptive, Time-Bounded Node Failure Detection.“ 10th IEEE High Assurance Systems Engineering (HASE) Symposium, Dallas, Texas, November 14 - 16, 2007.
Kurt Rohloff, Joseph Loyall, Partha Pal, and Richard Schantz. “High-Assurance Distributed, Adaptive Software for Dynamic Systems“ 10th IEEE High Assurance Systems Engineering (HASE) Symposium Dallas, Texas November 14 - 16, 2007.
Kurt Rohloff, Richard Schantz and Yarom Gabay. "High-Level Dynamic Resource Management for Distributed, Real-Time Embedded Systems." 5th Symposium on Design, Analysis and Simulation of Distributed Systems (DASD), San Diego, CA, 2007.
Kurt Rohloff, Yarom Gabay, Jianming Ye and Richard Schantz. "Scalable, Distributed, Dynamic Resource Management for the ARMS Distributed Real-Time Embedded System." International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) Long Beach, CA, 2007.
Kurt Rohloff, Richard Schantz, Partha Pal and Joseph Loyall. "Software Certification for Distributed, Adaptable Medical Systems: Position Paper on Challenges and Paths Forward." Joint Workshop On High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability,June 25-27, 2007, Boston, MA.
Kurt Rohloff, Richard Schantz and Joseph Loyall. Dynamic, "High Confidence Certifiable Embedded Software: Position Paper." 2006 National Meeting, Beyond SCADA: Networked Embedded Control for Cyber Physical Systems, November 8 & 9, 2006, Pittsburgh, Pennsylvania.
Kurt Rohloff, Jianming Ye, Joseph Loyall, Richard Schantz. "A Hierarchical Control System for Dynamic Resource Management." 2006 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), Work in Progress Symposium. April 7, 2006, San Jose, CA.
Kurt Rohloff, Joseph Loyall, Richard Schantz. "Quality Measures for Embedded Systems and Their Application to Control and Certification." 2006 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), Workshop on Innovative Techniques for Certification of Embedded Systems. April 4, 2006, San Jose, CA.
Kurt Rohloff. “Sensor Failure Tolerant Supervisory Control” 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. Dec. 12-15, 2005.
Kurt Rohloff and Tamer Başar. "The detection of RCS worm epidemics." In Proceedings of the 2005 ACM Workshop on Rapid Malcode (WORM), November 11, 2005.
Kurt Rohloff and Tamer Başar. "Stochastic behavior of random constant scanning worms," 14th International Conference on Computer Communications and Networks (ICCCN) Oct. 17-19, 2005.
Kurt Rohloff. "The Diagnosis of Failures via the Combination of Distributed Observations", Mediterranean Conference on Decision and Control, 2005.
Kurt Rohloff and Jan H. van Schuppen. "Approximating Minimal Communicated Event Sets for Decentralized Supervisory Control", IFAC World Congress, 2005.
Kurt Rohloff, Tansu Alpcan and Tamer Başar. "A Discrete-Event Systems Model for Congestion Control", IFAC World Congress, 2005.
Kurt Rohloff and Jan H. van Schuppen. "Information Acquisition, Approximation Algorithms and Supervisory Control". Workshop on Control of Hybrid and Discrete Event Systems (CHyDES'05), a satellite event of the 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ATPN 2005). Miami Florida, June 21, 2005.
Kurt Rohloff, Samir Khuller and Guy Kortsatz. "Approximating Optimal Sensor Selections for Supervisory Control, Workshop on Discrete-Event Systems", 2004. (Invited to submit a journal version of this paper to a special edition of the journal Discrete Event Dynamic Systems.)
Kurt Rohloff and Stéphane Lafortune. "Symmetry Reductions for a Class of Modular Discrete-Event Systems", Conf. on Decision and Control, 2004.
Kurt Rohloff and Stéphane Lafortune. "The Control and Verification of Similar Agents Operating in a Broadcast Network", Conf. on Decision and Control, 2003.
Kurt Rohloff and Stéphane Lafortune. "Supervisor Existence for Modular Discrete-Event Systems", Proc. of the 2nd IFAC Conf. on Control Systems Design, 2003.
Kurt Rohloff and Stéphane Lafortune. "Recent Results on Computational Issues in Supervisory Control", Proc. of the ATPN-Workshop Discrete Event Systems Control, 2003.
Kurt Rohloff and Stéphane Lafortune. "On the Computational Complexity of the Verification of Modular Discrete-Event Systems", Conf. on Decision and Control, 2002.

up to Top

Presentations

Kurt Rohloff. “Measures to Reduce the Development Time of Large Systems.” INFORMS 2011 Northeastern Conference, May 6, 2011.
Kurt Rohloff. “Cloud computing for Scalability: The SHARD Triple-Store.” Cambridge SemWeb MeetUp, Jan. 9, 2011.
Kurt Rohloff. “Cloud computing for Scalability: The SHARD Triple-Store.” SemWeb MeetUp Webcast, Jan. 9, 2011.
Kurt Rohloff. “SHARD: Storing and Querying Large-Scale SemWeb Data.” HadoopWorld, New York, NY. Oct. 2010.
Kurt Rohloff. “Cloud- and Cluster-Computing Technologies for the Semantic Web.” Semantic Technology Conference, San Francisco, CA. June 2010.
Kurt Rohloff. "Directions for Cost-Effective Certification of High-Assurance Cyber Physical Systems." Fourth Annual Carnegie Mellon Conference on the Electricity Industry, March 2008.

up to Top

Technical Reports

Kurt Rohloff and Jan H. van Schuppen. Approximating the Minimal-Cost Sensor-Selection for Discrete-Event Systems. CWI Report MAS-R0404, CWI, Amsterdam, The Netherlands, December 2004.
Kurt Rohloff and Stéphane Lafortune. Symmetry Reductions for a Class of Distributed Discrete-Event Systems, University of Michigan EECS Technical Report CGR-04-02, 2004.
Kurt Rohloff and Stéphane Lafortune. Space Efficient Methods for Testing Reachability with Applications to Coobservability and Decentralized Control, University of Michigan EECS Technical Report CGR-03-08, 2003.
Kurt Rohloff and Stéphane Lafortune. Deciding Coobservability is PSPACE-complete, University of Michigan EECS Technical Report CGR-03-06, 2003.
Kurt Rohloff and Stéphane Lafortune. Advances in State Estimation and Controller Synthesis for General Decentralized Control of Discrete Event Systems, University of Michigan EECS Technical Report CGR-01-11, 2001.

up to Top