A Study of the Electrum and DynAlloy Dynamic Behavior Notations von Cornejo, Cesar, Regis, German E., Aguirre, Nazareno, Frias, Marcelo F.

Volltext

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

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

Automated workarounds from Java program specifications based on SAT solving von Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, Frias, Marcelo F.

Volltext

TacoFlow: optimizing SAT program verification using dataflow analysis von Cuervo Parrino, Bruno, Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo 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

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

Volltext

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

Volltext

An evolutionary approach to translating operational specifications into declarative specifications von Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, Frias, Marcelo F.

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

On Faults and Faulty Programs von Mili, Ali, Frias, Marcelo F., Jaoua, Ali

Volltext

Interpretability of first-order dynamic logic in a relational calculus von FRIAS, Marcelo F, BAUM, Gabriel A, MAIBAUM, Thomas S. E

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

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

Volltext

Completeness of a relational calculus for program schemes von FRIAS, Marcelo F, MADDUX, Roger D

Volltext

Inference engine based on closure and join operators over Truth Table Binary Relations von Elloumi, Samir, Boulifa, Bilel, Jaoua, Ali, Saleh, Mohammad, Al Otaibi, Jameela, Frias, Marcelo F.

Volltext

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

Volltext

Model Counting for Complex Data Structures von Filieri, Antonio, Frias, Marcelo F., Păsăreanu, Corina S., Visser, Willem

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

Relational Mathematics for Relative Correctness von Desharnais, Jules, Diallo, Nafi, Ghardallou, Wided, Frias, Marcelo F., Jaoua, Ali, Mili, Ali

Volltext