Abdessamad Imine

	2012
29		Houari Mahfoud, Abdessamad Imine: Secure querying of recursive XML views: a standard xpath-based technique. WWW (Companion Volume) 2012: 575-576
28		Houari Mahfoud, Abdessamad Imine: A General Approach for Securely Querying and Updating XML Data CoRR abs/1202.0018: (2012)
	2011
27		Moulay Driss Mechaoui, Abdessamad Imine, Fatima Bendella: Un Modèle Générique de Garbage Collection pour les Eéditeurs Collaboratifs Basé sur l'Approche TO dans les environnements P2P et mobiles. CIIA 2011
26		Jagdish Prasad Achara, Abdessamad Imine, Michaël Rusinowitch: DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks. ISPDC 2011: 223-231
25		Asma Cherif, Abdessamad Imine, Michaël Rusinowitch: Optimistic access control for distributed collaborative editors. SAC 2011: 861-868
24		Houari Mahfoud, Abdessamad Imine: Secure Querying of Recursive XML Views: A Standard XPath-based Technique CoRR abs/1112.2605: (2011)
	2010
23		Moulay Driss Mechaoui, Asma Cherif, Abdessamad Imine, Fatima Bendella: Log garbage collector-based real time collaborative editor for mobile devices. CollaborateCom 2010: 1-10
22		Abdessamad Imine: On Coordinating Collaborative Objects FOCLASA 2010: 78-92
21		Hanifa Boucheneb, Abdessamad Imine, Manal Najem: Symbolic Model-Checking of Optimistic Replication Algorithms. IFM 2010: 89-104
20		Zeeshan Ahmed, Abdessamad Imine, Michaël Rusinowitch: Safe and Efficient Strategies for Updating Firewall Policies. TrustBus 2010: 45-57
	2009
19		Asma Cherif, Abdessamad Imine: Undo-Based Access Control for Distributed Collaborative Editors. CDVE 2009: 101-108
18		Abdessamad Imine: Coordination Model for Real-Time Collaborative Editors. COORDINATION 2009: 225-246
17		Hanifa Boucheneb, Abdessamad Imine: On Model-Checking Optimistic Replication Algorithms. FMOODS/FORTE 2009: 73-89
16		Abdessamad Imine, Asma Cherif, Michaël Rusinowitch: A Flexible Access Control Model for Distributed Collaborative Editors. Secure Data Management 2009: 89-106
	2008
15		Abdessamad Imine: Flexible Concurrency Control for Real-Time Collaborative Editors. ICDCS Workshops 2008: 423-428
14		Hanifa Boucheneb, Abdessamad Imine: Experiments in Model-Checking Optimistic Replication Algorithms CoRR abs/0804.3023: (2008)
	2007
13		Abdessamad Imine, Michaël Rusinowitch: Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. Rewriting, Computation and Proof 2007: 213-234
12		Abdessamad Imine: Component-Based Specification of Collaborative Objects. Electr. Notes Theor. Comput. Sci. 168: 175-190 (2007)
	2006
11		Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine: Data consistency for P2P collaborative editing. CSCW 2006: 259-268
10		Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli: Formal design and verification of operational transformation algorithms for copies convergence. Theor. Comput. Sci. 351(2): 167-183 (2006)
	2005
9		Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Towards Synchronizing Linear Collaborative Objects with Operational Transformation. FORTE 2005: 411-427
	2004
8		David Déharbe, Abdessamad Imine, Silvio Ranise: Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275
7		Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Deductive Verification of Distributed Groupware Systems. AMAST 2004: 226-240
6		Gérald Oster, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine: A safe and generic model for synchronizing divergent data. UbiMob 2004: 98-106
	2003
5		Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Proving Correctness of Transformation Functions Functions in Real-Time Groupware. ECSCW 2003: 277-293
4		Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine: Using the transformational approach to build a safe and generic data synchronizer. GROUP 2003: 212-220
3		Abdessamad Imine, Pascal Urso: Automatic Detection of Copies Divergence in Collaborative Editing Systems. Electr. Notes Theor. Comput. Sci. 80: 92-108 (2003)
2		Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso: VOTE: Group Editors Analyzing Tool: System Description. Electr. Notes Theor. Comput. Sci. 86(1): 153-161 (2003)
	2002
1		Abdessamad Imine, Yahya Slimani, Sorin Stratulat: Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. JFPLC 2002: 71-

Coauthor Index

1	Jagdish Prasad Achara	[26]
2	Zeeshan Ahmed	[20]
3	Fatima Bendella	[23] [27]
4	Hanifa Boucheneb	[14] [17] [21]
5	Asma Cherif	[16] [19] [23] [25]
6	David Déharbe (David Boris Paul Déharbe)	[8]
7	Houari Mahfoud	[24] [28] [29]
8	Moulay Driss Mechaoui	[23] [27]
9	Pascal Molli	[2] [4] [5] [6] [7] [9] [10] [11]
10	Manal Najem	[21]
11	Gérald Oster	[2] [4] [5] [6] [7] [9] [10] [11]
12	Silvio Ranise	[8]
13	Michaël Rusinowitch	[5] [7] [9] [10] [13] [16] [20] [25] [26]
14	Hala Skaf-Molli (Hala Skaf)	[4] [6]
15	Yahya Slimani	[1]
16	Sorin Stratulat	[1]
17	Pascal Urso	[2] [3] [11]

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