Skip to main content

    Giuseppe De Ruvo

    • add
    • noneedit
    • My profile here is incomplete.
      For more information, please visit my personal web site
      http://www.deruvo.euedit
    • edit
    Papers
    Improving Design Patterns Finder Precision Using a Model Checking Approachmore
    by Giuseppe De Ruvo
    Download (.pdf)
    User generated (web) content: Trash or treasuremore
    by Giuseppe De Ruvo
    Publication Date: 2011
    Research Interests:
    Download (.pdf)
    Powerful Equivalence Checking in the Bank Supply Processmore
    by Giuseppe De Ruvo
    Publication Date: 2014
    Publication Name: 2014 IEEE World Congress on Services
    A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikismore
    by Antonella Santone and Giuseppe De Ruvo
    Publication Date: 2014
    Publication Name: 2014 IEEE 23rd International WETICE Conference
    An Eclipse-Based Editor to Support LOTOS Newcomersmore
    by Giuseppe De Ruvo
    Publication Date: 2014
    Publication Name: 2014 IEEE 23rd International WETICE Conference
    -
    by 30-day views
    -
    total views
    -
    followers
    Related Authors
    Antonella Santone
    Domenico Raucci
    Giuseppe Lettieri
    gigliola vaglini
    Marsha Chechik
    Nicoletta Francesco
    Giuseppe Lettieri
    Kevin Hammond
    Jeremy Gibbons
    Anton Wijs