Concepedia

Carlos G. López Pombo

CG

8

Publications

339

Citations

8

H-Index

2005

Active since

Affiliations

Universidad de Buenos Aires(Current)

National University of Río Cuarto

Buenos Aires Institute of Technology

Consejo Nacional de Investigaciones Científicas y Técnicas

Carlos G. López Pombo is an author at Universidad de Buenos Aires specializing in formal verification, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceProgram AnalysisSoftware AnalysisFormal SpecificationVerificationSoftware Testing

Publications per year

2005–2014

8

Publications

8

DynAlloy

Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo et al. · 2005 · 100 citations

Engineering, Verification, Software Engineering +18

Analysis of invariants for efficient bounded verification

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · 2010 · 91 citations

Engineering, Verification, Computer-aided Verification +17

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · IEEE Transactions on Software Engineering · 2013 · 57 citations

Program Checking, Engineering, Verification +22

DynAlloy: upgrading alloy with actions

Marcelo F. Frias, J.R. Galeotti, Carlos G. López Pombo et al. · Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. · 2005 · 26 citations

Engineering, Verification, Software Engineering +26

Efficient Analysis of DynAlloy Specifications

Marcelo F. Frias, Carlos G. López Pombo, Juan Pablo Galeotti et al. · ACM Transactions on Software Engineering and Methodology · 2007 · 24 citations

Engineering, Geometry, Verification +21

Rows per page

1–5 of 8