Leila Jemni Ben Ayed

2007
5	EE	Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) 2007: 163-170
4	EE	Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni: A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT 2007: 90-91
2006
3	EE	Fathi Essalmi, Leila Jemni Ben Ayed: Graphical UML View from Extended Backus-Naur Form Grammars. ICALT 2006: 544-546
2	EE	Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz: Transformation of B specifications into UML class diagrams and state machines. SAC 2006: 1840-1844
2005
1	EE	Mouna Saad, Leila Jemni Ben Ayed: Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA 2005: 308-322

Coauthor Index

1	Fathi Essalmi	[3] [4]
2	Houda Fekih	[2]
3	Mohamed Jemni	[4]
4	Stephan Merz	[2]
5	Mouna Saad	[1]
6	Ahlem Ben Younes	[5]

Colors in the list of coauthors