| 2018 | ECSA | MOTION: an application of ASMETA to mobile ad-hoc NETworks domain. | Gianluca Gennaro Bevilacqua, Alessandro Bianchi |
| 2017 | SEFM | Intercepting Blackhole Attacks in MANETs: An ASM-based Model. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2016 | ICSoft | Towards an ASM-based Characterization of the Deadlock-freedom Property. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2015 | CaiSE | Applying Predicate Abstraction to Abstract State Machines. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2015 | CaiSE | Applying Predicate Abstraction to Abstract State Machines. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2015 | MOMM | Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2014 | ICSoft | Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2011 | KES | Modelling Multimodal 3D Virtual Environments with Asynchronous Multi-Agent Abstract State Machine. | Fabio De Felice, Alessandro Bianchi, Fabio Abbattista |
| 2008 | MOMM | A tool for modeling and simulating mobile ad-hoc networks. | Alessandro Bianchi, Sebastiano Pizzutilo |
| 2005 | SEKE | Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. | Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio |
| 2002 | COMPSAC | Quality Models Reuse: Experimentation on Field. | Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio |
| 1999 | ICIAP | Design of a Visual Environment for Evaluating and Customizing Medical Image Compression Techniques. | Alberto Signoroni, Alessandro Bianchi, Piero Mussio, Riccardo Leonardi |
| 1995 | PACT | An Efficient Verifier of Truly Concurrent Properties. | Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami |