| Microservices: yesterday, today, and tomorrow N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ... Present and Ulterior Software Engineering, 195--216, 2017 | 1727 | 2017 |
| Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001 | 258 | 2001 |
| Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5 (2-3), 247-267, 2004 | 255 | 2004 |
| Partial-order reduction and trail improvement in directed model checking S Edelkamp, S Leue, A Lluch-Lafuente International Journal on Software Tools for Technology Transfer 6, 277-301, 2004 | 126* | 2004 |
| A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Proceedings of the 15th International Conference on Fundamental Approaches …, 2012 | 111 | 2012 |
| SoK: lending pools in decentralized finance M Bartoletti, JH Chiang, AL Lafuente Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 86 | 2021 |
| The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015 | 79 | 2015 |
| Quantitative mu-calculus and CTL defined over constraint semirings A Lluch-Lafuente, U Montanari Theoretical computer science 346 (1), 135-160, 2005 | 77* | 2005 |
| Style based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European Association for Theoretical Computer Science (EATCS …, 2008 | 76* | 2008 |
| Using linear temporal model checking for goal-oriented policy refinement frameworks J Rubio-Loyola, J Serrat, M Charalambides, P Flegkas, G Pavlou, ... Policies for Distributed Systems and Networks, 2005. Sixth IEEE …, 2005 | 72 | 2005 |
| Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001 | 70 | 2001 |
| A theory of automated market makers in DeFi M Bartoletti, JH Chiang, A Lluch-Lafuente Logical Methods in Computer Science 18, 2022 | 65 | 2022 |
| Modelling and analyzing adaptive self-assembly strategies with Maude R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin Science of Computer Programming 99, 75-94, 2015 | 58 | 2015 |
| Partial-order reduction for general state exploring algorithms D Bošnački, S Leue, A Lluch Lafuente International Journal on Software Tools for Technology Transfer 11, 39-51, 2009 | 57 | 2009 |
| A framework for quantitative modeling and analysis of highly (re) configurable systems MH Ter Beek, A Legay, AL Lafuente, A Vandin IEEE Transactions on Software Engineering 46 (3), 321-345, 2018 | 50 | 2018 |
| Statistical analysis of probabilistic models of software product lines with quantitative constraints MH ter Beek, A Legay, AL Lafuente, A Vandin Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015 | 49 | 2015 |
| Symmetry reduction and heuristic search for error detection in model checking A Lluch Lafuente Workshop on Model Checking and Artificial Intelligence, 2003 | 49 | 2003 |
| Trail-directed model checking S Edelkamp, A Lluch-Lafuente, S Leue Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001 | 49 | 2001 |
| Graph-based design and analysis of dynamic software architectures R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 48 | 2008 |
| Cost-algebraic heuristic search S Edelkamp, S Jabbar, A Lluch-Lafuente AAAI 5, 1362-1367, 2005 | 48 | 2005 |
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of Denmark在 santannapisa.it 的电子邮件经过验证
