Carlos Lpez Pombo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. | Carlos Lpez Pombo, Hernn C. Melgratti, Agustn E. Martinez Su, Diego Senarruzza Anabia, Emilio Tuosto |
| 2010 | ICTAC | Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. | Mariano M. Moscato, Carlos Lpez Pombo, Marcelo F. Frias |
| 2010 | ISSTA | Analysis of invariants for efficient bounded verification. | Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias |
| 2007 | TACAS | Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. | Marcelo F. Frias, Carlos Lpez Pombo, Mariano M. Moscato |
| 2005 | ICSE | DynAlloy: upgrading alloy with actions. | Marcelo F. Frias, Juan P. Galeotti, Carlos Lpez Pombo, Nazareno Aguirre |
| 2004 | ICFEM | An Equational Calculus for Alloy. | Marcelo F. Frias, Carlos Lpez Pombo, Nazareno Aguirre |
| 2003 | FM | Taking | Marcelo F. Frias, Carlos Lpez Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |