Recent Journal and Conference Publications:

Books

Selected Journal and Conference Publications (right click to open in a new window):

Design and Modeling of Moving Target Defense in Workflow-based Applicationa, (with Sarah Alhozaimy and Massimiliano Albanese), Cluster Computing Journal, Springer, published online on April 4,, 2023.
Modeling and Optimization of Virtual Networks in Multi-AS Environments, (with Yong Xue and Alex Brodsky), Intl. Conf. Operations Research and Enterprise Systems (ICORES 2023), Lisbon, Portugal, February, 19-21, 2023.
Autonomic Elasticity Control for Multi-server Queues under Generic Workload Surges in Cloud Environments, (with Venkat Tadakamalla), IEEE Tr. Cloud Computing, Vol. 10, no. 2, April-June 1, 2022, pp. 984-995.
A Formal Analysis of Performance-Security Tradeoffs Under Frequent Task Reconfigurations, (with Sarah Alhozaimy), Elsevier's Future Generation of Computer Systems Journal, Vol. 127, Febr. 2022, pp. 252-262.
Autonomic Resource Management for Fog Computing, (with U. Tadakamalla), IEEE Tr. Cloud Computing, vol. 10, no.4, pp. 2334-2350.
Trust But Verify: a framework for the trustworthiness of distributed systems, (with Reem Albarrak), IEEE Tr. Dependable and Secure Computing, vol. 19, no. 3, pp. 2105-2121, May-June 2022, ISSN: 1545-5971.
Performance Modeling of Moving Target Defenses with Reconfiguration Limits, (with W. Connell and M. Albanese), IEEE Tr. Dependable and Secure Computing, Jan/Febr 2021, Vol. 18, Issue 1, pp. 205-219.
A Decentralized Approach for Discovering Runtime Software Architectural Models of Distributed Software Systems, (with Jason Porter and Hassan Gomaa), Elsevier Journal of Information and Software Technology, 131, March 2021.
Stochastic Optimization Algorithm Based on Deterministic Approximations\/}, (with Mohan Krishnamoorthy and Alex Brodsky), 10th International Conference on Operations Research and Enterprise Systems (ICORES 2021), February 4-6, 2021.
Data-driven Derivation of an Analytic Model for Parallel Servers with Job Replication, (with Noor Bajunaid), IEEE Tr. Parallel and Distributed Systems, Vol. 31, no. 10, pp. 2435-2452.
iModel: Automatic Derivation of Analytic Performance Models, (with M. Awad), ACM Tr. on Performance Modeling of Computer Systems (TOMPECS), March 2020, Article 7, pp. 1-30.
Self-Managed Computer Systems: Foundations and Examples, Lecture Notes in Business Information Processing, eds. J. Filipe, M. Smialek, A. Brodsky and S. Hammoudi, Springer Verlag, no. 384, pp. 17-36, 2020.
Characterization of IoT Workloads, (with U. Tadakamalla), 2019 Intl. Conf. Edge Computing (EDGE 2019), June 25-30, 2019, San Diego, CA.
Autonomic Resource Management using Analytic Models for Fog/Cloud Computing, (with U. Tadakamalla), IEEE Intl. Conf. Fog. Computing (ICFC 2019), Prague, Czech Republic, June 24-26, 2019.
Taming Complexity with Self-managing Systems, International Conference on Enterprise Information Systems (ICEIS), May 3-5, 2019, Heraklion, Crete, Greece.
Factory Optima: A Web-based System for Composition and Analysis of Manufacturing Service Networks based on a Reusable Model Repository, (with A. Brodsky, M.O. Nachawati, M. Krishnamoorthy, and W.Z. Bernstein), Intl. J. Computer Integrated Manufacturing (TCIM), Taylor & Francis, published online on February 6, 2019.
TDQN: Trace-Driven Analytic Queuing Network Modeling of Computer Systems, (with S. Bardhan), The Journal of Systems & Software, Elsevier, Vol. 147, January 2019, pp. 162-171.
FogQN: An Analytic Model for Fog/Cloud Computing, (with U. Tadakamalla), Proc. 1st Workshop on Managed Fog-to-Cloud (mF2C), joint with 11th IEEE/ACM Intl. Conf. Utility and Cloud Computing, Zurich, Switzerland, December 17-20, 2018.
Model-Driven Elasticity Control for Multi-Server Queues Under Traffic Surges in Cloud Environments, (with V. Tadakamalla), Proc. 2018 International Conf. on Autonomic Computing, Trento, Italy, September 3-7, 2018.
An Analytic Model of Traffic Surges for Multi-Server Queues in Cloud Environments, (with V. Tadakamalla), Proc. Workshop: Cloud Performance and Reliability, IEEE CLOUD 2018 Conf. July 2-7, 2018, San Francisco, CA, USA.
Stochastic decision optimisation based on deterministic approximations of processes described as closed-form arithmetic simulation, (with M. Krishnamoorthy and A. Brodsky), J. Decision Systems, available online on May 7, 2018.
Efficient Modeling and Optimizing of Checkpointing in Concurrent Component-Based Software Systems, (with N. Bajunaid), J. Systems and Software, Vol. 139, May 2018, pp. 1-13.
Stochastic Decision Optimization based on Deterministic Approximations of Processes Described as Closed-form Arithmetic Simulation, (with M. Krishnamoorthy, A. Brodsky), Proc. IFIP WG 8.3 on Decision Support Systems (IFIP-DSS'18), Ljubljana, Slovenia. Best Paper Award.
TESS: Automated Performance Evaluation of Self-Healing and Self-Adaptive Distributed Software Systems, (with J. Porter, H. Gomaa, and E. Albassam), 9th ACM/SPEC Intl. Conf. Performance Engineering (ICPE) Berlin, Germany, April 9--13, 2018
Manufacturing and Contract Service Networks: Composition, Optimization and Tradeoff Analysis based on a Reusable Repository of Performance Models, (with A. Brodsky, M. Krishnamoorthy, M. Omar Nachawati, and W.Z. Bernstein), IEEE Intl. Conf. Big Data 2017, 2nd Symp. Data Analytics for Advanced Manufacturing, Boston, MA, Dec 11-14, 2017.
Capacity Planning for IaaS Cloud Providers Offering Multiple Service Classes, (with M. Carvalho and F. Brasileiro), Future Generation Computer Systems, Elsevier, Vol. 77, December 2017, pp. 97-111. http://dx.doi.org/10.1016/j.future.2017.07.019.
Performance Evaluation of Heterogeneous Multi-Queues with Job Replication, (with N. Bajunaid), 2017 Computer Measurement Group Conf. (imPACt 2017), New Orleans, LA, November 6-9, 2017.
Performance Modeling of Moving Target Defenses, (with W. Connell and M. Albanese), 2017 Moving Target Defense (MTD) Workshop, Oct 30th - Nov 3rd, 2017, Dallas, Texas.
Run-time Software Architectural Models for Adaptation, Recovery and Evolution, (with H. Gomaa and E. Albassam), Proc. 12th International Workshop on Models@runtime, MODELS Conference, Austin, Texas, September 2017.
Model-Based Recovery and Adaptation Connectors: Design and Experimentation, (with E. Albassam and H. Gomaa), ICSOFT 2016, CCIS 743, E. Cabello et al. (Eds.), Lecture Notes in Computer Science, Chapter 6, Springer Intl. Publishing AG, pp. 1–24, 2017, DOI: 10.1007/978-3-319-62569-0_6.
Analysis and Autonomic Elasticity Control for Multi-Server Queues Under Traffic Surges, (with Venkat Tadakamala), 2017 IEEE Intl. Conf. Cloud and Autonomic Computing (ICCAC), Tucson, AZ, USA, September 18-22, 2017.
Variable Recovery and Adaptation Connectors for Dynamic Software Product Lines, (with E. Albassam and H. Gomaa), 10th Intl. Workshop on Dynamic Software Product Lines (DSPL 2017), Sevilla, Spain, September 25-29, 2017.
DARE: A Distributed Adaptation and Failure Recovery Framework for Software Systems, (with E. Albassam, J. Porter, H. Gomaa), 14th IEEE Intl. Conf. Autonomic Computing (ICAC 2017), Columbus, OH, July 17-21, 2017.
Analytic Models of Checkpointing for Concurrent Component-Based Software Systema, (with N. Bajunaid), 8th ACM/SPEC Intl. Conf. Performance Engineering, L'Aquila, Italy, April 22--26, 2017.
Deriving Parameters for Open and Closed QN Models of Operational Systems Through Black Box Optimization, (with M. Awad), 8th ACM/SPEC Intl. Conf. Performance Engineering, L'Aquila, Italy, April 22--26, 2017.
DeSARM: A Decentralized Mechanism for Discovering Software Architecture Models at Runtime in Distributed Systems, (with J. Porter and H. Gomaa), 11th International Workshop on Models@run.time (MODELS 2016), Saint-Malo, France, October 4, 2016.
A Knowledge Base to Support the Automatic Derivation of Performance Models of Operational Systems, (with M. Awad), Proc. 2016 Computer Measurement Group Conf. (imPACT 2016), Nov. 7-10, La Jolla, CA.
Modeling and Optimization of Multititiered Server-Based Systems, (with N. Bajunaid), Proc. 2016 Computer Measurement Group Conf. (imPACT 2016), Nov. 7-10, La Jolla, CA.
Performance Model Derivation of Operational Systems Through Log Analysias, (with M. Awad), IEEE Intl. Symp. Modeling, Analysis and Simulation of Computer Systems and Telecommunication Systems (MASCOTS 2016), Imperial College, London, UK, September 19-21, 2016.
Model-based Recovery Connectors for Self-Adaptation and Self-Healing, (with E. Albassam and H. Gomaa), Proc. 11th Intl. Joint Conf. Software Technologies (ICSOFT 2016), July 24-26, 2016, Lisbon, Portugal.
Analysis and optimization based on reusable knowledge base of process performance models, (with A. Brodsky, G. Shao , M. Krishnamoorthy, A. Narayanan, and R. Ak), Intl. J. Advanced Manufacturing, Springer, online on April 23, 2016, pp. 1-21.
A Taxonomy of Job Scheduling on Distributed Computing Systems, (with R.V. Lopes), IEEE Tr. Parallel and Distributed Systems, 27(12), December 2016, pp. 3412-3428.
Modular Modeling and Optimization of Temporal Manufacturing Processes with Inventories, (with M. Krishnamurthy and A. Brodsky), Proc. 49th Hawaii Intl. Conf. System Sciences (HICSS), Jan. 5-8, 2016, Kauai, Hawaii.
Prediction-Based Admission Control for IaaS Clouds with Multiple Service Classes, (with M. Carvalho and F. Brasileiro), 7th IEEE Intl. Conf. Cloud Computing Technology and Science (CloudCom), Vancouver, Canada, Nov. 30-Dec. 3, 2015.
Modeling the Tradeoffs Between System Performance and CPU Power Consumption, Proc. 2015 Computer Measurement Group Conf., November 2-5, 2015, San Antonio, Texas.
Automatic Workload Characterization Using System Log Analysis, (with M. Awad), Proc. 2015 Computer Measurement Group Conf., November 2-5, 2015, San Antonio, Texas.
Analysis and Optimization in Smart Manufacturing Based on a Reusable Knowledge Base for Process Performance Models, (with A. Brodsky, G. Shao, M. Krishnamoorthy, A. Narayanan, and R. Ak), IEEE Intl. Conf. Big Data, Santa Clara, CA, Oct. 29 - Nov. 1, 2015.
Near-optimal Allocation of VMs from IaaS Providers by SaaS Providers, (with A. Aldhalaan), Proc. 2015 IEEE Intl. Conf. Cloud and Autonomic Computing (ICCAC), Cambridge, MA, Sept, 21-25, 2015.
Predicting the Effect of Memory Contention in Multi-core Computers Using Analytic Performance Models (with S. Bardhan), IEEE Transactions on Computers, 64(8), August 2015, pp. 2279-2292.
Autonomic Smart Manufacturing, (with M. Krishnamoorthy and A. Brodsky), Special issue on Integrated Decision Support Systems, J. Decision Systems, eds. Isabelle Linden at el., Taylor and Francis, June 2015, DOI: 10.1080/12460125.2015.1046714.
Autonomic Metaheuristic Optimization with Application to Run-Time Software Adaptation, (with J. Ewing), The Eleventh International Conference on Autonomic and Autonomous Systems (ICAS 2015), Rome, Italy, May 24-29, 2015.
Optimizing Stochastic Temporal Manufacturing Processes with Inventories: An Efficient Heuristic Algorithm based on Deterministic Approximations, (with M. Krishnamoorthy and A. Brodsky), Proc. INFORMS Computing Society Conf., Richmond, VA, January 11-13, 2015, pp. 30-46.
Dynamic Derivation of Analytical Performance Models in Autonomic Computing Environments, (with M. Awad), 2014 Computer Measurement Group Performance and Capacity Conf., Atlanta, Georgia, November 6, 2014. Best Paper Award.
A Contention Aware Hybrid Evaluator for Schedulers of Big Data Applications in Computer Clusters, (with S. Bardhan), 2nd Workshop on Scalable Cloud Data Management, co-located with the IEEE BigData Conference, Washington DC, October 27th 2014.
Toward Smart Manufacturing: Monitoring, Analysis, Planning and Execution using Decision Guidance Analytics, (with A. Brodsky, M. Krishnamurthy, G. Shao, and S. Rachuri), IEEE NIST Data to Insight: Big Data and Analytics for Smart Manufacturing Systems Workshop, held jointly with the IEEE BigData 2014 Conf., October 27-30, Washington, DC, USA.
Autonomic Allocation of Communicating Virtual Machines in Hierarchical Cloud Data Centers, (with A. Aldhalaan), 2014 IEEE Cloud and Autonomic Computing Conf. (CAC 2014), London, UK, September 8-12, 2014.
On the Predictive Properties of Performance Models Derived Through Input-Output Relationships, (with M. Awad), Proc. European Performance Engineering Workshop (EPEW 2014), Florence, Italy, September 11-12, 2014.
Efficient Response Time Approximations for Multiclass Fork and Join Queues in Open and Closed Queuing Networks, (with F. Alomari), IEEE Tr. Parallel and Distributed Systems, Vol. 25 (6), June 2014, pp. 1437-1446.
A Meta-Controller Method for Improving Run-Time Self-Architecting in SOA Systems, (with J. Ewing), Proc. 5th ACM/SPEC Intl. Conf. Performance Engineering (ICPE 2014), Dublin, Ireland, March 23-26, 2014.
The Meta-Protocol Framework, (with I.S. Abdullah), The Journal of Systems & Software, 86(11), November 2013, pp. 2711-2724.
A Performance Model for Core System Monitoring Functions, (with K. Mitchell), 2013 Int'l Conf. Computer Measurement Group, La Jolla, CA, November 5-8, 2013. (Best Paper Award)
The Anatomy of MapReduce Jobs, Scheduling, and Performance Challenges, (with S. Bardhan), 2013 Int'l Conf. Computer Measurement Group, La Jolla, CA, November 5-8, 2013.
Analytic Performance Modeling and Optimization of Live VM Migration, (with A. Aldhalaan), 10th European Workshop on Performance Engineering (EPEW), Ca' Foscari University, Venice, Italy, September 16-17, 2013.
Analytic Performance Models of Applications in Multi-core Computers, (with S. Bardhan), 21st Intl. Symp. Modeling, Analysis and Simulation of Computer Systems and Telecommunication Systems (MASCOTS 2013), San Francisco, August 14-16, 2013, pp. 318-322.
Autonomic Resource Provisioning in Cloud Systems with Availability Goals, (with E. Casalicchio and A. Aldhalaan), The ACM Cloud and Autonomic Computing Conference (CAC 2013) Miami, FL, August 5-9, 2013.
Self-Protecting and Self-Optimizing Database Systems: Implementation and Experimental Evaluation, (with F. Alomari), The ACM Cloud and Autonomic Computing Conference (CAC 2013) Miami, FL, August 5-9, 2013.
Queuing Network Models to Predict the Completion Time of the Map Phase of MapReduce Jobs, (with S. Bardhan), 2012 Computer Measurement Group Intl. Conf., Las Vegas, NV, Dec. 3-7, 2012.
A Scalability Analysis of an Architecture for Countering Network-Centric Insider Threats (with F. Sibai), International Journal on Advances in Security, IARIA, Vol. 5, Nos. 1-2, pp. 16-27.
Countering Network-Centric Insider Threats Through Self-Protective Autonomic Rule Generation, (with F. Sibai), IEEE Sixth International Conference on Software Security and Reliability (SERE 2012), June 20-22, 2012, Washington, D.C., USA.
An Autonomic Framework for Integrating Security and Quality of Service Support in Databases, (with F. Alomari), IEEE Sixth International Conference on Software Security and Reliability (SERE 2012), , June 20-22, 2012, Washington, D.C., USA.
The Design of an Autonomic Controller for Self-Managed Emergency Departments, (with S. Al-Momen), HEALTHINF 2012 - International Conf. Health Informatics, February 1-4, 2012, Algarve, Portugal.
A Methodology for Combinining GSPNs and QNs, 2011 Computer Measurement Group Conference, Washington, D.C., December 5-9, 2011.
SASSY: A Framework for Self-Architecting Service-Oriented Systems, (with H. Gomaa, S. Malek, and J.P. Sousa), IEEE Software, Vol. 28, No. 6, November/December 2011.
A Scalable Architecture for Countering Network-Centric Insider Threats, (with F. Sibai), The Fifth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE), August 21-27, 2011, French Riviera, Nice/Saint Laurent du Var, France. (Outstanding Paper Award)
A Decision-Guided Energy Management for Sustainable Manufacturing, (with G. Shao, A. Brodsky, J. Arinez, and P. Ammann), Proc. ASME 2011 International Design Engineering Technical Conference & Computers and Information in Engineering Conference (IDETC/CIE), American Society of Mechanical Engineers, Washington, DC, August 28--31, 2011.
Performance Management of Composite Applications in Service Oriented Architectures, (with V. Dubey), in Performance and Dependability in service computing: Concepts, Techniques and Research Directions, eds. V. Cardellini, E. Casalicchio, K. Castello Branco, J.C. Estrella, and F.K. Monaco, IGI Global, July 2011.
Decision-Guided Self-Architecting Framework for Integrated Distribution and Energy Management (with J. Arinez, S. Biller, A. Brodsky, G. Shao, and J.P. Sousa), Second Conference on Innovative Smart Grid Technologies (ISGT 2011), IEEE Power Society, Anaheim, CA, January 17-19, 2011.
An Autonomic Computing Framework for Self-managed Emergency Departments, (with S. Al-Momen), HEALTHIT 2011 - Intl. Conf. Health Informatics, Rome, Italy, January 26--29, 2011.
Defeating the Insider Threat via Autonomic Network Capabilities (with F. Sibai), The Third International Conference on COMmunication Systems and NETworkS (COMSNETS), Bangalore, India, January 4-8, 2011.
Method and Model to Assess the Performance of Clustered Databases: The Oracle RAC Case, (with K. Molloy), 2010 Computer Measurement Group Conf., Orlando, FL, Dec. 6-8, 2010.
On Optimal Service Selection in Service Oriented Architectures, (with E. Casalicchio and V. Dubey), Performance Evaluation Journal, Elsevier, August 2010, 67(8), pp. 659-675.
Utility-based Optimal Service Selection for Business Processes in Service Oriented Architectures, (with V. Dubey), The Eight Intl. Conf. Web Services, IEEE Computer Society, Miami, FL, July 5-10, 2010.
QoS Architectural Patterns for Self-Architecting Software Systems, (with J.P. Sousa, S. Malek, and H. Gomaa), 7th IEEE Intnl. Conf. on Autonomic Computing and Communication, Washington, DC, June 7-11, 2010.
Software Adaptation Patterns for Service Oriented Architectures, (with H. Gomaa, K. Hashimoto, M. Kim, S. Malek), Proc. 25th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems, Sierre, Switzerland, March 22 - 26, 2010.
A Framework for Utility-Based Service Oriented Design in SASSY, (with J. Ewing, H. Gomaa, S. Malek, and J.P. Sousa), First Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW 2010), San Jose, California, USA. January 28-30, 2010. (slides)
Understanding Cloud Computing: Experimentation and Capacity Planning, (with P. Ngo), 2009 Computer Measurement Group Conference, Dallas, TX, Dec. 6-11, 2009. (slides)
Optimal Service Selection Heuristics in Service Oriented Architectures, (with E. Casalicchio, V. Dubey, and L. Silvestri), The 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications (AAA-IDEA 2009), Las Palmas de Gran Canaria, The Canary Islands, Spain, November 26, 2009.
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems, (with N. Esfahani, S. Malek, J.P. Sousa, and H. Gomaa), ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems,, Denver, CO, October 2-4, 2009.
Business-Oriented Autonomic Load Balancing for Multitiered Web Sites, (with J. Ewing), 17th ACM/IEEE Intl. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2009), London, UK, September 21-23, 2009.
The Insider Threat Security Architecture, (with G. Jabbour), 2009 IEEE Intl. Symposium on Secure Computing (SecureCom09), Vancouver, Canada, August 29--31, 2009.
Stopping the Insider Threat: the case for implementing integrated autonomic defense mechanisms in computing systems, (with G. Jabbour), Intl. Conf. on Security and Privacy (ISP'09), Orlando, FL, July 13-16, 2009.
Self-Architecting Software SYstems (SASSY) From QoS-Annotated Models, (with S. Malek, N. Esfahani, J.P. Sousa, and H. Gomaa), in Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, May 18--19, 2009.
"Computing Missing Service Demand Parameters for Performance Models," 2008 Computer Measurement Group Conference, Dec. 7--12, 2008, Las Vegas, NV.
"Securing Security Policies in Autonomic Computing Systems," (with G. Jabbour), 2008 International Conference on Security and Management (SAM'08), July 14-17, Las Vegas, NV.
"A Heuristic Approach to Optimal Service Selection in Service Oriented Architectures", (with E. Casalicchio and V. Dubey), 2008 ACM Workshop on Software and Performance (WOSP 2008), Princeton, NJ, June 23-26, 2008.
"Policy-Based Enforcement of Database Security Configuration through Autonomic Capabilities," (with G. Jabbour), Proc. Intl. Conference on Autonomous and Autonomic Systems (ICAS'08), Gosier, Guadeloupe, March 16-21, 2008.
"An Empirical Evaluation of Communication and Processing Overhead in Service Oriented Architectures," (with V. Dubey), Proc. 2007 Computer Measurement Group Conference, San Diego, CA, Dec. 2-7, 2007.
"A business-oriented load dispatching framework for online auction sites," (with V. Akula) Proc. IEEE Intl. Conf. Quantitative Evaluation of Systems (QEST'07), Edinburgh, Scotland, Sept. 16-19, 2007.
"QoS Management in Service-Oriented Architectures," (with H. Ruan and H. Gomaa), Performance Evaluation Journal, North-Holland, Elsevier, Vol. 64, Nos. 7-8, August 2007, pp. 646-663.
Utility-based QoS Brokering in Service Oriented Architectures," (with V. Dubey), IEEE 2007 Intl. Conf. Web Services (ICWS 2007), Application Services and Industry Track, Salt Lake City, Utah, July 9-13, 2007.
Two-Level Workload Characterization of Online Auctions," (with V. Akula), Electronic Commerce Research and Applications Journal, Elsevier, Vol. 6, No. 2, pp. 192--208, Summer 2007.
"Improving the Performance of Online Auctions Through Server-side Activity-Based Caching," (with V. Akula), World Wide Web Journal, Springer Verlag, Vol. 10, No. 2, June 2007, pp. 181-204.
"Analytic Performance Models for Single Class and Multiple Class Multithreaded Software Servers," (with M.N. Bennani), Proc. 2006 Computer Measurement Group Conf., Reno, NV, Dec. 3--8, 2006.
"Autonomic Virtualized Environments," (with M.N. Bennani) IEEE International Conference on Autonomic and Autonomous Systems, July 19-21, 2006, Silicon Valley, CA, USA.
"Student Perceptions of Engineering Entrepreneurship: An Exploratory Study," (with N. Dabbagh), Journal of Engineering Education, America Society of Engineering Education, April 2006.
"Dynamic Server Allocation for Autonomic Service Centers in the Presence of Failures," (with M. Bennani), in the book Autonomic Computing: Concepts, Infrastructure, and Applications, eds. S. Hariri and M. Parashar, CRC Press.
"Virtualization: concepts, applications, and performance," Proc. 2005 Computer Measurement Group Conference, Dec. 4-9, 2005, Orlando, FL.(slides).
"Server-side caching strategies for online auction sites," (with V. Akula), 6th International Conference on Web Information Systems Engineering (WISE'05), New York, NY, November 20-22, 2005.
"Evaluating Caching Policies for Online Auctions," (with V. Akula), IFIP's 2005 Performance Conference, Oct. 3-7, 2005, Juan-les-Pins, France. (poster paper)
"Scaling the Web: Wrapping it Up," IEEE Internet Computing, Volume 9, No. 4, July/August 2005.
"A Method for Evaluating the Impact of Software Configuration Parameters on E-Commerce Sites," (with M. Sopitkamol), Proc. 2005 Workshop on Software and Performance, Palma de Mallorca, Spain, July 11--14, 2005.
"Resource Allocation for Autonomic Data Centers Using Analytic Performance Models," (with M. Bennani), Proc. 2005 IEEE International Conference on Autonomic Computing, Seattle, WA, June 13-16, 2005.
"On the Use of Online Analytic Performance Models in Self-Managing and Self-Organizing Computer Systems," (with M. Bennani and H. Ruan), in the book Self-Star Properties in Complex Information Systems, O. Babaoglu, M. Jelasity, A. Montresor, C. Fetzer , S. Leonardi, A. van Moorsel, and M. van Steen, eds., Lecture Notes in Computer Science, Vol. 3460, Springer Verlag, 2005.
"Scalable Access to Scientific Data," IEEE Internet Computing, Vol. 9, No. 3, May/June 2005.
"Mom vs. RPC: Communication Models for Distributed Applications," IEEE Internet Computing, Vol. 9, No. 2, March/April 2005.
"Allocating Applications in Distributed Computing," IEEE Internet Computing, Vol. 9, No. 1, January/February 2005.
"Quality of Service Aspects and Metrics in Grid Computing," (with E. Casalicchio), Proc. 2004 Computer Measurement Group Conference, Las Vegas, NV, December 5-10, 2004.
"Composing Web Services: A QoS View," D. Menasce, IEEE Internet Computing, Vol. 8., No. 6, November/December 2004.
"MARVIN: A Web-Based System for Representing, Retrieving, and Visualizing Analogies," (with H.J. Foxwell), World Wide Web: Internet and Web Information Systems Journal, Kluwer Academic Publishers, Volume 7, No. 4, October 2004.
"A Framework for Resource Allocation in Grid Computing," (with E. Casalicchio), Proc. 12th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Volendam, The Netherlands, October 5-7, 2004.
"Mapping Service Level Agreements in Distributed Applications," IEEE Internet Computing, Vol.8, No. 5, September/October 2004.
"Improving the Performance of Online Auction Sites through Closing Time Rescheduling," (with V. Akula), First International Conference on Quantitative Evaluation of Systems (QEST), Twente, Netherlands, September 27-30, 2004.
An analysis of bidding activity in online auctions, (with V. Akula), 5th International Conference on Electronic Commerce and Web Technologies (EC-Web'04), August 30-September 3, 2004, Zaragoza, Spain.
"QoS in Grid Computing," (with E. Casalicchio) IEEE Internet Computing, July/August 2004, Vol. 8, No. 4.
"Performance and Availability of Internet Data Centers," IEEE Internet Computing, May/June 2004, Vol. 8, No. 3.
"Assessing the Robustness of Self-Managing Computer Systems under Highly Variable Workloads," (with M. Bennani), Proc. International Conf. Autonomic Computing (ICAC-04), New York, NY, May 17-18, 2004.
"QoS-aware software components," IEEE Internet Computing, March/April 2004, Vol. 8, No. 2.
"Response Time Analysis of Composite Web Services," IEEE Internet Computing, January/February 2004, Vol. 8, No. 1.
"A Framework for QoS-Aware Software Components," (with H. Ruan and H. Gomaa), Proc. 2004 ACM Workshop on Software and Performance, San Francisco, CA, January 14, 2004.
"On the Use of Performance Models to Design Self-Managing Computer Systems," (with M. Bennani), Proc. 2003 Computer Measurement Group Conference, Dallas, TX, Dec. 7-12, 2003.
"Web Server Software Architectures," IEEE Internet Computing, November/December 2003, Vol. 7, No. 6.
"Protocol Specification and Automatic Implementation Using XML and CBSE," (with I. S. Abdullah), IASTED conference on Communications, Internet and Information Technology (CIIT 2003), November 17-19, Scottsdale, AZ.
"A unified architecture for the implementation of security protocols," (with I. S. Abdullah), Proc. Intl. Conf. on Computer Applications in Industry and Engineering (CAINE03), Las Vegas, Nevada, November 11-13, 2003.
"Workload Characterization," IEEE Internet Computing, September/October 2003, Vol. 7, No. 5.
"Towards Workload Characterization of Auction Sites," (with V. Akula), Proc. 6th Workshop on Workload Characterization (WWC-6), Austin, Texas, October 27, 2003.
"A Hierarchical and Multiscale Approach to Analyze E-Business Workloads," (with V. Almeida, R. Riedi, F. Ribeiro, R. Fonseca, and W. Meira Jr), Performance Evaluation, North-Holland, Volume 54, Issue 1 , September 2003.
"Scaling Web Sites Through Caching," IEEE Internet Computing, July/August 2003, Vol. 7, No. 4.
"Designing a Complex E-commerce Simulation," (with R. Dodge), Proc. Seventh World Multi-conference on Systemics, Cybernetics and Informatics, Orlando, FL, July 27-30, 2003, pp. 243--248.
"Security Performance," IEEE Internet Computing, May/June 2003, Vol. 7, No. 3.
"Scalable P2P Search," IEEE Internet Computing, March/April 2003, Vol. 7, No. 2.
"Automatic QoS Control," IEEE Internet Computing, January/February 2003, Vol. 7, No. 1.
"QoS Issues in Web Services," IEEE Internet Computing, November/December 2002, Vol. 6, No. 6.
"Characterizing E-Business Workloads Using Fractal Methods," (with B. Abrahao, D. Barbara, V. Almeida, and F. Ribeiro), Journal of Web Engineering, Rinton Press, Vol 1, No. 1, 2002, pp. 74--90.
"Load Testing, Benchmarking, and Application Performance Management for the Web," Proc. 2002 Computer Measurement Group Conference,Reno, NV, Dec. 2002.
"A Methodology for Analyzing the Performance of Authentication Protocols," (with A. Harbitter), ACM Transactions on Information Systems Security, vol. 5, no. 4, Nov 2002, pp. 458-491.
"Web-based Representation and Visualization of Analogies," (with H. Foxwell), Proc. IADIS International Conference WWW/Internet 2002, Lisbon, Portugal, Nov. 13-15, 2002.
"Two-level Iterative Queuing Modeling of Software Contention," Proc. Tenth IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002),Fort Worth, TX, Oct. 12-16, 2002.
"Trade-offs in Designing Web Clusters," IEEE Internet Computing, September/October 2002.
"Load Testing of Web Sites," IEEE Internet Computing, July/August, 2002.
"Probabilistic Scalable P2P Resource Location Services," (with L. Kanchanapalli), 2002 Practical Aspects of Performance Analysis Workshop (PAPA 2002), Marina del Rey, CA, June 15, 2002. Also published in the ACM Sigmetrics Performance Evaluation Review, Vol. 30, No. 2, September 2002.
"Simple Analytic Modeling of Software Contention," ACM Sigmetrics Performance Evaluation Review, Vol. 30, No. 4, March 2002.
"Implementation of CCSDS Lossless Data Compression in HDF," (with Pen-Shu Yeh, Wei Xia-Serafino, Lowell Miles, and Ben Kobler), NASA's Earth Science Technology Conference 2002, June 11-14, Pasadena, CA.
Capacity Planning: an Essential Tool for Managing Web Services," (with V. Almeida), IEEE IT Professional, July/August, 2002.
Software, Performance, or Engineering?, Proc. ACM 2002 Workshop on Software and Performance, Rome, Italy, July, 2002.
"TPC-W: a benchmark for E-commerce," IEEE Internet Computing, May/June 2002.
"Fractal Characterization of Web Workloads," (with B. Abrahao, D. Barbara, V. Almeida, and F. Ribeiro), WWW 2002 Conference, Web-Engineering Track, Honolulu, Hawaii, May 7-11, 2002, best paper finalist.
"Testing E-commerce Site Scalability with TPC-W," (with R. Dodge and D. Barbara), Proc. 2001 Computer Measurement Group Conference, Anaheim, CA, December 2-7, 2001.
"The Performance of Public Key Enabled Kerberos Authentication in Mobile Computing Applications," (with A. Harbitter), Proc. Eighth ACM Conference on Computer and Communications Security (CCS-8), Philadelphia, PA, November 5-8, 2001.
"Preserving QoS of E-commerce Sites Through Self-Tuning: A Performance Model Approach," (with R. Dodge and D. Barbara), Proc. 2001 ACM Conference on E-commerce, Tampa, FL, October 14-17, 2001.
Using Performance Models to Dynamically Control E-Business Performance, Proc. 11th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, Aachen, Germany, September 11-14, 2001, invited keynote paper for the 2001 Aachen International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems.
Analyzing Web Robots and their Impact on Caching, (with V. Almeida, R. Riedi, F. Pelegrinelli, R. Fonseca, and W. Meira, Jr.), Proc. Sixth Workshop on Web Caching and Content Distribution, Boston, MA, June 20-22, 2001.
"Characterizing and Modeling Robot Workload on E-Business Sites," (with V. Almeida, R. Riedi, R. Fonseca, W. Meira Jr., and F. Ribeiro), Proc. 2001 ACM Sigmetrics Conference, Cambridge, MA, June 16-20, 2001.
"Designing an IT College," (with P. Denning, R. Athale, N. Dabbagh, M. Pullen, S. Ruth, and R. Sandhu), Proc. World Congress on Computing Education (WCCE), Copenhagen, July 29, 2001.
"Reusable Component Interconnection Patterns for Distributed Software Architectures," (with H. Gomaa and M. E. Shin), Proc. Symposium on Software Reusability, Toronto, CA, May 18-20, 2001.
"Performance of Public Key-Enabled Kerberos Authentication in Large Networks," (with A. Harbitter), Proc. 2001 IEEE Symposium on Security and Privacy, Oakland, California, May 13-16, 2001.
"Performance Engineering of Component-Based Distributed Software Systems, (with H. Gomaa), in Performance Engineering: state of the art and current trends, ed. A. Scholz, LNCS State of the Art Series, Vol. 2047, Springer-Verlag , May 2001.
"Challenges in Scaling E-Business Sites," (with V. Almeida), 2000 Computer Measurement Group Conference, Orlando, FL, December 10-15, 2000.
"In Search of Invariants for E-Business Workloads," (with V. Almeida, R. Riedi, F. Pelegrinelli, R. Fonseca, and W. Meira Jr.), Proc. Second ACM Conference on Electronic Commerce, Minneapolis, MN, October 17-20, 2000.
"Business-oriented Resource Management Policies for E-Commerce Servers," (with V. Almeida, R. Fonseca, and M. Mendes), Performance Evaluation, Volume 42, Issues 2-3, September 2000, pp. 223-239.
"Design and Performance Modeling of Component Interconnection Patterns for Distributed Software Architecture," (with H. Gomaa) Proc. 2000 Workshop on Software and Performance, Ottawa, CA, September 17-20, 2000.
"Web Performance Modeling Issues," International Journal of High-Performance Computing Applications, Volume 14, Number 4, Winter 2000, pp. 292--303.
"A Method for Design and Performance Modeling of Client/Server Systems," (with H. Gomaa), IEEE Transactions on Software Engineering, November 2000.
"E-representative: a scalability scheme for e-commerce," (with W. Meira Jr., V. A. F. Almeida, and R. Fonseca), Proc. IEEE WECWIS 2000 Conference, Milpitas, CA, June 8-9, 2000.
Performance of Client/Server Systems, (with V. Almeida), in ``Performance Evaluation - Origins and Directions'', eds. Guenter Haring, Christoph Lindemann, Martin Reiser, LNCS Series of Springer-Verlag, 2000.
"A Reference Model for Designing a Curriculum for E-commerce," IEEE Concurrency, March 2000.
"Analytic Modeling of Distributed Hierarchical Mass Storage Systems with Network-Attached Storage Devices,'' (with O. Pentakalos and Y. Yesha), to appear in IEEE Transactions on Parallel and Distributed Systems.
"Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites," (with G. T. Paixao, W. Meira Jr., V. Almeida, and A. M. Pereira), Tools'2000 Conference, Chicago, IL, March 2000. Published in LNCS Vol. 1786/2000, pp. 309--323.
"Planning the Capacity of a Web Server: An Experience Report," (with B. Peraino, N. Dinh, and Q. Dinh), Proc. CMG'99 Conference, Reno, Nevada, December 1999. (slides in PDF format)
"An Analytical Model of a Bandwidth Allocation Scheme for a Network Service Provider (NSP),'' (with A. E. Wang, B. Steele, and G. Weidman), Proc. CMG'99 Conference, Reno, Nevada, December 1999.
"A Methodology for Workload Characterization of E-commerce Sites,'' (with V. Almeida, R. Fonseca, and M. A. Mendes), 1999 ACM Conference on Electronic Commerce, Denver, CO, November, 1999.
"Resource Management Policies for E-commerce Servers,'' (with V. Almeida, R. Fonseca, M. A. Mendes), Second Workshop on Internet Server Performance, in conjunction with ACM SIGMETRICS 99/FCRC, Atlanta, GA, May 1st, 1999. Also published in the ACM Sigmetrics Performance Evaluation Review, Vol. 27, Number 4, March 2000.
"Prefetching Results of Web Searches," (with H. Foxwell), Proc. of the Computer Measurement Group Conference, Anaheim, CA, December 6-11, 1998.
Performance Issues in Large Distributed System Security, (with Alan Harbitter), Proc. of the Computer Measurement Group Conference, Anaheim, CA, December 6-11, 1998.
Performance and Availability Modeling of Replicated Database Servers, (with N. Kakarla), Proc. of the Computer Measurement Group Conference, Anaheim, CA, December 6-11, 1998.
"Prefetching Inlines to Improve Web Server Latency," (with R. Dodge), Proc. of the Computer Measurement Group Conference, Anaheim, CA, December 6-11, 1998.
On a Language Based Method for Software Performance Engineering of Client/Server Systems, (with H. Gomaa), First International Workshop on Software Performance Engineering, Santa Fe, October 12-16, 1998.
"A Scalability Model for ECS's Data Server," (with M. Singhal), Joint Sixth NASA Goddard Space Flight Center Conference on Mass Storage Systems and Technologies and Fifth IEEE Symposium on Mass Storage Systems, College Park, MD, March 23-26, 1998.
"A Framework for Software Performance Engineering of Client/Server Systems," 1997 Computer Measurement Group Conference , Orlando, December 1997.
"Performance Modeling of a Unix Communications Server'', (with K. Nguyen and D. Nguyen), 1997 Computer Measurement Group Conference, Orlando, December 1997 (best paper award).
"Analytical Performance Modeling of Hierarchical Mass Storage Systems," (with O. I. Pentakalos, M. Halem, and Y. Yesha), IEEE Transactions on Computers, Vol. 46, No. 10, October 1997, pp. 1103-1118.
"Computer Systems'', 1998 Yearbook of Science and Technology, October 1997, McGraw-Hill, NY, pp. 79-81.
Pythia and Pythia/WK: Tools for the Performance Analysis of Mass Storage Systems, (with O. I. Pentakalos and Y. Yesha), Software Practice and Experience, Vol. 27 (9), September 1997, pp. 1035-1054.
"A Software Architectural Design Method for Large-Scale Distributed Data Intensive Information Systems,'' (with H. Gomaa and L. Kerschberg) Journal of Distributed Systems Engineering, Vol. 3, 1996, pp. 162-172.
"Pythia: A Performance Analyzer of Hierarchical Mass Storage Systems,'' (with O. I. Pentakalos and Y. Yesha) Performance Tools'97, 9th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, St. Malo, France, June 2-6, 1997.
"Performance Prediction of Parallel Applications on Networks of Workstations,"(with A. Rao) Computer Measurement Group Conference, San Diego, CA, December 1996.
"Toward Hyperlearning,'' (with P. J. Denning) Conference on Study of Postsecondary Pedagogy , Mohonk Mountain House, Nov 20-22, 1996.
"Automated Clustering Based Workload Characterization for Mass Storage Systems," (with O. I. Pentakalos) Fifth NASA Goddard Space Flight Center Conference on Mass Storage Systems and Technologies, College Park, MD, September 17-19, 1996.
"Data and Information Architectures for Large-Scale Distributed Data Intensive Information Systems,'' (with L. Kerschberg, H. Gomaa, and J. P. Yoon) Proc. of the Eighth IEEE International Conference on Scientific and Statistical Database Management Stockholm, Sweden, June 18-20, 1996.
"An Analytic Model of Hierarchical Mass Storage Systems with Network-Attached Storage Devices,'' (with O. Pentakalos and Y. Yesha), Proc. of the 1996 ACM Sigmetrics Conference Philadelphia, PA, May 1996.
"On the Design and Implementation of a Capacity Management Tool for LAN Environments," (with D. Dregits), Proc. 1995 Conference of the Computer Measurement Group, Nashville, Tennessee, December 1995.
"A Federation Oriented Capacity Management Methodology for LAN Environments," (with D. Dregits, R. Rossin, and D. Gantz), Proc. 1995 Conference of the Computer Measurement Group, Nashville, Tennessee, December 1995.
"A Performance-Oriented Design Methodology for Large-Scale Distributed Data Intensive Information Systems,"; (with H. Gomaa and L. Kerschberg), Proc. First IEEE International Conference on Engineering of Complex Computer Systems, Southern Florida, USA, November 6--10, 1995 (outstanding paper award).
"An Approximate Performance Model of a Unitree Mass Storage System," (with O. I. Pentakalos, Y. Yesha, and M. Halem), Proc. Fourteenth IEEE Symposium on Mass Storage Systems (Second International Symposium), Monterey, CA, September 11-14, 1995.
"Static and Dynamic Processor Scheduling Disciplines in Heterogeneous Parallel Architectures," (with D. Saha, S. C. da Silva Porto, V. A. F. Almeida, and S. K. Tripathi) Journal of Parallel and Distributed Computing, Vol. 28 (1), July 1995, pp. 1-18.
"A Theoretical and Experimental Assessment of Data Partitioning Strategies on Networks of Heterogeneous Workstations," (with A. Bangalore,) Journal of the Brazilian Computer Society, No. 1, Vol. 2, July 1995, pp. 5-12.
"Educating New Engineers," (with P. J. Denning and J. Gerstner), Proc. Annual Conference of the American Society for Engineering Education (ASEE), Anaheim, California, June 25-28, 1995.
"Two-level Performance Models of Client-Server Systems," (with V. A. F. Almeida), Proc. 1994 Computer Measurement Group Conference, Orlando, Florida, December 1994.
"An Experimental Study of the Effects of Heterogeneity and Data Partitioning on the Performance of Parallel Applications," (with A. Bangalore) Proc. First International Workshop on Parallel Processing, Bangalore, India, December 27-30, 1994.
On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols," (with Y. Yesha and K. Kalpakis), IEEE Transactions on Software Engineering, Vol. 20, No. 11, November 1994.
"Static Heuristic Processor Assignment in Heterogeneous Multiprocessors," (with S. C. S. Porto and S. K. Tripathi), International Journal of High Speed Computing, Vol. 6, No. 1 (March 1994), pp. 115-137.
"A Methodology for the Performance Prediction of Massively Parallel Applications," (with S. H. Noh and S.K. Tripathi), Proc. 5th IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, December 1-4, 1993.
"Processor Assignment in Heterogeneous Message Passing Parallel Architectures," (with S. C. S. Porto), Proc. HICSS-26 Hawaii International Conference on System Science, Kauai, Hawaii, January 5-8, 1993.
"Using Random Task Graphs to Investigate the Potential Benefits of Heterogeneity in Parallel Systems," (with V.A.F. Almeida, I.M.M. Vasconcelos, and J.N.C. Arabe), Proc. 1992 Supercomputing Conference, Minneapolis, November 16-20, 1992.
"On the Performance Evaluation of Reliable Distributed Quorum Attainment Protocols," (with Y. Yesha and K. Kalpakis), Proc. 1992 Workshop on Fault-Tolerant Parallel and Distributed Systems, Amherst, Mass, USA, July 6-7, 1992.
"Scheduling Issues in Heterogeneous Multiprocessor Systems," (with S. Tripathi), Transputer'92, Salines royales d'Arc et Senans, France, May 20-22, 1992.
"Processor Assignment in Heterogeneous Parallel Architectures," (with S. C. da Silva Porto and S. K. Tripathi,) Proc. Sixth International Parallel Processing Symposium (IPPS'92), Beverly Hills, California, March 23-26, 1992.
"A Methodology for Performance Evaluation of Parallel Applications in Shared Memory Multiprocessors,"; (with L. A. Barroso), Journal of Distributed and Parallel Computing, Vol. 14, No.1, January 1992.
"Heterogeneity in High Performance Computing," (with V. A. F. Almeida,) Proc. 2nd Symposium on High Performance Computing, Oct. 7-9, Montpellier, France, 1991, Elsevier Science Publishers, eds. M. Durand and F. El Dabaghi.
Cost-Performance Analysis of Heterogeneity in Supercomputer Architectures, (with V.A.F. Almeida,) Proc. ACM-IEEE Supercomputing'90 Conference, New York, NY, Nov. 12-16, 1990.
"Analytic Models of Supercomputer Performance in Multiprogramming Environments," (with V. A. F. Almeida), The International Journal of Supercomputer Applications, The MIT Press Journals, Vol. 3.2, 1989.
"Temporal Logic Specification of a Token Bus Based Access Protocol for LANS," (with L. F. G. Soares), Proc. IASTED International Conference Telcon 84 Telecommunication and Control, Greece, August 27-30, 1984.
"Performance Evaluation of Isolated and Interconnected Token Bus Local Area Networks" (with L.L.P. Leite), Proc. 1984 ACM SIGMETRICS Conf. Measurement and Modelling of Computer Systems, Boston, August 22-24, 1984.
"Correctness and Performance Evaluation of a Two Phase Commit Based Protocol for DDBs," (with T. Nakanishi), Computer Performance, IPC Press, Vol. 5, No. 1, March 1984.
"Detection and Removal of Deadlocks in Store and Forward Communications Networks" (with G. Gambosi and D.P. Bovet), Proc. Second International Symp. Performance of Computer Communication Networks, Zurich, Switzerland, March 1984.
"Approximate Modeling of CPU Preemptive Resume Priority Scheduling Using Operational Analysis", (with V.A.F. Almeida) Proc. 10th European Computer Manufactures Association (ECOMA) Conf. Computer Measurement, Munich, Germany, October 12-15, 1982.
"Operational Analysis of Multiclass Systems with Variable Multiprogramming Level and Memory Queueing," (with V. Almeida), Computer Performance, IPC Press, Vol. 3, No. 3, September 1982.
"Computing Performance Measures of Computer Systems with Variable Degree of Multiprogramming," (with V.A.F. Almeida), Proc. XII Computer Measurement Group Conference (CMG), New Orleans, USA, December 1-3, 1981.
"Dynamic Crash Recovery of Balanced Trees," (with O.E. Landes), Proc. IEEE Symp. Reability in Distributed Software and Database Systems, Pittsburgh, Pensylvania, USA, July 21-22, 1981.
"Performance Evaluation of A Two-Phase Commit Based Protocol for DDBs," (with T. Nakanishi,) Proc. ACM SIGACT-SIGMOD Symp. Principles of Database Systems, Los Angeles, USA, March 29-31, 1981.
"Optimistic Versus Pessimistic Concurrency Control Mechanisms in Database Management Systems," (with T. Nakanishi), Information Systems, Pergamon Press, Vol. 7, No. 1, 1981.
"On the Design of A Robust Storage Component for Distributed Database Management Systems," (with O.E. Landes), Proc. Sixth International Conf. Very Large Databases (VLDB), Montreal, Canada, October 1-3, 1980
"Locking Protocol for Resource Coordination in Distributed Databases," (with G.J. Popek and R. R. Muntz), ACM Transactions on Database Systems (TODS), Vol. 5, No. 2, June 1980.
"Selective Reloading of Very Large Databases," Proc 1979 IEEE Computer Software and Applications Conferences (COMPSAC), Chicago, Illinois, USA, November 5-8, 1979.
"Locking and Deadlock Detection in Distributed Databases," (with R. R. Muntz), IEEE Transactions on Software Engineering, Vol. 5, 1979.
"A Formal Model of Crash Recovery in Computer Systems," (with R. R. Muntz and G. J. Popek), Twelfth Hawaii International Conf. on Systems Science, Vol. I: Selected Papers in Software Engineering and Mini-Micro Systems, Western Periodicals Company, Honolulu, Hawaii, USA, January 1979.