Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. - Franco Carbognani; Christopher K. Lennard; C. Norris Ip; Allan Cochrane; Paul Bates (DATE, 2003)

Human-mobile agents partnerships in complex environment. - Oleksandr Sokolov; Sebastian Meszynski; Gernot Groemer; Birgit Sattler; Franco Carbognani; Jean Marc Salotti; Mateusz Jozefowicz (CIHLI, 2014)