Paul Caspi

发表

Stavros Tripakis, Christos Sofronis, Norman Scaife, 2004, EMSOFT '04.
Marc Pouzet, Paul Caspi, Marc Pouzet, 1996, ICFP '96.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2003, FMCO.
Paul Caspi, Oded Maler, O. Maler, 2005, Handbook of Networked and Embedded Control Systems.
Albert Benveniste, Paul Caspi, 2002, EMSOFT.
Paul Caspi, Chiheb Kossentini, 2006, HSCC.
Nicolas Halbwachs, Paul Caspi, 1982, ICPP.
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Paul Caspi, Marc Pouzet. Lucid Synchrone, 1995 .
Paul Caspi, Jan Mikác, 2009, International Journal on Software Tools for Technology Transfer.
Paul Caspi, Alain Girault, 1995, Euro-Par.
Paul Caspi, Eugene Asarin, Oded Maler, 1998 .
Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007, EMSOFT '07.
Nicolas Halbwachs, Paul Caspi, John Plaice, 1987 .
Stephen A. Edwards, Nicolas Halbwachs, Robert de Simone, 2003, Proc. IEEE.
Paul Caspi, Daniel Weber, Christine Mazuet, 1999, SAFECOMP.
Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot, 2001, SAFECOMP.
Alberto Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007 .
Albert Benveniste, Stavros Tripakis, Paul Caspi, 2009, HSCC.
Pascal Raymond, Paul Caspi, Daniel Pilaud, 1991, Proc. IEEE.
Paul Caspi, Alain Girault, 1992, PARLE.
Nicolas Halbwachs, Albert Benveniste, Paul Caspi, 1993, REX School/Symposium.
Paul Caspi, Alain Girault, Daniel Pilaud, 1999, IEEE Trans. Software Eng..
Albert Benveniste, Paul Caspi, Anne Bouillard, 2010, EMSOFT '10.
Norman Scaife, Paul Caspi, P. Caspi, 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..
Paul Caspi, Jean-Luc Voirin, Michel Riffiod, 2007, DATE '07.
Paul Caspi, 1992, Theor. Comput. Sci..
Pascal Raymond, Stavros Tripakis, Paul Caspi, 2007, Handbook of Real-Time and Embedded Systems.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2006, EMSOFT '06.
Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.
Nicolas Halbwachs, Paul Caspi, J. L. Bergerand, 1986 .
Stephen A. Edwards, Nicolas Halbwachs, Paul Caspi, 1997 .
Pascal Raymond, Paul Caspi, Alain Girault, 2009, 2009 International Conference on Embedded Software and Systems.
Paul Caspi, David Jeff Jackson, P. Caspi, 2005, SIGBED.
Albert Benveniste, Stavros Tripakis, Paul Caspi, 2002, EMSOFT.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2008, TECS.
Nicolas Halbwachs, Paul Caspi, 1982, ICDCS.
Paul Caspi, Chiheb Kossentini, 2004, FORMATS/FTRTFT.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2003, EMSOFT.
Stavros Tripakis, Christos Sofronis, Norman Scaife, 2008, TECS.
Stavros Tripakis, Christos Sofronis, Paul Caspi, 2003, LCTES '03.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2004, EMSOFT '04.
Nicolas Halbwachs, John Plaice, Paul Caspi, 1987, POPL '87.
Marc Pouzet, Paul Caspi, Grégoire Hamon, 2010 .
Paul Caspi, Eugene Asarin, Oded Maler, 2002, JACM.
Marc Pouzet, Paul Caspi, Marc Pouzet, 1998, CMCS.
Paul Caspi, Alain Girault, Jean-Claude Fernandez, 1995, FSTTCS.
Paul Caspi, Eugene Asarin, Oded Maler, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Albert Benveniste, Paul Caspi, 2008, 2008 47th IEEE Conference on Decision and Control.
Paul Caspi, David Jeff Jackson, D. J. Jackson, 2005, SIGBED.
Cécile Canovas, Paul Caspi, P. Caspi, 2000, LPAR.
Stavros Tripakis, Christos Sofronis, Paul Caspi, 2003, TECS.
Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2008, IEEE Transactions on Computers.
Benoît Caillaud, Paul Caspi, Claude Jard, 1997 .
Stavros Tripakis, Christos Sofronis, Paul Caspi, 2003, EMSOFT.
Nicolas Halbwachs, Paul Caspi, Daniel Pilaud, 1985, RTSS.
John Plaice, William W. Wadge, Paul Caspi, 2012 .