Aniello Cimitile

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 7

Top Topics

Transition Systems

Malware Detection

Top Venues

ICSE (Companion Volume)

Publications

Francesco Mercaldo, Andrea Di Sorbo, Corrado Aaron Visaggio, Aniello Cimitile, Fabio Martinelli
An exploratory study on the evolution of Android malware quality. J. Softw. Evol. Process. 30 (11) (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119 (2018)
Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17 (6) (2018)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE (2017)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE (2017)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo
Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment. ICISSP (2017)
Francesco Mercaldo, Corrado Aaron Visaggio, Gerardo Canfora, Aniello Cimitile
Mobile malware detection in the real world. ICSE (Companion Volume) (2016)
Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
Evaluating performances of pair designing in industry. J. Syst. Softw. 80 (8) (2007)
Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio, Félix García, Mario Piattini
Performances of Pair Designing on Software Evolution: a controlled experiment. CSMR (2006)
Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca, Corrado Aaron Visaggio
How Distribution Affects the Success of Pair Programming. Int. J. Softw. Eng. Knowl. Eng. 16 (2) (2006)
Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
Evaluating advantages of test driven development: a controlled experiment with professionals. ISESE (2006)
Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
Productivity of Test Driven Development: A Controlled Experiment with Professionals. PROFES (2006)
Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio
Empirical Study on the Productivity of the Pair Programming. XP (2005)
Emilio Bellini, Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
The Impact of Educational Background on Design Knowledge Sharing During Pair Programming: An Empirical Study. Wissensmanagement (2005)
Emilio Bellini, Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
The Impact of Educational Background on Design Knowledge Sharing During Pair Programming: An Empirical Study. Wissensmanagement (LNCS Volume) (2005)
Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio
Confirming the influence of educational background in pair-design knowledge through experiments. SAC (2005)
Giuliano Antoniol, Aniello Cimitile, Giuseppe A. Di Lucca, Massimiliano Di Penta
Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation. IEEE Trans. Software Eng. 30 (1) (2004)
Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio
Working in Pairs as a Means for Design Knowledge Building: An Empirical Study. IWPC (2004)
Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio
Lessons learned about distributed pair programming: what are the knowledge needs to address? WETICE (2003)
Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio
From Knowledge Management Concepts Toward Software Engineering Practices. PROFES (2002)
Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani
FlowManager: A Workflow Management System Based on Petri Nets. COMPSAC (2002)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
Decomposing legacy systems into objects: an eclectic approach. Inf. Softw. Technol. 43 (6) (2001)
Ned Chapin, Aniello Cimitile
Announcement. J. Softw. Maintenance Res. Pract. 13 (1) (2001)
Lerina Aversano, Gerardo Canfora, Aniello Cimitile, Andrea De Lucia
Migrating Legacy Systems to the Web: An Experience Report. CSMR (2001)
Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile, Maria Tortorella
An Approach to Limit the Wynot Problem. ICSM (2000)
Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile
Traceability Recovery by Modeling Programmer Behavior. WCRE (2000)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
Decomposing legacy programs: a first step towards migrating to client-server platforms. J. Syst. Softw. 54 (2) (2000)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
A Case Study of Applying an Eclectic Approach to Identify Objects in Code. IWPC (1999)
Aniello Cimitile, Anna Rita Fasolino, Giuseppe Visaggio
A Software Model for Impact Analysis: A Validation Experiment. WCRE (1999)
Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca, Anna Rita Fasolino
Identifying objects in legacy systems using design metrics. J. Syst. Softw. 44 (3) (1999)
Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
An Experiment in Identifying Persistent Objects in Large Systems. ICSM (1998)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia
Conditioned program slicing. Inf. Softw. Technol. 40 (11-12) (1998)
Aniello Cimitile, Ugo de Carlini, Andrea De Lucia
Incremental Migration Strategies: Data Flow Analysis For Wrapping. WCRE (1998)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
Decomposing Legacy Programs: A First Step Towards Migrating to Client-Server Platforms. IWPC (1998)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia
An Extensible System for Source Code Analysis. IEEE Trans. Software Eng. 24 (9) (1998)
Aniello Cimitile, Giuseppe Visaggio
Managing Software Projects by Structured Project Planning. Int. J. Softw. Eng. Knowl. Eng. 7 (4) (1997)
Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca, Anna Rita Fasolino
Identifying objects in legacy systems. WPC (1997)
Aniello Cimitile, Malcolm Munro
An Improved Algorithm for Identifying Objects in Code. Softw. Pract. Exp. 26 (1) (1996)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia
Specifying code analysis tools. ICSM (1996)
Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca
Recovering a Conceptual Data Model from COBOL Code. SEKE (1996)
Aniello Cimitile, Andrea De Lucia, Malcolm Munro
A Specification Driven Slicing Process for Identifying Reusable Functions. J. Softw. Maintenance Res. Pract. 8 (3) (1996)
Aniello Cimitile, Giuseppe Visaggio
Software salvaging and the call dominance tree. J. Syst. Softw. 28 (2) (1995)
Aniello Cimitile, Andrea De Lucia, Malcolm Munro
Identifying reusable functions using specification driven program slicing: a case study. ICSM (1995)
Aniello Cimitile
Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle. Int. J. Softw. Eng. Knowl. Eng. 5 (1) (1995)
Gerardo Canfora, Aniello Cimitile
Algorithms for program dependence graph production. ICSM (1995)
Gerardo Canfora, Aniello Cimitile, Giuseppe Visaggio
Assessing modularization and code scavenging techniques. J. Softw. Maintenance Res. Pract. 7 (5) (1995)
Gerardo Canfora, Aniello Cimitile, Maria Tortorella
Prolog for Software Maintenance. SEKE (1995)
Aniello Cimitile, Andrea De Lucia, Malcolm Munro
Qualifying Reusable Functions Using Symbolic Execution. WCRE (1995)
Aniello Cimitile, Maria Tortorella, Malcolm Munro
Program comprehension through the identification of abstract data types. WPC (1994)
Gerardo Canfora, Aniello Cimitile, Maria Tortorella, Malcolm Munro
A Precise Method for Identifying Reusable Abstract Data Types in Code. ICSM (1994)
Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca
Software Salvaging Based on Conditions. ICSM (1994)
Aniello Cimitile, Giuseppe Visaggio
A Formalism for Structured Planning of a Software Project. Int. J. Softw. Eng. Knowl. Eng. 4 (2) (1994)
P. Antonini, Gerardo Canfora, Aniello Cimitile
Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report. ICSM (1994)
Gerardo Canfora, Aniello Cimitile, Malcolm Munro
: Reverse-engineering and reuse re-engineering. J. Softw. Maintenance Res. Pract. 6 (2) (1994)
Gerardo Canfora, Aniello Cimitile, Malcolm Munro, Maria Tortorella
Experiments in identifying reusable abstract data types in program code. WPC (1993)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
A reverse engineering process for design level document production from ADA code. Inf. Softw. Technol. 35 (1) (1993)
Aniello Cimitile, Anna Rita Fasolino, Paolo Maresca
Reuse Reengineering and Validation via Concept Assignment. ICSM (1993)
Aniello Cimitile, Ugo de Carlini, Umberto Villano
Replay-Based Debugging of Occam Programs. Softw. Test. Verification Reliab. 3 (2) (1993)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone
Reverse Engineering and Interactive Animation of Ada Programs. SEKE (1993)
Gerardo Canfora, Aniello Cimitile, Malcolm Munro
A Reverse Engineering Method for Identifying Reusable Abstract Data Types. WCRE (1993)
Gerardo Canfora, Aniello Cimitile, Malcolm Munro, C. J. Taylor
Extracting Abstract Data Types from C Programs: A Case Study. ICSM (1993)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
Correction to "A Logic-Based Approach to Reverse Engineering Tools Production". IEEE Trans. Software Eng. 19 (6) (1993)
Aniello Cimitile
Towards Reuse Reengineering of Old Software. SEKE (1992)
Aniello Cimitile, Filippo Lanubile, Giuseppe Visaggio
Traceability based on design decisions. ICSM (1992)
Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca
SBSE: An Environment for the Specification and Simulation of Finite State Systems. EUROSIM (1992)
Paolo Benedusi, Aniello Cimitile, Ugo de Carlini
Reverse engineering processes, design document production, and structure charts. J. Syst. Softw. 19 (3) (1992)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
A Logic-Based Approach to Reverse Engineering Tools Production. IEEE Trans. Software Eng. 18 (12) (1992)
Gerardo Canfora, Aniello Cimitile
Reverse-engineering and intermodular data flow: A theoretical approach. J. Softw. Maintenance Res. Pract. 4 (1) (1992)
Aniello Cimitile, Ugo de Carlini
Reverse Engineering: Algorithms for Program Graph Production. Softw. Pract. Exp. 21 (5) (1991)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
A reverse engineering process for design level document production from ADA code. Microprocess. Microsystems 15 (10) (1991)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
A logic based approach to reverse engineering tools production. ICSM (1991)
Gerardo Canfora, Aniello Cimitile, Ugo de Carlini
Reverse engineering and data flow diagrams in ADA environment. Microprocessing and Microprogramming 30 (1-5) (1990)
Aniello Cimitile, Giuseppe A. Di Lucca, Paolo Maresca
Maintenance and intermodular dependencies in Pascal environment. ICSM (1990)
Paolo Benedusi, Aniello Cimitile, Ugo de Carlini
A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance. ICSM (1989)
Paolo Benedusi, Aniello Cimitile, Ugo de Carlini
Post-maintenance testing based on path change analysis. ICSM (1988)
Giovanni Cantone, Aniello Cimitile, Ugo de Carlini
Testability and path testing strategies. Microprocess. Microprogramming 21 (1-5) (1987)
Giovanni Cantone, Aniello Cimitile, Ugo de Carlini
Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance. Comput. J. 29 (4) (1986)
Giovanni Cantone, Aniello Cimitile, Lucio Sansone
Complexity in Program Schemes: The Characteristic Polynomial. ACM SIGPLAN Notices 18 (3) (1983)