עקוב אחר
Alberto Lluch Lafuente
Alberto Lluch Lafuente
Technical University of Denmark
כתובת אימייל מאומתת בדומיין dtu.dk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Microservices: yesterday, today, and tomorrow‏
N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ...‏
Present and Ulterior Software Engineering, 195--216, 2017‏
18202017
Directed explicit model checking with HSF-SPIN‏
S Edelkamp, AL Lafuente, S Leue‏
International SPIN Workshop on Model Checking of Software, 57-79, 2001‏
2582001
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‏
2552004
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‏
127*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‏
1112012
SoK: lending pools in decentralized finance‏
M Bartoletti, JH Chiang, AL Lafuente‏
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021‏
972021
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‏
842015
A theory of automated market makers in DeFi‏
M Bartoletti, JH Chiang, A Lluch-Lafuente‏
Logical Methods in Computer Science 18, 2022‏
792022
Quantitative mu-calculus and CTL defined over constraint semirings‏
A Lluch-Lafuente, U Montanari‏
Theoretical computer science 346 (1), 135-160, 2005‏
79*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‏
78*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‏
722005
Protocol verification with heuristic search‏
S Edelkamp, AL Lafuente, S Leue‏
Bibliothek der Universität Konstanz, 2001‏
702001
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‏
592015
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‏
582009
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‏
542018
Cost-algebraic heuristic search‏
S Edelkamp, S Jabbar, A Lluch-Lafuente‏
AAAI 5, 1362-1367, 2005‏
502005
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‏
492015
Symmetry reduction and heuristic search for error detection in model checking‏
A Lluch Lafuente‏
Workshop on Model Checking and Artificial Intelligence, 2003‏
492003
Trail-directed model checking‏
S Edelkamp, A Lluch-Lafuente, S Leue‏
Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001‏
492001
A formalisation of adaptable pervasive flows‏
A Bucchiarone, A Lluch Lafuente, A Marconi, M Pistore‏
Web Services and Formal Methods, 61-75, 2010‏
482010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20