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