by Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea
Published in IEEE transactions on software engineering (01.03.2020)

by Lafuente, Alberto Lluch, Proenca, Jose
Year of Publication 2016

by Argyris, Georgios A, Lluch Lafuente, Alberto, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea
Published in BMC bioinformatics (23.05.2023)

by Lluch Lafuente, Alberto, Mavridou, Anastasia
Year of Publication 2021

by Vandin, Andrea, ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto
Published in Formal Methods (2018)

by ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea
Published in Electronic proceedings in theoretical computer science (12.04.2015)

by Konsta, Alyzia-Maria, Lluch Lafuente, Alberto, Spiga, Beatrice, Dragoni, Nicola
Published in Computers & security (01.02.2024)

by Lluch Lafuente, Alberto, Mavridou, Anastasia
Published in International journal on software tools for technology transfer (01.12.2022)

by ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea
Published in Computers & security (01.10.2021)

by Konsta, Alyzia Maria, Lafuente, Alberto Lluch, Dragoni, Nicola
Published in IEEE access (2023)

by Baldan, Paolo, Lluch Lafuente, Alberto
Published in Science of computer programming (15.12.2018)

by Argyris, Georgios, Lafuente, Alberto Lluch, Robayo, Alexander Leguizamon, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)

by Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Lluch Lafuente, Alberto, Vandin, Andrea
Published in Science of computer programming (01.03.2015)

by Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari
Published in Logical methods in computer science (01.01.2017)

by Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto
Published in Logical methods in computer science (01.01.2022)

by Dragoni, Nicola, Giallorenzo, Saverio, Lafuente, Alberto Lluch, Mazzara, Manuel, Montesi, Fabrizio, Mustafin, Ruslan, Safina, Larisa
Published in Present and Ulterior Software Engineering (2017)

by ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016)

by Bruni, Roberto, Lluch Lafuente, Alberto, Montanari, Ugo
Published in Science of computer programming (01.01.2015)

by ter Beek, Maurice H., Lluch Lafuente, Alberto
Published in Journal of logical and algebraic methods in programming (01.02.2017)

by Carbone, Marco, Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana
Published in Science of computer programming (01.10.2015)