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

Automated QoS-Aware Service Selection Based on Soft Constraints

Workshop on Algebraic Development Techniques - WADT 2022

Lugar: Aveiro; Año: 2022;

LOPEZ POMBO, CARLOS GUSTAVO; VISSANI, IGNACIO; DAVIDOVICH CABALLERO, EZEQUIEL

Automata for partial binding of services

Workshop on Algebraic Development Techniques - WADT 2018

Lugar: Egham; Año: 2018;

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

Efficient evaluation of quantitative non-functional Service Level Agreement

Workshop on Algebraic Development Techniques - WADT 2018

Lugar: Egham; Año: 2018;

VISSANI, IGNACIO; LOPEZ POMBO, CARLOS GUSTAVO

Semantics for non-incremental reconfigurations of Asynchronous Relational Networks

Workshop on Algebraic Development Techniques

Lugar: Gregynog, Wales; Año: 2016;

AGUSTÍN E. MARTINEZ SUÑÉ; LOPEZ POMBO, CARLOS GUSTAVO; FABIO GADDUCCI; MAIBAUM, THOMAS S. E.

About partiality in institutions (co-)morphisms

Worshop on Algebraic Development Techniques

Lugar: Gregynog; Año: 2016;

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

Towards a Formulation of the Modularization Theorem for Presentations in Default Logics

Workshop on Algebraic Development Techniques

Lugar: Gregynog, Wales; Año: 2016;

VISSANI, IGNACIO; LOPEZ POMBO, CARLOS GUSTAVO; TUOSTO, EMILIO

Communicating machines as a dynamic binding mechanism of services.

International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Lugar: Londres; Año: 2015;

VISSANI, IGNACIO; LOPEZ POMBO, CARLOS GUSTAVO; TUOSTO, EMILIO

Communicating machines as a dynamic binding mechanism of services

Programming Language Approaches to Communication- and Concurrency-Centric Systems (PLACES)

Lugar: Londres; Año: 2015;

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

A Full Operational Semantics of Asynchronous Relational Networks

Workshop on Algebraic Development Techniques

Lugar: Sinaia; Año: 2014;

LOPEZ POMBO, CARLOS GUSTAVO; CHOCRÓN, PAULA; VISSANI, IGNACIO; MAIBAUM, THOMAS S. E.

A canonical proof-theoretic approach to model theory

Worshop on Algebraic Development Techniques

Lugar: Sinaia; Año: 2014;

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

Entailment Systems for Default Reasoning

Worshop on Algebraic Development Techniques

Lugar: Salamanca; Año: 2012;

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

Worshop on Algebraic Development Techniques

Lugar: Salamanca; Año: 2012;

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

Categorical Characterization of Structure Building Operations

Worshop on Algebraic Development Techniques

Lugar: Salamanca; Año: 2012;

JUAN PABLO GALEOTTI; NICOLAS ROSNER; CARLOS G. LOPEZ POMBO; MARCELO F. FRIAS

TACO: Analysis of Invariants for Efficient Bounded Verification

ISSTA 2010 -- International Symposium on Software Testing and Analysis

Lugar: Trento, Italy; Año: 2010;

JUAN PABLO GALEOTTI; NICOLAS ROSNER; CARLOS G. LOPEZ POMBO; MARCELO F. FRIAS

Distributed SAT-Based Analysis of Object Oriented Code

Automatic Program Verification

Lugar: Río Cuarto, Argentina; Año: 2009;

MARIANO MOSCATO; CARLOS G. LOPEZ POMBO; MARCELO F. FRIAS

Lessons Learnt on the Verification of Models Using Dynamite

Automatic Program Verification

Lugar: Río Cuarto, Argentina; Año: 2009;

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

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

ACM SIGSOFT - First Alloy workshop

Lugar: Portland, Oregon, USA; Año: 2006;

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

DynAlloy: Upgrading Alloy with actions

8th. Conference on Relational Methods in Computer Science (RelMiCS) - 3nd. International Workshop on Applications of Kleene Algebra

Lugar: St. Catharine, Ontario, Canada; Año: 2005;

FRIAS, MARCELO FABIÁN; GALEOTTI, JUAN PABLO; LOPEZ POMBO, CARLOS GUSTAVO; ROMAN, MARIO

Fork Algebra as a Formalism to Reason Across Behavioral Specifications

8th. Conference on Relational Methods in Computer Science (RelMiCS) - 3nd. International Workshop on Applications of Kleene Algebra

Lugar: St. Catharine, Ontario, Canada; Año: 2005;

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

DynAlloy: upgrading Alloy with actions

ICSE 2005: 27th International Conference on Software Engineering

Lugar: St. Louis, Missouri, USA; Año: 2005;

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

Time is on my side

7th. Conference on Relational Methods in Computer Science (RelMiCS) - 2nd. International Workshop on Applications of Kleene Algebra

Lugar: Malente, Germany; Año: 2003;

FRIAS, MARCELO FABIÁN; BAUM, GABRIEL A.; LOPEZ POMBO, CARLOS GUSTAVO

A Comparisson of Ag with Alloy

6th. Conference on Relational Methods in Computer Science (RelMiCS) - TARSKI

Lugar: Oisterwijk, The Netherlands; Año: 2001;