Issam Maamria

According to our database, Issam Maamria authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Towards a practically extensible Event-B methodology.

Issam Maamria

PhD thesis, 2013

Practical Theory Extension in Event-B.

Michael J. Butler, Issam Maamria

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Event-B Code Generation: Type Extension with Theories.

Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2010

Rewriting and Well-Definedness within a Proof System

Issam Maamria, Michael J. Butler

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

On an Extensible Rule-Based Prover for Event-B.

Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh

Proceedings of the Abstract State Machines, 2010