Arnaud Dury

According to our database, Arnaud Dury authored at least 14 papers between 1998 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Building an interactive test development environment for cyclic executive systems.

Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

Reachability in hierarchical machines.

Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

A Method and Tool for Test Optimization for Automotive Controllers.

Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2009

Web-FIM: Automated Framework for the Inference of Business Software Models.

Hesham Hallal, Arnaud Dury, Alexandre Petrenko

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

Inferring Behavioural Models from Traces of Business Applications.

Arnaud Dury, Hesham Hallal, Alexandre Petrenko

Proceedings of the IEEE International Conference on Web Services, 2009

2007

Formal Verification of Business Workflows and Role Based Access Control Systems.

Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz

Proceedings of the First International Conference on Emerging Security Information, 2007

2005

Auto-adaptive distributed hash tables.

Arnaud Dury

Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005

2004

Peer-to-Peer Computing in Distributed Hash Table Models Using a Consistent Hashing Extension for Access-Intensive Keys.

Arnaud Dury

Proceedings of the Agents and Peer-to-Peer Computing, Third International Workshop, 2004

Balancing Access To Highly Accessed Keys In Peer-to-Peer Systems.

Arnaud Dury

Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

2002

Our guest agents are welcome to your agent platforms.

Laurent Magnin, Viet Thang Pham, Arnaud Dury, Nicolas Besson, Arnaud Thiefaine

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001

Guest, système d'agents récursifs, mobiles et multiplates-formes (démonstration).

Viet Thang Pham, Laurent Magnin, Arnaud Dury

Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

2000

Modélisation des interactions dans les systèmes multi-agents.

Arnaud Dury

PhD thesis, 2000

1999

Conception de systèmes multi-agents orientée interactions : un modèle de description et d'opérationnalisation (poster).

Arnaud Dury

Proceedings of the Ingénierie des systèmes Multi-Agents - JFIADSMA 99, 1999

1998

A Reactive Approach for Solving Constraint Satisfaction Problems.

Arnaud Dury, Florence Le Ber, Vincent Chevrier

Proceedings of the Intelligent Agents V, 1998