5 papers
Integrating deduction and model finding in a language independent setting
Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé
Software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cel phones, and even in more critical activities like aeronautics and health scienc…
Probabilistic Quality of Service aware Service Selection
Agustín E. Martinez Suñé, Carlos G. Lopez Pombo
In software-as-a-service paradigms software systems are no longer monolithic pieces of code executing within the boundaries of an organisation, on the contrary, they are conceived…
A proof theoretic basis for relational semantics
Carlos G. Lopez Pombo, Thomas S. E. Maibaum
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentat…
On the construction of explosive relation algebras
Carlos G. Lopez Pombo, Marcelo F. Frias, Thomas S. E. Maibaum
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Ha…
Communicating machines as a dynamic binding mechanism of services
Ignacio Vissani, Carlos Gustavo Lopez Pombo, Emilio Tuosto
Distributed software is becoming more and more dynamic to support applications able to respond and adapt to the changes of their execution environment. For instance, service-orient…