Nadia Tawbi Vis

*	2009
17	EE	Hugues Chabot, Raphael Khoury, Nadia Tawbi: Generating In-Line Monitors for Rabin Automata. NordSec 2009: 287-301
	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

Coauthor Index

1	Hugues Chabot	[17]
2	Ghassan Chehaibar	[5]
3	Mourad Debbabi	[4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
4	B. Dehbonei	[1]
5	Jules Desharnais	[9]
6	M. M. Erhioui	[10]
7	Ali Faour	[4]
8	Paul Feautrier	[2]
9	M. Fourati	[9]
10	Hubert Garavel	[5]
11	Abdelouahed Gherbi	[11] [12]
12	E. Giasson	[8]
13	Lamia Ketari	[10] [11] [12]
14	Raphael Khoury	[17]
15	Béchir Ktari	[8]
16	R. S. Kulkarni	[1]
17	Christophe Laurent	[1]
18	Mohamed Mejri	[6] [7]
19	E. Menif	[9]
20	F. Michaud	[8]
21	Laurent Mounier	[5]
22	Azzam Mourad	[13]
23	Frédéric Painchaud	[9]
24	Chamseddine Talhi	[11] [12] [14] [16]
25	I. Yahmadi	[6] [7]
26	Hamdi Yahyaoui	[10] [11] [12] [15]
27	Sami Zhioua	[10] [11] [12]
28	Ferruccio Zulian	[5]

Colors in the list of coauthors