Leila Jemni Ben Ayed

Leila Jemni

	2009
17		Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: Patterns for Modeling and Composing Workflows from Grid Services. ICEIS 2009: 615-626
16		Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi: An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS 2009: 119-124
15		Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS 2009: 149-155
	2008
14		Leila Jemni Ben Ayed, Fatma Siala: From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. COMPSAC 2008: 581-584
13		Ahlem Ben Younes, Leila Jemni Ben Ayed: From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. COMPSAC 2008: 643-648
12		Leila Jemni Ben Ayed, Fatma Siala: Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS 2008: 102-107
11		Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk: UML Class Diagram as a Navigational Support for E-Learning. ICALT 2008: 946-948
10		Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed: Event-B based invariant checking of secrecy in group key protocols. LCN 2008: 950-957
9		Leila Jemni Ben Ayed, Fatma Siala: An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. MSVVEIS 2008: 190-198
	2007
8		Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) 2007: 163-170
7		Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni: A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT 2007: 90-91
6		Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310
	2006
5		Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed: Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA 2006: 834-841
4		Fathi Essalmi, Leila Jemni Ben Ayed: Graphical UML View from Extended Backus-Naur Form Grammars. ICALT 2006: 544-546
3		Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz: Transformation of B specifications into UML class diagrams and state machines. SAC 2006: 1840-1844
	2005
2		Mouna Saad, Leila Jemni Ben Ayed: Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA 2005: 308-322
	2002
1		Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray: A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM 2002: 216-220

Coauthor Index

1	Samir Ben Ahmed	[1]
2	Fathi Essalmi	[4] [7] [11]
3	Houda Fekih	[3]
4	Amjad Gawanmeh	[10]
5	Yousra Bendaly Hlaoui	[17]
6	Jacques Jaray	[1] [5] [6]
7	Mohamed Nidhal Jelassi	[16]
8	Mohamed Jemni	[7] [11]
9	Kinshuk	[11]
10	Stephan Merz	[3]
11	Olfa Mosbahi	[1] [5] [6]
12	Mouna Saad	[2]
13	Fatma Siala	[9] [12] [14]
14	Sofiène Tahar	[10]
15	Ahlem Ben Younes	[8] [13] [15]

Colors in the list of coauthors