Search

Your search keyword '"Kordon, Fabrice"' showing total 600 results

Search Constraints

Start Over You searched for: Author "Kordon, Fabrice" Remove constraint Author: "Kordon, Fabrice"
600 results on '"Kordon, Fabrice"'

Search Results

1. CosyVerif: The Path to Formalisms Cohabitation

3. Presentation of the 9th Edition of the Model Checking Contest

4. TOOLympics 2019: An Overview of Competitions in Formal Methods

5. On the Usefulness of Clause Strengthening in Parallel SAT Solving

6. Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

8. Software Architecture of Modern Model Checkers

9. Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

10. Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework

11. Model Checking Contest @ Petri Nets, Report on the 2013 edition

12. MCC’2017 – The Seventh Model Checking Contest

13. Self-adaptive Model Checking, the Next Step?

14. CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

16. Correction to: Transactions on Petri Nets and Other Models of Concurrency XV

18. PaInleSS: A Framework for Parallel SAT Solving

19. Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools

20. MCC’2015 – The Fifth Model Checking Contest

21. Heuristics for Checking Liveness Properties with Partial Order Reductions

23. Presentation of the 9th Edition of the Model Checking Contest

24. TOOLympics 2019: An Overview of Competitions in Formal Methods

25. Parallel Explicit Model Checking for Generalized Büchi Automata

26. Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata

27. Have You Found the Error? A Formal Framework for Learning Game Verification

28. A Factory to Design and Build Tailorable and Verifiable Middleware

31. MCC’2017 – The Seventh Model Checking Contest

33. Three SCC-Based Emptiness Checks for Generalized Büchi Automata

34. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

35. Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

36. Towards Distributed Software Model-Checking Using Decision Diagrams

37. Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking

38. Report on the Model Checking Contest at Petri Nets 2011

39. Extending pnml Scope: A Framework to Combine Petri Nets Types

40. Model Checking Using Generalized Testing Automata

41. Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach

42. Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets

43. Self-reconfigurable Modular Robots and Their Symbolic Configuration Space

44. Experiences in Model Driven Verification of Behavior with UML

45. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

46. Hierarchical Set Decision Diagrams and Regular Models

48. Formal Modeling of a Generic Middleware to Ensure Invariant Properties

49. Hierarchical Set Decision Diagrams and Automatic Saturation

50. Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs

Catalog

Books, media, physical & digital resources