Travelled to:
1 × Austria
1 × USA
1 × United Kingdom
2 × Sweden
Collaborated with:
U.Montanari R.Cleaveland P.Inverardi M.Pistore S.P.Iyer C.Priami B.Krishnamurthy
Talks about:
parametr (2) framework (1) approach (1) abstract (1) transit (1) process (1) practic (1) equival (1) bisimul (1) system (1)
Person: Daniel Yankelevich
DBLP: Yankelevich:Daniel
Contributed to:
Wrote 6 papers:
- ESOP-1996-MontanariPY #equivalence #performance
- Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.
- SAS-1995-CleavelandIY #abstraction #model checking
- Optimality in Abstractions of Model Checking (RC, SPI, DY), pp. 51–63.
- POPL-1994-CleavelandY #framework #process
- An Operational Framework for Value-Passing Processes (RC, DY), pp. 326–338.
- ICALP-1993-InverardiPY #bisimulation #parametricity
- Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.
- ICALP-1992-MontanariY #approach #parametricity
- A Parametric Approach to Localities (UM, DY), pp. 617–628.
- TAPSOFT-1993-InverardiKY #case study #formal method #named #using
- Yeast: A Case Study for a Practical Use of Formal Methods (PI, BK, DY), pp. 105–120.