Serge Haddad

Publications

[MLH15] A. Methni, M. Lemerre, S. Haddad, K. Barkaoui, B. Ben Hedia. "Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs", The Tenth International Conference on Software Engineering Advances - ICSEA 2015 : , November 2015, pp.56-61, Barcelone, Spain,
[MBL15a] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. " State Space Reduction Strategies for Model Checking Concurrent C Programs", 9th Workshop on Verification and Evaluation of Computer and Communication Systems(VECoS'15), September 2015, Vol. 1431, pp.65-76, Series CEUR Workshop Proceedings, Bucharest, Romania,
[MBL15] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. "Specifying and Verifying Concurrent C Programs with TLA+", Formal Techniques for Safety-Critical Systems, April 2015, Vol. 476, pp.206-222, Series Communications in Computer and Information Science, Luxembourg, (DOI: 10.1007/978-3-319-17581-2_14)

[MLB14] A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. "An Approach for Verifying Concurrent C Programs", 8th Junior Researcher Workshop on Real-Time Computing, March 2014, Vol. Proceeedings, pp.33-36,

[MBB13] A. Methni, K. Barkaoui, B. Ben Hedia, S. Haddad, M. Lemerre. "Traduction automatique du code C vers TLA+", Ecole temps rÃ©el, August 2013, pp.pp.12-16, France,

[HKP09a] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", ACC'09, St Louis, US, January 2009, pp.5018-5025, Series Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.,

[HKP09] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", Date de dépot: 2009/01/01, (Tech. Rep.: CEDRIC-09-1780)

[HP06] S. Haddad, J. Pradat-Peyre. "New Efficient Petri Nets Reductions for Parallel Programs Verification", Parallel Processing Letters, vol. 16(1), pp. 101-116, 2006

[EHP05] S. Evangelista, S. Haddad, J. Pradat-Peyre. "Syntactical Colored Petri Nets Reductions", January 2005, Vol. 3707(3707), pp.202-216, Series LNCS 3707, D.A. Peled, Y.-K. T,

[EHP04] S. Evangelista, S. Haddad, J. Pradat-Peyre. "New Coloured Reductions for Software Validation", Workshop on Discrete Event Systems, Reims, January 2004, pp.355-360,

[HP04] S. Haddad, J. Pradat-Peyre. "Efficient Reductions for LTL Formulae Verification", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-634)

[CHP93] J. Couvreur, S. Haddad, J. Peyre. "Generative families of positive invariants in Coloured nets sub-classes", Advanced in Petri Nets, vol. 674, 1993

[BDH93] K. Barkaoui, C. Dutheillet, S. Haddad. "An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets", Application and Theory of Petri Nets, January 1993, pp.69-88, Series LNCS 691,

[CHP92] J. Couvreur, S. Haddad, J. Peyre. "RÃ©solution paramÃ©trÃ©e de familles de systÃ¨mes linÃ©aires", RAIRO, vol. 26(2), 1992

[CHP91] J. Couvreur, S. Haddad, J. Peyre. "Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets", 12th Int. Conf. on Application and Theory of Petri Nets, January 1991,