Mohamed Abbadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2017
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SLE | Metacasanova: an optimized meta-compiler for domain-specific languages. | Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore |
| 2012 | EICS | A formal specification for casanova, a language for computer games. | Giuseppe Maggiore, Alvise Span, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo |
| 2012 | ICEC | Writing Real-Time .Net Games in Casanova. | Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi |
| 2012 | SAC | A compilation technique to increase X3D performance and safety. | Giuseppe Maggiore, Fabio Pittarello, Michele Bugliesi, Mohamed Abbadi |