| 2008 |
|---|
| 16 | EE | Chamseddine Talhi,
Nadia Tawbi,
Mourad Debbabi:
Execution monitoring enforcement under memory-limitation constraints.
Inf. Comput. 206(2-4): 158-184 (2008) |
| 2007 |
|---|
| 15 | EE | Hamdi Yahyaoui,
Mourad Debbabi,
Nadia Tawbi:
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
QSIC 2007: 348-355 |
| 2006 |
|---|
| 14 | EE | Chamseddine Talhi,
Nadia Tawbi,
Mourad Debbabi:
Execution monitoring enforcement for limited-memory systems.
PST 2006: 38 |
| 2005 |
|---|
| 13 | EE | Mourad Debbabi,
Azzam Mourad,
Nadia Tawbi:
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.
SAC 2005: 874-878 |
| 12 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Lamia Ketari,
Chamseddine Talhi,
Hamdi Yahyaoui,
Sami Zhioua,
Nadia Tawbi:
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines.
Journal of Object Technology 4(1): 83-108 (2005) |
| 2004 |
|---|
| 11 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Lamia Ketari,
Chamseddine Talhi,
Nadia Tawbi,
Hamdi Yahyaoui,
Sami Zhioua:
A dynamic compiler for embedded Java virtual machines.
PPPJ 2004: 100-106 |
| 2003 |
|---|
| 10 | EE | Mourad Debbabi,
M. M. Erhioui,
Lamia Ketari,
Nadia Tawbi,
Hamdi Yahyaoui,
Sami Zhioua:
Method Call Acceleration in Embedded Java Virtual Machines.
International Conference on Computational Science 2003: 750-759 |
| 2002 |
|---|
| 9 | EE | Mourad Debbabi,
Jules Desharnais,
M. Fourati,
E. Menif,
Frédéric Painchaud,
Nadia Tawbi:
Secure Self-certified Code for Java.
FASec 2002: 133-151 |
| 2000 |
|---|
| 8 | EE | Mourad Debbabi,
E. Giasson,
Béchir Ktari,
F. Michaud,
Nadia Tawbi:
Secure Self-Certified COTS.
WETICE 2000: 183-188 |
| 1997 |
|---|
| 7 | | Mourad Debbabi,
Mohamed Mejri,
Nadia Tawbi,
I. Yahmadi:
Formal Automatic Verification of Authentication Crytographic Protocols.
ICFEM 1997: 50-59 |
| 6 | EE | Mourad Debbabi,
Mohamed Mejri,
Nadia Tawbi,
I. Yahmadi:
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.
WETICE 1997: 256-262 |
| 1996 |
|---|
| 5 | | Ghassan Chehaibar,
Hubert Garavel,
Laurent Mounier,
Nadia Tawbi,
Ferruccio Zulian:
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.
FORTE 1996: 435-450 |
| 4 | | Mourad Debbabi,
Ali Faour,
Nadia Tawbi:
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.
Implementation of Functional Languages 1996: 247-266 |
| 1994 |
|---|
| 3 | | Nadia Tawbi:
Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra.
IPPS 1994: 217-221 |
| 1992 |
|---|
| 2 | EE | Nadia Tawbi,
Paul Feautrier:
Processor allocation and loop scheduling on multiprocessor computers.
ICS 1992: 63-71 |
| 1991 |
|---|
| 1 | | B. Dehbonei,
Christophe Laurent,
Nadia Tawbi,
R. S. Kulkarni:
PMACS: An Environment for Parallel Programming.
IPPS 1991: 638-641 |
