| 2009 |
|---|
| 17 | EE | Nabila Salmi,
Patrice Moreaux,
Malika Ioualalen:
Performance evaluation of Fractal component-based systems.
Annales des Télécommunications 64(1-2): 81-100 (2009) |
| 2008 |
|---|
| 16 | EE | Olivier Passalacqua,
Eric Benoit,
Marc-Philippe Huget,
Patrice Moreaux:
Integrating OPC Data into GSN Infrastructures
CoRR abs/0808.0055: (2008) |
| 2007 |
|---|
| 15 | | Nabila Salmi,
Patrice Moreaux,
Malika Ioualalen:
Formal models of Fractal Component Based Systems for performance analysis.
ISoLA 2007: 49-60 |
| 14 | EE | Serge Haddad,
Patrice Moreaux:
Sub-stochastic matrix analysis for bounds computation - Theoretical results.
European Journal of Operational Research 176(2): 999-1015 (2007) |
| 2006 |
|---|
| 13 | EE | Serge Haddad,
Lynda Mokdad,
Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.
ICATPN 2006: 221-240 |
| 12 | | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
Client Synthesis for Web Services by Way of a Timed Semantics.
ICEIS (4) 2006: 19-26 |
| 11 | EE | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
A Formal Semantics and a Client Synthesis for a BPEL Service.
ICEIS (Selected Papers) 2006: 388-401 |
| 2005 |
|---|
| 10 | EE | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Product-form and stochastic Petri nets: a structural approach.
Perform. Eval. 59: 313-336 (2005) |
| 9 | | C. Delamare,
Patrice Moreaux:
Analyse de performance des systèmes décomposables. Exemples et mise en oeuvre.
Technique et Science Informatiques 24(2-3): 249-277 (2005) |
| 2004 |
|---|
| 8 | | Serge Haddad,
Tarek Melliti,
Patrice Moreaux,
Sylvain Rampacek:
Modelling Web Services Interoperability.
ICEIS (4) 2004: 287-295 |
| 7 | EE | Serge Haddad,
Patrice Moreaux:
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays.
MASCOTS 2004: 23-30 |
| 6 | EE | Jean-Michel Ilié,
Souheib Baarir,
Marco Beccuti,
C. Delamare,
Susanna Donatelli,
Claude Dutheillet,
Giuliana Franceschinis,
Rossano Gaeta,
Patrice Moreaux:
Extended SWN Solvers in GreatSPN.
QEST 2004: 324-325 |
| 2002 |
|---|
| 5 | | C. Delamare,
Yvon Gardan,
Patrice Moreaux:
Verification of CORBA systems with composition of Well Formed Nets.
OPODIS 2002: 149-158 |
| 2001 |
|---|
| 4 | EE | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
ICATPN 2001: 164-183 |
| 1998 |
|---|
| 3 | EE | Susanna Donatelli,
Serge Haddad,
Patrice Moreaux:
Structured Characterization of the Markov Chain of Phase-Type SPN.
Computer Performance Evaluation (Tools) 1998: 243-254 |
| 1997 |
|---|
| 2 | | Serge Haddad,
Patrice Moreaux,
Giovanni Chiola:
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.
ICATPN 1997: 175-194 |
| 1996 |
|---|
| 1 | | Serge Haddad,
Patrice Moreaux:
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.
Application and Theory of Petri Nets 1996: 192-211 |
