Travelled to:1 × Belgium
1 × Estonia
1 × Germany
1 × Hungary
1 × Italy
1 × United Kingdom
Collaborated with:M.Corsini ∅ K.Musumbu B.L.Charlier
Talks about:constraint (4) calculus (2) abstract (2) boolean (2) analysi (2) symbol (2) solver (2) prolog (2) domain (2) toupi (2)
Person: Antoine Rauzy
DBLP: Rauzy:Antoine
Facilitated 3 volumes:
EdEdEdContributed to:
1996
1995
1994
19941993
19931992Wrote 7 papers:
- TACAS-1996-Rauzy #analysis #constraints #reduction #specification #using
- Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (AR), p. 417.
- CAV-1995-Rauzy #calculus #constraints #μ-calculus
- Toupie = μ-Calculus + Constraints (AR), pp. 114–126.
- ESOP-1994-CorsiniR #constraints #logic programming #model checking
- Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.
- ICLP-1994-Rauzy #design
- Notes on the Design of an Open Boolean Solver (AR), pp. 354–368.
- ICLP-1993-CorsiniR #analysis #fault #safety
- Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.
- PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving
- Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
- WSA-1992-CorsiniMR #calculus #finite #prolog #semantics #μ-calculus
- The μ-Calculus over Finite Domains as an Abstract Semantics of Prolog (MMC, KM, AR), pp. 51–59.