TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds von Galeotti, J. P., Rosner, N., Lopez Pombo, Carlos G., Frias, M. F.

Volltext

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications von Giménez, Manuel, Moscato, Mariano M., Lopez Pombo, Carlos G., Frias, Marcelo F.

Volltext

Efficient Analysis of DynAlloy Specifications von Frias, Marcelo F., Lopez Pombo, Carlos G., Galeotti, Juan P., Aguirre, Nazareno M.

Volltext

Dynamite: A tool for the verification of alloy models based on PVS von Moscato, Mariano M., Pombo, Carlos G. Lopez, Frias, Marcelo F.

Volltext

Boosting the Reuse of Formal Specifications von Moscato, Mariano M., Lopez Pombo, Carlos G., Muñoz, César A., Feliú, Marco A.

Volltext

Fork Algebras as a Sufficiently Rich Universal Institution von Pombo, Carlos G. Lopez, Frias, Marcelo F.

Volltext

A Dynamic Temporal Logic for Quality of Service in Choreographic Models von Pombo, Carlos G. Lopez, Suñé, Agustín E. Martinez, Tuosto, Emilio

Volltext

An Equational Calculus for Alloy von Frias, Marcelo F., Pombo, Carlos G. López, Aguirre, Nazareno M.

Volltext

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications von Frias, Marcelo F., Pombo, Carlos G. Lopez, Moscato, Mariano M.

Volltext

Automatic Quality-of-Service Evaluation in Service-Oriented Computing von Martinez Suñé, Agustín E., Lopez Pombo, Carlos G.

Volltext

SEArch: an execution infrastructure for service-based software systems von Pombo, Carlos G. Lopez, Montepagano, Pablo, Tuosto, Emilio

Volltext bestellen

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications von Giménez, Manuel, Moscato, Mariano M, Lopez Pombo, Carlos G, Frias, Marcelo F

Volltext

A Dynamic Temporal Logic for Quality of Service in Choreographic Models von Pombo, Carlos G. Lopez, Suñé, Agustín E. Martinez, Tuosto, Emilio

Volltext bestellen

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems von Pombo, Carlos G. Lopez, Suñé, Agustín E. Martinez, Tuosto, Emilio

Volltext bestellen

Probabilistic Quality of Service aware Service Selection von Suñé, Agustín E. Martinez, Pombo, Carlos G. Lopez

Volltext bestellen

Reasoning about static and dynamic properties in alloy: A purely relational approach von Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Thomas S. E.

Volltext

A proof theoretic basis for relational semantics von Pombo, Carlos G. Lopez, Maibaum, Thomas S. E

Volltext bestellen

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems von Lopez Pombo, Carlos G, Martinez Suñé, Agustín E, Tuosto, Emilio

Volltext

SEArch: an execution infrastructure for service-based software systems von Lopez Pombo, Carlos G, Montepagano, Pablo, Tuosto, Emilio

Volltext

A Dynamic Temporal Logic for Quality of Service in Choreographic Models von Lopez Pombo, Carlos G, Martinez Suñé, Agustín E, Tuosto, Emilio

Volltext