Author: "Lefaucheux, Engel" / Publication Type: Books - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Lefaucheux, Engel"' showing total 6 results

Start Over Author "Lefaucheux, Engel" Publication Type Books

6 results on '"Lefaucheux, Engel"'

1. Model Checking Linear Dynamical Systems under Floating-point Rounding

Author: Lefaucheux, Engel, primary, Ouaknine, Joël, additional, Purser, David, additional, and Sharifi, Mohammadamin, additional
Published: 2023
Full Text: View/download PDF

2. Porous Invariants

Author: Lefaucheux, Engel, primary, Ouaknine, Joël, additional, Purser, David, additional, and Worrell, James, additional
Published: 2021
Full Text: View/download PDF

3. On the Monniaux Problem in Abstract Interpretation

Author: Fijalkow, Nathanaël, primary, Lefaucheux, Engel, additional, Ohlmann, Pierre, additional, Ouaknine, Joël, additional, Pouly, Amaury, additional, and Worrell, James, additional
Published: 2019
Full Text: View/download PDF

4. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis

Author: Lefaucheux, Engel, primary, Giua, Alessandro, additional, and Seatzu, Carla, additional
Published: 2018
Full Text: View/download PDF

5. Accurate Approximate Diagnosability of Stochastic Systems

Author: Bertrand, Nathalie, primary, Haddad, Serge, additional, and Lefaucheux, Engel, additional
Published: 2016
Full Text: View/download PDF

6. Accurate Approximate Diagnosability of Stochastic Systems.

Author: Bertrand, Nathalie, Haddad, Serge, and Lefaucheux, Engel
Published: 2016
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results