Lahcen Ouarbya

Published Journal Articles

1
Sebastian Danicic, , Mark Harman, John Howroyd, and Lahcen Ouarbya.
A non-standard semantics for program slicing and dependence analysis.
Logic and Algebraic Programming, Special Issue on Theory and Foundations of Programming Language Interference and Dependence, 72:123-240, July-August 2007.

2
David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, and Lahcen Ouarbya.
A formal relationship between program slicing and partial evaluation.
Formal Aspects of Computing, June 2006.

3
Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert Mark Hierons, John Howroyd, Lahcen Ouarbya, and Martin Ward.
Consus: A lightweight program conditioner.
Journal of Systems and Software, 77(3):241-262, 2004.

4
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Wendell Binkley, Sebastian Danicic, Mohammed Daoudi, and Lahcen Ouarbya.
Syntax-directed amorphous slicing.
Journal of Automated Software Engineering, 11(1):27-61, January 2004.

5
Rob Hierons, Mark Harman, Lahcen Ouarbya, Chris Fox, and Dave (Mohammed) Daoudi.
Conditioned Slicing Supports Partition Testing.
In Journal of Software Testing, Verification and Reliability , 12(1):23-28, 2002.

Published Conference Articles

1
Lahcen Ouarbya and Derrick Mirikitani:
Modeling Geomagnetospheric disturbances with Sequential Bayesian Recurrent Neural Networks,
In $16^{th}$ International Conference on Neural Information Processing (ICONIP2009), Bangkok, Thailand, December 1-5, 2009 (Accepted)

2
Derrick Mirikitani and Lahcen Ouarbya:
Modeling Dst with Recurrent EM Neural Networks,
In $19^{th}$ International Conference on Artificial Neural Networks (ICANN2009), 14-17 September, Limassol, Cyprus 2009 (ACCEPTED)

3
Sebastian Danicic, Mark Harman, John Howroyd, and Lahcen Ouarbya.
A lazy semantics for program slicing.
In $1^{st}$ International Workshop on Programming Language Interference and Dependence, Verona, Italy, August 2004.

4
Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Lahcen Ouarbya.
Formalizing executable dynamic and forward slicing.
In $4^{th}$ International Workshop on Source Code Analysis and Manipulation (SCAM 04), pages 43-52, Los Alamitos, California, USA, September 2004. IEEE Computer Society Press.

5
Mohammed Daoudi, Sebastian Danicic, John Howroyd, Mark Harman, Chris Fox, Lahcen Ouarbya, and Martin Ward.
ConSUS: A scalable approach to conditioned slicing.
In IEEE Working Conference on Reverse Engineering (WCRE 2002), pages 109 - 118, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.
Invited for special issue of the Journal of Systems and Software as best paper from WCRE 2002.

6
Lahcen Ouarbya, Sebastian Danicic, Dave (Mohammed) Daoudi, Mark Harman, and Chris Fox.
A denotational interprocedural program slicer.
In IEEE Working Conference on Reverse Engineering (WCRE 2002), pages 181 - 189, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.

7
Mark Harman, Lin Hu, Xingyuan Zhang, Malcolm Munro, Sebastian Danicic, Mohammed Daoudi, and Lahcen Ouarbya.
An interprocedural amorphous slicer for WSL.
In IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), pages 105-114, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.
Selected for consideration for the special issue of the Journal of Automated Software Engineering.