BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support von Rosner, Nicolas, Geldenhuys, Jaco, Aguirre, Nazareno M., Visser, Willem, Frias, Marcelo F.

Volltext

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

Volltext

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

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

Volltext

Taking Alloy to the Movies von Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Tom

Volltext

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting von Castro, Pablo F., Aguirre, Nazareno M., López Pombo, Carlos Gustavo, Maibaum, Thomas S. E.

Volltext

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows von Regis, Germán, Ricci, Nicolás, Aguirre, Nazareno M., Maibaum, Tom

Volltext

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization von Acosta, Araceli, Kilmurray, Cecilia, Castro, Pablo F., Aguirre, Nazareno M.

Volltext

Reasoning about static and dynamic properties in alloy von Frias, Marcelo F, Pombo, Carlos G Lopez, Baum, Gabriel A, Aguirre, Nazareno M, Maibaum, Thomas S E

Volltext

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs von Aguirre, Nazareno M., Bengolea, Valeria S., Frias, Marcelo F., Galeotti, Juan P.

Volltext

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics von López Pombo, Carlos Gustavo, Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S. E.

Volltext

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy von Aguirre, Nazareno M., Frias, Marcelo F., Moscato, Mariano M., Maibaum, Thomas S. E., Wassyng, Alan

Volltext

Towards Abstraction for DynAlloy Specifications von Aguirre, Nazareno M., Frias, Marcelo F., Ponzio, Pablo, Cardiff, Brian J., Galeotti, Juan P., Regis, Germán

Volltext

Translating fork specifications into logic programs von Baum, Gabriel Alfredo, Nazareno Matías Aguirre, Arroyo, Marcelo

Volltext

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding von Cornejo, César, Novaira, María Marta, Permigiani, Sonia, Aguirre, Nazareno, Frias, Marcelo, Brida, Simón Gutiérrez, Regis, Germán

Volltext

Automated Workarounds from Java Program Specifications Based on SAT Solving von Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, Frias, Marcelo F.

Volltext

A Logical Basis for the Specification of Reconfigurable Component-Based Systems von Aguirre, Nazareno, Maibaum, Tom

Volltext

Towards Dynamically Communicating Abstract Machines in the B Method von Aguirre, Nazareno, Arroyo, Marcelo, Bicarregui, Juan, Guzmán, Lucio, Maibaum, Tom

Volltext

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications von Degiovanni, Renzo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo

Volltext

Towards Dynamic Population Management of Abstract Machines in the B Method von Aguirre, Nazareno, Bicarregui, Juan, Dimitrakos, Theo, Maibaum, Tom

Volltext