Luca de Alfaro
Luca de Alfaro
Professor, UC Santa Cruz
Email verificata su alumni.stanford.edu - Home page
Titolo
Citata da
Citata da
Anno
Interface automata
L De Alfaro, TA Henzinger
ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001
16582001
Model checking of probabilistic and nondeterministic systems
A Bianco, L De Alfaro
International Conference on Foundations of Software Technology andá…, 1995
7771995
A content-driven reputation system for the Wikipedia
BT Adler, L De Alfaro
Proceedings of the 16th international conference on World Wide Web, 261-270, 2007
6192007
Formal verification of probabilistic systems
L De Alfaro
stanford university, 1998
5101998
Interface theories for component-based design
L De Alfaro, TA Henzinger
International Workshop on Embedded Software, 148-165, 2001
5032001
Interface-based design
L De Alfaro, TA Henzinger
Engineering theories of software intensive systems, 83-104, 2005
3062005
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 117-133, 2003
2802003
Step: the stanford temporal prover
Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994
2691994
Assigning trust to Wikipedia content
BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-12, 2008
2642008
Some like it hoax: Automated fake news detection in social networks
E Tacchini, G Ballarin, ML Della Vedova, S Moret, L de Alfaro
arXiv preprint arXiv:1704.07506, 2017
2602017
Concurrent reachability games
L De Alfaro, TA Henzinger, O Kupferman
Theoretical Computer Science 386 (3), 188-217, 2007
2452007
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 108-122, 2002
2422002
Discounting the future in systems theory
L De Alfaro, TA Henzinger, R Majumdar
International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003
1842003
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features
BT Adler, L De Alfaro, SM Mola-Velasco, P Rosso, AG West
International Conference on Intelligent Text Processing and Computationalá…, 2011
1832011
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
International Conference on Tools and Algorithms for the Construction andá…, 2000
1712000
Concurrent omega-regular games
L de Alfaro, TA Henzinger
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Scienceá…, 2000
1682000
The element of surprise in timed games
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
International Conference on Concurrency Theory, 144-158, 2003
1662003
Measuring author contributions to the Wikipedia
BT Adler, L De Alfaro, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-10, 2008
1652008
Quantitative solution of omega-regular games
L de Alfaro, R Majumdar
Journal of Computer and System Sciences 68 (2), 374-397, 2004
1622004
Convertibility verification and converter synthesis: Two faces of the same coin
R Passerone, L De Alfaro, TA Henzinger, AL Sangiovanni-Vincentelli
Proceedings of the 2002 IEEE/ACM international conference on Computer-aidedá…, 2002
1542002
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20