Alessandro Bianchi
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j4]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
An ASM-based characterisation of starvation-free systems. IJPEDS 33(1): 35-51 (2018) - 2017
- [c25]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Intercepting Blackhole Attacks in MANETs: An ASM-based Model. SEFM Workshops 2017: 137-152 - [i1]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
An ASM-based Characterization of Starvation-free Systems. CoRR abs/1707.06560 (2017) - 2016
- [j3]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
CoreASM-based Evaluation of the N-AODV Protocol for MANETs. J. Mobile Multimedia 12(1&2): 31-51 (2016) - [c24]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Towards an ASM-based Characterization of the Deadlock-freedom Property. ICSOFT-PT 2016: 123-130 - 2015
- [c23]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Applying Predicate Abstraction to Abstract State Machines. BMMDS/EMMSAD 2015: 283-292 - [c22]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Applying Predicate Abstraction to Abstract State Machines. BMMDS/EMMSAD 2015: 479-488 - [c21]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks. MoMM 2015: 159-168 - 2014
- [c20]Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio:
Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs. ICSOFT EA 2014: 500-505 - 2013
- [j2]Alessandro Bianchi, Luciano Manelli, Sebastiano Pizzutilo:
An ASM-based Model for Grid Job Management. Informatica (Slovenia) 37(3): 295-306 (2013) - 2011
- [c19]Fabio De Felice, Alessandro Bianchi, Fabio Abbattista:
Modelling Multimodal 3D Virtual Environments with Asynchronous Multi-Agent Abstract State Machine. KES (1) 2011: 249-259
2000 – 2009
- 2009
- [c18]Fabio Abbattista, Alessandro Bianchi, Filippo Lanubile:
A Storytest-Driven Approach to the Migration of Legacy Systems. XP 2009: 149-154 - 2008
- [c17]Alessandro Bianchi, Sebastiano Pizzutilo:
A tool for modeling and simulating mobile ad-hoc networks. MoMM 2008: 438-443 - 2005
- [c16]Maria Teresa Baldassarre, Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio:
An Industrial Case Study on Reuse Oriented Development. ICSM 2005: 283-292 - [c15]Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio:
Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. SEKE 2005: 695-700 - 2004
- [c14]Pasquale Ardimento, Alessandro Bianchi, Giuseppe Visaggio:
Maintenance-Oriented Selection of Software Components. CSMR 2004: 115-124 - 2003
- [j1]Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio:
Iterative Reengineering of Legacy Systems. IEEE Trans. Software Eng. 29(3): 225-241 (2003) - [c13]Maria Teresa Baldassarre, Alessandro Bianchi, Danilo Caivano, Corrado Aaron Visaggio:
Full Reuse Maintenance Process for Reducing Software Degradatio. CSMR 2003: 289- - [c12]Alessandro Bianchi, Danilo Caivano, Reidar Conradi, Maria Letizia Jaccheri, Marco Torchiano, Giuseppe Visaggio:
COTS Products Characterization: Proposal and Empirical Assessment. ESERNET 2003: 233-255 - 2002
- [c11]Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio:
Quality Models Reuse: Experimentation on Field. COMPSAC 2002: 535-540 - [c10]Alessandro Bianchi, Danilo Caivano, Filippo Lanubile, Francesco Rago, Giuseppe Visaggio:
An Empirical Study of Distributed Software Maintenance. ICSM 2002: 103- - 2001
- [c9]Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio:
Iterative Reengineering of Legacy Functions. ICSM 2001: 632-641 - [c8]Alessandro Bianchi, Filippo Lanubile, Giuseppe Visaggio:
A Controlled Experiment To Assess The Effectiveness Of Inspection Meetings. IEEE METRICS 2001: 42-50 - [c7]Alessandro Bianchi, Danilo Caivano, Filippo Lanubile, Giuseppe Visaggio:
Evaluating Software Degradation through Entropy. IEEE METRICS 2001: 210- - 2000
- [c6]Alessandro Bianchi, Giuseppe Visaggio, Anna Rita Fasolino:
An Exploratory Case Study of the Maintenance Effectiveness of Traceability Models. IWPC 2000: 149-158 - [c5]Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio:
Method and Process for Iterative Reengineering of Data in a Legacy System. WCRE 2000: 86-
1990 – 1999
- 1999
- [c4]Alberto Signoroni, Alessandro Bianchi, Piero Mussio, Riccardo Leonardi:
Design of a Visual Environment for Evaluating and Customizing Medical Image Compression Techniques. ICIAP 1999: 1021-1026 - [c3]Alessandro Bianchi, Paolo Bottoni, Piero Mussio:
Issues in Design and Implementation of Multimedia Software Systems. ICMCS, Vol. 1 1999: 91-96 - [c2]Alessandro Bianchi, M. D'Enza, Maristella Matera, A. Betta:
Designing Usable Visual Languages: The Case of Immune System Studies. VL 1999: 254-261 - 1995
- [c1]Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami:
An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-15 23:07 CEST by the dblp team