Carlos Puchol

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

Publications

Carlos Puchol, Subramanian K. Iyer
The MacBeth Specification, Modeling and Programming Language. IEEE Real Time Technology and Applications Symposium (2001)
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL (1998)
Carlos Puchol, Aloysius K. Mok
Integrated Design Tools for Hard Real-Time Systems. RTSS (1998)
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electron. Notes Theor. Comput. Sci. 14 (1998)
Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming
Specification-based testing of reactive software: A case study in technology transfer. J. Syst. Softw. 40 (3) (1998)
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS (1998)
Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok
An Operational Semantics and Compiler for Real-Time Specifications. Integr. Comput. Aided Eng. 5 (3) (1998)
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
Integrated web and telephone service creation. Bell Labs Tech. J. 2 (1) (1997)
Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). ICSE (1997)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. Formal Methods Syst. Des. 8 (2) (1996)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22 (6) (1996)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A formal approach to reactive systems software: a telecommunications application in ESTEREL. WIFT (1995)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. CAV (1995)
Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart
Compiling Modechart Specifications. RTSS (1995)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE (1995)
Carlos Puchol
Achieving High Performance sonar-based Wall-following. AIRTC (1994)