An Efficient Verifier of Truly Concurrent Properties. - Alessandro Bianchi; Stefano Coluccini; Pierpaolo Degano; Corrado Priami (PaCT, 1995)

Design of a Visual Environment for Evaluating and Customizing Medical Image Compression Techniques. - Alberto Signoroni; Alessandro Bianchi; Piero Mussio; Riccardo Leonardi (ICIAP, 1999)

Issues in Design and Implementation of Multimedia Software Systems. - Alessandro Bianchi; Paolo Bottoni; Piero Mussio (ICMCS, Vol. 1, 1999)

Designing Usable Visual Languages: The Case of Immune System Studies. - Alessandro Bianchi; M. D'Enza; Maristella Matera; A. Betta (VL, 1999)

An Exploratory Case Study of the Maintenance Effectiveness of Traceability Models. - Alessandro Bianchi; Giuseppe Visaggio; Anna Rita Fasolino (IWPC, 2000)

Method and Process for Iterative Reengineering of Data in a Legacy System. - Alessandro Bianchi; Danilo Caivano; Giuseppe Visaggio (WCRE, 2000)

Iterative Reengineering of Legacy Functions. - Alessandro Bianchi; Danilo Caivano; Vittorio Marengo; Giuseppe Visaggio (ICSM, 2001)

Evaluating Software Degradation through Entropy. - Alessandro Bianchi; Danilo Caivano; Filippo Lanubile; Giuseppe Visaggio (IEEE METRICS, 2001)

A Controlled Experiment To Assess The Effectiveness Of Inspection Meetings. - Alessandro Bianchi; Filippo Lanubile; Giuseppe Visaggio (IEEE METRICS, 2001)

Quality Models Reuse: Experimentation on Field. - Alessandro Bianchi; Danilo Caivano; Giuseppe Visaggio (COMPSAC, 2002)

An Empirical Study of Distributed Software Maintenance. - Alessandro Bianchi; Danilo Caivano; Filippo Lanubile; Francesco Rago; Giuseppe Visaggio (ICSM, 2002)

Full Reuse Maintenance Process for Reducing Software Degradatio. - Maria Teresa Baldassarre; Alessandro Bianchi; Danilo Caivano; Corrado Aaron Visaggio (CSMR, 2003)

COTS Products Characterization: Proposal and Empirical Assessment. - Alessandro Bianchi; Danilo Caivano; Reidar Conradi; Letizia Jaccheri; Marco Torchiano; Giuseppe Visaggio (ESERNET, 2003)

Iterative Reengineering of Legacy Systems. - Alessandro Bianchi; Danilo Caivano; Vittorio Marengo; Giuseppe Visaggio (IEEE Trans. Software Eng., 2003)

Maintenance-Oriented Selection of Software Components. - Pasquale Ardimento; Alessandro Bianchi; Giuseppe Visaggio (CSMR, 2004)

An Industrial Case Study on Reuse Oriented Development. - Maria Teresa Baldassarre; Alessandro Bianchi; Danilo Caivano; Giuseppe Visaggio (ICSM, 2005)

Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. - Pasquale Ardimento; Alessandro Bianchi; Nicola Boffoli; Giuseppe Visaggio (SEKE, 2005)

A tool for modeling and simulating mobile ad-hoc networks. - Alessandro Bianchi; Sebastiano Pizzutilo (MoMM, 2008)

A Storytest-Driven Approach to the Migration of Legacy Systems. - Fabio Abbattista; Alessandro Bianchi; Filippo Lanubile (XP, 2009)

Modelling Multimodal 3D Virtual Environments with Asynchronous Multi-Agent Abstract State Machine. - Fabio De Felice; Alessandro Bianchi; Fabio Abbattista (KES (1), 2011)

An ASM-based Model for Grid Job Management. - Alessandro Bianchi; Luciano Manelli; Sebastiano Pizzutilo (Informatica (Slovenia), 2013)

Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (ICSOFT EA, 2014)

Applying Predicate Abstraction to Abstract State Machines. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (BMMDS/EMMSAD, 2015)

Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (MoMM, 2015)

Towards an ASM-based Characterization of the Deadlock-freedom Property. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (ICSOFT-PT, 2016)

CoreASM-based Evaluation of the N-AODV Protocol for MANETs. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (J. Mobile Multimedia, 2016)

Intercepting Blackhole Attacks in MANETs: An ASM-based Model. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (SEFM Workshops, 2017)

An ASM-based Characterization of Starvation-free Systems. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (CoRR, 2017)

MOTION: an application of ASMETA to mobile ad-hoc NETworks domain. - Gianluca Gennaro Bevilacqua; Alessandro Bianchi (ECSA (Companion), 2018)

An ASM-based characterisation of starvation-free systems. - Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio (Int. J. Parallel Emergent Distributed Syst., 2018)

Improving Image Classification Robustness through Selective CNN-Filters Fine-Tuning. - Alessandro Bianchi; Moreno Raimondo Vendra; Pavlos Protopapas; Marco Brambilla 001 (CoRR, 2019)

Exploring the main factors influencing habitat preference of Popillia japonica in an area of recent introduction. - Anna Simonetto; Giorgio Sperandio; Andrea Battisti; Nicola Mori; Mariangela Ciampitti; Beniamino Cavagna; Alessandro Bianchi; Gianni Gilioli (Ecol. Informatics, 2022)