Sebastian Danicic

52 papers A 1C 5Journal 30Unranked 16

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Static Backward Slicing of Non-deterministic Programs and Systems. ACM Trans. Program. Lang. Syst. Sebastian Danicic, Michael R. Laurence
2017	J	`jnl`	Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas. CoRR Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2017	J	`jnl`	Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data. New Gener. Comput. Yun Zhou, Minlue Wang, Valeriia Haberland, John Howroyd, Sebastian Danicic, J. Mark Bishop
2017	J	`jnl`	On the computational complexity of dynamic slicing problems for program schemas. CoRR Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2015	—	`conf`	Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage. AMBN@JSAI-isAI Yun Zhou, John Howroyd, Sebastian Danicic, J. Mark Bishop
2012	J	`jnl`	Complexity of Data Dependence Problems for Program Schemas with Concurrency. ACM Trans. Comput. Log. Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2012	—	`conf`	Dependence communities in source code. ICSM James Alexander George Hamilton, Sebastian Danicic
2011	—	`conf`	A survey of static software watermarking. WorldCIS James Alexander George Hamilton, Sebastian Danicic
2011	J	`jnl`	A unifying theory of control dependence and its application to arbitrary program structures. Theor. Comput. Sci. Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence
2011	J	`jnl`	Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. J. Log. Algebraic Methods Program. Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2011	J	`jnl`	Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. J. Log. Algebraic Methods Program. Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2011	J	`jnl`	On the computational complexity of dynamic slicing problems for program schemas. Math. Struct. Comput. Sci. Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2010	J	`jnl`	A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya
2010	J	`jnl`	Complexity of Data Dependence problems for Program Schemas with Concurrency CoRR Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2009	C	`conf`	An Evaluation of Current Java Bytecode Decompilers. SCAM James Alexander George Hamilton, Sebastian Danicic
2007	J	`jnl`	A non-standard semantics for program slicing and dependence analysis. J. Log. Algebraic Methods Program. Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2007	J	`jnl`	Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2007	J	`jnl`	Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. David Clark, Sebastian Danicic, Roberto Giacobazzi
2006	J	`jnl`	A formal relationship between program slicing and partial evaluation. Formal Aspects Comput. David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2006	J	`jnl`	A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2006	A	`conf`	The Sound of Software: Using Sonification to Aid Comprehension. ICPC Lewis Irwin Berman, Sebastian Danicic, Keith B. Gallagher, Nicolas Gold
2006	J	`jnl`	Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2005	C	`conf`	Minimal Slicing and the Relationships Between Forms of Slicing. SCAM David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2005	J	`jnl`	Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2004	—	`conf`	Building Executable Union Slices using Conditioned Slicing. IWPC Sebastian Danicic, Andrea De Lucia, Mark Harman
2004	J	`jnl`	ConSIT: a fully automated conditioned program slicer. Softw. Pract. Exp. Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2004	C	`conf`	Formalizing Executable Dynamic and Forward Slicing. SCAM David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya
2004	J	`jnl`	Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2003	J	`jnl`	Amorphous program slicing. J. Syst. Softw. Mark Harman, David W. Binkley, Sebastian Danicic
2003	J	`jnl`	Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd
2003	J	`jnl`	Guaranteed inconsistency avoidance during software evolution. J. Softw. Maintenance Res. Pract. Keith B. Gallagher, Mark Harman, Sebastian Danicic
2002	—	`conf`	A Denotational Interprocedural Program Slicer. WCRE Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox
2002	C	`conf`	An Interprocedural Amorphous Slicer for WSL. SCAM Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2002	—	`conf`	ConSUS: A Scalable Approach to Conditioned Slicing. WCRE Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
2002	—	`conf`	Evolutionary Testing Supported by Slicing and Transformation. ICSM Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
2002	C	`conf`	VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
2001	—	`conf`	Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2001	—	`conf`	Node Coarsening Calculi for Program Slicing. WCRE Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
2001	—	`conf`	Pre/Post Conditioned Slicing. ICSM Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
2000	—	`conf`	ConSIT: A Conditioned Program Slicer. ICSM Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
2000	—	`conf`	Espresso: A Slicer Generator. SAC (2) Sebastian Danicic, Mark Harman
1999	—	`conf`	Program Simplification as a Means of Approximating Undecidable Propositions. IWPC Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic
1999	J	`jnl`	Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test. Verification Reliab. Robert M. Hierons, Mark Harman, Sebastian Danicic
1998	J	`jnl`	A new algorithm for slicing unstructured programs. J. Softw. Maintenance Res. Pract. Mark Harman, Sebastian Danicic
1998	—	`conf`	Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM Mark Harman, Yoga Sivagurunathan, Sebastian Danicic
1997	—	`conf`	Amorphous Program Slicing. WPC Mark Harman, Sebastian Danicic
1997	—	`conf`	Slicing, I/O and the Implicit State. AADEBUG Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
1996	J	`jnl`	Slicing Programs in the Presence of Errors. Formal Aspects Comput. Mark Harman, Dan Simpson, Sebastian Danicic
1995	J	`jnl`	A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. Sebastian Danicic, Mark Harman, Yoga Sivagurunathan
1995	J	`jnl`	Using Program Slicing to Simplify Testing. Softw. Test. Verification Reliab. Mark Harman, Sebastian Danicic
1993	J	`jnl`	Projecting Functional Models of Imperative Programs. ACM SIGPLAN Notices Mark Harman, Sebastian Danicic
1987	J	`jnl`	Coping with deeply nested control structures. ACM SIGPLAN Notices G. R. Perkins, R. W. Norman, Sebastian Danicic