Aniello Cimitile

According to our database, Aniello Cimitile authored at least 74 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

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

Talos: no more ransomware victims with formal methods.

Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Int. J. Inf. Sec., 2018

2017

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Model Checking for Mobile Android Malware Evolution.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

2016

Mobile malware detection in the real world.

Francesco Mercaldo, Corrado Aaron Visaggio, Gerardo Canfora, Aniello Cimitile

Proceedings of the 38th International Conference on Software Engineering, 2016

2007

Evaluating performances of pair designing in industry.

Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio

J. Syst. Softw., 2007

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

Productivity of Test Driven Development: A Controlled Experiment with Professionals.

Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio

Proceedings of the Product-Focused Software Process Improvement, 2006

Evaluating advantages of test driven development: a controlled experiment with professionals.

Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

Performances of Pair Designing on Software Evolution: a controlled experiment.

Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio, Félix García, Mario Piattini

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005

Empirical Study on the Productivity of the Pair Programming.

Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 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, Mario Piattini, Corrado Aaron Visaggio

Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

Confirming the influence of educational background in pair-design knowledge through experiments.

Gerardo Canfora, Aniello Cimitile, Félix García, Mario Piattini, Corrado Aaron Visaggio

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

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

Working in Pairs as a Means for Design Knowledge Building: An Empirical Study.

Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

2003

Lessons learned about distributed pair programming: what are the knowledge needs to address?

Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

2002

From Knowledge Management Concepts Toward Software Engineering Practices.

Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio

Proceedings of the Product Focused Software Process Improvement, 2002

FlowManager: A Workflow Management System Based on Petri Nets.

Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Announcement.

Ned Chapin, Aniello Cimitile

J. Softw. Maintenance Res. Pract., 2001

Decomposing legacy systems into objects: an eclectic approach.

Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca

Inf. Softw. Technol., 2001

Migrating Legacy Systems to the Web: An Experience Report.

Lerina Aversano, Gerardo Canfora, Aniello Cimitile, Andrea De Lucia

Proceedings of the 5th European Conference on Software Maintenance and Reengineering, 2001

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

Traceability Recovery by Modeling Programmer Behavior.

Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile

Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

An Approach to Limit the Wynot Problem.

Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile, Maria Tortorella

Proceedings of the 2000 International Conference on Software Maintenance, 2000

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

A Software Model for Impact Analysis: A Validation Experiment.

Aniello Cimitile, Anna Rita Fasolino, Giuseppe Visaggio

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

A Case Study of Applying an Eclectic Approach to Identify Objects in Code.

Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998

An Extensible System for Source Code Analysis.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia

IEEE Trans. Software Eng., 1998

Conditioned program slicing.

Gerardo Canfora, Aniello Cimitile, Andrea De Lucia

Inf. Softw. Technol., 1998

Incremental Migration Strategies: Data Flow Analysis For Wrapping.

Aniello Cimitile, Ugo de Carlini, Andrea De Lucia

Proceedings of the 5th Working Conference on Reverse Engineering, 1998

An Experiment in Identifying Persistent Objects in Large Systems.

Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca

Proceedings of the 1998 International Conference on Software Maintenance, 1998

1997

Managing Software Projects by Structured Project Planning.

Aniello Cimitile, Giuseppe Visaggio

Int. J. Softw. Eng. Knowl. Eng., 1997

Identifying objects in legacy systems.

Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca, Anna Rita Fasolino

Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

1996

An Improved Algorithm for Identifying Objects in Code.

Aniello Cimitile, Malcolm Munro

Softw. Pract. Exp., 1996

A Specification Driven Slicing Process for Identifying Reusable Functions.

Aniello Cimitile, Andrea De Lucia, Malcolm Munro

J. Softw. Maintenance Res. Pract., 1996

Recovering a Conceptual Data Model from COBOL Code.

Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Specifying code analysis tools.

Gerardo Canfora, Aniello Cimitile, Andrea De Lucia

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

1995

Assessing modularization and code scavenging techniques.

Gerardo Canfora, Aniello Cimitile, Giuseppe Visaggio

J. Softw. Maintenance Res. Pract., 1995

Software salvaging and the call dominance tree.

Aniello Cimitile, Giuseppe Visaggio

J. Syst. Softw., 1995

Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle.

Aniello Cimitile

Int. J. Softw. Eng. Knowl. Eng., 1995

Qualifying Reusable Functions Using Symbolic Execution.

Aniello Cimitile, Andrea De Lucia, Malcolm Munro

Proceedings of the 2nd Working Conference on Reverse Engineering, 1995

Prolog for Software Maintenance.

Gerardo Canfora, Aniello Cimitile, Maria Tortorella

