


Остановите войну!
for scientists:


default search action
Michele Loreti
Person information

- affiliation: University of Camerino, Italy
- affiliation (former): University of Florence, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
- [j34]Valentina Castiglioni, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19(3) (2023) - [j33]Michele Loreti, Michela Quadrini:
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19(3) (2023) - 2022
- [j32]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - 2021
- [j31]Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33(3): 457-458 (2021) - [j30]Rocco De Nicola
, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021) - 2020
- [j29]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020) - [j28]Valentina Castiglioni
, Michele Loreti, Simone Tini
:
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813: 20-69 (2020) - [j27]Luca Bortolussi
, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - 2019
- [j26]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019) - [j25]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi, Jane Hillston
, Glenn Marion
:
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 20:1-20:24 (2019) - [j24]Michele Loreti
:
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". ACM Trans. Model. Comput. Simul. 29(4): 23:1-23:2 (2019) - 2018
- [j23]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia, Michele Loreti, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j22]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [j21]Maurice H. ter Beek
, Michele Loreti
:
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2): 8:1-8:4 (2018) - [j20]Michele Loreti
:
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools". ACM Trans. Model. Comput. Simul. 28(2): 12:1-12:3 (2018) - 2017
- [j19]Alberto Lluch-Lafuente
, Michele Loreti
, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - 2016
- [j18]Vincenzo Ciancia, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [j17]Francesco Chiti, Romano Fantacci, Michele Loreti
, Rosario Pugliese
:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - 2015
- [j16]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j15]Marco Bernardo, Daniel Gebler, Michele Loreti
:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84(6): 731 (2015) - [j14]Michele Boreale
, Roberto Bruni, Rocco De Nicola
, Michele Loreti
:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [j13]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - 2014
- [j12]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j11]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014) - [j10]Rocco De Nicola
, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [j9]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - 2013
- [j8]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j7]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - 2008
- [j6]Rocco De Nicola
, Michele Loreti
:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Math. Struct. Comput. Sci. 18(1): 107-143 (2008) - [j5]Francesco Calzolai, Rocco De Nicola
, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets Other Model. Concurr. 1: 54-70 (2008) - 2007
- [j4]Rocco De Nicola
, Joost-Pieter Katoen
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - 2006
- [j3]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Comput. Pract. Exp. 7(4) (2006) - 2004
- [j2]Lorenzo Bettini
, Rocco De Nicola
, Michele Loreti
:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004) - [j1]Rocco De Nicola
, Michele Loreti
:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
Conference and Workshop Papers
- 2023
- [c84]Valentina Castiglioni
, Michele Loreti
, Simone Tini
:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132 - [c83]Matteo Belenchia
, Flavio Corradini
, Michela Quadrini
, Michele Loreti
:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. FORTE 2023: 37-54 - 2022
- [c82]Nicola Del Giudice
, Michele Loreti:
YODA: Yet anOther agent Description lAnguage. ACSOS-C 2022: 82-87 - [c81]Nicola Del Giudice
, Lorenzo Matteucci
, Michela Quadrini
, Aniqa Rehman
, Michele Loreti
:
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION 2022: 92-98 - [c80]Michele Loreti
, Aniqa Rehman
:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST 2022: 133-149 - 2021
- [c79]Valentina Castiglioni
, Michele Loreti
, Simone Tini
:
How Adaptive and Reliable is Your Program? FORTE 2021: 60-79 - [c78]Ennio Visconti, Ezio Bartocci
, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - 2020
- [c77]Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) 2020: 380-396 - [c76]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - 2019
- [c74]Rocco De Nicola
, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128 - [c73]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns
, Radu Calinescu, Schahram Dustdar
, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu
, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos
, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c72]Christos Tsigkanos
, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar
, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - 2018
- [c71]Yehia Abd Alrahman
, Rocco De Nicola
, Giulio Garbi
, Michele Loreti
:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c70]Vashti Galpin
, Anastasis Georgoulas
, Michele Loreti, Andrea Vandin
:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409 - 2017
- [c69]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c68]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti
, Laura Nenzi
:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c67]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi
, Jane Hillston, Glenn Marion
:
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST 2017: 317-332 - [c66]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c65]Ludovica Luisa Vissat, Jane Hillston, Michele Loreti
, Laura Nenzi
:
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS 2017: 225-226 - 2016
- [c64]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c63]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [c62]Jane Hillston, Michele Loreti
:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c61]Michele Loreti
, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c60]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c59]Laura Nenzi
, Luca Bortolussi
, Michele Loreti
:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - 2015
- [c58]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c57]Diego Latella
, Michele Loreti
, Mieke Massink
:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c56]Alberto Lluch-Lafuente
, Michele Loreti
, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c55]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c54]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia
, Michele Loreti
, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c53]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c52]Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti
:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860 - [c51]Vincenzo Ciancia
, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c50]Luca Bortolussi
, Rocco De Nicola
, Vashti Galpin
, Stephen Gilmore, Jane Hillston, Diego Latella
, Michele Loreti
, Mieke Massink
:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c49]Pierluigi Crescenzi
, Michele Loreti
:
Preface. ICTCS 2015: 1-2 - 2014
- [c48]Jane Hillston, Michele Loreti
:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c47]Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c46]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c45]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c44]Vincenzo Ciancia
, Stephen Gilmore, Diego Latella
, Michele Loreti
, Mieke Massink
:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [c43]Diego Latella
, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c42]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - 2013
- [c41]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [c40]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c39]Marco Bernardo, Rocco De Nicola
, Michele Loreti
:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - 2012
- [c38]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - [c37]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari
, Marco Dorigo
:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c36]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [c35]Rocco De Nicola
, Gian-Luigi Ferrari
, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c34]Liliana D'Errico, Michele Loreti
:
Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159 - [c33]Marco Bernardo, Rocco De Nicola
, Michele Loreti
:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - 2010
- [c32]Francesco Calzolai, Michele Loreti
:
Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136 - [c31]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56 - [c30]Liliana D'Errico, Michele Loreti
:
Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236 - 2009
- [c29]Liliana D'Errico, Michele Loreti
:
Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305 - [c28]Liliana D'Errico, Michele Loreti:
A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141 - [c27]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c26]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [c25]Lorenzo Bettini
, Rocco De Nicola
, Michele Loreti
:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32 - [c24]Michele Boreale
, Roberto Bruni
, Rocco De Nicola
, Michele Loreti
:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c23]Mieke Massink
, Diego Latella
, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti:
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180 - [c22]Mario Bravetti, Diego Latella
, Michele Loreti
, Mieke Massink
, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c21]Roberto Bruni
, Rocco De Nicola
, Michele Loreti
, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - [c20]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26 - 2007
- [c19]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-Based EAP Method. ICETE (Selected Papers) 2007: 343-355 - [c18]Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105 - [c17]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16 - 2006
- [c16]Pilu Crescenzi
, Michele Loreti
, Rosario Pugliese
:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - [c15]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola
, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [c14]Lorenzo Bettini
, Rocco De Nicola
, Daniele Falassi, Michele Loreti
:
Implementing a Distributed Mobile Calculus Using the IMC Framework. CoOrg/MTCoord@COORDINATION 2006: 63-79 - [c13]Rocco De Nicola
, Michele Loreti
:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. LMCS 2006: 133-146 - 2005
- [c12]Lorenzo Bettini, Rocco De Nicola
, Daniele Falassi, Marc Lacoste, Michele Loreti:
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193 - 2004
- [c11]Rocco De Nicola
, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119 - [c10]Lorenzo Bettini
, Pilu Crescenzi
, Gaia Innocenti
, Michele Loreti
, Leonardo Cecchi:
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. ICALT 2004 - 2003
- [c9]Lorenzo Bettini, Viviana Bono, Rocco De Nicola
, Gian-Luigi Ferrari
, Daniele Gorla
, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - 2002
- [c8]Lorenzo Bettini, Rocco De Nicola
, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87 - [c7]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36 - [c6]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c5]Luís Andrade