KEIS, ELIAS; LOPEZ POMBO, CARLOS GUSTAVO; MARTINEZ SUÑÉ, AGUSTÍN ELOY; KNAP, ALEXANDER

Automated QoS-Aware Service Selection Based on Soft Constraints

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2023 vol. TBD p. 1 - 1

MARTINEZ SUÑÉ, AGUSTÍN ELOY; LOPEZ POMBO, CARLOS GUSTAVO

Quality of Service Ranking by Quantifying Partial Compliance of Requirements

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2020 vol. 2134 p. 181 - 189

MARTINEZ SUÑÉ, AGUSTÍN ELOY; LOPEZ POMBO, CARLOS GUSTAVO

Automatic Quality-of-Service Evaluation in Service-Oriented Computing

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2019 vol. 1153 p. 221 - 236

LOPEZ POMBO, CARLOS GUSTAVO; CASTRO, PABLO; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S.E.

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

FUNDAMENTA INFORMATICAE; Lugar: Amsterdam; Año: 2019 vol. 166 p. 297 - 347

MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; MUÑOZ, CESAR; FELIÚ, MARCO ANTONIO

Boosting the Reuse of Formal Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2018

CASTRO, PABLO; AGUIRRE, NAZARENO M.; LOPEZ POMBO, CARLOS GUSTAVO; MAIBAUM, THOMAS S.E.

Categorical Foundations for Structured Specifications in Z

FORMAL ASPECTS OF COMPUTING; Lugar: Berlin; Año: 2015 vol. 25 p. 831 - 865

VISSANI, IGNACIO; LOPEZ POMBO, CARLOS GUSTAVO; TUTU, IONUT; FIADEIRO, JOSÉ LUIZ

A Full Operational Semantics for Asynchronous Relational Networks

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2015 vol. 9463 p. 131 - 150

CASSANO, VALENTÍN; LOPEZ POMBO, CARLOS GUSTAVO; MAIBAUM, THOMAS S. E.

Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2015 vol. 9323 p. 6 - 21

MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

Dynamite: A Tool for the Verification of Alloy Models Based on PVS

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2014 vol. 23 p. 1 - 37

LOPEZ POMBO, CARLOS GUSTAVO; CASTRO, PABLO; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S. E.

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2014 vol. 8687 p. 314 - 332

LOPEZ POMBO, CARLOS GUSTAVO; CASTRO, PABLO; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S.E.

Satisfiability Calculi: the semantic counterpart of a proof calculus in general logics

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2013 vol. 7841 p. 195 - 211

GIMENEZ, MANUEL; MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications

Electronic Proceedings in Theoretical Computer Science; Lugar: Ciudad Autónoma de Buenos Aires; Año: 2013 vol. 139 p. 65 - 70

GALEOTTI, JUAN PABLO; NICOLAS ROSNER; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 1283 - 1307

NICOLAS ROSNER; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO M.; JAOUA, ALI; MILI, ALI; FRIAS, MARCELO FABIÁN

Parallel Bounded Verification of Alloy Models by TranScoping

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2013

CASTRO, PABLO; AGUIRRE, NAZARENO M.; LOPEZ POMBO, CARLOS GUSTAVO; MAIBAUM, THOMAS S.E.

A Categorical Approach to Structuring and Promoting Z Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2012 vol. 7684

MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6255 p. 275 - 289

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

Complete Calculi for Structured Specifications in Fork Algebra

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6255 p. 290 - 305

CASTRO, PABLO; AGUIRRE, NAZARENO M.; LOPEZ POMBO, CARLOS GUSTAVO; MAIBAUM, THOMAS S.E.

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6255 p. 306 - 321

NICOLAS ROSNER; GALEOTTI, JUAN PABLO; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 5977 p. 396 - 397

MARIO BENEVIDES; CARLA DELGADO; CARLOS G. LOPEZ POMBO; LUIS LOPES; RICARDO RIBEIRO

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems

Electronic notes in theoretical computer science; Lugar: Amsterdam, The Netherlands; Año: 2008 vol. 195 p. 133 - 149

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; MOSCATO, MARIANO MIGUEL

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Germany; Año: 2007 vol. 4424 p. 587 - 601

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIÁN

Fork Algebras as a Sufficiently Rich Universal Institution

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Germany; Año: 2006 vol. 4019 p. 235 - 247

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; GALEOTTI, JUAN PABLO; AGUIRRE, NAZARENO M.

Efficient Analysis of DynAlloy Specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York; Año: 2006 vol. 17 p. 1 - 34

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO

Interpretability of First-Order Linear Temporal Logics in Fork Algebras

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING; Lugar: Amsterdam, The Netherlands; Año: 2006 vol. 66 p. 161 - 184

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; BAUM, GABRIEL A.; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S. E.

Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York; Año: 2005 vol. 14 p. 478 - 526

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO M.

An equational calculus for Alloy

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Germany; Año: 2004 vol. 3308 p. 162 - 175

FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; BAUM, GABRIEL A.; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S. E.

Taking Alloy to the movies

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Germany; Año: 2003 vol. 2805 p. 678 - 697

BRABERMAN, VICTOR; LOPEZ POMBO, CARLOS GUSTAVO; OLIVERO, ALFREDO

On Improving Backwards Verification for Timed Automata

Electronic notes in theoretical computer science; Año: 2002 vol. 65 p. 1 - 8