The SCEAS System
Navigation Menu

Search the dblp DataBase


Mihaela Sighireanu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
    TReX: A Tool for Reachability Analysis of Complex Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:368-372 [Conf]
  2. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
    CADP - A Protocol Validation and Verification Toolbox. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:437-440 [Conf]
  3. Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel
    An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:159-0 [Conf]
  4. Marc Boyer, Mihaela Sighireanu
    Synthesis and Verification of Constraints in the PGM Protocol. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:264-281 [Conf]
  5. Hubert Garavel, Mihaela Sighireanu
    On the Introduction of Exceptions in E-LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:469-484 [Conf]
  6. Hubert Garavel, Mihaela Sighireanu
    A Graphical Parallel Composition Operator for Process Algebras. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:185-202 [Conf]
  7. Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu
    Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:695-698 [Conf]
  8. Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel
    Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:125- [Conf]
  9. Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
    Analyzing Fair Parametric Extended Automata. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:335-355 [Conf]
  10. Radu Mateescu, Mihaela Sighireanu
    Efficient on-the-fly model-checking for regular alternation-free mu-calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:3, pp:255-281 [Journal]
  11. Mihaela Sighireanu, Radu Mateescu
    Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:68-88 [Journal]
  12. Gaël Patin, Mihaela Sighireanu, Tayssir Touili
    Spade: Verification of Multithreaded Dynamic and Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:254-257 [Conf]
  13. Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
    Rewriting Systems with Data. [Citation Graph (0, 0)][DBLP]
    FCT, 2007, pp:1-22 [Conf]
  14. Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
    A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:690-705 [Conf]

  15. Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. [Citation Graph (, )][DBLP]

  16. Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]

  17. A Logic-Based Framework for Reasoning about Composite Data Structures. [Citation Graph (, )][DBLP]

  18. Simple Algorithm for Simple Timed Games. [Citation Graph (, )][DBLP]

  19. Rewriting Systems over Nested Data Words. [Citation Graph (, )][DBLP]

  20. A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [Citation Graph (, )][DBLP]

  21. Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002