Carlos Puchol

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