Mourad Debbabi

	2011
129		Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta, Ahmed Ghanmi: A decentralized heuristic for multi-depot split-delivery vehicle routing problem. ICAL 2011: 70-75
128		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. PST 2011: 120-123
127		Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET. IEEE Trans. Dependable Sec. Comput. 8(1): 89-103 (2011)
126		Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi: Anonymity meets game theory: secure data integration with malicious participants. VLDB J. 20(4): 567-588 (2011)
	2010
125		Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh: Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. Springer 2010: I-XXVI, 1-248
124		Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi: Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113
123		Mariam Nouh, R. Ziarati, Djedjiga Mouheb, Dima Alhadidi, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Aspect weaver: a model transformation approach for UML models. CASCON 2010: 139-153
122		Prosenjit Sinha, Amine Boukhtouta, Victor Heber Belarde, Mourad Debbabi: Insights from the analysis of the Mariposa botnet. CRiSIS 2010: 1-9
121		Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. FACS 2010: 182-199
120		Hamad Binsalleeh, Thomas Ormerod, Amine Boukhtouta, Prosenjit Sinha, Amr M. Youssef, Mourad Debbabi, Lingyu Wang: On the analysis of the Zeus botnet crimeware toolkit. PST 2010: 31-38
119		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. RAID 2010: 508-509
118		Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi: e-mail authorship verification for forensic investigation. SAC 2010: 1591-1598
117		Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi: Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) 2010: 163-177
116		Djedjiga Mouheb, Chamseddine Talhi, Mariam Nouh, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. SERA (selected papers) 2010: 197-213
115		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY CoRR abs/1009.5423: (2010)
114		Farkhund Iqbal, Hamad Binsalleeh, Benjamin C. M. Fung, Mourad Debbabi: Mining writeprints from anonymous e-mails for forensic investigation. Digital Investigation 7(1-2): 56-64 (2010)
113		Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang: Security Evaluation and Hardening of Free and Open Source Software (FOSS). ECEASST 33: (2010)
112		Mohamed Saleh, Mourad Debbabi: A game-theoretic framework for specification and verification of cryptographic protocols. Formal Asp. Comput. 22(5): 585-609 (2010)
111		Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi: A Secure Mechanism Design-Based and Game Theoretical Model for MANETs. MONET 15(2): 191-204 (2010)
110		Bo Zhu, Kui Ren, Lingyu Wang, Mourad Debbabi: PCM: a privacy-preserving detection mechanism in mobile ad hoc networks. Security and Communication Networks 3(2-3): 167-184 (2010)
	2009
109		Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: The dataflow pointcut: a formal and practical framework. AOSD 2009: 15-26
108		Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi: A Practical Framework for the Dataflow Pointcut in AspectJ. ARES 2009: 835-840
107		Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi: Walking in the crowd: anonymizing trajectory data for pattern analysis. CIKM 2009: 1441-1444
106		Yosr Jarraya, Mourad Debbabi, Jamal Bentahar: On the Meaning of SysML Activity Diagrams. ECBS 2009: 95-105
105		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333
104		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). HSC 2009: 45
103		Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi: A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. OTM Conferences (2) 2009: 815-832
102		Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi: Verification of CERT Secure Coding Rules: Case Studies. OTM Conferences (2) 2009: 913-930
101		Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. SoMeT 2009: 203-222
100		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid CoRR abs/0906.0049: (2009)
99		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About an ACME Printer Case Investigation with Forensic Lucid CoRR abs/0906.5181: (2009)
98		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: lambda_SAOP: A Security AOP Calculus. Comput. J. 52(7): 824-849 (2009)
97		Azzam Mourad, Andrei Soeanu, Marc-André Laverdière, Mourad Debbabi: New aspect-oriented constructs for security hardening concerns. Computers & Security 28(6): 341-358 (2009)
96		Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem: Towards an integrated e-mail forensic analysis framework. Digital Investigation 5(3-4): 124-137 (2009)
95		Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. Electr. Notes Theor. Comput. Sci. 254: 143-160 (2009)
94		Hassan Issa, Chadi Assi, Mourad Debbabi, Sujoy Ray: QoS-aware middleware for web services composition: a qualitative approach. Enterprise IS 3(4): 449-470 (2009)
93		Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi: Capturing Returned Computable Values in AspectJ for Security Hardening. Information Security Journal: A Global Perspective 18(2): 87-98 (2009)
92		Syrine Tlili, Mourad Debbabi: Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. J. Autom. Reasoning 42(2-4): 265-300 (2009)
91		Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Usability of Security Specification Approaches for UML Design: A Survey. Journal of Object Technology 8(6): 102-122 (2009)
90		Azzam Mourad, Marc-André Laverdière, Andrei Soeanu, Mourad Debbabi: Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité. Technique et Science Informatiques 28(5): 611-644 (2009)
	2008
