default search action
Aniello Cimitile
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j32]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): 719-738 (2018) - [j31]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: 203-218 (2018) - [j30]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) - 2017
- [c46]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo:
Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment. ICISSP 2017: 487-492 - [c45]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c44]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [c43]Francesco Mercaldo, Corrado Aaron Visaggio, Gerardo Canfora, Aniello Cimitile:
Mobile malware detection in the real world. ICSE (Companion Volume) 2016: 744-746
2000 – 2009
- 2007
- [j29]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): 1317-1327 (2007) - 2006
- [j28]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): 293-313 (2006) - [c42]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: 197-205 - [c41]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: 364-371 - [c40]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: 383-388 - 2005
- [c39]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: 1478-1484 - [c38]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: 415-422 - [c37]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: 455-465 - [c36]Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio:
Empirical Study on the Productivity of the Pair Programming. XP 2005: 92-99 - 2004
- [j27]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): 43-58 (2004) - [c35]Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio:
Working in Pairs as a Means for Design Knowledge Building: An Empirical Study. IWPC 2004: 62-69 - 2003
- [c34]Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio:
Lessons learned about distributed pair programming: what are the knowledge needs to address? WETICE 2003: 314-319 - 2002
- [c33]Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani:
FlowManager: A Workflow Management System Based on Petri Nets. COMPSAC 2002: 1054-1059 - [c32]Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio:
From Knowledge Management Concepts Toward Software Engineering Practices. PROFES 2002: 407-422 - 2001
- [j26]Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca:
Decomposing legacy systems into objects: an eclectic approach. Inf. Softw. Technol. 43(6): 401-412 (2001) - [j25]Ned Chapin, Aniello Cimitile:
Announcement. J. Softw. Maintenance Res. Pract. 13(1): 1-2 (2001) - [c31]Lerina Aversano, Gerardo Canfora, Aniello Cimitile, Andrea De Lucia:
Migrating Legacy Systems to the Web: An Experience Report. CSMR 2001: 148-157 - 2000
- [j24]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): 99-110 (2000) - [c30]Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile, Maria Tortorella:
An Approach to Limit the Wynot Problem. ICSM 2000: 207-215 - [c29]Giuliano Antoniol, Gerardo Casazza, Aniello Cimitile:
Traceability Recovery by Modeling Programmer Behavior. WCRE 2000: 240-247
1990 – 1999
- 1999
- [j23]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): 199-211 (1999) - [c28]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: 136-143 - [c27]Aniello Cimitile, Anna Rita Fasolino, Giuseppe Visaggio:
A Software Model for Impact Analysis: A Validation Experiment. WCRE 1999: 212- - 1998
- [j22]Gerardo Canfora, Aniello Cimitile, Andrea De Lucia:
Conditioned program slicing. Inf. Softw. Technol. 40(11-12): 595-607 (1998) - [j21]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia:
An Extensible System for Source Code Analysis. IEEE Trans. Software Eng. 24(9): 721-740 (1998) - [c26]Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca:
An Experiment in Identifying Persistent Objects in Large Systems. ICSM 1998: 122- - [c25]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: 136-144 - [c24]Aniello Cimitile, Ugo de Carlini, Andrea De Lucia:
Incremental Migration Strategies: Data Flow Analysis For Wrapping. WCRE 1998: 59-68 - 1997
- [j20]Aniello Cimitile, Giuseppe Visaggio:
Managing Software Projects by Structured Project Planning. Int. J. Softw. Eng. Knowl. Eng. 7(4): 553-584 (1997) - [c23]Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca, Anna Rita Fasolino:
Identifying objects in legacy systems. WPC 1997: 138-147 - 1996
- [j19]Aniello Cimitile, Andrea De Lucia, Malcolm Munro:
A Specification Driven Slicing Process for Identifying Reusable Functions. J. Softw. Maintenance Res. Pract. 8(3): 145-178 (1996) - [j18]Aniello Cimitile, Malcolm Munro:
An Improved Algorithm for Identifying Objects in Code. Softw. Pract. Exp. 26(1): 25-48 (1996) - [c22]Gerardo Canfora, Aniello Cimitile, Andrea De Lucia:
Specifying code analysis tools. ICSM 1996: 95-103 - [c21]Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca:
Recovering a Conceptual Data Model from COBOL Code. SEKE 1996: 277-284 - 1995
- [j17]Aniello Cimitile:
Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle. Int. J. Softw. Eng. Knowl. Eng. 5(1): 1-3 (1995) - [j16]Aniello Cimitile, Giuseppe Visaggio:
Software salvaging and the call dominance tree. J. Syst. Softw. 28(2): 117-127 (1995) - [j15]Gerardo Canfora, Aniello Cimitile, Giuseppe Visaggio:
Assessing modularization and code scavenging techniques. J. Softw. Maintenance Res. Pract. 7(5): 317-331 (1995) - [c20]Aniello Cimitile, Andrea De Lucia, Malcolm Munro:
Identifying reusable functions using specification driven program slicing: a case study. ICSM 1995: 124-133 - [c19]Gerardo Canfora, Aniello Cimitile:
Algorithms for program dependence graph production. ICSM 1995: 157- - [c18]Gerardo Canfora, Aniello Cimitile, Maria Tortorella:
Prolog for Software Maintenance. SEKE 1995: 478-486 - [c17]Aniello Cimitile, Andrea De Lucia, Malcolm Munro:
Qualifying Reusable Functions Using Symbolic Execution. WCRE 1995 - 1994
- [j14]Aniello Cimitile, Giuseppe Visaggio:
A Formalism for Structured Planning of a Software Project. Int. J. Softw. Eng. Knowl. Eng. 4(2): 277-300 (1994) - [j13]Gerardo Canfora, Aniello Cimitile, Malcolm Munro:
RE2: Reverse-engineering and reuse re-engineering. J. Softw. Maintenance Res. Pract. 6(2): 53-72 (1994) - [c16]P. Antonini, Gerardo Canfora, Aniello Cimitile:
Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report. ICSM 1994: 146-153 - [c15]Gerardo Canfora, Aniello Cimitile, Maria Tortorella, Malcolm Munro:
A Precise Method for Identifying Reusable Abstract Data Types in Code. ICSM 1994: 404-413 - [c14]Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca:
Software Salvaging Based on Conditions. ICSM 1994: 424-433 - [c13]Aniello Cimitile, Maria Tortorella, Malcolm Munro:
Program comprehension through the identification of abstract data types. WPC 1994: 12-19 - 1993
- [j12]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
A reverse engineering process for design level document production from ADA code. Inf. Softw. Technol. 35(1): 23-34 (1993) - [j11]Aniello Cimitile, Ugo de Carlini, Umberto Villano:
Replay-Based Debugging of Occam Programs. Softw. Test. Verification Reliab. 3(2): 83-100 (1993) - [j10]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
Correction to "A Logic-Based Approach to Reverse Engineering Tools Production". IEEE Trans. Software Eng. 19(6): 640 (1993) - [c12]Gerardo Canfora, Aniello Cimitile, Malcolm Munro, C. J. Taylor:
Extracting Abstract Data Types from C Programs: A Case Study. ICSM 1993: 200-209 - [c11]Aniello Cimitile, Anna Rita Fasolino, Paolo Maresca:
Reuse Reengineering and Validation via Concept Assignment. ICSM 1993: 216-225 - [c10]Gerardo Canfora, Aniello Cimitile, Malcolm Munro, Maria Tortorella:
Experiments in identifying reusable abstract data types in program code. WPC 1993: 36-45 - [c9]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone:
Reverse Engineering and Interactive Animation of Ada Programs. SEKE 1993: 507-516 - [c8]Gerardo Canfora, Aniello Cimitile, Malcolm Munro:
A Reverse Engineering Method for Identifying Reusable Abstract Data Types. WCRE 1993: 73-82 - 1992
- [j9]Paolo Benedusi, Aniello Cimitile, Ugo de Carlini:
Reverse engineering processes, design document production, and structure charts. J. Syst. Softw. 19(3): 225-245 (1992) - [j8]Gerardo Canfora, Aniello Cimitile:
Reverse-engineering and intermodular data flow: A theoretical approach. J. Softw. Maintenance Res. Pract. 4(1): 37-59 (1992) - [j7]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
A Logic-Based Approach to Reverse Engineering Tools Production. IEEE Trans. Software Eng. 18(12): 1053-1064 (1992) - [c7]Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca:
SBSE: An Environment for the Specification and Simulation of Finite State Systems. EUROSIM 1992: 167-173 - [c6]Aniello Cimitile, Filippo Lanubile, Giuseppe Visaggio:
Traceability based on design decisions. ICSM 1992: 309-317 - [c5]Aniello Cimitile:
Towards Reuse Reengineering of Old Software. SEKE 1992: 140-149 - 1991
- [j6]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
A reverse engineering process for design level document production from ADA code. Microprocess. Microsystems 15(10): 531-542 (1991) - [j5]Aniello Cimitile, Ugo de Carlini:
Reverse Engineering: Algorithms for Program Graph Production. Softw. Pract. Exp. 21(5): 519-537 (1991) - [c4]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
A logic based approach to reverse engineering tools production. ICSM 1991: 83-91 - 1990
- [j4]Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
Reverse engineering and data flow diagrams in ADA environment. Microprocessing and Microprogramming 30(1-5): 357-364 (1990) - [c3]Aniello Cimitile, Giuseppe A. Di Lucca, Paolo Maresca:
Maintenance and intermodular dependencies in Pascal environment. ICSM 1990: 72-83
1980 – 1989
- 1989
- [c2]Paolo Benedusi, Aniello Cimitile, Ugo de Carlini:
A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance. ICSM 1989: 180-189 - 1988
- [c1]Paolo Benedusi, Aniello Cimitile, Ugo de Carlini:
Post-maintenance testing based on path change analysis. ICSM 1988: 352-361 - 1987
- [j3]Giovanni Cantone, Aniello Cimitile, Ugo de Carlini:
Testability and path testing strategies. Microprocess. Microprogramming 21(1-5): 371-381 (1987) - 1986
- [j2]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): 322-329 (1986) - 1983
- [j1]Giovanni Cantone, Aniello Cimitile, Lucio Sansone:
Complexity in Program Schemes: The Characteristic Polynomial. ACM SIGPLAN Notices 18(3): 22-31 (1983)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint