2009

Niebert, Peter and Peled, Doron (2009) Efficient model checking for LTL with partial order snapshots. Theoretical Computer Science, Vol.410 (No.42). pp. 4180-4189. doi:10.1016/j.tcs.2009.03.002

2007

Peled, Doron and Tsay, Yih-Kuen (2007) Preface. International Journal of Foundations of Computer Science, Vol.18 (No.1). pp. 1-3. doi:10.1142/S0129054107004541

2006

Peled, Doron and Qu, Hongyang (2006) Enforcing concurrent temporal behaviors. In: 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004), Taipei, Taiwan, Nov, 2004. Published in: International Journal of Foundations of Computer Science, Vol.17 (No.4). pp. 743-761. ISSN 0129-0541. doi:10.1142/S012905410600408X

Jurdzinski, Marcin, Peled, Doron and Qu, Hongyang (2006) Calculating probabilities of real-time test cases. In: 5th International Workshop on Formal Approaches to Software Testing (FATES 2005), Edinburgh, 11 Jul 2005. Published in: Formal Approaches to Software Testing, 3997 pp. 134-151. ISBN 3540344543. ISSN 0302-9743.

Peled, Doron and Qu, Hongyang (2006) Time unbalanced partial order. In: 5th International Workshop on Formal Approaches to Software Testing (FATES 2005), Edinburgh, SCOTLAND, JUL 11, 2005. Published in: FORMAL APPROACHES TO SOFTWARE TESTING, 3997 pp. 152-169. ISBN 3-540-34454-3. ISSN 0302-9743. doi:10.1007/11759744_11

1992

Peled, Doron (1992) Sometimes 'some' is as good as 'all'. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)