BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Puchol:Carlos

Contributed to:

ICSE 19971997
CAV 19951995
ICSE 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.