Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System von Alpuente, M., Ballis, D., Sapiña, J.

Volltext

Assertion-based analysis via slicing with ABETS (system description) von ALPUENTE, M., FRECHINA, F., SAPIÑA, J., BALLIS, D.

Volltext

An integrated framework for the diagnosis and correction of rule-based programs von Alpuente, M., Ballis, D., Correa, F., Falaschi, M.

Volltext

Static correction of Maude programs with assertions von Alpuente, M., Ballis, D., Sapiña, J.

Volltext

Optimization of rewrite theories by equational partial evaluation von Alpuente, M., Ballis, D., Escobar, S., Sapiña, J.

Volltext

Safety enforcement via programmable strategies in Maude von Alpuente, M., Ballis, D., Escobar, S., Galán, D., Sapiña, J.

Volltext

Exploring conditional rewriting logic computations von Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.

Volltext

Verdi: An Automated Tool for Web Sites Verification von Alpuente, M., Ballis, D., Falaschi, M.

Volltext

Assertion-based analysis via slicing with (system description) von ALPUENTE, M, FRECHINA, F, SAPIÑA, J, BALLIS, D

Volltext

Rule-based verification of Web sites von Alpuente, M., Ballis, D., Falaschi, M.

Volltext

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system von Alpuente Frasnedo, María, Ballis, D, Sapiña-Sanchis, Julia

Volltext bestellen

Optimization of Rewrite Theories by Equational Partial Evaluation von Alpuente Frasnedo, María, Ballis, D, Escobar Román, Santiago, Sapiña-Sanchis, Julia

Volltext bestellen

Static correction of Maude programs with assertions von Alpuente Frasnedo, María, Ballis, D, Sapiña-Sanchis, Julia

Volltext bestellen

Rule-based verification of Web sites : Leveraging formal methods von ALPUENTE, M, BALLIS, D, FALASCHI, M

Volltext

Carboxyhemoglobin and methemoglobin levels as prognostic markers in acute pulmonary embolism von Kakavas, Sotirios, MD, MSc, PhD, Papanikolaou, Aggeliki, MD, Ballis, Evangelos, MD, PhD, Tatsis, Nikolaos, MD, Goga, Christina, MD, Tatsis, Georgios, MD

Volltext

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents von Baggi, M., Ballis, D.

Volltext

Assertion-based Analysis via Slicing with ABETS (System Description) von Alpuente, M, Ballis, D, Frechina, F, Sapiña, J

Volltext bestellen

Re: Endogenous and exogenous factors affecting the levels of carboxyhemoglobin von Kakavas, Sotirios, MD, MSc, PhD, Papanikolaou, Aggeliki, MD, Ballis, Evangelos, MD, PhD, Tatsis, Nikolaos, MD, Goga, Christina, MD, Tatsis, Georgios, MD

Volltext

A Rule-based Method to Match Software Patterns Against UML Models von Ballis, D., Baruzzo, A., Comini, M.

Volltext

Correction of Functional Logic Programs von Alpuente, Maria, Ballis, Demis, Correa, Francisco J., Falaschi, Moreno

Volltext