Research Online

Logo

Goldsmiths - University of London

Browse by Goldsmiths authors: Ouarbya, Lahcen

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Jump to: Article | Book Section | Conference or Workshop Item
Number of items: 13.

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]

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; 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]

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]

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]

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]

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]

Conference or Workshop Item

[img]
Preview
Olaniyan, Rapheal; Stamate, Daniel; Ouarbya, Lahcen and Logofatu, Doina. 2015. 'Sentiment and stock market volatility predictive modelling - A hybrid approach'. In: 2015 IEEE International Conference on Data Science and Advanced Analytics (DSAA). Paris, France. [Conference or Workshop Item]

Mirikitani, Derrick T.; Ouarbya, Lahcen; Tsui, Lisa and Martin, Eamonn. 2011. 'Improving Forecasts of Geomagnetic Storms with Evolved Recurrent Neural Networks'. In: IEEE International Conference on Cybernetic Intelligent Systems. London. [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]

This list was generated on Wed Jan 22 03:30:50 2020 GMT.