Research

My (current) research interests

  • Security of open-source software (OSS)
  • Mininig software repositories
  • Machine learning for software vulnerability analysis
  • Security testing

Other topics that also interest me

  • Security certification for services and service-based systems
  • Software Monitoring
  • Software Testing
  • Applications of Model Driven Software Engineering, model transformation, automated code generation
  • Modeling and analysis of extra-functional properties of software systems (performance, reliability, security)
  • Component-based Software Engineering
  • Distributed and mobile systems

Publications

To get a list of my publications, please visit this page.

Participation in Research and Industrial Projects

  • As a Researcher at SAP
    • (SAP internal project) Impact analysis of OSS vulnerabilities on enterprise applications
    • (SAP internal project) SAP Hana security tools
    • OPTET – OPTET (Tech. Lead Trustworthy Marketplace)
    • Assert4Soa – Assert4Soa (Leader of the Architecture Work Package)
    • Master – Managing Assurance, Security, and Trust for sERvices
  • As a Researcher at the National Research Council (CNR), Italy
    • IperMob – Deployment of a Metropolitan Infomobility System
    • TAS3 – Trusted Architecture for Securely Shared Services
    • D-ASAP – Dependable Adaptable Software Architectures for Pervasive Computing
    • Plastic – Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication – (2006-2008)
  • As a PhD Candidate at University of Rome Tor Vergata, Italy
    • Sahara – Software Architectures for Heterogeneous Access Network Infrastructures — (2003)

Service to the research community

(NB: I stopped maintaining this list in mid-2013)

  2013
      Program Committee Member of the 6th International Conference on Software Testing, Verification and Validation (ICST 2013)
      Program Committee Member of the 11th International Conference on Software Engineering Research, Management and Applications. SERA 2013, Prague, Czech Republic, August 7-9, 2013
      Program Committee Member of the 5th International Workshop on Principles of Engineering Service-Oriented Systems (co-located with ICSE) (PESOS 2013)
      Program Committee Member of the Model-based development, Components and Services Track at the 39th Euromicro SEAA conference (MOCS 2013)
  2012
      Program Committee member of the ICT Verification and Validation Track of the 8 th International Conference on the Quality of Information and Communication Technologies (QUATIC 2012),  Lisbon, Portugal, 3-5 September 2012
      Organising Committee Member of the 2nd Modeling Wizards Master Class, 2012
      Program Committee Member of Model-based development, Components and Services” @ 38th Euromicro SEAA 2012
      Organising Committee Member (Poster Chair) of the 5th International Conference on Software Testing, Verification and Validation (ICST 2012)
      Program Committee Member of the 8th International Conference on the Quality of Software Architectures (QoSA 2012)
      Program Committee Member of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE 2012)
      Program Committee Member of the 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2012, http://www.s-cube-network.eu/pesos-2012)
  2011
      Program Committee Member of the “Model-based development, Components and Services” Track at the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2011
      Program Committee Member of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE 2011)
      Program Committee Member of the 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST), co-located with ICST 2011
      Program Committee Member of the 7th International Conference on the Quality of Software Architectures (QoSA 2011)
      Program Committee Member of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011
      Organising Committee Member (Publicity Chair) of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering WOSP/SIPEW 2011, March 2011, Karlsruhe
  2010
      Program Committee Member of the 2nd International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS) (co-located with the MoDELS Conference 2010), Osly, Norway
      Member of the Organising Committee of the “Modeling Wizards” 1st Intl. Master Class, Oslo, 2010
      Program Committee Member of the 6th International Conference on the Quality of Software Architectures (QoSA 2010)
      Program Committee Member of the 1st International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, COMPUTATION TOOLS 2010, November 21-26, 2010 – Lisbon, Portugal
      Publicity Chair and Program Committee Member of the “Model-based development, Components and Services” Track at the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), September 1 – 3, 2010 in Lille, France
      Program Committee Member of the 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services, June 2010, Amsterdam
      Co-Chair of the First International workshop on Validation and Verification of Dynamic Software Systems (ViDaS) co-located with ICST 2010
      Program Committee Member of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, will be held on 27-28th March 2010, Paphos, Cyprus
  2009
      Program Committee Member of the IADIS Applied Computing 2009 Conference, 19-21 November 2009, Roma, Italy
      Program Committee Member of the 1st International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS) (in conjunction with the 7th ESEC/FSE Joint meeting, Amsterdam, The Netherlands)
      Steering Committee Member of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems (MDD4DRES) – 20-24 April 2009, Aussois, France
      Program Committee Member of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 28th March 2009, York, UK
      Program Co-chair of the Special Session on “Model Driven Engineering” at the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), August 27-29, 2009, Patras, Greece
      Program Committee Member of the Special Session on “Service Oriented Architectures” at the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), August 27-29, 2009, Patras, Greece
      Program Committee Member of the 5th International Conference on the Quality of Software Architectures (QoSA 2009), June 22-26, 2009, East Stroudsberg University, Pennsylvania, USA
  2008
      Program Committee Member of the IADIS Applied Computing 2008 conference