Searching for authors named Alain Finkel – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
unknown title
- … Flat acceleration in symbolic model checking? S'ebastien Bardin1, Alain Finkel1, J'er^ome Leroux2…
- Add To MetaCart
-
A Polynomial λ-Bisimilar Normalization for Reset Petri Nets
- … Polynomial -Bisimilar Normalization for Reset Petri Nets Catherine Dufourd y Alain Finkel y Abstract…
- Add To MetaCart
-
Verifying Identical Communicating Processes is Undecidable
- …. Verifying identical communicating processes is undecidable Alain Finkel y ENS de Cachan Paris, France…
- Cited by 5 (3 self) – Add To MetaCart
-
Polynomial many-one reductions for Petri nets
- …-one Reductions for Petri Nets Catherine Dufourd and Alain Finkel LSV, CNRS URA 2236; ENS de Cachan, 61 av. du…
- Add To MetaCart
-
Well-Structured Transition Systems Everywhere!
- …A. Finkel and Ph. Schnoebelen Well-Structured Transition Systems Everywhere ! Research Report LSV…
- Cited by 112 (7 self) – Add To MetaCart
-
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended )
- …A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract) Alain Finkel LSV…
- Add To MetaCart
-
FAST: Fast Acceleration of Symbolic Transition systems
- … , Alain Finkel 1 , Jérôme Leroux 2 , and Laure Petrucci 3 1 LSV - (CNRS UMR 8643, ENS de Cachan), France…
- Cited by 32 (12 self) – Add To MetaCart
-
How to compose Presburger-Accelerations: Applications to Broadcast Protocols
- … Protocols Alain Finkel and Jer^ome Leroux Laboratoire Specication et Verication, CNRS UMR 8643 & ENS de…
- Cited by 19 (8 self) – Add To MetaCart
-
FASTer Acceleration of Counter Automata in Practice
- … Sebastien Bardin, Alain Finkel, and Jer^ome Leroux LSV, CNRS UMR 8643 ENS de Cachan 61 avenue du president…
- Cited by 6 (2 self) – Add To MetaCart
-
Toward Symbolic Verification of Programs Handling Pointers
- … Bardin Alain Finkel David Nowak LSV, ENS Cachan & CNRS UMR 8643 Abstract We aim at checking safety…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
