BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Haddad:Serge

Contributed to:

FoSSaCS 20142014
LICS 20122012
TACAS 20122012
CASE 20112011
FOSSACS 20112011
FOSSACS 20092009
ICEIS EIS 20072007
ICALP (2) 20062006
Post-ICEIS 20062006
ICEIS SAIC 20062006
ICEIS v4 20042004
TACAS 19981998

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.