The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Caspi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Norman Scaife, Paul Caspi
    Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2004, pp:119-126 [Conf]
  2. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:220-229 [Conf]
  3. Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:35-50 [Conf]
  4. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
  5. Paul Caspi
    Embedded Control: From Asynchrony to Synchrony and Back. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:80-96 [Conf]
  6. Paul Caspi, Albert Benveniste
    Toward an Approximation Theory for Computerised Control. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:294-304 [Conf]
  7. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
    Translating Discrete-Time Simulink to Lustre. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:84-99 [Conf]
  8. Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
    Defining and translating a "safe" subset of simulink/stateflow into lustre. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:259-268 [Conf]
  9. Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
    Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:353-360 [Conf]
  10. Christos Sofronis, Stavros Tripakis, Paul Caspi
    A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:21-33 [Conf]
  11. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
    Communication by sampling in time-sensitive distributed systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:152-160 [Conf]
  12. Paul Caspi, Alain Girault
    Execution of Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1995, pp:15-26 [Conf]
  13. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:1-16 [Conf]
  14. Chiheb Kossentini, Paul Caspi
    Mixed Delay and Threshold Voters in Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:21-35 [Conf]
  15. Paul Caspi, Jean-Claude Fernandez, Alain Girault
    An Algorithm for Reducing Binary Branchings. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:279-293 [Conf]
  16. Paul Caspi, Rym Salem
    Threshold and Bounded-Delay Voting in Critical Control Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:70-81 [Conf]
  17. Paul Caspi
    What Can We Learn from Synchronous Data-Flow Languages? [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:255-258 [Conf]
  18. Chiheb Kossentini, Paul Caspi
    Approximation, Sampling and Voting in Hybrid Computing Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:363-376 [Conf]
  19. Paul Caspi, Nicolas Halbwachs
    An Approach to Real Time Systems Modeling. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:710-716 [Conf]
  20. Paul Caspi, Marc Pouzet
    Synchronous Kahn Networks. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:226-238 [Conf]
  21. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
    From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:153-162 [Conf]
  22. Eugene Asarin, Paul Caspi, Oded Maler
    A Kleene Theorem for Timed Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:160-171 [Conf]
  23. Céecile Canovas-Dumas, Paul Caspi
    A PVS Proof Obligation Generator for Lustre Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:179-188 [Conf]
  24. Paul Caspi, Alain Girault
    Distributing Finite Transition Systems Extended Abstract. [Citation Graph (0, 0)][DBLP]
    PARLE, 1992, pp:950-951 [Conf]
  25. Paul Caspi, Nicolas Halbwachs
    An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:40-46 [Conf]
  26. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
    Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:178-188 [Conf]
  27. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:1-45 [Conf]
  28. J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud
    Outline of a Real Time Data Flow Language. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1985, pp:33-42 [Conf]
  29. Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot
    About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2001, pp:215-226 [Conf]
  30. Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
    Formal Design of Distributed Control Systems with Lustre. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:396-409 [Conf]
  31. Paul Caspi, Nicolas Halbwachs
    A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:22, n:6, pp:595-627 [Journal]
  32. Paul Caspi, Marc Pouzet
    A Co-iterative Characterization of Synchronous Stream Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  33. Eugene Asarin, Paul Caspi, Oded Maler
    Timed regular expressions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2002, v:49, n:2, pp:172-206 [Journal]
  34. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
    The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
  35. Paul Caspi
    Clocks in Dataflow Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:94, n:1, pp:125-140 [Journal]
  36. Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
    Translating discrete-time simulink to lustre. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:779-818 [Journal]
  37. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
    Guidelines for a graduate curriculum on embedded software and systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  38. Paul Caspi, Alain Girault, Daniel Pilaud
    Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:416-427 [Journal]
  39. Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin
    Development and industrialisation. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:1403-1405 [Conf]
  40. Paul Caspi
    Some Issues in Model-Based Development for Embedded Control Systems. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:9-13 [Conf]

  41. Loosely time-triggered architectures based on communication-by-sampling. [Citation Graph (, )][DBLP]


  42. Actors without Directors: A Kahnian View of Heterogeneous Systems. [Citation Graph (, )][DBLP]


  43. Algebra of events: a model for parallel and real time systems. [Citation Graph (, )][DBLP]


  44. Model-based development of embedded control systems: historical perspective and recent advances. [Citation Graph (, )][DBLP]


  45. Synchronous objects with scheduling policies: introducing safe shared memory in lustre. [Citation Graph (, )][DBLP]


  46. Time-robust discrete control over networked Loosely Time-Triggered Architectures. [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.049secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002