Issam Maamria

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Code Generation

Events Occurring

Theoretical Developments

Top Venues

Theories of Programming and Formal Methods

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Michael J. Butler, Issam Maamria
Practical Theory Extension in Event-B. Theories of Programming and Formal Methods (2013)
Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell
Event-B Code Generation: Type Extension with Theories. ABZ (2012)
Issam Maamria, Michael J. Butler
Rewriting and Well-Definedness within a Proof System PAR (2010)
Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
On an Extensible Rule-Based Prover for Event-B. ASM (2010)
Issam Maamria, Michael J. Butler
Rewriting and Well-Definedness within a Proof System. PAR@ITP (2010)