Beverly A. Sanders

2008
28	EE	Beverly A. Sanders, KyungHee Kim: Assertional reasoning about data races in relaxed memory models. PPOPP 2008: 267-268
2007
27	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: Reengineering for Parallelism: an entry point into PLPP for legacy applications. Concurrency and Computation: Practice and Experience 19(4): 503-529 (2007)
2006
26	EE	YoungJoon Byun, Beverly A. Sanders: A Pattern-based Development Methodology for Communication Protocols. J. Inf. Sci. Eng. 22(2): 315-335 (2006)
2005
25	EE	YoungJoon Byun, Beverly A. Sanders: A pattern-based development methodology for communication protocols. SAC 2005: 1524-1528
24	EE	YoungJoon Byun, Beverly A. Sanders, Chang-Sup Keum: Design of communication protocols using a message transfer pattern. Int. J. Communication Systems 18(5): 465-485 (2005)
2002
23	EE	Michel Charpentier, Beverly A. Sanders: Workshop Introduction. IPDPS 2002
22		Dominique Méry, Beverly A. Sanders: Editorial Note. Formal Methods in System Design 20(1): 5 (2002)
2001
21	EE	Beverly A. Sanders: The shortest path in parallel. Inf. Process. Lett. 77(2-4): 213-217 (2001)
20	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: Parallel programming with a pattern language. STTT 3(2): 217-234 (2001)
2000
19	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: A Pattern Language for Parallel Application Programs (Research Note). Euro-Par 2000: 678-681
18	EE	Beverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976
17	EE	Beverly A. Sanders: Using atomic await commands to develop concurrent programs in Java. Software - Concepts and Tools 19(4): 168-174 (2000)
16	EE	David Meier, Beverly A. Sanders: Composing leads-to properties. Theor. Comput. Sci. 243(1-2): 339-361 (2000)
1999
15		José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings Springer 1999
1998
14	EE	Beverly A. Sanders: Data Refinement of Mixed Specifications. Acta Inf. 35(2): 91-129 (1998)
13		Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova: Derivation of an Algorithm for Location Management for Mobile Communication Devices. Parallel Processing Letters 8(4): 473-488 (1998)
1997
12		Rutger M. Dijkstra, Beverly A. Sanders: A Predicate Transformer for the Progress Property `To-Always'. Formal Asp. Comput. 9(3): 270-282 (1997)
1995
11		K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995)
10		Spyros Lalis, Beverly A. Sanders: From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. Software - Concepts and Tools 16(1): 12-19 (1995)
1994
9		Spyros Lalis, Beverly A. Sanders: Adding Concurrency to the Oberon System. Programming Languages and System Architectures 1994: 328-344
1991
8		Beverly A. Sanders: A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). PODC 1991: 217-230
7		Beverly A. Sanders: On the UNITY Design Decisions. Research Directions in High-Level Parallel Programming Languages 1991: 50-63
6		Beverly A. Sanders: Eliminating the Substitution Axiom from UNITY Logic. Formal Asp. Comput. 3(2): 189-205 (1991)
1989
5		Beverly A. Sanders, Philipp A. Heuberger: Distributed Deadlock Detection and Resolution with Probes. WDAG 1989: 207-218
1988
4		Beverly A. Sanders: An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37(7): 779-787 (1988)
3		Beverly A. Sanders: An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37(9): 1067-1072 (1988)
1987
2	EE	Beverly A. Sanders: The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Trans. Comput. Syst. 5(3): 284-299 (1987)
1986
1		Beverly A. Sanders: An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. ICDCS 1986: 314-320

Coauthor Index

1	Peter H. Beckman	[15]
2	Devesh Bhatt	[15]
3	YoungJoon Byun	[24] [25] [26]
4	Denis Caromel	[15]
5	K. Mani Chandy	[11]
6	Michel Charpentier	[23]
7	Serge Chaumette	[15]
8	Gianni Conte	[15]
9	Rutger M. Dijkstra	[12]
10	Hossam A. ElGindy	[15]
11	Fikret Erçal	[15]
12	Geoffrey Fox (Geoffrey Charles Fox)	[15]
13	G. Ghiola	[15]
14	Jan Gustafsson	[15]
15	Matthew Haines	[15]
16	Philipp A. Heuberger	[5]
17	Laxmikant V. Kalé	[15]
18	Chang-Sup Keum	[24]
19	KyungHee Kim	[28]
20	Svetlana Kryukova	[13]
21	Spyros Lalis	[9] [10]
22	Keqin Li	[15]
23	Luigi V. Mancini	[15]
24	Berna L. Massingill	[13] [19] [20] [27]
25	Timothy G. Mattson	[19] [20] [27]
26	David Meier	[16]
27	Dominique Méry	[15] [18] [22]
28	Frank Mueller	[15]
29	Stephan Olariu	[15]
30	Ronald A. Olsson	[15]
31	Yi Pan	[15]
32	Viktor K. Prasanna (V. K. Prasanna Kumar)	[15]
33	Binoy Ravindran	[15]
34	José D. P. Rolim	[15]
35	Hiroaki Takada	[15]
36	Tao Yang	[15]
37	Albert Y. Zomaya	[15]

Colors in the list of coauthors