Journal papers

• Cortellessa V., Iazeolla G., Mirandola R.,
  Early Performance Validation for Object-Oriented Systems based on OMT methodology,
  IEE-Proceedings on Software, vol.147 (2000), issue 3, pp.61-72, doi: 10.1049/ip-sen:20000755.
  (In DBLP with wrong DOI)
  
  

Conference and workshop papers

• Arcelli D., Cortellessa, V.
  Assisting software designers to identify and solve performance problems,
  Proc. of 1st International Workshop on Future of Software Architecture Design Assistants (FoSADA 2015), Montreal, Canada, May 2015.
  IEEE Digital Library link.
  
  
• Cortellessa, V., Potena, P.
  How can optimization models support the maintenance of component-based software,
  Proc. of 1st International Symposium on Search Based Software Engineering (SSBSE 2009), Windsor, UK, 2009.
  
  
• Autili M., Cortellessa V., Di Benedetto P., Inverardi P.
  On the adptation of context-aware services,
  Proc. of Service Oriented Computing: a look at the Inside (SOC@Inside), ICSOC, Sept. 17, 2007, Vienna (Austria).
  
  
• Grassi V., Cortellessa V.
  Embedding error propagation in reliability modeling of component-based software systems,
  Proc. of NetObjectDays 2005, September 19-22, 2005, Erfurt (Germany).
  
  
• Di Marco A., Cortellessa V.
  Towards uniform interchange formats for performance validation tools,
  Supplement Volume (Fast Abstracts) of Proc. of International Conference on Dependable Systems and Networks (DSN), June 28th - July 1, 2004, Florence (Italy).
  
  
• Elnaggar R. M., Cortellessa V., Ammar H.
  A UML Model for Performance Analysis of Slotted ALOHA in GSM Radio Networks,
  IEEE International Symposium on Signal Processing and Information Technology, December 28-30, 2001, Cairo, Egypt.
  
  
• Cortellessa V., Cukic B., Mili A., Shereshevsky M., Sandhu H., Del Gobbo D., Napolitano N.
  Certifying Adaptive Flight Control Software,
  ISACC2000, Reston, VA, September 24-26, 2000.
  
  
• Alexander C., Cortellessa V., Del Gobbo D., Mili A., Napolitano M.
  Modeling the Fault Tolerant Capability of a Flight Control System: An Exercise in SCR Specification,
  4th NASA Langley Formal Methods Workshop, Williamsburgh, VA, June 13-15, 2000.
  
  
• Cortellessa V., Quaglia F.
  An Analysis of the Efficiency of Optimistically Synchronized Parallel Simulators,
  1st Conference on Simulation Modeling and Applications, Orlando, FL, November 1-3, 1998.
  
  
• Quaglia F., Cortellessa V.
  Rollback-based Parallel Discrete Event Simulations by Using Hybrid State Saving,
  9th European Simulation Symposium, Passau (Germany), October 19-22, 1997.