Theo dõi
Alberto Lluch Lafuente
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Microservices: yesterday, today, and tomorrow
N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ...
Present and Ulterior Software Engineering, 195--216, 2017
18972017
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
2632004
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2592001
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
1142012
SoK: lending pools in decentralized finance
M Bartoletti, JH Chiang, AL Lafuente
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
982021
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
852015
A theory of automated market makers in DeFi
M Bartoletti, JH Chiang, A Lluch-Lafuente
Logical Methods in Computer Science 18, 2022
812022
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
Quantitative mu-calculus and CTL defined over constraint semirings
A Lluch-Lafuente, U Montanari
Theoretical computer science 346 (1), 135-160, 2005
76*2005
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
712001
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
592018
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 (1), 39-51, 2009
572009
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
522015
Maximizing extractable value from automated market makers
M Bartoletti, JH Chiang, A Lluch Lafuente
International Conference on Financial Cryptography and Data Security, 3-19, 2022
512022
Cost-algebraic heuristic search
S Edelkamp, S Jabbar, A Lluch-Lafuente
AAAI 5, 1362-1367, 2005
502005
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
492008
Symmetry reduction and heuristic search for error detection in model checking
A Lluch Lafuente
Workshop on Model Checking and Artificial Intelligence, 2003
492003
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20