|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.  |
VMCAI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu |
Guidelines for the Verification of Population Protocols. |
ICDCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Sighireanu, Tayssir Touili |
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
A Logic-Based Framework for Reasoning about Composite Data Structures. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu |
Simple Algorithm for Simple Timed Games. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
reachability games, temporal uncertainity, timed game automata, STNU |
| 1 | Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu |
Rewriting Systems over Nested Data Words. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu |
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
Rewriting Systems with Data. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaël Patin, Mihaela Sighireanu, Tayssir Touili |
Spade: Verification of Multithreaded Dynamic and Recursive Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Mihaela Sighireanu |
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel |
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
Fault Tolerance in Distributed and Real-Time Systems, multi-component architectures, distribution heuristics, Safety-Critical Systems, software implemented fault-tolerance |
| 1 | Marc Boyer, Mihaela Sighireanu |
Synthesis and Verification of Constraints in the PGM Protocol. |
FME |
2003 |
DBLP DOI BibTeX RDF |
PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis |
| 1 | Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel |
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu |
TReX: A Tool for Reachability Analysis of Complex Systems. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu |
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
distribution heuristics, Real-time embedded systems, static scheduling, software implemented fault-tolerance |
| 1 | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
Analyzing Fair Parametric Extended Automata. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Mihaela Sighireanu |
A Graphical Parallel Composition Operator for Process Algebras. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mihaela Sighireanu, Radu Mateescu |
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
CADP - A Protocol Validation and Verification Toolbox. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")