|
|
List of
publications from the DBLP Bibliography Server
·
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.
·
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.
· 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.