Carlos Puchol

According to our database, Carlos Puchol authored at least 14 papers between 1994 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2001

The MacBeth Specification, Modeling and Programming Language.

Carlos Puchol, Subramanian K. Iyer

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

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

An Operational Semantics and Compiler for Real-Time Specifications.

Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok

Integr. Comput. Aided Eng., 1998

Integrated Design Tools for Hard Real-Time Systems.

Carlos Puchol, Aloysius K. Mok

Proceedings of the 19th IEEE Real-Time Systems Symposium, 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

Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Integrated web and telephone service creation.

David L. Atkins, Thomas Ball, 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

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

Proceedings of the Pulling Together, 1997

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

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

1995

Compiling Modechart Specifications.

Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Proceedings of the Computer Aided Verification, 1995

1994

Achieving High Performance sonar-based Wall-following.

Carlos Puchol

Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994