Arnaud Dury

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Hierarchical Classification

Optimization Procedure

Transitive Closure

Top Venues

Publications

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