89		Syrine Tlili, Mourad Debbabi: A novel flow-sensitive type and effect analysis for securing C code. AICCSA 2008: 661-668
88		Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi: A Hybrid Approach for Safe Memory Management in C. AMAST 2008: 377-391
87		Syrine Tlili, Mourad Debbabi: Type and Effect Annotations for Safe Memory Access in C. ARES 2008: 302-309
86		Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi: Towards Automation of Testing High-Level Security Properties. DBSec 2008: 268-282
85		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216
84		Serguei A. Mokhov, Mourad Debbabi: File Type Analysis Using Signal Processing Techniques and Machine Learning vs. File Unix Utility for Forensic Analysis. IMF 2008: 73-86
83		Benjamin C. M. Fung, Ke Wang, Lingyu Wang, Mourad Debbabi: A framework for privacy-preserving cluster analysis. ISI 2008: 46-51
82		Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi: Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST 2008: 133-142
81		Azzam Mourad, Dima Alhadidi, Mourad Debbabi: Cross-Language Weaving Approach Targeting Software Security Hardening. PST 2008: 87-98
80		Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi: Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). QSIC 2008: 97-102
79		Azzam Mourad, Dima Alhadidi, Mourad Debbabi: Towards Language-Independent Approach for Security Concerns Weaving. SECRYPT 2008: 460-465
78		Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET. WCNC 2008: 2816-2821
77		Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi: A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks. WiMob 2008: 417-422
76		Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs. WiMob 2008: 608-612
75		Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad Debbabi, Prabir Bhattacharya: Game theoretic models for detecting network intrusions. Computer Communications 31(10): 1934-1944 (2008)
74		Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: A game-theoretic intrusion detection model for mobile ad hoc networks. Computer Communications 31(4): 708-721 (2008)
73		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: An aspect-oriented approach for the systematic security hardening of code. Computers & Security 27(3-4): 101-114 (2008)
72		Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206(2-4): 158-184 (2008)
71		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: A High-level Aspect-oriented-based Framework for Software Security Hardening. Information Security Journal: A Global Perspective 17(2): 56-74 (2008)
70		Dima Alhadidi, Mourad Debbabi, Prabir Bhattacharya: New AspectJ Pointcuts for Integer Overflow and Underflow Detection. Information Security Journal: A Global Perspective 17(5&6): 278-287 (2008)
69		Seyed Mahmood Hejazi, Mourad Debbabi, Chamseddine Talhi: Automated Windows Memory File Extraction for Cyber Forensics Investigation. J. Digital Forensic Practice 2(3): 117-131 (2008)
	2007
