Travelled to:1 × Croatia
1 × Estonia
1 × France
1 × Germany
1 × United Kingdom
2 × Cyprus
2 × Italy
3 × Portugal
Collaborated with:P.Moreaux S.Rampacek B.Bérard S.Schmitz P.Schnoebelen B.Barbot C.Picaronny P.Bouyer P.Reynier K.Ajami J.Ilié R.Bonnet A.Finkel F.Rosa-Velardo T.Melliti N.Bertrand E.Fabre S.Haar L.Hélouët P.Ballarini H.Djafri M.Duflot N.Pekergin M.B.Hmida C.Boutrous-Saab V.Monfort R.F.Tomaz
Talks about:time (6) net (5) model (4) system (3) servic (3) petri (3) synthesi (2) automata (2) semant (2) client (2)
Person: Serge Haddad
DBLP: Haddad:Serge
Contributed to:
2014
2012
2012
201120112009
2007
20062006200620041998Wrote 12 papers:
- FoSSaCS-2014-BertrandFHHH #probability
- Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.
- LICS-2012-HaddadSS #complexity #petri net #recursion
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
- TACAS-2012-BarbotHP #model checking #statistics
- Coupling and Importance Sampling for Statistical Model Checking (BB, SH, CP), pp. 331–346.
- CASE-2011-BallariniDDHP #composition #flexibility #modelling #petri net #verification
- Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.
- FoSSaCS-2011-BonnetFHR
- Ordinal Theory for Expressiveness of Well Structured Transition Systems (RB, AF, SH, FRV), pp. 153–167.
- FoSSaCS-2009-BerardH #automaton
- Interrupt Timed Automata (BB, SH), pp. 197–211.
- ICEIS-EIS-2007-HmidaBHMF #adaptation #towards
- Towards the Dynamic Adaptability of SOA (MBH, CBS, SH, VM, RFT), pp. 474–479.
- ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence
- Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
- ICEIS-J-2006-HaddadMR06a #semantics #synthesis
- A Formal Semantics and a Client Synthesis for a BPEL Service (SH, PM, SR), pp. 388–401.
- ICEIS-SAIC-2006-HaddadMR #semantics #synthesis #web #web service
- Client Synthesis for Web Services by Way of a Timed Semantics (SH, PM, SR), pp. 19–26.
- ICEIS-v4-2004-HaddadMMR #modelling #web #web service
- Modelling Web Services Interoperability (SH, TM, PM, SR), pp. 287–295.
- TACAS-1998-AjamiHI #linear #logic #model checking #symmetry
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.