selected publications

• academic article

  • Behavior evaluation for trust management based on formal distributed network monitoring.  World Wide Web.  19:21-39. 2015

• conference paper

  • A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing.  . 702-707. 2014