68		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: Towards an Aspect Oriented Approach for the Security Hardening of Code. AINA Workshops (1) 2007: 595-600
67		Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bhattacharya: Testing Intrusion Detection Systems in MANET: A Comprehensive Study. CNSR 2007: 364-371
66		Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne: Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. ECBS 2007: 515-522
65		Zhenrong Yang, Aiman Hanna, Mourad Debbabi: Team Edit Automata for Testing Security Property. IAS 2007: 235-240
64		Mohamed Saleh, Mourad Debbabi: Modeling Security Protocols as Games. IAS 2007: 253-260
63		Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya: A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks. ICDCS Workshops 2007: 86
62		Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi: A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. QSIC 2007: 348-355
61		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: A High-Level Aspect-Oriented based Language for Software Security Hardening. SECRYPT 2007: 363-370
60		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: An AOP Extended Lambda-Calculus. SEFM 2007: 183-194
59		Mohamed Saleh, Mourad Debbabi: Verifying Security Properties of Cryptoprotocols: A Novel Approach. SEFM 2007: 349-360
58		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: New Primitives to AOP Weaving Capabilities for Security Hardening Concerns. WOSIS 2007: 123-130
57		Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: An Efficient and Truthful Leader IDS Election Mechanism for MANET. WiMob 2007: 78
56		Nadia Belblidia, Mourad Debbabi: A Dynamic Operational Semantics for JVML. Journal of Object Technology 6(3): 71-100 (2007)
55		Mourad Debbabi, M. Fourati: A Formal Type System for Java. Journal of Object Technology 6(8): 117-184 (2007)
54		Ali Benssam, Jean Berger, Abdeslem Boukhtouta, Mourad Debbabi, Sujoy Ray, Abderrazak Sahi: What middleware for network centric operations? Knowl.-Based Syst. 20(3): 255-265 (2007)
53		Mohamed Saleh, Ali Reza Arasteh, Assaad Sakha, Mourad Debbabi: Forensic analysis of logs: Modeling and verification. Knowl.-Based Syst. 20(7): 671-682 (2007)
	2006
52		Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Andrei Soeanu: On the verification and validation of uml structural and behavioral diagrams. ACST 2006: 304-309
51		Marc-André Laverdière, Azzam Mourad, Aiman Hanna, Mourad Debbabi: Security Design Patterns: Survey and Evaluation. CCECE 2006: 1605-1608
50		Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi: A Survey of Secure B2C Commerce for Multicast Services. CCECE 2006: 288-293
49		Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang: AOP Extension for Security Testing of Programs. CCECE 2006: 647-650
48		Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi: Secure E-Commerce Transactions for Multicast Services. CEC/EEE 2006: 18
47		Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne: A Unified Approach for Verification and Validation of Systems and Software Engineering Models. ECBS 2006: 409-418
46		Mona Mehrandish, Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya: A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario. GLOBECOM 2006
45		Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Payam Shahi, Andrei Soeanu: Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. IASTED Conf. on Software Engineering 2006: 282-287
44		Hassan Issa, Chadi Assi, Mourad Debbabi: QoS-Aware Middleware for Web Services Composition - A Qualitative Approach. ISCC 2006: 359-364
43		Nadia Belblidia, Mourad Debbabi: Towards a Formal Semantics for AspectJ Weaving. JMLC 2006: 155-171
42		Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement for limited-memory systems. PST 2006: 38
41		Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: Security hardening of open source software. PST 2006: 43
40		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi: Security crosscutting concerns and AspectJ. PST 2006: 45
39		Nadia Belblidia, Mourad Debbabi: Formalizing AspectJ Weaving for Static Pointcuts. SEFM 2006: 50-59
38		Anil Kumar Venkataiahgari, Mourad Debbabi, J. William Atwood: Secure E-commerce Protection Profile. Security and Management 2006: 279-285
37		Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha: A Formal Approach for the Forensic Analysis of Logs. SoMeT 2006: 159-176
36		Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Common Criteria Approach to J2ME CLDC Security Requirements. SoMeT 2006: 177-194
35		Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Evaluation of J2ME CLDC Embedded Java Platform. Journal of Object Technology 5(2): 125-154 (2006)
34		Mourad Debbabi, Abdelouahed Gherbi, Azzam Mourad, Hamdi Yahyaoui: A selective dynamic compiler for embedded Java virtual machines targeting ARM processors. Sci. Comput. Program. 59(1-2): 38-63 (2006)
	2005
33		Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Java for Mobile Devices: A Security Study. ACSAC 2005: 235-244
32		Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Analysis of Mobile Java. DEXA Workshops 2005: 231-235
31		Mourad Debbabi, Mohamed Saleh: Game Semantics Model for Security Protocols. ICFEM 2005: 125-140
30		Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Analysis of Wireless Java. PST 2005
29		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
28		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
27		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
26		Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua: a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. PPPJ 2004: 107-113
	2003
25		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
24		Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
23		Kamel Adi, Mourad Debbabi, Mohamed Mejri: A new logic for electronic commerce protocols. Theor. Comput. Sci. 291(3): 223-283 (2003)
	2002
22		Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151
	2001
