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.
· 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.
·
N. Hameurlain
Role-Components for
the Coordination and Interoperability of Software Agents. Habilitation
à Diriger des Recherches (HDR), university of
Pau, January 2011.
·
C. Ballagny, N. Hameurlain, F.
Barbier
A Model-based Design
Environment for Executing Self-* Software Components
The Second Workshop on Autonomic and SELF-adaptive systems, WASELF'09, pages 32-41, 2009.
· 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.
·
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.
· C. Ballagny, N. Hameurlain, F. Barbier
Dynamic Adaptive
Software Components: the MOCAS Approach
Proceedings of the
first IEEE International Workshop on Autonomous and Autonomic Software-Based
Systems, ASBS’2008, ACM Press, pp 517-524, 2008.
·
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.
· C. Ballagny, N. Hameurlain, F. Barbier
Endowing
PauWare Components with Autonomic Capabilities.
Proceedings
of ECOOP'07 Workshop on Model-Driven Software Adaptation, M-ADAPT’07,
pp 57-62, 2007.
·
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
An Optimistic
Approach for the Specification of more Flexible Roles Behavioural Compatibility
Relations in MAS.
Actes des Quatrièmes Journées Francophones Modèles
Formels de l'Interaction, MFI’07, Annales du Lamsade
N° 8, Mai 2007, pp 317-324, 2007.
· 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
Chapter: An
Argumentation-Based Approach for Dialogue Move Selection.
Argumentation
in Multi-Agent Systems. Revised Selected and Invited papers from the third
International Workshop on Argumentation in Multi-Agent Systems, ArgMAS 2006, Lecture Notes in Computer
Science, LNCS, Springer-Verlag, Vol 4766, pp 128-141, 2007. An
Extended Abstract is also published at the Fourth European Workshop on
Multi-Agent Systems, EUMAS 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.
· N. Hameurlain, C. Sibertin-Blanc
Chapter 11: 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
Spécification Formelle des Composants d'Interaction à
base de Rôles : Compatibilité et Substituabilité.
Actes des Troisièmes Journées Francophones Modèles
Formels de l'Interaction, MFI’05, pp 133-142, Cépaduès
(eds), 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, K.
Belhadj
Formal
Specification of Role Components in Open Multi-agent Systems.
3rd International Workshop on Software Engineering
for Large-Scale Multi-Agent Systems, SELMAS'04, ICSE'04 Workshop, pp
137-144, IEE, 2004.
·
N. Hameurlain
Un
Modèle de Spécification et d'Implémentation de Composants-rôles pour les
Systèmes Multi-Agents.
Journées
Multi-Agents et Composants, JMAC'04, Ecole des Mines de Paris, novembre
2004.
· 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.
· N. Hameurlain
A Formal Framework for
Behavioural Reuse of Agent Components: Application to Interaction Protocols.
10th European
Workshop on Multi-Agent Systems. Modelling Autonomous Agents
in a Multi-Agents World, MAAMAW'01, 2001.
·
N. Hameurlain
Composition
et Substitution d'Agents: Sémantique et Préservation de Propriétés.
IX
eme Journées Francophones pour l'Intelligence
Artificielle Distribuée et les Systèmes Multi-Agents, JFIAD&SMA 2001.
Fondements des systèmes multi-agents, modèles, spécifications formelles et
vérification, Hermès Science, 2001, pp 135-147.
· N. Hameurlain
Behavioural Inheritance
in Client/Server Petri Nets.
In 1999 IEEE
International Conference on Systems, Man and Cybernetics (IEEE/SMC'99),
Vol.1 pp 872-877, IEEE/SMC Society ed. 1999.
· N. Hameurlain, C. Sibertin-Blanc
Behavioural Types
in CoOpertaive Objects.
Second International Workshop
on Semantics Of Objects As Processes, SOAP'99.
ECOOP'99 Workshop, BRICS Notes Series NS-99-2, pp 29-38, 1999, also in
ECOOP'99 Workshop Reader, Lecture Notes in Computer Science, Springer-Verlag, Vol 1743, 1999.
·
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. Hanachi, C. Sibertin-Blanc
A Petri Nets Approach to
Generate and Execute Missioned
In Application of Petri Nets
to Intelligent System Development , APNISD.
Within The 20th International Conference on Application and Theory of Petri
Nets (ICATPN'99 Workshop), 21-25 June 1999,
· N. Hameurlain
Behavioural
Inheritance in CoOperative Objects.
In Third
International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE’98,
1998 (Poster Session).
· N. Hameurlain, C. Hanachi
Cooperation Between
Manufacturing Sites Supported by a Net of Information Agents.
2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems
Applications, CESA'98, 1-4 April 1998.
·
N. Hameurlain
L'Héritage
Comportemental dans les Réseaux de Petri.
Ph. D Thesis,
· 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
Behavioral
Inheritance in Petri Nets.
Invited Presentation; Formal
Methods Colloquium. IIST/UNU,
· N. Hameurlain, C. Sibertin-Blanc
On the Reduction of
the Reachability Graph for high Level Nets.
In the Twelfth
International Symposium on Computer and Information System, ISCIS XII,
27-29 October 1997.
·
N. Hameurlain
Contrôle
de l'exécution d'objects coopératifs dans
l'environnement SYROCO.
Journées
de Recherches sur le Contrôle Réparti dans les Applications Coopératives, CRAC'96,
pp 65-70, 30-31 Mai 1996, Paris, France.
·
C. Sibertin-Blanc, N. Hameurlain,
P. Touzeau
SYROCO: A C++ implementation
of CoOperative Objects.
In the First Workshop on
Object-Oriented Programming and Models of Concurrency, OOPMC, G. Agha & F. De Cindio eds. Within the 16th International
Conference on Application and Theory of Petri Nets, (ICATPN'95 Workshop),
26-30 June 1995, Torino, Italy.
·
N. Hameurlain, C. Sibertin-Blanc
Minimalité
des graphes des marquages symboliques.
FAC'95, Formalisation des Activités Concurrentes, 4-5 Avril
1995, Toulouse, France.