Complexity in Program Schemes: The Characteristic Polynomial. - Giovanni Cantone; Aniello Cimitile; Lucio Sansone (ACM SIGPLAN Notices, 1983)

Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance. - Giovanni Cantone; Aniello Cimitile; Ugo de Carlini (Comput. J., 1986)

Testability and path testing strategies. - Giovanni Cantone; Aniello Cimitile; Ugo de Carlini (Microprocess. Microprogramming, 1987)

Post-maintenance testing based on path change analysis. - Paolo Benedusi; Aniello Cimitile; Ugo de Carlini (ICSM, 1988)

A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance. - Paolo Benedusi; Aniello Cimitile; Ugo de Carlini (ICSM, 1989)

Maintenance and intermodular dependencies in Pascal environment. - Aniello Cimitile; Giuseppe A. Di Lucca; Paolo Maresca (ICSM, 1990)

Reverse engineering and data flow diagrams in ADA environment. - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini (Microprocessing and Microprogramming, 1990)

A reverse engineering process for design level document production from ADA code. - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini (Microprocess. Microsystems, 1991)

Reverse Engineering: Algorithms for Program Graph Production. - Aniello Cimitile; Ugo de Carlini (Softw. Pract. Exp., 1991)

SBSE: An Environment for the Specification and Simulation of Finite State Systems. - Gerardo Canfora; Aniello Cimitile; Giuseppe A. Di Lucca (EUROSIM, 1992)

Traceability based on design decisions. - Aniello Cimitile; Filippo Lanubile; Giuseppe Visaggio (ICSM, 1992)

Towards Reuse Reengineering of Old Software. - Aniello Cimitile (SEKE, 1992)

Reverse engineering processes, design document production, and structure charts. - Paolo Benedusi; Aniello Cimitile; Ugo de Carlini (J. Syst. Softw., 1992)

Reverse-engineering and intermodular data flow: A theoretical approach. - Gerardo Canfora; Aniello Cimitile (J. Softw. Maintenance Res. Pract., 1992)

A Logic-Based Approach to Reverse Engineering Tools Production. - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini (IEEE Trans. Software Eng., 1992)

Extracting Abstract Data Types from C Programs: A Case Study. - Gerardo Canfora; Aniello Cimitile; Malcolm Munro; C. J. Taylor (ICSM, 1993)

Reuse Reengineering and Validation via Concept Assignment. - Aniello Cimitile; Anna Rita Fasolino; Paolo Maresca (ICSM, 1993)

Experiments in identifying reusable abstract data types in program code. - Gerardo Canfora; Aniello Cimitile; Malcolm Munro; Maria Tortorella (WPC, 1993)

Reverse Engineering and Interactive Animation of Ada Programs. - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini; Lucio Sansone (SEKE, 1993)

A Reverse Engineering Method for Identifying Reusable Abstract Data Types. - Gerardo Canfora; Aniello Cimitile; Malcolm Munro (WCRE, 1993)

Replay-Based Debugging of Occam Programs. - Aniello Cimitile; Ugo de Carlini; Umberto Villano (Softw. Test. Verification Reliab., 1993)

Correction to "A Logic-Based Approach to Reverse Engineering Tools Production". - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini (IEEE Trans. Software Eng., 1993)

Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report. - P. Antonini; Gerardo Canfora; Aniello Cimitile (ICSM, 1994)

Software Salvaging Based on Conditions. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca (ICSM, 1994)

A Precise Method for Identifying Reusable Abstract Data Types in Code. - Gerardo Canfora; Aniello Cimitile; Maria Tortorella; Malcolm Munro (ICSM, 1994)

Program comprehension through the identification of abstract data types. - Aniello Cimitile; Maria Tortorella; Malcolm Munro (WPC, 1994)

A Formalism for Structured Planning of a Software Project. - Aniello Cimitile; Giuseppe Visaggio (Int. J. Softw. Eng. Knowl. Eng., 1994)

RE2: Reverse-engineering and reuse re-engineering. - Gerardo Canfora; Aniello Cimitile; Malcolm Munro (J. Softw. Maintenance Res. Pract., 1994)

Algorithms for program dependence graph production. - Gerardo Canfora; Aniello Cimitile (ICSM, 1995)

Identifying reusable functions using specification driven program slicing: a case study. - Aniello Cimitile; Andrea De Lucia; Malcolm Munro (ICSM, 1995)

Prolog for Software Maintenance. - Gerardo Canfora; Aniello Cimitile; Maria Tortorella (SEKE, 1995)

Qualifying Reusable Functions Using Symbolic Execution. - Aniello Cimitile; Andrea De Lucia; Malcolm Munro (WCRE, 1995)

Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle. - Aniello Cimitile (Int. J. Softw. Eng. Knowl. Eng., 1995)

Software salvaging and the call dominance tree. - Aniello Cimitile; Giuseppe Visaggio (J. Syst. Softw., 1995)

Assessing modularization and code scavenging techniques. - Gerardo Canfora; Aniello Cimitile; Giuseppe Visaggio (J. Softw. Maintenance Res. Pract., 1995)

Specifying code analysis tools. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia (ICSM, 1996)

Recovering a Conceptual Data Model from COBOL Code. - Gerardo Canfora; Aniello Cimitile; Giuseppe A. Di Lucca (SEKE, 1996)

A Specification Driven Slicing Process for Identifying Reusable Functions. - Aniello Cimitile; Andrea De Lucia; Malcolm Munro (J. Softw. Maintenance Res. Pract., 1996)

An Improved Algorithm for Identifying Objects in Code. - Aniello Cimitile; Malcolm Munro (Softw. Pract. Exp., 1996)

Identifying objects in legacy systems. - Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca; Anna Rita Fasolino (WPC, 1997)

