The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Joseph Sifakis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joseph Sifakis
    Structural Properties of Petri Nets. [Citation Graph (1, 0)][DBLP]
    MFCS, 1978, pp:474-483 [Conf]
  2. Charles André, M. Diaz, Claude Girault, Joseph Sifakis
    Survey of French Research and Applications Based on Petri Nets. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Net Theory and Applications, 1975, pp:321-345 [Conf]
  3. Joseph Sifakis
    Performance Evaluation of Systems Using Nets. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Net Theory and Applications, 1975, pp:307-319 [Conf]
  4. Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis
    An Example of Specification and Verification in Cesar. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:199-210 [Conf]
  5. Jean-Pierre Queille, Joseph Sifakis
    Iterative Methods for the Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:161-167 [Conf]
  6. Joseph Sifakis
    On the Composition of Timed Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:21-22 [Conf]
  7. Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis
    Property Preserving Simulations. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:260-273 [Conf]
  8. Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine
    TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:391-395 [Conf]
  9. Costas Courcoubetis, Susanne Graf, Joseph Sifakis
    An Algebra of Boolean Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:454-465 [Conf]
  10. Xavier Nicollin, Joseph Sifakis
    An Overview and Synthesis on Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:376-398 [Conf]
  11. Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    Using Abstractions for the Verification of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:81-94 [Conf]
  12. Joseph Sifakis
    The Compositional Specification of Timed Systems - A Tutorial. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:2-7 [Conf]
  13. Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
    Modeling Urgency in Timed Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:103-129 [Conf]
  14. Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone
    Model-Based Verification Methods and Tools (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:64- [Conf]
  15. Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
    Fine Grain QoS Control for Multimedia Application Software. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:1038-1043 [Conf]
  16. Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
    QoS control for optimality and safety. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:90-99 [Conf]
  17. Joseph Sifakis
    Modeling Real-Time Systems-Challenges and Work Directions. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:373-389 [Conf]
  18. Thomas A. Henzinger, Joseph Sifakis
    The Embedded Systems Design Challenge. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:1-15 [Conf]
  19. Joseph Sifakis
    Integration, the Price of Success. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:52-55 [Conf]
  20. Gregor Gößler, Joseph Sifakis
    Composition for Component-Based Modeling. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:443-466 [Conf]
  21. Gregor Gößler, Joseph Sifakis
    Priority Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:314-329 [Conf]
  22. Jean-Pierre Queille, Joseph Sifakis
    A Temporal Logic to Deal with Fairness in Transition Systems [Citation Graph (0, 0)][DBLP]
    FOCS, 1982, pp:217-225 [Conf]
  23. Joseph Sifakis
    Specification and Verification of Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:3-4 [Conf]
  24. Gregor Gößler, Joseph Sifakis
    Component-Based Construction of Deadlock-Free Systems: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:420-433 [Conf]
  25. S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich
    Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:353-357 [Conf]
  26. Karine Altisen, Gregor Gößler, Joseph Sifakis
    A Methodology for the Construction of Scheduled Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:106-120 [Conf]
  27. Joseph Sifakis
    Scheduler Modeling Based on the Controller Synthesis Paradigm. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:107-110 [Conf]
  28. Joseph Sifakis
    A General Framework for the Composition of Timed Systems Extended Abstract. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:27-28 [Conf]
  29. Sébastien Bornot, Joseph Sifakis
    Relating Time Progress and Deadlines in Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:286-300 [Conf]
  30. Sébastien Bornot, Joseph Sifakis
    On the Composition of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:49-63 [Conf]
  31. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
    Integration Graphs: A Class of Decidable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:179-208 [Conf]
  32. Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    An Approach to the Description and Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:149-178 [Conf]
  33. Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
    Safety for Branching Time Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:76-92 [Conf]
  34. Susanne Graf, Joseph Sifakis
    A Modal Characterization of Observational Congruence on Finite Terms of CCS. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:222-234 [Conf]
  35. Susanne Graf, Joseph Sifakis
    Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:115-125 [Conf]
  36. Joseph Sifakis
    Global and Local Invariants in Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:510-522 [Conf]
  37. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
    A Toolbox for the Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:246-259 [Conf]
  38. Joseph Sifakis
    Specification and Development of Reactive Systems - Response. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:1183-1188 [Conf]
  39. Joseph Sifakis
    WPDRTS keynote: component-based construction of embedded systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  40. M. Moalla, Gabriele Saucier, Joseph Sifakis, M. Zachariades
    A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. [Citation Graph (0, 0)][DBLP]
    ISCA, 1976, pp:20-27 [Conf]
  41. Joseph Sifakis
    Real-time systems specification and verification. [Citation Graph (0, 0)][DBLP]
    ISSS, 1995, pp:69- [Conf]
  42. Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis
    On Model Checking for Real-Time Properties with Durations [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:147-159 [Conf]
  43. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-time Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:394-406 [Conf]
  44. Joseph Sifakis
    Property Preserving Homomorphisms of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:458-473 [Conf]
  45. Susanne Graf, Joseph Sifakis
    Frm Synchronization Tree Logic to Acceptance Model Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:128-142 [Conf]
  46. M. Moalla, Jacques Pulou, Joseph Sifakis
    Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:374-384 [Conf]
  47. Joseph Sifakis
    Deadlocks and Livelocks in Transition Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:587-600 [Conf]
  48. Joseph Sifakis
    Comments on Schiffers. [Citation Graph (0, 0)][DBLP]
    International Working Conference on Model Realism, 1982, pp:95- [Conf]
  49. Joseph Sifakis
    Embedded Systems - Challenges and Work Directions. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2004, pp:184-185 [Conf]
  50. Joseph Sifakis
    Use of Petri Nets for Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    Performance, 1977, pp:75-93 [Conf]
  51. Jean-Pierre Queille, Joseph Sifakis
    Specification and verification of concurrent systems in CESAR. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:337-351 [Conf]
  52. Hubert Garavel, Joseph Sifakis
    Compilation and verification of LOTOS specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:379-394 [Conf]
  53. Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
    Verification in XESAR of the Sliding Window Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:235-248 [Conf]
  54. Xavier Nicollin, Joseph Sifakis
    An Overview and Synthesis on Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:526-548 [Conf]
  55. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:549-572 [Conf]
  56. Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
    A logig for the description of behaviours and properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:398-410 [Conf]
  57. Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    A Framework for Scheduler Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:154-163 [Conf]
  58. Joseph Sifakis
    Modeling Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:5-6 [Conf]
  59. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
    IF: An intermediate representation for SDL and its applications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:423-440 [Conf]
  60. Joseph Sifakis
    A Framework for Component-based Construction Extended Abstract. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:293-300 [Conf]
  61. Ananda Basu, Marius Bozga, Joseph Sifakis
    Modeling Heterogeneous Real-time Components in BIP. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:3-12 [Conf]
  62. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
    The IF Toolset. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:237-267 [Conf]
  63. Oded Maler, Amir Pnueli, Joseph Sifakis
    On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). [Citation Graph (0, 0)][DBLP]
    STACS, 1995, pp:229-242 [Conf]
  64. Joseph Sifakis, Sergio Yovine
    Compositional Specification of Timed Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    STACS, 1996, pp:347-359 [Conf]
  65. Sébastien Bornot, Gregor Gößler, Joseph Sifakis
    On the Construction of Live Timed Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:109-126 [Conf]
  66. Ahmed Bouajjani, Joseph Sifakis
    Verification for Finite Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:55-57 [Conf]
  67. Susanne Graf, Joseph Sifakis
    An Expressive Logic for a Process Algebra with Silent Actions. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:44-61 [Conf]
  68. Susanne Graf, Joseph Sifakis
    A Logic for the Specification and Proof of Regular Controllable Processes of CCS. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:5, pp:507-527 [Journal]
  69. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:2, pp:181-202 [Journal]
  70. Jean-Pierre Queille, Joseph Sifakis
    Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:19, n:, pp:195-220 [Journal]
  71. Joseph Sifakis
    Use of Petri nets for performance evaluation. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:185-202 [Journal]
  72. Joseph Sifakis
    Research Directions for Concurrency. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:55- [Journal]
  73. Joseph Sifakis
    Research Directions for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:124- [Journal]
  74. Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis
    Abstracts of Invited Talks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  75. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
    Property Preserving Abstractions for the Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:1, pp:11-44 [Journal]
  76. Sébastien Bornot, Joseph Sifakis
    An Algebraic Framework for Urgency. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:172-202 [Journal]
  77. Susanne Graf, Joseph Sifakis
    A Modal Characterization of Observational Congruence on Finite Terms of CCS [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:125-145 [Journal]
  78. Susanne Graf, Joseph Sifakis
    A Logic for the Description of Non-deterministic Programs and Their Properties [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:254-270 [Journal]
  79. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-Time Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:111, n:2, pp:193-244 [Journal]
  80. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
    Decidable Integration Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:209-243 [Journal]
  81. Xavier Nicollin, Joseph Sifakis
    The Algebra of Timed Processes, ATP: Theory and Application [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:131-178 [Journal]
  82. Joseph Sifakis
    Global and Local Invariants in Transition Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:53, n:1/2, pp:91-107 [Journal]
  83. Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    Building models of real-time systems from application software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:100-111 [Journal]
  84. Karine Altisen, Gregor Gößler, Joseph Sifakis
    Scheduler Modeling Based on the Controller Synthesis Paradigm. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2002, v:23, n:1-2, pp:55-84 [Journal]
  85. Gregor Gößler, Joseph Sifakis
    Composition for component-based modeling. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:161-183 [Journal]
  86. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  87. Joseph Sifakis
    A Unified Approach for Studying the Properties of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:18, n:, pp:227-258 [Journal]
  88. 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]
  89. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Compiling Real-Time Specifications into Extended Automata. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:794-804 [Journal]
  90. Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
    Ensuring Properties of Interaction Systems. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:201-224 [Conf]
  91. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loic Strus
    Using Speed Diagrams for Symbolic Quality Management. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  92. Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
    Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:257-260 [Conf]
  93. Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
    An Approach to Modelling and Verification of Component Based Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:295-308 [Conf]

  94. Component-Based Construction of Heterogeneous Real-Time Systems in Bip. [Citation Graph (, )][DBLP]


  95. Compositional Verification for Component-Based Systems and Application. [Citation Graph (, )][DBLP]


  96. Knowledge Based Scheduling of Distributed Systems. [Citation Graph (, )][DBLP]


  97. D-Finder: A Tool for Compositional Deadlock Detection and Verification. [Citation Graph (, )][DBLP]


  98. Priority Scheduling of Distributed Systems Based on Model Checking. [Citation Graph (, )][DBLP]


  99. Component-Based Construction of Real-Time Systems in BIP. [Citation Graph (, )][DBLP]


  100. A Notion of Glue Expressiveness for Component-Based Systems. [Citation Graph (, )][DBLP]


  101. Embedded systems design - Scientific challenges and work directions. [Citation Graph (, )][DBLP]


  102. Incremental Component-Based Construction and Verification of a Robotic System. [Citation Graph (, )][DBLP]


  103. Towards validated real-time software. [Citation Graph (, )][DBLP]


  104. The algebra of connectors: structuring interaction in BIP. [Citation Graph (, )][DBLP]


  105. Modeling synchronous systems in BIP. [Citation Graph (, )][DBLP]


  106. Causal Semantics for the Algebra of Connectors. [Citation Graph (, )][DBLP]


  107. Distributed Semantics and Implementation for Systems with Interaction and Priority. [Citation Graph (, )][DBLP]


  108. Translating AADL into BIP - Application to the Verification of Real-Time Systems. [Citation Graph (, )][DBLP]


  109. Specification and Verification of Conurrent Systems in Cesar. [Citation Graph (, )][DBLP]


  110. The Quest for Correctness-Beyond a Posteriori Verification. [Citation Graph (, )][DBLP]


  111. Systematic Correct Construction of Self-stabilizing Systems: A Case Study. [Citation Graph (, )][DBLP]


  112. Embedded Systems Design - Scientific Challenges and Work Directions. [Citation Graph (, )][DBLP]


  113. Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. [Citation Graph (, )][DBLP]


  114. Source-to-source architecture transformation for performance optimization in BIP. [Citation Graph (, )][DBLP]


  115. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. [Citation Graph (, )][DBLP]


  116. Model checking: algorithmic verification and debugging. [Citation Graph (, )][DBLP]


  117. The Discipline of Embedded Systems Design. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.018secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002