http://www.univ-pau.fr/~hameur/logoupppa

 

 

N. Hameurlain – Selected Publications

List of publications from the DBLP Bibliography Server

 


Journal articles

·   N. Hameurlain

A Compositional Framework to the Specification of Service Protocols Controllability and Substitutability.

Accepted in International Journal of Computer Mathematics (impact Factor = 0.542, Thomson Reuter 2013) - Special issue on Formal Methods in Service and Cloud Computing, Taylor & Francis, 2013. ID: 827177 DOI:10.1080/00207160.2013.827177.

 

·   C. Sibertin-Blanc, N. Hameurlain, O. Tahir

Ambiguity and Structural Property of Basic Sequence Diagrams

In Innovations in Systems and Software Engineering Journal, ISSE, Volume 4, Number 3, Springer, pp 275-284, 2008.

 


Conference, symposium and workshop papers

·   N. Hameurlain

Controllability Preservation and Behavioural Refinement for Service Protocols

The 7th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC’12, IEEE Computer Society Press, pp 203-210, 2012.

 

·   C. Ballagny, N. Hameurlain, F. Barbier

MOCAS: a state-Based components Model for Self-Adaptation
The third IEEE International Conference on Self-Adaptive and Self-Organizing systems, SASO 2009, IEEE Computer Society Press, pp 206-215, 2009.

 

·   N. Hameurlain

         Compatibility and Conformance of Role-based Interaction Components in MAS

3rd International Symposium on Agents and Multi-agent Systems – Technologies and Applications, AMSTA'09. Lecture Notes in Computer Science, LNCS/LNAI, Springer-Verlag, Vol 5559, pp 579-588, 2009.

 

·   N. Hameurlain

Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.

The 5th  IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, IEEE Computer Society Press, pp 391-400, 2007

 

·   N. Hameurlain

Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.

The 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Lecture Notes in Computer Science, LNAI/LNCS, Springer-Verlag, Vol 4696,  pp 153-162, 2007.

 

·   N. Hameurlain

   Chapter: Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.

Engineering Societies in the Agents World. Revised Selected and Invited papers from the 8th Annual International Workshop on Engineering Societies in the Agents World, ESAW'07. Lecture Notes in Computer Science, LNCS/LNAI, Springer-Verlag, Vol 4994 , pp 193-207, 2008.

 

·   N. Hameurlain

A Formal Framework for Component Protocols Behavioural Compatibility.

The 13th Asia Pacific Software Engineering Conference, APSEC 2006, IEEE Computer Society, pp 87-94, 2006.

 

·   L. Amgoud, N. Hameurlain

An Argumentation-based Framework for Designing Dialogue Strategies.

The 17th European Conference on Artificial Intelligence, ECAI 2006, IOS Press, pp 713-714, 2006.

 

·   L.Amgoud, N. Hameurlain

A Formal Model for Designing Dialogue Strategies.

The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems, AAMAS 2006, ACM Press, pp 414-416, 2006.

 

·   N. Hameurlain

On Compatibility and Behavioural Substitutability of Component Protocols.

The 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, IEEE Computer Society Press, pp394-403, 2005.

 

·   N. Hameurlain

Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi agent Systems.

4th International/Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Lecture Notes in Computer Science, Springer-Verlag, LNAI/LNCS Vol.  3690, pp 153-162, 2005.

 

·   C. Sibertin-Blanc,  N. Hameurlain

Chapter: Participation Components for Holding Roles in MAS Protocols.

Engineering Societies in the Agents World. Revised Selected and Invited papers from the fifth International Workshop on Engineering Societies in the Agents World, ESAW'04. Lecture Notes in Computer Science, LNCS, Springer-Verlag, Vol 3451, pp 60-73, 2005.

 

·   N. Hameurlain, C. Sibertin-Blanc

Chapter: Specification of Role-based Interactions Components in Multi-Agent Systems.

Software Engineering for Multi-Agents System III: Research Issues and Practical Applications, Lecture Notes in Computer Science, LNAI/LNCS, pp 180-197, Vol 3390, Springer-Verlag, 2005.

 

·   N. Hameurlain

Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.

3rd International/Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003. Lecture Notes in Computer Science, Springer-Verlag, LNAI/LNCS Vol. 2691, pp 423-434, 2003.

 

·   N. Hameurlain

Behavioural Subtyping and Property Preservation for Active Objects.

Fifth IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002, Kluwer Academic Publishers, pp 95-110. 2002.

 

·   N. Hameurlain

Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.

2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001. Lecture Notes in Computer Science, Springer-Verlag, LNAI/LNCS Vol. 2297, pp 131-140, 2002.

 

·   C. Hanachi, N. Hameurlain, C. Sibertin-Blanc

Mobile Agents Behaviours : from Specification to Implementation.

Third international Workshop on Cooperative Information Agents, CIA'99, Lecture Notes in Computer Science, LNCS/LNAI Vol. 1652, Springer-Verlag, pp 196-207, 1999.

 

·   N. Hameurlain, C. Sibertin-Blanc

Finite Symbolic Reachability Graphs for High Level Petri Nets.

4 th Asia-Pacific Software Engineering Conference, APSEC 1997, IEEE CS Press, pp 150-159, 1999.

 


HdR and PhD thesis

·   N. Hameurlain

Role-Components for the Coordination and Interoperability of Software Agents. Habilitation à Diriger des Recherches (HDR), university of Pau, January 2011.

 

·   N. Hameurlain

L'Héritage Comportemental dans les Réseaux de Petri.

Ph. D Thesis, University of Toulouse 1, Toulouse, France, March 1998.

 

 

 BACK