Arnaud Dury

14 papers A 1Misc 2Unranked 10
YearRankTypeTitle / Venue / Authors
2015 — conf
Building an interactive test development environment for cyclic executive systems.
SIES
Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
2014 Misc conf
Reachability in hierarchical machines.
IRI
Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
2013 — conf
A Method and Tool for Test Optimization for Automotive Controllers.
ICST Workshops
Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
2009 A conf
Inferring Behavioural Models from Traces of Business Applications.
ICWS
Arnaud Dury, Hesham Hallal, Alexandre Petrenko
2009 — conf
Web-FIM: Automated Framework for the Inference of Business Software Models.
SERVICES I
Hesham Hallal, Arnaud Dury, Alexandre Petrenko
2007 — conf
Formal Verification of Business Workflows and Role Based Access Control Systems.
SECURWARE
Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz
2005 — conf
Auto-adaptive distributed hash tables.
GRID
Arnaud Dury
2004 — conf
Balancing Access To Highly Accessed Keys In Peer-to-Peer Systems.
IEEE SCC
Arnaud Dury
2004 — conf
Peer-to-Peer Computing in Distributed Hash Table Models Using a Consistent Hashing Extension for Access-Intensive Keys.
AP2PC
Arnaud Dury
2002 Misc conf
Our guest agents are welcome to your agent platforms.
SAC
Laurent Magnin, Viet Thang Pham, Arnaud Dury, Nicolas Besson, Arnaud Thiefaine
2001 — conf
Guest, système d'agents récursifs, mobiles et multiplates-formes (démonstration).
JFIADSMA
Viet Thang Pham, Laurent Magnin, Arnaud Dury
2000 — —
Modélisation des interactions dans les systèmes multi-agents.
Arnaud Dury
1999 — conf
Conception de systèmes multi-agents orientée interactions : un modèle de description et d'opérationnalisation (poster).
JFIADSMA
Arnaud Dury
1998 — conf
A Reactive Approach for Solving Constraint Satisfaction Problems.
ATAL
Arnaud Dury, Florence Le Ber, Vincent Chevrier