21		Kamel Adi, Mourad Debbabi: Abstract interpretation for proving secrecy properties in security protocols. Electr. Notes Theor. Comput. Sci. 55(1): 25-50 (2001)
	2000
20		Kamel Adi, Mourad Debbabi, Mohamed Mejri: A New Logic for Electronic Commerce Protocols. AMAST 2000: 499-513
19		Mourad Debbabi, M. Fourati: Sur la sémantique statique de Java. LMO 2000: 167-182
18		Stephane Doyon, Mourad Debbabi: Verifying Object Initialization in the Java Bytecode Language. SAC (2) 2000: 821-830
17		Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi: Secure Self-Certified COTS. WETICE 2000: 183-188
16		Frédéric Painchaud, Mourad Debbabi: On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. WETICE 2000: 189-194
15		Stephane Doyon, Mourad Debbabi: On object initialization in the Java bytecode. Computer Communications 23(17): 1594-1605 (2000)
	1999
14		Yahya Y. Al-Salqan, Nahid Shahmehri, Wu Wen, Mourad Debbabi: Final Summary Report on Enterprise Security. WETICE 1999: 134
13		J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari: Static Analysis of Binary Code to Isolate Malicious Behaviors. WETICE 1999: 184-189
	1998
12		Mourad Debbabi, Y. Legaré, Mohamed Mejri: An Environment for the Specification and Analysis of Cryptoprotocols. ACSAC 1998: 321-332
11		Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari: A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. AMAST 1998: 214-230
	1997
10		Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM 1997: 50-59
9		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
8		Mourad Debbabi, Zahia Aïdoud, Ali Faour: On the Inference od Structured Recursive Effects with Subtyping. Journal of Functional and Logic Programming 1997(5): (1997)
7		Mourad Debbabi: A Model-Based Concurrent Specification Language Over CML: Semantic Foundations. Parallel Processing Letters 7(3): 329-356 (1997)
	1996
6		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
	1995
5		Mourad Debbabi: A Concurrent, Specification Language over CML. PDPTA 1995: 541-550
	1994
4		Dominique Bolignano, Mourad Debbabi: A Semantic Theory for Concurrent ML. TACS 1994: 766-785
	1993
3		Dominique Bolignano, Mourad Debbabi: A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. AMAST 1993: 153-162
2		Dominique Bolignano, Mourad Debbabi: A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. ICCI 1993: 244-250
	1992
1		Dominique Bolignano, Mourad Debbabi: Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. ISAAC 1992: 319-331

Coauthor Index

