2009 |
16 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel,
Karl Klose:
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS 2009: 16-31 |
2008 |
15 | EE | Slim Kallel,
Anis Charfi,
Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants.
Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008) |
2007 |
14 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel:
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
COORDINATION 2007: 211-230 |
13 | EE | Anis Charfi,
Benjamin Schmeling,
Mira Mezini:
Transactional BPEL Processes with AO4BPEL Aspects.
ECOWS 2007: 149-158 |
12 | EE | Anis Charfi,
Rania Khalaf,
Nirmal Mukhi:
QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL.
ICSOC 2007: 582-593 |
11 | EE | Anis Charfi,
Rainer Berbner,
Mira Mezini,
Ralf Steinmetz:
Management Requirements of Web Service Compositions.
WEWST 2007 |
10 | EE | Anis Charfi,
Mira Mezini:
AO4BPEL: An Aspect-oriented Extension to BPEL.
World Wide Web 2007: 309-344 |
2006 |
9 | EE | Anis Charfi,
Benjamin Schmeling,
Andreas Heizenreder,
Mira Mezini:
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
ECOWS 2006: 23-34 |
8 | EE | Anis Charfi,
Benjamin Schmeling,
Mira Mezini:
Reliable Messaging for BPEL Processes.
ICWS 2006: 293-302 |
7 | EE | Anis Charfi,
Mira Mezini:
Aspect-Oriented Workflow Languages.
OTM Conferences (1) 2006: 183-200 |
2005 |
6 | EE | Anis Charfi,
Mira Mezini:
Using Aspects for Security Engineering of Web Service Compositions.
ICWS 2005: 59-66 |
5 | EE | Anis Charfi,
Mira Mezini:
Middleware services for web service compositions.
WWW (Special interest tracks and posters) 2005: 1132-1133 |
2004 |
4 | EE | Anis Charfi,
Mira Mezini:
Aspect-Oriented Web Service Composition with AO4BPEL.
ECOWS 2004: 168-182 |
3 | EE | Anis Charfi,
Mira Mezini:
Hybrid web service composition: business processes meet business rules.
ICSOC 2004: 30-38 |
2 | EE | Mireille Blay-Fornarino,
Anis Charfi,
David Emsellem,
Anne-Marie Pinna-Dery,
Michel Riveill:
Software interactions.
Journal of Object Technology 3(10): 161-180 (2004) |
1 | EE | Anis Charfi,
David Emsellem,
Michel Riveill:
Dynamic Component Composition in .NET.
Journal of Object Technology 3(2): 37-46 (2004) |