Result 1 to 20 from 79 total
Runtime verification with predictive semantics. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 418-432 (2012).
1
Small minors in dense graphs. (English)
Eur. J. Comb. 33, No. 6, 1226-1245 (2012).
2
On families of weakly dependent random variables. (English)
Nawrocki, Marek (ed.) et al., Marcinkiewicz centenary volume. Proceedings of the Józef Marcinkiewicz centenary conference, June 28‒July 2, 2010. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-14-0/pbk). Banach Center Publications 95, 123-132 (2011).
3
A unifying theory of control dependence and its application to arbitrary program structures. (English)
Theor. Comput. Sci. 412, No. 49, 6809-6842 (2011).
4
Probability distributions with summary graph structure. (English)
Bernoulli 17, No. 3, 845-879 (2011).
5
Information flow analysis via path condition refinement. (English)
Degano, Pierpaolo (ed.) et al., Formal aspects of security and trust. 7th international workshop, FAST 2010, Pisa, Italy, September 16‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19750-5/pbk). Lecture Notes in Computer Science 6561, 65-79 (2011).
6
Vectorization for Java. (English)
Ding, Chen (ed.) et al., Network and parallel computing. IFIP international conference, NPC 2010, Zhengzhou, China, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15671-7/pbk). Lecture Notes in Computer Science 6289, 3-17 (2010).
7
Extracting both affine and non-linear synchronization-free slices in program loops. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 8th international conference, PPAM 2009, Wroclaw, Poland, September 13‒16, 2009. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-14389-2/pbk). Lecture Notes in Computer Science 6067, 196-205 (2010).
8
Reliability improvement based on prioritization of source code. (English)
Janowski, Tomasz (ed.) et al., Distributed computing and internet technology. 6th international conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11658-2/pbk). Lecture Notes in Computer Science 5966, 212-223 (2010).
9
Experiences with PDG-based IFC. (English)
Massacci, Fabio (ed.) et al., Engineering secure software and systems. Second international symposium, ESSoS 2010, Pisa, Italy, February 3‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11746-6/pbk). Lecture Notes in Computer Science 5965, 44-60 (2010).
10
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. (English)
Int. J. Inf. Secur. 8, No. 6, 399-422 (2009).
11
On the role of incrementality in test design. (English)
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28‒31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 309-316 (2009).
12
On temporal path conditions in dependence graphs. (English)
Autom. Softw. Eng. 16, No. 2, 263-290 (2009).
13
DepRank: A probabilistic measure of dependence via heterogeneous links. (English)
Li, Qing (ed.) et al., Advances in data and web management. Joint international conferences, APWeb/WAIM 2009, Suzhou, China, April 2‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00671-5/pbk). Lecture Notes in Computer Science 5446, 677-682 (2009).
14
Optimization problems involving collections of dependent objects. (English)
Ann. Oper. Res. 163, 255-270 (2008).
15
Locating faulty code by multiple points slicing. (English)
Softw., Pract. Exper. 37, No. 9, 935-961 (2007).
16
Some bounds on the $p$-domination number in trees. (English)
Discrete Math. 306, No. 17, 2031-2037 (2006).
17
Web application slicing in presence of dynamic code generation. (English)
Autom. Softw. Eng. 12, No. 2, 259-288 (2005).
18
Automatic circuit extractor for HDL description using program slicing. (English)
J. Comput. Sci. Technol. 19, No. 5, 718-728 (2004).
19
A multivariate CLT for decomposable random vectors with finite second moments. (English)
J. Theor. Probab. 17, No. 3, 573-603 (2004).
20
Result 1 to 20 from 79 total
Start
Contact
Print
General Help
