Result 1 to 20 of 78 total
Transparent partial order reduction. (English)
Form. Methods Syst. Des. 40, No. 1, 1-19 (2012).
1
Verification of object-oriented programs: a transformational approach. (English)
J. Comput. Syst. Sci. 78, No. 3, 823-852 (2012).
2
The relationship between separation logic and implicit dynamic frames. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 1, 54 p., electronic only (2012).
3
Sequential and distributed on-the-fly computation of weak tau-confluence. (English)
Sci. Comput. Program. 77, No. 10-11, 1075-1094 (2012).
4
Extraction and fusion of partial face features for cancelable identity verification. (English)
Pattern Recognition 45, No. 9, 3288-3303 (2012).
5
Query answer authentication. (English)
Synthesis Lectures on Data Management 24. San Rafael, CA: Morgan \& Claypool Publishers (ISBN 978-1-60845-765-6/pbk). xiii, 89~p. (2012).
6
Synthesis of secure adaptors. (English)
J. Log. Algebr. Program. 81, No. 2, 99-126 (2012).
7
Partial order reduction for state/event LTL with application to component-interaction automata. (English)
Sci. Comput. Program. 76, No. 10, 877-890 (2011).
8
Model checking with bounded context switching. (English)
Formal Asp. Comput. 23, No. 3, 365-389 (2011).
9
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. (English)
Fundam. Inform. 101, No. 1-2, 71-90 (2010).
10
Model checking software: on some new waves and some evergreens. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 2, 89-95 (2010).
11
Can stubborn sets be optimal? (English)
Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 43-62 (2010).
12
Comparison of the accuracy of multiple binary tests in the presence of partial disease verification. (English)
J. Stat. Plann. Inference 140, No. 9, 2504-2519 (2010).
13
Contracts for concurrency. (English)
Formal Asp. Comput. 21, No. 4, 305-318 (2009).
14
Full simulation coverage for systemc transaction-level models of systems-on-a-chip. (English)
Form. Methods Syst. Des. 35, No. 2, 152-189 (2009).
15
Conformance testing for real-time systems. (English)
Form. Methods Syst. Des. 34, No. 3, 238-304 (2009).
16
A shared-variable concurrency analysis of multi-threaded object-oriented programs. (English)
Theor. Comput. Sci. 410, No. 2-3, 128-141 (2009).
17
A proof of the correctness of parallel addition to a shared variable in IPCL. (Ukrainian)
Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2007, No. 4, 187-190 (2007).
18
Formal verification of simulation traces using computation slicing. (English)
IEEE Trans. Comput. 56, No. 04, 511-527 (2007).
19
Imputation approaches for estimating diagnostic accuracy for multiple tests from partially verified designs. (English)
Biometrics 63, No. 3, 947-957 (2007).
20
Result 1 to 20 of 78 total
Start
Contact
Print
General Help
