Akram Idani

	2011
19		Nafees Qamar, Yves Ledru, Akram Idani: Evaluating RBAC Supported Techniques and their Validation and Verification. ARES 2011: 734-739
18		Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh: Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops 2011: 592-606
17		Nafees Qamar, Yves Ledru, Akram Idani: Validation of Security-Design Models Using Z. ICFEM 2011: 259-274
16		Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh: Validation of security policies by the animation of Z specifications. SACMAT 2011: 155-164
15		Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier: Combining UML, ASTD and B for the formal specification of an access control filter. ISSE 7(4): 303-313 (2011)
	2010
14		Akram Idani, Mohamed-Amine Labiadh, Yves Ledru: Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d'Information 15(3): 87-112 (2010)
	2009
13		Akram Idani: UML Models Engineering from Static and Dynamic Aspects of Formal Specifications. BMMDS/EMMSAD 2009: 237-250
12		Akram Idani, Yves Ledru, Mohamed-Amine Labiadh: Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. INFORSID 2009: 261-276
11		Akram Idani, Jean-Louis Boulanger, Laurent Philippe: Linking Paradigms in Safety Critical Systems. I. J. Comput. Appl. 16(2): 111-120 (2009)
	2008
10		Akram Idani, Bernard Coulette: Towards Reverse-Engineering of UML Views from Structured Formal Developments. ICEIS (3-1) 2008: 94-103
	2007
9		Akram Idani, Jean-Louis Boulanger, Laurent Philippe: A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. CAINE 2007: 185-192
8		Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger: Commandments of UML for Safety. ICSEA 2007: 58
7		Akram Idani, Yves Ledru: Object oriented concepts identification from formal B specifications. Formal Methods in System Design 30(3): 217-232 (2007)
6		Akram Idani, Yves Ledru, Didier Bert: Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques 26(7): 819-851 (2007)
	2006
5		Akram Idani: Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information. INFORSID 2006: 577-593
4		Akram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106
3		Akram Idani, Yves Ledru: Dynamic graphical UML views from formal B specifications. Information & Software Technology 48(3): 154-169 (2006)
	2005
2		Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51
1		Akram Idani, Yves Ledru: Object Oriented Concepts Identification from Formal B Specifications. Electr. Notes Theor. Comput. Sci. 133: 159-174 (2005)

Coauthor Index

1	Didier Bert	[2] [4] [6]
2	Jean-Louis Boulanger	[8] [9] [11]
3	Bernard Coulette	[10]
4	Marc Frappier	[15]
5	Mohamed-Amine Labiadh	[12] [14] [15] [16] [18]
6	Régine Laleau (Regine Laleau)	[15] [18]
7	Yves Ledru	[1] [2] [3] [4] [6] [7] [12] [14] [15] [16] [17] [18] [19]
8	Jérémy Milhau	[15] [18]
9	Dieu Donné Okalas Ossami	[8]
10	Laurent Philippe	[9] [11]
11	Nafees Qamar	[16] [17] [18] [19]
12	Jean-Luc Richier	[16] [18]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page