Travelled to:2 × United Kingdom
Collaborated with:P.Schobbens H.Kugler D.Harel A.Pnueli Y.Lu P.Heymans J.Trigaux R.Matulevicius A.Claßen
Talks about:scenario (1) properti (1) sequenc (1) languag (1) diagram (1) complex (1) tempor (1) specif (1) formal (1) featur (1)
Person: Yves Bontemps
DBLP: Bontemps:Yves
Contributed to:
2008
2005
2005Wrote 3 papers:
- ATEM-J-2006-HeymansSTBMC #diagrams #feature model
- Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
- FoSSaCS-2005-BontempsS #complexity #sequence chart
- The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
- TACAS-2005-KuglerHPLB #logic #specification
- Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.