Martina Schollmeyer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Martina Schollmeyer, Bruce M. McMillin: Efficient run-time assurance in distributed systems through selection of executable assertions. Journal of Systems and Software 52(1): 33-54 (2000)

5 Martina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. IEEE Trans. Parallel Distrib. Syst. 8(2): 164-172 (1997)

3 Martina Schollmeyer, Bruce M. McMillin: Checking Program Proofs Made Eas. COMPSAC 1995: 102-107

2 Martina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. PARLE 1994: 725-736

Selection of 4 from 7 records - Martina Schollmeyer has 4 coauthors

6		Martina Schollmeyer, Bruce M. McMillin: Efficient run-time assurance in distributed systems through selection of executable assertions. Journal of Systems and Software 52(1): 33-54 (2000)
5		Martina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. IEEE Trans. Parallel Distrib. Syst. 8(2): 164-172 (1997)
3		Martina Schollmeyer, Bruce M. McMillin: Checking Program Proofs Made Eas. COMPSAC 1995: 102-107
2		Martina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. PARLE 1994: 725-736