|
Search the dblp DataBase
Mihaela Sighireanu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Marc Boyer, Mihaela Sighireanu
Synthesis and Verification of Constraints in the PGM Protocol. [Citation Graph (0, 0)][DBLP] FME, 2003, pp:264-281 [Conf]
- Hubert Garavel, Mihaela Sighireanu
On the Introduction of Exceptions in E-LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:469-484 [Conf]
- Hubert Garavel, Mihaela Sighireanu
A Graphical Parallel Composition Operator for Process Algebras. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:185-202 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
Rewriting Systems with Data. [Citation Graph (0, 0)][DBLP] FCT, 2007, pp:1-22 [Conf]
- 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]
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. [Citation Graph (, )][DBLP]
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]
A Logic-Based Framework for Reasoning about Composite Data Structures. [Citation Graph (, )][DBLP]
Simple Algorithm for Simple Timed Games. [Citation Graph (, )][DBLP]
Rewriting Systems over Nested Data Words. [Citation Graph (, )][DBLP]
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [Citation Graph (, )][DBLP]
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|