Automated Behavioral Testing of Refactoring Engines von Soares, G., Gheyi, R., Massoni, T.

Volltext

Gender Differences in Commuting Injuries in Spain and Their Impact on Injury Prevention von Camino López, Miguel A., Fontaneda, Ignacio, González Alcántara, Oscar J.

Volltext

ZIKA: improved surveillance and forecast of Zika virus in Brazil von Kostkova, P, Pinheiro dos Santos, W, Massoni, T

Volltext

Preface to the special issue on Formal Methods: Foundations and Applications von Massoni, Tiago, Mousavi, Mohammad

Volltext

The Focal Press Companion to the Constructed Image in Contemporary Photography von Massoni, Anne Leighton, Shindelman, Marni

Volltext

TeSSLa: Temporal Stream-Based Specification Language von Convent, Lukas, Hungerecker, Sebastian, Leucker, Martin, Scheffel, Torben, Schmitz, Malte, Thoma, Daniel

Volltext

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings von Massoni, Tiago, Mousavi, Mohammad Reza

Volltext

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking von Timm, Nils, Gruner, Stefan, Harvey, Matthias

Volltext

Évêques et communautés religieuses dans la France médiévale

Volltext

Detection of early seeding of Richter transformation in chronic lymphocytic leukemia von Heyn, Holger

Volltext

Longitudinal trajectories of psychosocial functioning in patients with pre-existing mental disorders after one year of COVID-19 pandemic von Luciano, M., Carmassi, C., Sampogna, G., Bertelloni, C.A., Abbate-Daga, G., Albert, U., Castellini, G., Della Rocca, B., Fantasia, S., Menchetti, M., Pedrinelli, V., Pompili, M., Signorelli, M.S., Tosato, S., Massoni e Debora Andreoli, Leonardo, Clesi, Francesca Maria, Bastanzetti, Vittoria, Longo, Paola, Panero, Matteo, Burato, Sofia, D'Aietti, Alberto, Faldi, Marco, Marchesoni, Giorgia, Di Vincenzo, Matteo, Tretola, Lucia, Possidente, Chiara, Cosentini, Nicola, Berardelli, Isabella, Erbuto, Denise, Fiorillo, A.

Volltext

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Volltext

La vie communautaire et le service à la communauté von Campos, Maria Amélia, Carrero Santamaría, Eduardo, Coelho, Maria Helena da Cruz, Conesa Soriano, Julia, Cunha, Maria Cristina, Gomes, Saul António, Guijarro González, Susana, Kurdziel, Emilie, Massoni, Anne, Morujão, Maria do Rosário Barbosa, Pécout, Thierry, Tabbagh, Vincent

Volltext

Programming Language Foundations in Agda von Wadler, Philip

Volltext

Analysing RoboChart with Probabilities von Conserva Filho, M. S., Marinho, R., Mota, A., Woodcock, J.

Volltext

A Methodology for Protocol Verification Applied to EMV® 1 von Freitas, Leo, Modesti, Paolo, Emms, Martin

Volltext

Formal Modelling of Environment Restrictions from Natural-Language Requirements von Santos, Tainã, Carvalho, Gustavo, Sampaio, Augusto

Volltext

Formal Design of Cloud Computing Systems in Maude von Meseguer, José

Volltext

Timed Scenarios: Consistency, Equivalence and Optimization von Saeedloei, Neda, Kluźniak, Feliks

Volltext

Source Code Analysis with a Temporal Extension of First-Order Logic von Come, David, Brunel, Julien, Doose, David

Volltext