Logo
Logo

Goldsmiths - University of London

Items Authored/Edited by Danicic, Sebastian

Up a level
Export as [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 54.

Article

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2012. Complexity of data dependence problems for program schemas with concurrency. ACM Transactions on Computational Logic, 13(2), pp. 1-18. ISSN 1529-3785 [Article]

Danicic, Sebastian; Barraclough, Richard; Harman, Mark; Howroyd, John; Kiss, Akos and Laurence, Michael. 2011. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science, 412(49), pp. 6809-6842. ISSN 0304-3975 [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. Journal of Logic and Algebraic Programming, 80(8), pp. 481-496. ISSN 1567-8326 [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Journal of Logic and Algebraic Programming, 80(2), pp. 92-112. ISSN 1567-8326 [Article]

Hamilton, James Alexander George and Danicic, Sebastian. 2011. An Evaluation of the Resilience of Static Java Bytecode Watermarks Against Distortive Attacks. IAENG International Journal of Computer Science, 38(1), pp. 1-15. ISSN 1819-656X [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. On the computational complexity of dynamic slicing problems for program schemas. Mathematical Structures in Computer Science, 21(06), pp. 1339-1362. ISSN 0960-1295 [Article]

[img]
Preview
Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

Barraclough, Richard; Binkley, Dave; Danicic, Sebastian; Harman, Mark; Hierons, Robert; Kiss, Akos; Laurence, Mike and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

[img]
Preview
Danicic, Sebastian; Laurence, Michael and Hierons, Robert. 2009. Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. Goldsmiths Department of Computing Technical Report, [Article]

Danicic, Sebastian; Harman, M.; Hierons, R. and Laurence, M.. 2007. Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theoretical Computer Science, 373(1-2), pp. 1-18. ISSN 03043975 [Article]

Clark, David M.; Danicic, Sebastian and Giacobazzi, Roberto. 2007. Special issue on Programming Language Interference and Dependence. The Journal of Logic and Algebraic Programming, 72, pp. 123-240. ISSN 1567-8326 [Article]

Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2007. A non-standard semantics for program slicing and dependence analysis. The Journal of Logic and Algebraic Programming, 72(2), pp. 192-206. ISSN 1567-8326 [Article]

Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]

Danicic, Sebastian; Daoudi, Mohammed; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John; Ouarbya, Lahcen and Ward, Martin. 2005. ConSUS: A lightweight program conditioner. Journal of Systems and Software, 77(3), pp. 241-262. ISSN 0164-1212 [Article]

Danicic, Sebastian; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John and Laurence, Michael. 2005. Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. The Computer Journal, 48(6), pp. 737-748. ISSN 0010-4620 [Article]

Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Wendell Binkley, David; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen. 2004. Syntax-directed amorphous slicing. Automated Software Engineering, 11(1), pp. 27-61. ISSN 0928-8910 [Article]

Fox, Chris; Danicic, Sebastian; Harman, Mark and Hierons, Robert. 2004. ConSIT: a fully automated conditioned program slicer. Software--Practice and Experience, 34(1), pp. 15-46. ISSN 0038-0644 [Article]

Danicic, Sebastian; Laurence, M.; Harman, M. and Hierons, R.. 2003. Equivalence of conservative, free, linear programs is decidable. Theoretical Computer Science, 290(1), pp. 831-862. ISSN 03043975 [Article]

Harman, Mark; Wendell Binkley, David and Danicic, Sebastian. 2003. Amorphous program slicing. Journal of Systems and Software, 68(1), pp. 45-64. ISSN 0164-1212 [Article]

Gallagher, Keith Brian; Harman, Mark and Danicic, Sebastian. 2003. Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance and Evolution, 15(6), pp. 393-416. ISSN 1532-060X [Article]

Hierons, Robert; Harman, Mark and Danicic, Sebastian. 1999. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4), pp. 233-262. ISSN 0960-0833 [Article]

Harman, Mark and Danicic, Sebastian. 1998. A new algorithm for slicing unstructured programs. Journal of Software Maintenance: Research and Practice, 10(6), pp. 415-441. ISSN 1532-060X [Article]

Harman, Mark; Simpson, D. J. and Danicic, Sebastian. 1996. Slicing programs in the presence of errors. Formal Aspects of Computing, 8(4), pp. 490-497. ISSN 0934-5043 [Article]

Danicic, Sebastian; Harman, Mark and Sivagurunathan, Yogasundary. 1995. A parallel algorithm for static program slicing. Information Processing Letters, 56(6), pp. 307-313. ISSN 0020-0190 [Article]

Book Section

Danicic, Sebastian and Hamilton, James Alexander George. 2010. An Evaluation of Static Java Bytecode Watermarking. In: , ed. Proceedings of the International Conference on Computer Science and Applications (ICCSA’10), The World Congress on Engineering and Computer Science (WCECS’10) Volume 1. San Francisco, USA: UNSPECIFIED, pp. 1-8. [Book Section]

Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan. 2005. Minimal slicing and the relationships between forms of slicing. In: , ed. 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 45-54. [Book Section]

Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave. 2004. Formalizing executable dynamic and forward slicing. In: , ed. 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04). , Los Alamitos, California, USA: IEEE Computer Society Press, pp. 43-52. [Book Section]

Danicic, Sebastian; De Lucia, Andrea and Harman, Mark. 2004. Building executable union slices using conditioned slicing. In: , ed. 12th International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 89-97. [Book Section]

Daoudi, Mohammed; Danicic, Sebastian; Howroyd, John; Harman, Mark; Fox, Chris; Ouarbya, Lahcen and Ward, Martin. 2002. ConSUS: A scalable approach to conditioned slicing. In: , ed. IEEE Working Conference on Reverse Engineering (WCRE 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 109-118. [Book Section]

Harman, Mark; Hu, Lin; Hierons, Robert; Fox, Chris; Danicic, Sebastian; Baresel, Andre; Sthamer, Harmen and Wegener, Joachim. 2002. Evolutionary testing supported by slicing and transformation. In: , ed. IEEE International Conference on Software Maintenance 2002. Los Alamitos, California, USA: IEEE Computer Society Press, p. 285. ISBN 978-0769518206 [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Hu, Lin; Danicic, Sebastian and Wegener, Joachim. 2002. Vada: A transformation-based system for variable dependence analysis. In: , ed. IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 55-64. ISBN 978-0769517940 [Book Section]

Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris. 2002. A denotational interprocedural program slicer. In: , ed. IEEE Working Conference on Reverse Engineering (WCRE 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 181-189. [Book Section]

Harman, Mark; Hu, Lin; Zhang, Xingyuan; Munro, Malcolm; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen. 2002. An interprocedural amorphous slicer for WSL. In: , ed. IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 105-114. ISBN 978-0769517940 [Book Section]

Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John; Laurence, Michael and Fox, Chris. 2001. Node coarsening calculi for program slicing. In: , ed. 8th Working Conference on Reverse Engineering. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 25-34. ISBN 978-0769513034 [Book Section]

Fox, Chris; Harman, Mark; Hierons, Robert and Danicic, Sebastian. 2001. Backward conditioning: a new program specialisation technique and its application to program comprehension. In: , ed. 9th IEEE International Workshop on Program Comprenhesion. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 89-97. ISBN 978-0769511313 [Book Section]

Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John and Fox, Chris. 2001. Pre/post conditioned slicing. In: , ed. IEEE International Conference on Software Maintenance (ICSM'01). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 138-147. ISBN 978-0769511894 [Book Section]

Danicic, Sebastian; Fox, Chris; Harman, Mark and Hierons, Robert. 2000. ConSIT: A conditioned program slicer. In: , ed. IEEE International Conference on Software Maintenance (ICSM'00). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 216-226. ISBN 978-0769507538 [Book Section]

Danicic, Sebastian and Harman, Mark. 2000. Espresso: A slicer generator. In: , ed. ACM Symposium on Applied Computing, (SAC'00). Como, Italy: UNSPECIFIED, pp. 831-839. [Book Section]

Harman, Mark; Hierons, Robert and Danicic, Sebastian. 2000. The relationship between program dependence and mutation analysis. In: W. Eric Wong, ed. Mutation Testing for the New Century (proceedings of Mutation 2000). San Jose, California, USA: Springer, pp. 5-13. ISBN 978-0792373230 [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian. 1999. Program simplification as a means of approximating undecidable propositions. In: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]

Harman, Mark; Sivagurunathan, Yogasundary and Danicic, Sebastian. 1998. Analysis of dynamic memory access using amorphous slicing. In: , ed. IEEE International Conference on Software Maintenance (ICSM'98). Los Alamitos, California: Wiley, pp. 233-262. ISBN 978-0818687792 [Book Section]

Harman, Mark and Danicic, Sebastian. 1997. Amorphous program slicing. In: , ed. Program Comprehension (Iwpc '97): 5th International Workshop. Los Alamitos, California: IEEE Computer Society Press, pp. 70-79. ISBN 978-0818679933 [Book Section]

Harman, Mark; Okunlawon, Margaret; Sivagurunathan, Bala and Danicic, Sebastian. 1997. Slice-based measurement of coupling. In: Rachel Harrison, ed. 19th ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution. Boston, Massachusetts, USA: UNSPECIFIED. [Book Section]

Sivagurunathan, Yogasundary; Harman, Mark and Danicic, Sebastian. 1997. Slicing, I/O and the implicit state. In: Mariam Kamkar, ed. 3rd International Workshop on Automated Debugging ( AADEBUG'97 ), volume 2 of Linköping Electronic Articles in Computer and Information Science. Linköping, Sweden: UNSPECIFIED, pp. 59-65. [Book Section]

Harman, Mark; Danicic, Sebastian; Sivagurunathan, Yogasundary and Simpson, Dan. 1996. The next 700 slicing criteria. In: Malcolm Munro, ed. 2nd UK workshop on program comprehension. UK: Durham University. [Book Section]

Harman, Mark and Danicic, Sebastian. 1996. Towards the measurement of objects. In: Martin Shepperd, ed. 1st Bournemouth Metrics Workshop. Bournemouth: Bournemouth University. [Book Section]

Harman, Mark; Danicic, Sebastian and Sivagurunathan, Yogasundary. 1995. Program comprehension assisted by slicing and transformation. In: Malcolm Munro, ed. 1st UK workshop on program comprehension. UK: Durham University. [Book Section]

Conference or Workshop Item

[img]
Preview
Zhou, Y.; Howroyd, John; Danicic, Sebastian and Bishop, Mark (J. M.). 2015. 'Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage'. In: AMBN 2015: the second workshop on Advanced Methodologies for Bayesian Network. Yokohama, Japan. [Conference or Workshop Item]

Danicic, Sebastian and Hamilton, James Alexander George. 2011. 'A Survey of Static Software Watermarking'. In: Proceedings of the World Congress on Internet Security 2011. IEEE, London, United Kingdom. [Conference or Workshop Item]

Danicic, Sebastian; Harman, Mark; Hierons, Robert; Howroyd, John; Laurence, Michael and Danicic, Sebastian. 2004. 'Applications of linear program schematology in dependence analysis'. In: 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy. [Conference or Workshop Item]

Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2004. 'A lazy semantics for program slicing'. In: 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy. [Conference or Workshop Item]

Danicic, Sebastian and Harman, Mark. 1996. 'A simultaneous slicing theory and derived program slicer (keynote)'. In: 4th RIMS Workshop in Computing. Kyoto University, Kyoto, Japan. [Conference or Workshop Item]

This list was generated on Sun Aug 28 05:18:21 2016 BST.