Travelled to:1 × Belgium
2 × USA
Collaborated with:L.J.Jagadeesan J.V.Olnhausen A.A.Porter J.C.Ramming L.G.Votta M.A.Ardis J.A.Chaves P.Mataga M.G.Staskauskas
Talks about:softwar (2) reactiv (2) specif (2) experi (2) telecommun (1) framework (1) properti (1) program (1) esterel (1) system (1)
Person: Carlos Puchol
DBLP: Puchol:Carlos
Contributed to:
1997
19951995Wrote 3 papers:
- ICSE-1997-JagadeesanPPRV #testing #tool support
- Specification-based Testing of Reactive Software: Tools and Experiments (LJJ, AAP, CP, JCR, LGV), pp. 525–535.
- CAV-1995-JagadeesanPO #safety #source code #verification
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.
- ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification
- A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.