Proceedings of the SEKE'95, 1995

Identifying reusable functions using specification driven program slicing: a case study.

Aniello Cimitile, Andrea De Lucia, Malcolm Munro

Proceedings of the International Conference on Software Maintenance, 1995

Algorithms for program dependence graph production.

Gerardo Canfora, Aniello Cimitile

Proceedings of the International Conference on Software Maintenance, 1995

1994

RE²: Reverse-engineering and reuse re-engineering.

Gerardo Canfora, Aniello Cimitile, Malcolm Munro

J. Softw. Maintenance Res. Pract., 1994

A Formalism for Structured Planning of a Software Project.

Aniello Cimitile, Giuseppe Visaggio

Int. J. Softw. Eng. Knowl. Eng., 1994

Program comprehension through the identification of abstract data types.

Aniello Cimitile, Maria Tortorella, Malcolm Munro

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

A Precise Method for Identifying Reusable Abstract Data Types in Code.

Gerardo Canfora, Aniello Cimitile, Maria Tortorella, Malcolm Munro

Proceedings of the International Conference on Software Maintenance, 1994

Software Salvaging Based on Conditions.

Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca

Proceedings of the International Conference on Software Maintenance, 1994

Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report.

P. Antonini, Gerardo Canfora, Aniello Cimitile

Proceedings of the International Conference on Software Maintenance, 1994

1993

Correction to "A Logic-Based Approach to Reverse Engineering Tools Production".

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini

IEEE Trans. Software Eng., 1993

Replay-Based Debugging of Occam Programs.

Aniello Cimitile, Ugo de Carlini, Umberto Villano

Softw. Test. Verification Reliab., 1993

A Reverse Engineering Method for Identifying Reusable Abstract Data Types.

Gerardo Canfora, Aniello Cimitile, Malcolm Munro

Proceedings of Working Conference on Reverse Engineering, 1993

Reverse Engineering and Interactive Animation of Ada Programs.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone

Proceedings of the SEKE'93, 1993

Experiments in identifying reusable abstract data types in program code.

Gerardo Canfora, Aniello Cimitile, Malcolm Munro, Maria Tortorella

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

Reuse Reengineering and Validation via Concept Assignment.

Aniello Cimitile, Anna Rita Fasolino, Paolo Maresca

Proceedings of the Conference on Software Maintenance, 1993

Extracting Abstract Data Types from C Programs: A Case Study.

Gerardo Canfora, Aniello Cimitile, Malcolm Munro, C. J. Taylor

Proceedings of the Conference on Software Maintenance, 1993

1992

A Logic-Based Approach to Reverse Engineering Tools Production.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini

IEEE Trans. Software Eng., 1992

Reverse-engineering and intermodular data flow: A theoretical approach.

Gerardo Canfora, Aniello Cimitile

J. Softw. Maintenance Res. Pract., 1992

Reverse engineering processes, design document production, and structure charts.

Paolo Benedusi, Aniello Cimitile, Ugo de Carlini

J. Syst. Softw., 1992

Towards Reuse Reengineering of Old Software.

Aniello Cimitile

Proceedings of the SEKE'92, 1992

Traceability based on design decisions.

Aniello Cimitile, Filippo Lanubile, Giuseppe Visaggio

Proceedings of the Conference on Software Maintenance, 1992

SBSE: An Environment for the Specification and Simulation of Finite State Systems.

Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca

Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992

1991

Reverse Engineering: Algorithms for Program Graph Production.

Aniello Cimitile, Ugo de Carlini

Softw. Pract. Exp., 1991

A reverse engineering process for design level document production from ADA code.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini

Microprocess. Microsystems, 1991

1990

Reverse engineering and data flow diagrams in ADA environment.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini

Microprocessing and Microprogramming, 1990

Maintenance and intermodular dependencies in Pascal environment.

Aniello Cimitile, Giuseppe A. Di Lucca, Paolo Maresca

Proceedings of the Conference on Software Maintenance, 1990

1989

A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance.

Paolo Benedusi, Aniello Cimitile, Ugo de Carlini

Proceedings of the Conference on Software Maintenance, 1989

1988

Post-maintenance testing based on path change analysis.

Paolo Benedusi, Aniello Cimitile, Ugo de Carlini

Proceedings of the Conference on Software Maintenance, 1988

1987

Testability and path testing strategies.

Giovanni Cantone, Aniello Cimitile, Ugo de Carlini

Microprocess. Microprogramming, 1987

1986

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

1983

Complexity in Program Schemes: The Characteristic Polynomial.

Giovanni Cantone, Aniello Cimitile, Lucio Sansone

ACM SIGPLAN Notices, 1983