Publications

1

Lahcen Ouarbya, Derrick Mirikitani and Eamonn Martin:
Modeling magnetospheric disturbances with sequentially trained RNNs.
To appear in Journal of Applied Mathematics Letters, December 2011.

2

Derrick Takeshi Mirikitani, Lisa Tsui, Lahcen Ouarbya: Evolving Recurrent Neural Models of Geomagnetic Storms. IDEAL 2011: 244-251
Evolving Recurrent Neural Models of Geomagnetic Storms.,
In IDEAL 2011:244-251

3

Derrick Mirikitani, Lahcen Ouarbya, Lisa Tsui and Eamonn Martin:
Improving Forecasts of Geomagnetic Storms with Evolved Recurrent Neural Networks,
In IEEE International Conference on Cybernetic Intelligent Systems , September, School of Architecture, Computing and Engeneering, University of East London, London, 2011

4

Lahcen Ouarbya and Derrick Mirikitani:
Sequential Modeling of D_st Dynamics with SEEk Trained Recurrent Neural Networks,
International Conference on Intelligent Systems, Modelling and Simulation, Liverpool, Uk, January 27-29, 2010

5

Richard Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert Hierons, kos Kiss, Michael Laurence and Lahcen Ouarbya.
A trajectory-based strict semantics for program slicing.
Theoretical Computer Science, 411:1372-1386, March 2010.

6

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

7

Derrick Mirikitani and Lahcen Ouarbya:
Modeling Dst with Recurrent EM Neural Networks,
In International Conference on Artificial Neural Networks (ICANN2009), 14-17 September, Limassol, Cyprus 2009

8

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.

9

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.

10

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.

11

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.

12

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

13

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

14

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.

15

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.

16

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.