Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Alexandre Hamez"'
Autor:
Alexandre Hamez
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XI ISBN: 9783662534007
Symbolic model checking with decision diagrams is a very efficient technique for handling large models. However, even when using advanced algorithms, model checking tools still need to be carefully written. Indeed, they are both CPU and memory bounde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::421d59bd72a5bb0d50ec2d303f865f50
https://doi.org/10.1007/978-3-662-53401-4_15
https://doi.org/10.1007/978-3-662-53401-4_15
Publikováno v:
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
International audience; Shared decision diagram representations of a state-space provide efficient solutions for model-checking of large systems. However, decision diagram manipulation is tricky, as the con- struction procedure is liable to produce i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::004d1cc3407f96464cfeed278d4cde6d
https://doi.org/10.3233/fi-2009-137
https://doi.org/10.3233/fi-2009-137
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642007675
TACAS
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
TACAS
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
International audience; This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic model-checking. We encode the state space and transition relation using hierarchi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87c5c9a3e8df2212537be1022e5eb822
https://doi.org/10.1007/978-3-642-00768-2_1
https://doi.org/10.1007/978-3-642-00768-2_1
Publikováno v:
Applications and Theory of Petri Nets ISBN: 9783540687450
Petri Nets
29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008)
29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. pp.211-230, ⟨10.1007/978-3-540-68746-7_16⟩
Petri Nets
29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008)
29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. pp.211-230, ⟨10.1007/978-3-540-68746-7_16⟩
International audience; Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation is tricky, as the construction procedure is li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbbf0c4c741a707b881fa130b8e2a5f9
https://doi.org/10.1007/978-3-540-68746-7_16
https://doi.org/10.1007/978-3-540-68746-7_16
Publikováno v:
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007)
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩
Petri Nets and Other Models of Concurrency – ICATPN 2007 ISBN: 9783540730934
ICATPN
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007)
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩
Petri Nets and Other Models of Concurrency – ICATPN 2007 ISBN: 9783540730934
ICATPN
International audience; We encountered some limits when using the GreatSPN model checker on life-size models, both in time and space complexity. Even when the exponential blow-up of state space size is adequately handled by the tool thanks to the use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8456f923b165ec48cfb80559c9a018c6
https://hal.inria.fr/hal-00701513
https://hal.inria.fr/hal-00701513
Autor:
Emmanuel Paviot-Adet, Lom Messan Hillah, Alban Linard, Xavier Renault, Fabrice Kordon, Yann Thierry-Mieg, Alexandre Hamez
Publikováno v:
6th International Conference on Application of Concurrency to System Design (ACSD '06)
6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩
ACSD
6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩
ACSD
International audience; Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b854787668b177065fcbc1cecf125b6
https://hal.archives-ouvertes.fr/hal-01351775
https://hal.archives-ouvertes.fr/hal-01351775