1	Kamel Adi	[20] [21] [23]
2	Zahia Aïdoud	[8]
3	Yahya Y. Al-Salqan	[14]
4	Luay Alawneh	[45] [47] [52] [125]
5	Dima Alhadidi	[40] [60] [70] [79] [81] [93] [98] [108] [109] [113] [121] [123]
6	Ali Reza Arasteh	[37] [53]
7	Chadi Assi (Chadi M. Assi)	[44] [46] [63] [75] [94]
8	J. William Atwood	[38] [48] [50]
9	Victor Heber Belarde	[122]
10	Nadia Belblidia	[39] [40] [43] [49] [56] [60] [98] [109] [113]
11	Djamel Benredjem	[96]
12	Abderrahim Benslimane	[77] [111]
13	Ali Benssam	[54]
14	Jamal Bentahar	[106]
15	Abdelkader Benzakour	[11]
16	Jean Berger	[54] [129]
17	J. Bergeron	[13]
18	Prabir Bhattacharya	[46] [57] [60] [63] [67] [70] [74] [75] [76] [78] [98] [109] [127]
19	Hamad Binsalleeh	[114] [120]
20	Dominique Bolignano	[1] [2] [3] [4]
21	Abdeslem Boukhtouta	[54] [129]
22	Amine Boukhtouta	[93] [108] [109] [113] [120] [122]
23	Robert Charpentier	[113]
24	Jules Desharnais	[22]
25	Stephane Doyon	[15] [18]
26	Nancy A. Durgin	[24]
27	M. M. Erhioui	[13] [25]
28	Ali Faour	[6] [8]
29	M. Fourati	[19] [22] [55]
30	Benjamin C. M. Fung	[83] [107] [114] [118] [126]
31	Jason Furlong	[80] [86]
32	Ahmed Ghanmi	[129]
33	Abdelouahed Gherbi	[26] [27] [28] [34]
34	E. Giasson	[17]
35	Rachid Hadjidj	[82] [96] [102] [113]
36	Aiman Hanna	[49] [51] [65] [80] [86] [103] [113]
37	Fawzi Hassaïne	[45] [47] [52] [66] [125]
38	Seyed Mahmood Hejazi	[69]
39	Farkhund Iqbal	[96] [114] [118]
40	Hassan Issa	[44] [94]
41	Yosr Jarraya	[45] [47] [66] [106] [125]
42	Hakim Kaitouni	[113]
43	Lamia Ketari	[25] [26] [27] [28]
44	Liaquat A. Khan	[118]
45	Béchir Ktari	[11] [13] [17]
46	Marc-André Laverdière	[41] [51] [58] [61] [68] [71] [73] [90] [97] [113]
47	Y. Legaré	[12]
48	Vitor Lima	[91] [95] [101] [116]
49	Hai Zhou Ling	[80] [86] [88] [103] [113]
50	Hakim Lounis	[96]
51	Mona Mehrandish	[46] [75]
52	Mohamed Mejri	[9] [10] [12] [20] [23] [24]
53	E. Menif	[22]
54	Frédéric Michaud	[17]
55	John C. Mitchell	[24]
56	Otmane Aït Mohamed	[117]
57	Noman Mohammed	[57] [74] [76] [77] [78] [107] [111] [126] [127]
58	Serguei A. Mokhov	[84] [85] [99] [100] [104] [105] [115] [119] [124] [128]
59	Djedjiga Mouheb	[91] [95] [101] [116] [121] [123]
60	Azzam Mourad	[29] [34] [41] [51] [58] [61] [68] [71] [73] [79] [81] [90] [97] [101] [113]
61	Mariam Nouh	[116] [121] [123]
62	Thomas Ormerod	[120]
63	Hadi Otrok	[46] [57] [63] [67] [74] [75] [76] [77] [78] [111] [127]
64	Samir Ouchani	[117]
65	Frédéric Painchaud	[16] [22]
66	Joey Paquet	[67] [85] [99] [100] [104] [105] [115] [119] [124] [128]
67	Makan Pourzandi	[91] [95] [101] [116] [117] [121] [123]
68	Abderrezak Rachedi	[77] [111]
69	Sujoy Ray	[54] [94] [129]
70	Kui Ren	[110]
71	Abderrazak Sahi	[54]
72	Assaad Sakha	[37] [53]
73	Mohamed Saleh	[30] [31] [32] [33] [35] [36] [53] [59] [64] [112]
74	Payam Shahi	[45]
75	Nahid Shahmehri	[14]
76	Prosenjit Sinha	[120] [122]
77	Andrei Soeanu	[45] [47] [52] [66] [90] [97] [125] [129]
78	Adam Szporer	[96]
79	Chamseddine Talhi	[26] [27] [28] [30] [32] [33] [35] [36] [42] [69] [72] [91] [95] [101] [116]
80	Nadia Tawbi	[6] [9] [10] [17] [22] [25] [27] [28] [29] [42] [62] [72]
81	Syrine Tlili	[82] [87] [88] [89] [92] [102] [113]
82	Emil Vassev	[124]
83	Anil Kumar Venkataiahgari	[38] [48] [50]
84	Ke Wang	[83]
85	Lingyu Wang	[57] [74] [76] [78] [83] [91] [95] [101] [110] [116] [120] [121] [123] [127]
86	Wu Wen	[14]
87	I. Yahmadi	[9] [10]
88	Hamdi Yahyaoui	[25] [26] [27] [28] [34] [62]
89	Xiaochun Yang	[82] [102] [103] [113]
90	Zhenrong Yang	[49] [65] [80] [88] [113]
91	Amr M. Youssef	[120]
92	Sami Zhioua	[25] [26] [27] [28] [30] [32] [33] [35] [36]
93	Bo Zhu	[110]
94	R. Ziarati	[123]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page