Richard D. Schlichting

117 papers A* 6A 23B 12C 6Misc 2Journal 37Unranked 30

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites. Proc. VLDB Endow. Enrique Saurez, Bharath Balasubramanian, Richard D. Schlichting, Brendan Tschaen, Shankaranarayanan Puzhavakath Narayanan, Zhe Huang, Umakishore Ramachandran
2020	A	`conf`	MUSIC: Multi-Site Critical Sections over Geo-Distributed State. ICDCS Bharath Balasubramanian, Pamela Zave, Richard D. Schlichting, Mohammad Salehe, Shankaranarayanan Puzhavakath Narayanan, Seyed Hossein Mortazavi, Eyal de Lara, Matti A. Hiltunen, Kaustubh Joshi, Gueyoung Jung
2019	A	`conf`	Switchboard: A Middleware for Wide-Area Service Chaining. Middleware Abhigyan Sharma, Yoji Ozawa, Matti A. Hiltunen, Kaustubh Joshi, Richard D. Schlichting, Zhaoyu Gao
2018	A*	`conf`	Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. PODC Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave
2018	B	`conf`	Feasibility Study of Location-Conscious Multi-Site Erasure-Coded Ceph Storage for Disaster Recovery. IC2E Keitaro Uehara, Yih-Farn Robin Chen, Matti A. Hiltunen, Kaustubh Joshi, Richard D. Schlichting
2018	—	`conf`	METRIC: A Middleware for Entry Transactional Database Clustering at the Edge. MECC@Middleware Enrique Saurez, Bharath Balasubramanian, Richard D. Schlichting, Brendan Tschaen, Zhe Huang, Shankaranarayanan Puzhavakath Narayanan, Umakishore Ramachandran
2018	B	`conf`	SuperCell: Adaptive Software-Defined Storage for Cloud Storage Workloads. CCGrid Keitaro Uehara, Yu Xiang, Yih-Farn Robin Chen, Matti A. Hiltunen, Kaustubh Joshi, Richard D. Schlichting
2015	B	`conf`	Airfoil: A Topology Aware Distributed Load Balancing Service. CLOUD Hiroya Matsuba, Kaustubh Joshi, Matti A. Hiltunen, Richard D. Schlichting
2015	—	`conf`	An Extensible Home Automation Architecture Based on Cloud Offloading. NBiS Yuichi Igarashi, Matti A. Hiltunen, Kaustubh R. Joshi, Richard D. Schlichting
2015	A	`conf`	Ostro: Scalable Placement Optimization of Complex Application Topologies in Large-Scale Data Centers. ICDCS Gueyoung Jung, Matti A. Hiltunen, Kaustubh R. Joshi, Rajesh K. Panta, Richard D. Schlichting
2014	B	`conf`	Discovering the Structure of Cloud Applications Using Sampled Packet Traces. IC2E Hiroya Matsuba, Matti A. Hiltunen, Kaustubh R. Joshi, Richard D. Schlichting
2014	—	`conf`	Vision: towards an extensible app ecosystem for home automation through cloud-offload. MCS@MobiSys Yuichi Igarashi, Kaustubh Joshi, Matti A. Hiltunen, Richard D. Schlichting
2013	C	`conf`	CloudTops: Latency Aware Placement of Virtual Desktops in Distributed Cloud Infrastructures. CLOSER Nishio Yamada, Toshiyuki Moritsu, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting
2013	A	`conf`	Content-Based Scheduling of Virtual Machines (VMs) in the Cloud. ICDCS Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting
2013	—	`conf`	Enabling vehicular safety applications over LTE networks. ICCVE Seiya Kato, Matti A. Hiltunen, Kaustubh Joshi, Richard D. Schlichting
2013	—	`conf`	PSCloud: a durable context-aware personal storage cloud. HotDep Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting
2013	J	`jnl`	Self-Management of Adaptable Component-Based Applications. IEEE Trans. Software Eng. Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting
2011	—	`conf`	An exploration of L2 cache covert channels in virtualized environments. CCSW Yunjing Xu, Michael D. Bailey, Farnam Jahanian, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting
2011	J	`jnl`	Probabilistic Model-Driven Recovery in Distributed Systems. IEEE Trans. Dependable Secur. Comput. Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting
2011	J	`jnl`	Using CPU gradients for performance-aware energy conservation in multitier systems. Sustain. Comput. Informatics Syst. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2011	J	`jnl`	Using link gradients to predict the impact of network latency on multitier applications. IEEE/ACM Trans. Netw. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	J	`jnl`	Blackbox prediction of the impact of DVFS on end-to-end performance of multitier systems. SIGMETRICS Perform. Evaluation Rev. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	—	`conf`	CPU gradients: Performance-aware energy conservation in multitier systems. Green Computing Conference Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	A	`conf`	Mistral: Dynamically Managing Power, Performance, and Adaptation Cost in Cloud Infrastructures. ICDCS Gueyoung Jung, Matti A. Hiltunen, Kaustubh R. Joshi, Richard D. Schlichting, Calton Pu
2010	A	`conf`	Performance and availability aware regeneration for cloud based multitier applications. DSN Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, Calton Pu
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
2009	A	`conf`	A Cost-Sensitive Adaptation Engine for Server Consolidation of Multitier Applications. Middleware Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, Calton Pu
2009	J	`jnl`	Cholla: A Framework for Composing and Coordinating Adaptations in Networked Systems. IEEE Trans. Computers Patrick G. Bridges, Matti A. Hiltunen, Richard D. Schlichting
2009	C	`conf`	From Local Impact Functions to Global Adaptation of Service Compositions. SSS Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting
2009	B	`conf`	Is Collaborative QoS the Solution to the SOA Dependability Dilemma? WADS Matti A. Hiltunen, Richard D. Schlichting
2009	A*	`conf`	Link Gradients: Predicting the Impact of Network Latency on Multitier Applications. INFOCOM Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting
2008	—	`conf`	Generating Adaptation Policies for Multi-tier Applications in Consolidated Server Environments. ICAC Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, Calton Pu
2007	J	`jnl`	A configurable and extensible transport protocol. IEEE/ACM Trans. Netw. Patrick G. Bridges, Gary T. Wong, Matti A. Hiltunen, Richard D. Schlichting, Matthew J. Barrick
2006	A	`conf`	Automatic Recovery Using Bounded Partially Observable Markov Decision Processes. DSN Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
2006	Misc	`conf`	Customizable Service State Durability for Service Oriented Architectures. EDCC Xianan Zhang, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2006	—	`conf`	Peer-to-Peer Error Recovery for Hybrid Satellite-Terrestrial Networks. Peer-to-Peer Computing Eric Weigle, Matti A. Hiltunen, Richard D. Schlichting, Vinay A. Vaishampayan, Andrew A. Chien
2006	—	`conf`	Reflections on aspects and configurable protocols. AOSD Matti A. Hiltunen, François Taïani, Richard D. Schlichting
2006	A	`conf`	Replicating Nondeterministic Services on Grid Environments. HPDC Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2006	J	`jnl`	System Call Monitoring Using Authenticated System Calls. IEEE Trans. Dependable Secur. Comput. Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
2006	—	`conf`	Using Web Service Transformations to Implement Cooperative Fault Tolerance. ISAS Toshiyuki Moritsu, Matti A. Hiltunen, Richard D. Schlichting, Junichi Toyouchi, Yasuharu Namba
2005	A	`conf`	A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. IPDPS Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting
2005	B	`conf`	A high performance configurable transport protocol for grid computing. CCGRID Xinran (Ryan) Wu, Andrew A. Chien, Matti A. Hiltunen, Richard D. Schlichting, S. Sen
2005	B	`conf`	Applying grid technology to Web application systems. CCGRID Ryoichi Ueda, Matti A. Hiltunen, Richard D. Schlichting
2005	A	`conf`	Authenticated System Calls. DSN Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
2005	B	`conf`	Automatic Model-Driven Recovery in Distributed Systems. SRDS Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
2005	A	`conf`	The impact of Web service integration on grid performance. HPDC François Taïani, Matti A. Hiltunen, Richard D. Schlichting
2004	A	`conf`	Customizing Dependability Attributes for Mobile Service Platforms. DSN Jun He, Matti A. Hiltunen, Richard D. Schlichting
2004	C	`conf`	Fault-tolerant grid services using primary-backup: feasibility and performance. CLUSTER Xianan Zhang, Dmitrii Zagorodnov, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2004	—	`conf`	Online model-based adaptation for optimizing performance and dependability. WOSS Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders, Adnan Agbaria
2004	B	`conf`	The Lost Art of Abstraction. WADS Matti A. Hiltunen, Richard D. Schlichting
2003	J	`jnl`	Building Survivable Services Using Redundancy and Adaptation. IEEE Trans. Computers Matti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte
2003	A	`conf`	Cassyopia: Compiler Assisted System Optimization. HotOS Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
2003	J	`jnl`	QoS customization in distributed object systems. Softw. Pract. Exp. Jun He, Matti A. Hiltunen, Mohan Rajagopalan, Richard D. Schlichting
2002	A	`conf`	Dependability and the Grid: Issues and Challenges. DSN Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava
2002	A*	`conf`	Profile-Directed Optimization of Event-Based Programs. PLDI Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
2001	A*	`conf`	A Configurable and Extensible Transport Protocol. INFOCOM Gary T. Wong, Matti A. Hiltunen, Richard D. Schlichting
2001	A	`conf`	Constructing Adaptive Software in Distributed Systems. ICDCS Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting
2001	A	`conf`	Enhancing Survivability of Security Services Using Redundanc. DSN Matti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte
2001	A	`conf`	Providing QoS Customization in Distributed Object Systems. Middleware Jun He, Matti A. Hiltunen, Mohan Rajagopalan, Richard D. Schlichting
2001	A	`conf`	Supporting Coordinated Adaption in Networked Systems. HotOS Patrick G. Bridges, Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting
2001	J	`jnl`	Supporting configurability and real time in RTD channels. Softw. Pract. Exp. Rajsekhar Das, Matti A. Hiltunen, Richard D. Schlichting
1999	C	`conf`	Configurable Communication Protocols for Mobile Computing. ISADS Nina T. Bhatti, Richard D. Schlichting
1999	J	`jnl`	Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems. IEEE Trans. Parallel Distributed Syst. Matti A. Hiltunen, Richard D. Schlichting, Xiaonan Han, Melvin M. Cardozo, Rajsekhar Das
1999	J	`jnl`	Supporting customized failure models for distributed software. Distributed Syst. Eng. Matti A. Hiltunen, Vijaykumar Immanuel, Richard D. Schlichting
1998	J	`jnl`	A Configurable Membership Service. IEEE Trans. Computers Matti A. Hiltunen, Richard D. Schlichting
1998	—	`conf`	Affordable Fault Tolerance Through Adaptation. IPPS/SPDP Workshops Ilwoo Chang, Matti A. Hiltunen, Richard D. Schlichting
1998	A	`conf`	Agent Middleware for Heterogeneous Scientific Simulations. SC Shirun Ho, Satoshi Itoh, Sigeo Ihara, Richard D. Schlichting
1998	J	`jnl`	Coyote: A System for Constructing Fine-Grain Configurable Communication Services. ACM Trans. Comput. Syst. Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu
1997	A	`conf`	Access Control in Wide-Area Networks. ICDCS Matti A. Hiltunen, Richard D. Schlichting
1997	J	`jnl`	Implementing Monitoring and Zooming in a Heterogeneous Distributed Jet Engine Simulation. Simul. Abdollah A. Afjeh, Patrick T. Homer, Henry Lewandowski, John A. Reed, Richard D. Schlichting
1997	J	`jnl`	Interconnecting Interactive and Remote Parallel Components Using Schooner. Softw. Pract. Exp. Zhanliang Chen, Richard D. Schlichting
1996	J	`jnl`	Configuring scientific applications in a heterogeneous distributed system. Distributed Syst. Eng. Patrick T. Homer, Richard D. Schlichting
1996	J	`jnl`	Numerical performability evaluation of a group multicast protocol. Distributed Syst. Eng. Luai M. Malhis, William H. Sanders, Richard D. Schlichting
1995	A*	`conf`	A System for Constructing Configurable High-Level Protocols. SIGCOMM Nina T. Bhatti, Richard D. Schlichting
1995	A	`conf`	Constructing a Configurable Group RPC Service. ICDCS Matti A. Hiltunen, Richard D. Schlichting
1995	—	`conf`	Development of an intelligent monitoring and control system for a heterogeneous numerical propulsion system simulation. Annual Simulation Symposium Abdollah A. Afjeh, Patrick T. Homer, Henry Lewandowski, John A. Reed, Richard D. Schlichting
1995	—	`conf`	Monitoring and controlling remote parallel computations using Schooner. IPPS Zhanliang Chen, Richard D. Schlichting
1995	—	`conf`	Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks. PNPM Luai M. Malhis, William H. Sanders, Richard D. Schlichting
1995	J	`jnl`	Programming Language Support for Writing Fault-Tolerant Distributed Software. IEEE Trans. Computers Richard D. Schlichting, Vicraj T. Thomas
1995	C	`conf`	Properties of membership services. ISADS Matti A. Hiltunen, Richard D. Schlichting
1995	J	`jnl`	Supporting Fault-Tolerant Parallel Programming in Linda. IEEE Trans. Parallel Distributed Syst. David E. Bakken, Richard D. Schlichting
1994	Misc	`conf`	A Model for Adaptive Fault-Tolerant Systems. EDCC Matti A. Hiltunen, Richard D. Schlichting
1994	J	`jnl`	A Software Platform for Constructing Scientific Applications from Heterogeneous Resources. J. Parallel Distributed Comput. Patrick T. Homer, Richard D. Schlichting
1994	—	`conf`	Configuring scientific applications in a heterogeneous distributed system. CDS Patrick T. Homer, Richard D. Schlichting
1994	—	`conf`	Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS Masato Suzuki, Takuya Katayama, Richard D. Schlichting
1994	J	`jnl`	Using Schooner to support distribution and heterogeneity in the Numerical Propulsion System Simulation project. Concurr. Pract. Exp. Patrick T. Homer, Richard D. Schlichting
1993	B	`conf`	An Approach to Constructing Modular Fault-Tolerant Protocols. SRDS Matti A. Hiltunen, Richard D. Schlichting
1993	J	`jnl`	Computer Science in Japanese Universities. Computer David Notkin, Richard D. Schlichting
1993	J	`jnl`	Consul: a communication substrate for fault-tolerant distributed programs. Distributed Syst. Eng. Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1993	J	`jnl`	Experience with Modularity in Consul. Softw. Pract. Exp. Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1993	C	`conf`	Modularity in the design and implementation of Consul. ISADS Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1993	A	`conf`	Supporting Heterogeneity and Distribution in the Numerical Propulsion System. HPDC Patrick T. Homer, Richard D. Schlichting
1992	B	`conf`	A Mult-Paradigm Programming Language for Constructing Fault-Tolerant, Distributed Systems. SRDS Richard D. Schlichting, Vicraj T. Thomas
1992	—	`conf`	Modularizing fault-tolerant protocols. ACM SIGOPS European Workshop Matti A. Hiltunen, Richard D. Schlichting
1992	—	`conf`	Protocol Modularity in Systems for Managing Replicated Data. Workshop on the Management of Replicated Data Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1991	—	`conf`	Operating Systems and Fault-Tolerance. Operating Systems of the 90s and Beyond Richard D. Schlichting
1991	—	`conf`	Tolerating Failures in the Bag-of-Tasks Programming Paradigm. FTCS David E. Bakken, Richard D. Schlichting
1990	—	`conf`	Communication Substrate for Maintaining Replicated Data. Workshop on the Management of Replicated Data Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1990	—	`conf`	Fault-tolerance support in distributed systems: position paper. ACM SIGOPS European Workshop Richard D. Schlichting
1990	J	`jnl`	Integrating Emerald into a System for Mixed-Language Programming. Comput. Lang. Roger Hayes, Norman C. Hutchinson, Richard D. Schlichting
1989	B	`conf`	Implementing Fault-Tolerant Replicated Ojects Using Psync. SRDS Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1989	J	`jnl`	Preserving and Using Context Information in Interprocess Communication. ACM Trans. Comput. Syst. Larry L. Peterson, Nick C. Buchholz, Richard D. Schlichting
1988	J	`jnl`	A Simple System for Constructing Distributed, Mixed-language Programs. Softw. Pract. Exp. Roger Hayes, Steve W. Manweiler, Richard D. Schlichting
1987	J	`jnl`	A File Replication Facility for Berkeley Unix. Softw. Pract. Exp. Titus D. M. Purdin, Richard D. Schlichting, Gregory R. Andrews
1987	J	`jnl`	Facilitating Mixed Language Programming in Distributed Systems. IEEE Trans. Software Eng. Roger Hayes, Richard D. Schlichting
1987	—	`conf`	Observations on Building Distributed Languages and Systems. Experiences with Distributed Systems Richard D. Schlichting, Gregory R. Andrews, Norman C. Hutchinson, Ronald A. Olsson, Larry L. Peterson
1987	J	`jnl`	The Design of the Saguaro Distributed Operating System. IEEE Trans. Software Eng. Gregory R. Andrews, Richard D. Schlichting, Roger Hayes, Titus D. M. Purdin
1986	—	`conf`	Failure Handling in Distributed Programming Languages. Symposium on Reliability in Distributed Software and Database Systems Richard D. Schlichting, Titus D. M. Purdin
1986	—	`conf`	The Saguaro distributed operating system and related projects. ACM SIGOPS European Workshop Gregory R. Andrews, Richard D. Schlichting
1985	J	`jnl`	A Technique for Estimating Performance of Fault-Tolerant Programs. IEEE Trans. Software Eng. Richard D. Schlichting
1984	—	`conf`	A Technique for Estimating Performance of Fault-Tolerant Programs. Symposium on Reliability in Distributed Software and Database Systems Richard D. Schlichting
1984	J	`jnl`	Fault-Tolerant Broadcasts. Sci. Comput. Program. Fred B. Schneider, David Gries, Richard D. Schlichting
1984	J	`jnl`	Using Message Passing for Distributed Programming: Proof Rules, Disciplines. ACM Trans. Program. Lang. Syst. Richard D. Schlichting, Fred B. Schneider
1983	J	`jnl`	Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems ACM Trans. Comput. Syst. Richard D. Schlichting, Fred B. Schneider
1982	—	`—`	Axiomatic Verification to Enhance Software Reliability. Richard D. Schlichting
1982	A*	`conf`	Understanding and Using Asynchronous Message Passing (Preliminary Version). PODC Richard D. Schlichting, Fred B. Schneider