BIANCHI, Alessandro

BIANCHI, Alessandro  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 54 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A Coloured Nested Petri Nets Model for Discussing MANET Properties 1-gen-2013 Bianchi, Alessandro; Pizzutilo, Sebastiano
A controlled experiment to assess the effectiveness of inspection meetings 1-gen-2001 Bianchi, Alessandro; Lanubile, Filippo; Visaggio, Giuseppe
A Distributed Abstract State Machine for Grid Systems: A Preliminary Study 1-gen-2011 Bianchi, Alessandro; L., Manelli; Pizzutilo, Sebastiano
A Petri Net-based Tool For Modelling and Simulating Mobile Ad-Hoc Networks 1-gen-2009 Bianchi, Alessandro; Pizzutilo, Sebastiano
A Story Test-Driven Approach to Software Migration 1-gen-2010 Bianchi, Alessandro; Lanubile, F; Mallardo, T; Scalas, M.
A Storytest-Driven Approach to the Migration of Legacy Systems 1-gen-2009 Abbattista, Fabio; Bianchi, Alessandro; Lanubile, Filippo
A Synchronous Model for Vehicular Ad-hoc Networks:A preliminary Study 1-gen-2007 Bianchi, Alessandro; Pizzutilo, Sebastiano
A Tool for Modeling and Simulating Mobile Ad-hoc NETworks 1-gen-2008 Bianchi, Alessandro; Pizzutilo, Sebastiano
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 1-gen-2020 Bianchi, Alessandro; Covino, Emanuele; Pani, Giovanni; Pizzutilo, Sebastiano
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 1-gen-2021 Covino, Emanuele; Pani, Giovanni; Bianchi, Alessandro; Pizzutilo, Sebastiano
An ASM-based characterisation of starvation-free systems 1-gen-2018 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
An Empirical Study of Distributed Software Maintenance 1-gen-2002 Bianchi, Alessandro; Caivano, Danilo; Lanubile, Filippo; Rago, F.; Visaggio, Giuseppe
An Explanatory Case Study about the Maintenance Effectiveness of Traceability Models 1-gen-2000 Bianchi, Alessandro; Fasolino, A. R.; Visaggio, Giuseppe
An Industrial Case Study on Reuse Oriented Development 1-gen-2005 Baldassarre, MARIA TERESA; Bianchi, Alessandro; Caivano, Danilo; Visaggio, Giuseppe
ANALYSIS OF PROPERTIES IN A PETRI NETS-BASED MODEL OF MANETS 1-gen-2010 Bianchi, Alessandro; Pizzutilo, Sebastiano
Applying Predicate Abstraction to Abstract State Machines 1-gen-2015 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
As ASM-based Model for Grid Job Management 1-gen-2013 Bianchi, Alessandro; Manelli, L; Pizzutilo, Sebastiano
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks 1-gen-2015 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
CoreASM-based Evaluation of the N-AODV Protocol for Mobile Ad-hoc Networks 1-gen-2016 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
COTS products characterization: proposal and empirical assessment 1-gen-2003 Bianchi, Alessandro; Caivano, Danilo; Conradi, R; Jaccheri, L; Torchiano, M; Visaggio, Giuseppe