MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Serge Haddad" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Synthesis of Agents for Web Services Interaction
by Tarak Melliti, Serge Haddad — 2003 — International Confrence Electronic Commerce, workshop
… components by an in- Serge Haddad LAMSADE, UMR CNRS 7024, Place du Maréchal de Lattre de Tassigny, 75775…
Cited by 1 (0 self) – Add To MetaCart

Modelling and Analyzing Systems with Recursive Petri Nets
by Serge Haddad, Denis Poitrenaud — 2000 — In Proc. of the Workshop on Discrete Event Systems - Analysis and Control
…MODELLING AND ANALYZING SYSTEMS WITH RECURSIVE PETRI NETS Serge Haddad LAMSADE - UPRESA 7024…
Cited by 1 (0 self) – Add To MetaCart

New coloured reductions for software validation
by Sami Evangelista, Serge Haddad — 2004 — In Workshop on Discrete Event Systems
…NEW COLOURED REDUCTIONS FOR SOFTWARE VALIDATION Sami Evangelista ∗ Serge Haddad ∗∗ Jean…
Cited by 1 (1 self) – Add To MetaCart

Transactional Reduction of Component Compositions
by Serge Haddad, Pascal Poizat
…Transactional Reduction of Component Compositions Serge Haddad 1 and Pascal Poizat 2,3 1 LAMSADE…
Cited by 1 (1 self) – Add To MetaCart

Parallélisme et Généricité
by Serge Haddad, Universit Pierre, Marie Curie — 1993
…Parall(lisme et G(nricit SERGE HADDAD Universit Pierre et Marie Curie Laboratoire C.N.R.S. IBP…
Add To MetaCart

A Protocol Specification Language with a High-level Petri Net Semantics
by Belhassen Zouari, Serge Haddad, Mohamed Taghelit — 1993
… Haddad a and Mohamed Taghelit b Universit6 Pierre et Marie Curie, MASI UA-CNRS 4, Place Jussieu, 75252…
Add To MetaCart

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
by Serge Haddad Lamsade
…Checking Linear Temporal Formulas on Sequential Recursive Petri Nets Serge Haddad LAMSADE - UPRESA…
Add To MetaCart

Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems
by Soheib Baarir, Serge Haddad, Jean-michel Ilié — 2004 — in Proc. of the 7th Workshop on Discrete Event Systems (WODES’04
… CHECKING PROBLEMS Soheib Baarir ∗∗,2 Serge Haddad ∗,1 Jean-Michel Ilié ∗∗,2 ∗ LAMSADE, UMR CNRS 7024…
Cited by 3 (2 self) – Add To MetaCart

Bounds for Rewards of Systems With Clients/servers Interaction
by Susanna Donatelli, Serge Haddad, Patrice Moreaux, Mbaye Sene — 1999
… Haddad 2 , Patrice Moreaux 2;3 , and Mbaye Sene 2 1 Universit di Torino, Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

Timed unfoldings for networks of timed automata
by Patricia Bouyer, Serge Haddad, Pierre-alain Reynier — 2006 — Research Rep. LSV-06-09, Lab. Spécification et Vérification, ENS de
…Timed Unfoldings for Networks of Timed Automata Patricia Bouyer 1 , Serge Haddad 2 , Pierre…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB