BibTeX records: Faisal Abouzaid

download as .bib file

@article{DBLP:journals/idt/AbouzaidMMQ13,
  author       = {Faisal Abouzaid and
                  Manuel Mazzara and
                  John Mullins and
                  Nafees Qamar},
  title        = {Towards a formal analysis of dynamic reconfiguration in {WS-BPEL}},
  journal      = {Intell. Decis. Technol.},
  volume       = {7},
  number       = {3},
  pages        = {213--224},
  year         = {2013},
  url          = {https://doi.org/10.3233/IDT-130164},
  doi          = {10.3233/IDT-130164},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/idt/AbouzaidMMQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kesamsta/AbouzaidMMD12,
  author       = {Faisal Abouzaid and
                  John Mullins and
                  Manuel Mazzara and
                  Nicola Dragoni},
  editor       = {Gordan Jezic and
                  Mario Kusek and
                  Ngoc Thanh Nguyen and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus},
  booktitle    = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
                  {KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
                  June 25-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7327},
  pages        = {534--543},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30947-2\_58},
  doi          = {10.1007/978-3-642-30947-2\_58},
  timestamp    = {Thu, 16 Mar 2023 20:00:31 +0100},
  biburl       = {https://dblp.org/rec/conf/kesamsta/AbouzaidMMD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MazzaraADB11,
  author       = {Manuel Mazzara and
                  Faisal Abouzaid and
                  Nicola Dragoni and
                  Anirban Bhattacharyya},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Design, Modelling and Analysis of a Workflow Reconfiguration},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {10--24},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/MazzaraADB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/MazzaraADB11,
  author       = {Manuel Mazzara and
                  Faisal Abouzaid and
                  Nicola Dragoni and
                  Anirban Bhattacharyya},
  editor       = {Marco Carbone and
                  Jean{-}Marc Petit},
  title        = {Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
                  - {A} Process Algebra Perspective},
  booktitle    = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
                  2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7176},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29834-9\_6},
  doi          = {10.1007/978-3-642-29834-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/MazzaraADB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AbouzaidM09,
  author       = {Faisal Abouzaid and
                  John Mullins},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Model-checking Web Services Orchestrations using BP-calculus},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.022},
  doi          = {10.1016/J.ENTCS.2009.10.022},
  timestamp    = {Tue, 06 Dec 2022 12:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbouzaidM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AbouzaidM10,
  author       = {Faisal Abouzaid and
                  John Mullins},
  editor       = {Carlos Canal and
                  Corina S. Pasareanu},
  title        = {Formal Specification of Correlation in {WS} Orchestrations Using BP-calculus},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Aspects of
                  Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {260},
  pages        = {3--24},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.029},
  doi          = {10.1016/J.ENTCS.2009.12.029},
  timestamp    = {Thu, 09 Mar 2023 15:34:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbouzaidM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serp/LesageCAPR07,
  author       = {Martin Lesage and
                  Omar Cherkaoui and
                  Faysal Abouzaid and
                  Martin Poirier and
                  Gilles Ra{\^{\i}}che},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {A Blender Plugin for Collaborative Work on the Articiel Platform},
  booktitle    = {Proceedings of the 2007 International Conference on Software Engineering
                  Research {\&} Practice, {SERP} 2007, Volume II, June 25-28, 2007,
                  Las Vegas Nevada, {USA}},
  pages        = {333--339},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 11:33:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/LesageCAPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/LesageCAPRR07,
  author       = {Martin Lesage and
                  Omar Cherkaoui and
                  Faysal Abouzaid and
                  Martin Poirier and
                  Gilles Ra{\^{\i}}che and
                  Martin Riopel},
  title        = {Blender plugin implementations for 3D collaborative work},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Montr{\'{e}}al, Canada, 7-10 October 2007},
  pages        = {2557--2569},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSMC.2007.4413770},
  doi          = {10.1109/ICSMC.2007.4413770},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/LesageCAPRR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AbouzaidM08,
  author       = {Faisal Abouzaid and
                  John Mullins},
  editor       = {Demis Ballis and
                  Santiago Escobar and
                  Massimo Marchiori},
  title        = {A Calculus for Generation, Verification and Refinement of {BPEL} Specifications},
  booktitle    = {Proceedings of the 3rd International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
                  14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {3},
  pages        = {43--65},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.092},
  doi          = {10.1016/J.ENTCS.2008.04.092},
  timestamp    = {Mon, 13 Feb 2023 11:22:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbouzaidM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csac/Abouzaid06,
  author       = {Faisal Abouzaid},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations},
  booktitle    = {Computer Supported Activity Coordination, Proceedings of the 3rd International
                  Workshop on Computer Supported Activity Coordination, {CSAC} 2006,
                  In conjunction with {ICEIS} 2006, Paphos, Cyprus, May 2006},
  pages        = {23--34},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Mon, 04 Sep 2006 15:03:19 +0200},
  biburl       = {https://dblp.org/rec/conf/csac/Abouzaid06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ispe/Abouzaid06,
  author       = {Faisal Abouzaid},
  editor       = {Parisa Ghodous and
                  Rose Dieng{-}Kuntz and
                  Geilson Loureiro},
  title        = {A Mapping from Pi-Calculus into {BPEL}},
  booktitle    = {Leading the Web in Concurrent Engineering. Next Generation Concurrent
                  Engineering, Proceedings of the 13th {ISPE} International Conference
                  on Concurrent Engineering {(ISPE} {CE} 2006), September 18-22, 2006,
                  Antibes, France},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {143},
  pages        = {235--242},
  publisher    = {{IOS} Press},
  year         = {2006},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1994},
  timestamp    = {Thu, 21 Sep 2023 11:30:03 +0200},
  biburl       = {https://dblp.org/rec/conf/ispe/Abouzaid06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csac/BoutemedjetACG04,
  author       = {Sabri Boutemedjet and
                  Faysal Abouzaid and
                  Omar Cherkaoui and
                  Gilles Gauthier},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {{ARTICIEL:} {A} supporting platform for collaborative work - Application
                  to the creation of 3D-persons},
  booktitle    = {Computer Supported Activity Coordination, Proceedings of the 1st International
                  Workshop on Computer Supported Activity Coordination, {CSAC} 2004,
                  In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004},
  pages        = {239--245},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Thu, 24 Jun 2004 15:56:01 +0200},
  biburl       = {https://dblp.org/rec/conf/csac/BoutemedjetACG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.