2012 Publications

MB900305811

  1. Martin Wirsing, Jonas Eckhardt, Tobias Muhlbauer, and José Meseguer, “Design and Analysis of Cloud-Based Architectures with KLAIM and Maude”, 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Tullin, Estonia, March 24-April 1, 2012. [full text]
  2. Jonas Eckhardt, Tobias Muhlbauer, Musab Al-Turki, José Messeguer, and Martin Wirsing, “Stable Availability under Denial of Service Attacks through Formal Patterns”,  15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Tullin, Estonia, March 24-April 1, 2012. [full text]  
  3. Abhishek Verma, Ludmila Cherkasova, Vijay Kumar, and Roy H. Campbell, “Deadline-based Workload Management for MapReduce Environments: Pieces of the Performance Puzzle”, 2012 IEEE/IFIP Network Operations Management Symposium (NOMS 2012), Maui, HI, April 16-20, 2012. [full text]
  4. Lucian Bentea and Peter Olveczky, “A Probabilistic Strategy Language for Probabilistic Rewrite Theories and its Application to Cloud Computing”, 21st International Workshop on Algebraic Development Trends (WADT 2012), Salamanca, Spain, June 7-10, 2012. [full text]
  5. Peter Dinges and Gul Agha, “Scoped Synchronization Constraints for Large Scale Actor Systems”, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. [full text]
  6. Jingwei Huang, and David M. Nicol, Rakesh Bobba, and Jun Ho Huh, “A Framework Integrating Attribute-based Policies into Role Based Access Control”, 17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012), Newark, NJ, June 20-22, 2012. [full text]
  7. Cuong Pham, Phuong Cao, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, “Toward a High Availability Cloud: Techniques and Challenges”, 2nd International Workshop on Dependability of Clouds, Data Centers, and Virtual Machine Technology, organized in conjunction with 42nd International IEEE/IFIP Conference on Dependable Systems and Networks (DSN 2012), Boston, MA, June 25, 2012. [full text]
  8. Mirko Montanari, Jun Ho Huh, Derek Dagit Rakesh B. Bobba and Roy H. Campbell, “Evidence of Log Integrity in Policy-based Security Monitoring”, 2nd International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV 2012), in conjunction with the 42nd International IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Boston, MA, June 25-28, 2015. [full text]
  9. Catello Di Martino, Marcello Cinque, and Domenico Controneo, “Assessing Time Coalescence Techniques for the Analysis of Supercomputer Logs”, 42nd International IEEE/IFIP Conference on Dependable Systems and Networks (DSN 2012), Boston, MA, June 25-28, 2012. [full text]
  10. Mirko Montanari, Lucas T. Cook, and Roy H. Campbell, “Multi-organization Policy-based Monitoring”, 2012 IEEE Policies for Distributed Systems and Networks (POLICY 2012), Chapel Hill, NC, July 16-18, 2012. [full text]
  11. Minas Charalambides, Peter Dinges, and Gul Agha, “Parameterized Concurrent Multi-Party Session Types”, 11th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, (FOCLASA 2012), New Castle, United Kingdom, September 8, 2012. [full text]
  12. Ralf Sasse, Samuel T. King, José Meseguer, and Shuo Tang, “IBOS: A Correct-By-Construction Modular Browser”, 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, CA, September 12-14, 2012. [full text]
  13. Jingwei Huang and David M. Nicol, “Security and Provenance in M3GS for Cross-domain Information Sharing”,  IEEE Military Communications Conference (MILCOM 2012), Orlando, FL, October 29-November 1, 2012. [full text]
  14. Cristina L. Abad, Nathan Roberts, Yi Lu, and Roy H. Campbell, “A Storage-Centric Analysis of MapReduce Workloads: File Popularity, Temporal Locality and Arrival Patterns”, 2012 IEEE International Symposium on Workload Characterization (IISWC 2012), La Jolla, CA, November 4-6, 2012. [full text]
  15. Cristina Abad, Huong Luu, Nathan Roberts, Kihwal Lee, Yi Lu, and Roy H. Campbell, “Metadata Traces and Workload Models for Evaluating Big Storage Systems”, 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing (UCC 2012), Chicago, IL, November 5-8, 2012. [full text]
  16. Faraz Faghri, Sobir Bazarbayev, Mark Overholt, Reza Farivar, Roy H. Campbell, and William H. Sanders, “Failure Scenario as a Service (FSaaS) for Hadoop Clusters”, Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, in conjunction with the 13th International Conference on Middleware (Middleware 2012), Montreal, Quebec, Canada, December 3-7, 2012. [full text]