Search the dblp DataBase

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]