Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Benoît Fraikin
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Tools and Techniques for Model Checking Networked Programs
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
Bayesian Model Checking: A Comparison of Tests
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Partitioned PLTL Model-Checking for Refined Transition Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Quantitative Model Checking of Systems With Degradation
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
