Number of items: 6.
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
ISSN 0304-3975.
2007
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
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.
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.
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)
This list was generated on Mon Mar 18 16:57:29 2024 GMT.