Achieving High Performance sonar-based Wall-following. - Carlos Puchol (AIRTC, 1994)

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (CAV, 1995)

Compiling Modechart Specifications. - Carlos Puchol; Aloysius K. Mok; Douglas A. Stuart (RTSS, 1995)

A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (Formal Methods Syst. Des., 1996)

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (IEEE Trans. Software Eng., 1996)

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). - Lalita Jategaonkar Jagadeesan; Adam A. Porter; Carlos Puchol; J. Christopher Ramming; Lawrence G. Votta (ICSE, 1997)

Integrated web and telephone service creation. - David L. Atkins; Thomas Ball 001; Thomas R. Baran; Michael Benedikt; Kenneth C. Cox; David A. Ladd; Peter A. Mataga; Carlos Puchol; J. Christopher Ramming; Kenneth Rehor; Curtis Tuckey (Bell Labs Tech. J., 1997)

The Semantics of Triveni: A Process-Algebraic API for Threads + Events. - Christopher Colby; Lalita Jategaonkar; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. - Christopher Colby; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (COOTS, 1998)

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. - Christopher Colby; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (ICCL, 1998)

Integrated Design Tools for Hard Real-Time Systems. - Carlos Puchol; Aloysius K. Mok (RTSS, 1998)

An Operational Semantics and Compiler for Real-Time Specifications. - Carlos Puchol; Douglas A. Stuart; Aloysius K. Mok (Integr. Comput. Aided Eng., 1998)

Specification-based testing of reactive software: A case study in technology transfer. - Lalita Jategaonkar Jagadeesan; Lawrence G. Votta; Adam A. Porter; Carlos Puchol; J. Christopher Ramming (J. Syst. Softw., 1998)

The MacBeth Specification, Modeling and Programming Language. - Carlos Puchol; Subramanian K. Iyer (IEEE Real Time Technology and Applications Symposium, 2001)