Aniello Cimitile

78 papers B 4C 7Misc 1Journal 32Unranked 34

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