Browse by Goldsmiths authors: Danicic, Sebastian

Number of items: 53.
Article
  • Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data. (2017) Zhou, Yun; Wang, Minlue; Haberland, Valeriia; Howroyd, John; Danicic, Sebastian and Bishop, Mark
  • Complexity of data dependence problems for program schemas with concurrency. (2012) Danicic, Sebastian; Hierons, Robert and Laurence, Michael
  • A unifying theory of control dependence and its application to arbitrary program structures. (2011) Danicic, Sebastian; Barraclough, Richard; Harman, Mark; Howroyd, John; Kiss, Akos and Laurence, Michael
  • Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. (2011) Danicic, Sebastian; Hierons, Robert and Laurence, Michael
  • Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. (2011) Danicic, Sebastian; Hierons, Robert and Laurence, Michael
  • An Evaluation of the Resilience of Static Java Bytecode Watermarks Against Distortive Attacks. (2011) Hamilton, James Alexander George and Danicic, Sebastian
  • On the computational complexity of dynamic slicing problems for program schemas. (2011) Danicic, Sebastian; Hierons, Robert and Laurence, Michael
  • A trajectory-based strict semantics for program slicing. (2010) Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael and Ouarbya, Lahcen
  • Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. (2009) Danicic, Sebastian; Laurence, Michael and Hierons, Robert
  • A non-standard semantics for program slicing and dependence analysis. (2007) Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
  • Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. (2007) Danicic, Sebastian; Harman, M.; Hierons, R. and Laurence, M.
  • Special issue on Programming Language Interference and Dependence. (2007) Clark, David M.; Danicic, Sebastian and Giacobazzi, Roberto
  • Theoretical foundations of dynamic program slicing. (2006) Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan
  • A formal relationship between program slicing and partial evaluation. (2006) Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
  • ConSUS: A lightweight program conditioner. (2005) Danicic, Sebastian; Daoudi, Mohammed; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John; Ouarbya, Lahcen and Ward, Martin
  • Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. (2005) Danicic, Sebastian; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John and Laurence, Michael
  • Syntax-directed amorphous slicing. (2004) Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Wendell Binkley, David; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen
  • ConSIT: a fully automated conditioned program slicer. (2004) Fox, Chris; Danicic, Sebastian; Harman, Mark and Hierons, Robert
  • Equivalence of conservative, free, linear programs is decidable. (2003) Danicic, Sebastian; Laurence, M.; Harman, M. and Hierons, R.
  • Amorphous program slicing. (2003) Harman, Mark; Wendell Binkley, David and Danicic, Sebastian
  • Guaranteed inconsistency avoidance during software evolution. (2003) Gallagher, Keith Brian; Harman, Mark and Danicic, Sebastian
  • Using program slicing to assist in the detection of equivalent mutants. (1999) Hierons, Robert; Harman, Mark and Danicic, Sebastian
  • A new algorithm for slicing unstructured programs. (1998) Harman, Mark and Danicic, Sebastian
  • Slicing programs in the presence of errors. (1996) Harman, Mark; Simpson, D. J. and Danicic, Sebastian
  • A parallel algorithm for static program slicing. (1995) Danicic, Sebastian; Harman, Mark and Sivagurunathan, Yogasundary
    • Book Section
  • An Evaluation of Static Java Bytecode Watermarking. (2010) Danicic, Sebastian and Hamilton, James Alexander George
  • Minimal slicing and the relationships between forms of slicing. (2005) Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan
  • Formalizing executable dynamic and forward slicing. (2004) Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave
  • Building executable union slices using conditioned slicing. (2004) Danicic, Sebastian; De Lucia, Andrea and Harman, Mark
  • ConSUS: A scalable approach to conditioned slicing. (2002) Daoudi, Mohammed; Danicic, Sebastian; Howroyd, John; Harman, Mark; Fox, Chris; Ouarbya, Lahcen and Ward, Martin
  • Evolutionary testing supported by slicing and transformation. (2002) Harman, Mark; Hu, Lin; Hierons, Robert; Fox, Chris; Danicic, Sebastian; Baresel, Andre; Sthamer, Harmen and Wegener, Joachim
  • Vada: A transformation-based system for variable dependence analysis. (2002) Harman, Mark; Fox, Chris; Hierons, Robert; Hu, Lin; Danicic, Sebastian and Wegener, Joachim
  • An interprocedural amorphous slicer for WSL. (2002) Harman, Mark; Hu, Lin; Zhang, Xingyuan; Munro, Malcolm; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen
  • Node coarsening calculi for program slicing. (2001) Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John; Laurence, Michael and Fox, Chris
  • Backward conditioning: a new program specialisation technique and its application to program comprehension. (2001) Fox, Chris; Harman, Mark; Hierons, Robert and Danicic, Sebastian
  • Pre/post conditioned slicing. (2001) Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John and Fox, Chris
  • ConSIT: A conditioned program slicer. (2000) Danicic, Sebastian; Fox, Chris; Harman, Mark and Hierons, Robert
  • Espresso: A slicer generator. (2000) Danicic, Sebastian and Harman, Mark
  • The relationship between program dependence and mutation analysis. (2000) Harman, Mark; Hierons, Robert and Danicic, Sebastian
  • Program simplification as a means of approximating undecidable propositions. (1999) Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian
  • Analysis of dynamic memory access using amorphous slicing. (1998) Harman, Mark; Sivagurunathan, Yogasundary and Danicic, Sebastian
  • Amorphous program slicing. (1997) Harman, Mark and Danicic, Sebastian
  • Slice-based measurement of coupling. (1997) Harman, Mark; Okunlawon, Margaret; Sivagurunathan, Bala and Danicic, Sebastian
  • Slicing, I/O and the implicit state. (1997) Sivagurunathan, Yogasundary; Harman, Mark and Danicic, Sebastian
  • The next 700 slicing criteria. (1996) Harman, Mark; Danicic, Sebastian; Sivagurunathan, Yogasundary and Simpson, Dan
  • Towards the measurement of objects. (1996) Harman, Mark and Danicic, Sebastian
  • Program comprehension assisted by slicing and transformation. (1995) Harman, Mark; Danicic, Sebastian and Sivagurunathan, Yogasundary
    • Conference or Workshop Item
  • Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage. (2015) Zhou, Yun; Howroyd, John; Danicic, Sebastian and Bishop, Mark (J. M.)
  • A Survey of Static Software Watermarking. (2011) Danicic, Sebastian and Hamilton, James Alexander George
  • A Lazy Semantics for Program Slicing. (2004) Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
  • Applications of linear program schematology in dependence analysis. (2004) Danicic, Sebastian; Harman, Mark; Hierons, Robert; Howroyd, John; Laurence, Michael and Danicic, Sebastian
  • A Denotational Interprocedural Program Slicer. (2002) Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris
  • A simultaneous slicing theory and derived program slicer (keynote). (1996) Danicic, Sebastian and Harman, Mark