Number of items: 6.
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
ISSN 0304-3975.
Peled, Doron and Tsay, Yih-Kuen
(2007)
Preface.
International Journal of Foundations of Computer Science, Vol.18
(No.1).
pp. 1-3.
ISSN 0129-0541
doi:10.1142/S0129054107004541
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.
doi:10.1142/S012905410600408X
ISSN 0129-0541.
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.
doi:10.1007/11759744_11
ISSN 0302-9743.
Peled, Doron
(1992)
Sometimes 'some' is as good as 'all'.
University of Warwick. Department of Computer Science. (Department of Computer Science Research Report).
(Unpublished)
This list was generated on Mon Mar 18 16:57:29 2024 GMT.