default search action

combined dblp search
author search
venue search
publication search

ask others

Carlos López Pombo

Carlos Gustavo López Pombo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PomboMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PomboMT24
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: An Execution Infrastructure for Service-Based Software Systems. COORDINATION 2024: 314-330
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PomboST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PomboST24
Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Emilio Tuosto:
Automated Static Analysis of Quality of Service Properties of Communicating Systems. FM (2) 2024: 84-103
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-19633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-19633
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: an execution infrastructure for service-based software systems. CoRR abs/2404.19633 (2024)
2023
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/PomboST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/PomboST23
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC 2023: 119-138
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01414
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR abs/2311.01414 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01415
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. CoRR abs/2311.01415 (2023)
2022
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/adt/KeisPSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/KeisPSK22
Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp:
Automated QoS-Aware Service Selection Based on Soft Constraints. WADT 2022: 121-140
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09877
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo:
Probabilistic Quality of Service aware Service Selection. CoRR abs/2205.09877 (2022)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-07180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-07180
Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé:
Integrating deduction and model finding in a language independent setting. CoRR abs/2206.07180 (2022)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08253
Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum:
A proof theoretic basis for relational semantics. CoRR abs/2107.08253 (2021)
2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SuneP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SuneP20
Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo:
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. COORDINATION 2020: 181-189
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-02720
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-02720
Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum:
On the construction of explosive relation algebras. CoRR abs/2009.02720 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PomboCAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PomboCAM19
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum:
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166(4): 297-347 (2019)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SuneP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SuneP19
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo:
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. COORDINATION 2019: 221-236
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MoscatoPMF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MoscatoPMF18
Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú:
Boosting the Reuse of Formal Specifications. ITP 2018: 477-494
2015
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CastroAPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CastroAPM15
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum:
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27(5-6): 831-865 (2015)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/CassanoPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/CassanoPM15
Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum:
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. TABLEAUX 2015: 6-21
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VissaniPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VissaniPT16
Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto:
Communicating machines as a dynamic binding mechanism of services. PLACES 2015: 85-98
2014
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MoscatoPF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MoscatoPF14
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias:
Dynamite: A tool for the verification of alloy models based on PVS. ACM Trans. Softw. Eng. Methodol. 23(2): 20:1-20:37 (2014)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/PomboCAM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/PomboCAM14
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC 2014: 314-332
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/VissaniPTF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/VissaniPTF14
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro:
A Full Operational Semantics for Asynchronous Relational Networks. WADT 2014: 131-150
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GaleottiRPF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GaleottiRPF13
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias:
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39(9): 1283-1307 (2013)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RosnerPAJMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RosnerPAJMF13
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias:
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE 2013: 88-107
[c15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GimenezMPF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GimenezMPF14
Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias:
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. LAFM 2013: 65-70
2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CastroAPM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CastroAPM12
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum:
A Categorical Approach to Structuring and Promoting Z Specifications. FACS 2012: 73-91
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/PomboCAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/PomboCAM12
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT 2012: 195-211
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RosnerGPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RosnerGPF10
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias:
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM 2010: 396-397
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MoscatoPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MoscatoPF10
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias:
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. ICTAC 2010: 275-289
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/PomboF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/PomboF10
Carlos Gustavo López Pombo, Marcelo Fabiùn Frias:
Complete Calculi for Structured Specifications in Fork Algebra. ICTAC 2010: 290-305
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CastroAPM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CastroAPM10
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum:
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC 2010: 306-321
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GaleottiRPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GaleottiRPF10
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias:
Analysis of invariants for efficient bounded verification. ISSTA 2010: 25-36

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FriasPGA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FriasPGA07
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre:
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17(1): 4:1-4:34 (2007)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FriasPM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FriasPM07
Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato:
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. TACAS 2007: 587-601
2006
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/FriasP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FriasP06
Marcelo F. Frias, Carlos López Pombo:
Interpretability of first-order linear temporal logics in fork algebras. J. Log. Algebraic Methods Program. 66(2): 161-184 (2006)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/PomboF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/PomboF06
Carlos López Pombo, Marcelo F. Frias:
Fork Algebras as a Sufficiently Rich Universal Institution. AMAST 2006: 235-247
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BenevidesDPLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenevidesDPLR08
Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. SBMF 2006: 133-149
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FriasPBAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FriasPBAM05
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum:
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FriasGPA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FriasGPA05
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre:
DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FriasPA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FriasPA04
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre:
An Equational Calculus for Alloy. ICFEM 2004: 162-175
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FriasPBAM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FriasPBAM03
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum:
Taking Alloy to the Movies. FME 2003: 678-697
2002
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrabermanPO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrabermanPO02
Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero:
On Improving Backwards Verification of Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 60-67

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.