Managing Software Projects by Structured Project Planning. - Aniello Cimitile; Giuseppe Visaggio (Int. J. Softw. Eng. Knowl. Eng., 1997)

An Experiment in Identifying Persistent Objects in Large Systems. - Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca (ICSM, 1998)

Incremental Migration Strategies: Data Flow Analysis For Wrapping. - Aniello Cimitile; Ugo de Carlini; Andrea De Lucia (WCRE, 1998)

Conditioned program slicing. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia (Inf. Softw. Technol., 1998)

An Extensible System for Source Code Analysis. - Gerardo Canfora; Aniello Cimitile; Ugo de Carlini; Andrea De Lucia (IEEE Trans. Software Eng., 1998)

A Case Study of Applying an Eclectic Approach to Identify Objects in Code. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca (IWPC, 1999)

A Software Model for Impact Analysis: A Validation Experiment. - Aniello Cimitile; Anna Rita Fasolino; Giuseppe Visaggio (WCRE, 1999)

Identifying objects in legacy systems using design metrics. - Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca; Anna Rita Fasolino (J. Syst. Softw., 1999)

An Approach to Limit the Wynot Problem. - Giuliano Antoniol; Gerardo Casazza; Aniello Cimitile; Maria Tortorella (ICSM, 2000)

Traceability Recovery by Modeling Programmer Behavior. - Giuliano Antoniol; Gerardo Casazza; Aniello Cimitile (WCRE, 2000)

Decomposing legacy programs: a first step towards migrating to client-server platforms. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca (J. Syst. Softw., 2000)

Migrating Legacy Systems to the Web: An Experience Report. - Lerina Aversano; Gerardo Canfora; Aniello Cimitile; Andrea De Lucia (CSMR, 2001)

Decomposing legacy systems into objects: an eclectic approach. - Gerardo Canfora; Aniello Cimitile; Andrea De Lucia; Giuseppe A. Di Lucca (Inf. Softw. Technol., 2001)

Announcement. - Ned Chapin; Aniello Cimitile (J. Softw. Maintenance Res. Pract., 2001)

FlowManager: A Workflow Management System Based on Petri Nets. - Lerina Aversano; Aniello Cimitile; Pierpaolo Gallucci; Maria Luisa Villani (COMPSAC, 2002)

From Knowledge Management Concepts Toward Software Engineering Practices. - Gerardo Canfora; Aniello Cimitile; Corrado Aaron Visaggio (PROFES, 2002)

Lessons learned about distributed pair programming: what are the knowledge needs to address? - Gerardo Canfora; Aniello Cimitile; Corrado Aaron Visaggio (WETICE, 2003)

Working in Pairs as a Means for Design Knowledge Building: An Empirical Study. - Gerardo Canfora; Aniello Cimitile; Corrado Aaron Visaggio (IWPC, 2004)

Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation. - Giuliano Antoniol; Aniello Cimitile; Giuseppe A. Di Lucca; Massimiliano Di Penta (IEEE Trans. Software Eng., 2004)

Confirming the influence of educational background in pair-design knowledge through experiments. - Gerardo Canfora; Aniello Cimitile; Félix García 001; Mario Piattini; Corrado Aaron Visaggio (SAC, 2005)

The Impact of Educational Background on Design Knowledge Sharing During Pair Programming: An Empirical Study. - Emilio Bellini; Gerardo Canfora; Aniello Cimitile; Félix García 001; Mario Piattini; Corrado Aaron Visaggio (Wissensmanagement, 2005)

Empirical Study on the Productivity of the Pair Programming. - Gerardo Canfora; Aniello Cimitile; Corrado Aaron Visaggio (XP, 2005)

Performances of Pair Designing on Software Evolution: a controlled experiment. - Gerardo Canfora; Aniello Cimitile; Corrado Aaron Visaggio; Félix García 001; Mario Piattini (CSMR, 2006)

Evaluating advantages of test driven development: a controlled experiment with professionals. - Gerardo Canfora; Aniello Cimitile; Félix García 001; Mario Piattini; Corrado Aaron Visaggio (ISESE, 2006)

Productivity of Test Driven Development: A Controlled Experiment with Professionals. - Gerardo Canfora; Aniello Cimitile; Félix García 001; Mario Piattini; Corrado Aaron Visaggio (PROFES, 2006)

How Distribution Affects the Success of Pair Programming. - Gerardo Canfora; Aniello Cimitile; Giuseppe A. Di Lucca; Corrado Aaron Visaggio (Int. J. Softw. Eng. Knowl. Eng., 2006)

Evaluating performances of pair designing in industry. - Gerardo Canfora; Aniello Cimitile; Félix García 001; Mario Piattini; Corrado Aaron Visaggio (J. Syst. Softw., 2007)

Mobile malware detection in the real world. - Francesco Mercaldo; Corrado Aaron Visaggio; Gerardo Canfora; Aniello Cimitile (ICSE (Companion Volume), 2016)

Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment. - Aniello Cimitile; Fabio Martinelli; Francesco Mercaldo (ICISSP, 2017)

Model Checking for Mobile Android Malware Evolution. - Aniello Cimitile; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Gigliola Vaglini (FormaliSE@ICSE, 2017)

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. - Aniello Cimitile; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (WETICE, 2017)

Talos: no more ransomware victims with formal methods. - Aniello Cimitile; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (Int. J. Inf. Sec., 2018)

Evaluating model checking for cyber threats code obfuscation identification. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Arun Kumar Sangaiah; Aniello Cimitile (J. Parallel Distributed Comput., 2018)

An exploratory study on the evolution of Android malware quality. - Francesco Mercaldo; Andrea Di Sorbo; Corrado Aaron Visaggio; Aniello Cimitile; Fabio Martinelli (J. Softw. Evol. Process., 2018)