×

Lluch Lafuente, Alberto

Compute Distance To:
Author ID: lluch-lafuente.alberto Recent zbMATH articles by "Lluch Lafuente, Alberto"
Published as: Lluch Lafuente, Alberto; Lluch-Lafuente, Alberto; Lafuente, Alberto Lluch
External Links: ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 78 times in 65 Documents Cited by Year
Directed explicit model checking with HSF-SPIN. Zbl 0986.68521
Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan
23
2001
Partial order reduction in directed model checking. Zbl 1077.68693
Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan
10
2002
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065
Lluch-Lafuente, Alberto; Montanari, Ugo
8
2005
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349
Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
4
2015
Partial-order reduction for general state exploring algorithms. Zbl 1178.68336
Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto
4
2006
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
2008
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
4
2007
Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269
Lluch-Lafuente, Alberto; Montanari, Ugo
3
2005
Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057
Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto
3
2014
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
3
2017
Heuristic search for the analysis of graph transition systems. Zbl 1156.68576
Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto
2
2006
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
A coordination language for databases. Zbl 1398.68124
Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
1
2017
Hierarchical design rewriting with Maude. Zbl 1347.68072
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo
1
2009
Replicating data for better performances in X10. Zbl 1474.68039
Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto
1
2016
Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058
Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2021
Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058
Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2021
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
3
2017
A coordination language for databases. Zbl 1398.68124
Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
1
2017
Replicating data for better performances in X10. Zbl 1474.68039
Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto
1
2016
Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349
Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
4
2015
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057
Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto
3
2014
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Hierarchical design rewriting with Maude. Zbl 1347.68072
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo
1
2009
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
2008
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
4
2007
Partial-order reduction for general state exploring algorithms. Zbl 1178.68336
Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto
4
2006
Heuristic search for the analysis of graph transition systems. Zbl 1156.68576
Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto
2
2006
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065
Lluch-Lafuente, Alberto; Montanari, Ugo
8
2005
Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269
Lluch-Lafuente, Alberto; Montanari, Ugo
3
2005
Partial order reduction in directed model checking. Zbl 1077.68693
Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan
10
2002
Directed explicit model checking with HSF-SPIN. Zbl 0986.68521
Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan
23
2001
all top 5

Cited by 150 Authors

7 Lluch Lafuente, Alberto
4 Montanari, Ugo G.
4 Santone, Antonella
3 Brim, Luboš
3 Bruni, Roberto
3 Černá, Ivana
3 Gradara, Sara
3 Majumdar, Rupak
3 Pianini, Danilo
3 Villani, Maria Luisa
3 Viroli, Mirko
2 Alba, Enrique
2 Audrito, Giorgio
2 Baldan, Paolo
2 Barnat, Jiří
2 Beal, Jacob
2 Beneš, Nikola
2 Casadei, Roberto
2 Chicano, Francisco
2 Corradini, Andrea
2 Cruz-Filipe, Luís
2 Damiani, Ferruccio
2 Dimitrova, Rayna
2 Fava, Daniel Schnetzer
2 Ferrari, Gian Luigi
2 Larsen, Kim Guldstrand
2 Leuschel, Michael
2 Li, Yongming
2 Loreti, Michele
2 Montesi, Fabrizio
2 Pugliese, Rosario
2 Sochor, Jiri
2 Srba, Jiří
2 Steffen, Martin
2 Stolz, Volker
2 Tiezzi, Francesco
2 Valmari, Antti
2 Vandin, Andrea
2 Vařeková, Pavlina
2 Wehrle, Martin
2 Wijs, Anton J.
1 Aljazzar, Husain
1 Arbab, Farhad
1 Argyris, Georgios
1 Baranov, Eduard
1 Barbosa, Luís Soares
1 Bartocci, Ezio
1 Beggiato, Alessandro
1 Bendisposto, Jens
1 Bliudze, Simon
1 Bloem, Roderick
1 Bocchi, Laura
1 Bonet, Blai
1 Bortolussi, Luca
1 Bošnački, Dragan
1 Bracciali, Andrea
1 Buhnova, B.
1 Bui, Thang H.
1 Cao, Yongzhi
1 Chen, Xiaofang
1 Chou, Ching-Tsun
1 Ciancia, Vincenzo
1 Crafa, Silvia
1 Dashti, M. Torabi
1 de Alfaro, Luca
1 De Nicola, Rocco
1 Dobrikov, Ivaylo
1 Dwyer, Matthew B.
1 Edelkamp, Stefan
1 Ehrig, Hartmut
1 Faella, Marco
1 Fahrenberg, Uli
1 Fehnker, Ansgar
1 Feng, Cheng
1 Fraser, Gordon
1 Frazzoli, Emilio
1 Gadducci, Fabio
1 Galpin, Vashti
1 Gargantini, Angelo
1 Geldenhuys, Jaco
1 Gnad, Daniel
1 Gopalakrishnan, Ganesh Lalitha
1 Griesmayer, Andreas
1 Haslum, Patrik
1 Hatcliff, John
1 Helmert, Malte
1 Hennicker, Rolf
1 Henzinger, Thomas A.
1 Hickmott, Sarah L.
1 Hillston, Jane
1 Hoffmann, Jörg
1 Iosif, Radu
1 Jamroga, Wojciech
1 Jensen, Peter Gjøl
1 Jobstmann, Barbara
1 Juhl, Line
1 Klarl, Annabelle
1 König, Barbara
1 Konikowska, Beata
1 Krause, Christian
...and 50 more Authors

Citations by Year