E-LIB Suche - Ergebnisse für: Lopez Pombo, Carlos Gustavo

1

SEArch: An Execution Infrastructure for Service-Based Softw..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Lopez Pombo, Carlos Gustavo ; Montepagano, Pablo ; Tuosto, Emilio - p. 314-330 , 2024

Link: https://doi.org/10.1007/..

2

Quality of Service Ranking by Quantifying Partial Complianc..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Martinez Suñé, Agustín Eloy ; Lopez Pombo, Carlos Gustavo - p. 181-189 , 2020

Link: https://doi.org/10.1007/..

3

Analysis of invariants for efficient bounded verification:

, In: Proceedings of the 19th international symposium on Software testing and analysis,

Galeotti, Juan Pablo ; Rosner, Nicolás ; López Pombo, Carlos Gustavo. - p. 25-36 , 2010

Link: https://dl.acm.org/doi/1..

4

Automated QoS-Aware Service Selection Based on Soft Constra..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Keis, Elias ; Pombo, Carlos Gustavo Lopez ; Suñé, Agustín Eloy Martinez. - p. 121-140 , 2023

Link: https://doi.org/10.1007/..

5

Quality of Service Ranking by Quantifying Partial Complianc..:

Martinez Suñé, Agustín, Eloy ; Lopez Pombo, Carlos, Gustavo
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50029-0_12. , 2020

Link: https://inria.hal.scienc..

6

Satisfiability Calculus: The Semantic Counterpart of a Proo..:

López Pombo, Carlos, Gustavo ; Castro, Pablo, F ; Aguirre, Nazareno, M.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-37635-1_12. , 2012

Link: https://inria.hal.scienc..

7

Fork algebras como herramienta de razonamiento entre especi..:

López Pombo, Carlos Gustavo
http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_4113_LopezPombo. , 2007

Link: http://digital.bl.fcen.u..

8

Fork algebras como herramienta de razonamiento entre especi..:

López Pombo, Carlos Gustavo
https://hdl.handle.net/20.500.12110/tesis_n4113_LopezPombo. , 2007

Link: https://hdl.handle.net/2..

9

Fork algebras como herramienta de razonamiento entre especi..:

López Pombo, Carlos Gustavo
https://hdl.handle.net/20.500.12110/tesis_n4113_LopezPombo. , 2007

Link: https://hdl.handle.net/2..

10

Fork algebras como herramienta de razonamiento entre especi..:

López Pombo, Carlos Gustavo
https://hdl.handle.net/20.500.12110/tesis_n4113_LopezPombo. , 2007

Link: https://hdl.handle.net/2..

11

HeteroGenius: a framework for hybrid analysis of heterogene..:

Gimenez, Manuel ; Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo.
info:eu-repo/semantics/altIdentifier/url/http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?LAFM2013.7. ,

Link: http://hdl.handle.net/11..

12

Categorical foundations for structured specifications in Z:

Castro, Pablo Francisco ; Aguirre, Nazareno Matias ; Lopez Pombo, Carlos Gustavo.
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00165-015-0336-0. ,

Link: http://hdl.handle.net/11..

13

Satisfiability Calculus: An Abstract Formulation of Semanti..:

Lopez Pombo, Carlos Gustavo ; Castro, Pablo ; Aguirre, Nazareno M.
info:eu-repo/semantics/altIdentifier/url/https://content.iospress.com/articles/fundamenta-informaticae/fi1804. ,

Link: http://hdl.handle.net/11..

14

TACO: efficient SAT-based bounded verification using symmet..:

Galeotti, Juan Pablo ; Rosner, Nicolas Leandro ; Lopez Pombo, Carlos Gustavo.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TSE.2013.15. ,

Link: http://hdl.handle.net/11..

15

Integrating deduction and model finding in a language indep..:

Pombo, Carlos Gustavo Lopez ; Suñé, Agustín Eloy Martinez
http://arxiv.org/abs/2206.07180. , 2022

Link: http://arxiv.org/abs/220..