Filter Results:
- Full text PDF available (48)
Publication Year
1994
2019
- This year (6)
- Last 5 years (20)
- Last 10 years (44)
Publication Type
Co-author
Journals and Conferences
Learn More
- Luca de Alfaro, Thomas A. Henzinger
- ESEC / SIGSOFT FSE
- 2001
Conventional type systems specify interfaces in terms of values and domains. We present a light-weight formalism that captures the temporal aspects of software component interfaces. Specifically, we… (More)
- Andrea Bianco, Luca de Alfaro
- FSTTCS
- 1995
The temporal logics pCTL and pCTL* have been proposed as tools for the formal speci cation and veri cation of probabilistic systems: as they can express quantitative bounds on the probability of… (More)
- Luca de Alfaro
- 2006
Several models of probabilistic systems comprise both probabilistic and nondeterministic choice. In such models, the resolution of nondeterministic choices is mediated by the concept of policies… (More)
- Luca de Alfaro, Thomas A. Henzinger
- EMSOFT
- 2001
We classify component based models of computation into compo nent models and interface models A component model speci es for each com ponent how the component behaves in an arbitrary environment an… (More)
- B. Thomas Adler, Luca de Alfaro
- WWW
- 2007
We present a content-driven reputation system for Wikipedia authors. In our system, authors gain reputation when the edits they perform to Wikipedia articles are preserved by subsequent authors, and… (More)
Surveying results from [5] and [6], we motivate and introduce the theory behind formalizing rich interfaces for software and hardware components. Rich interfaces specify the protocol aspects of… (More)
- Luca de Alfaro
- CONCUR
- 1999
ygIjg;jIyP gI ¢¡B£y¢!X¤8c yg¥¦g¢;¢D§P¥¥; ̈@g£j¥Dyg ̈© g ̈ ¢d£ycg¦… (More)
- Luca de Alfaro, Rupak Majumdar
- STOC
- 2001
We consider two-player games played for an infinite number of rounds, with ω-regular winning conditions. The games may be concurrent, in that the players choose their moves simultaneously and… (More)
- Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman
- FOCS
- 1998
Wikipedia is an online encyclopedia which anyone can edit. While most edits are constructive, about 7% are acts of vandalism. Such behavior is characterized by modifications made in bad faith;… (More)