Difference between revisions of "Publications/linard.10.acsd"
From LRDE
| (4 intermediate revisions by the same user not shown) | |||
| Line 7: | Line 7: | ||
| pages = 124 to 133 |
| pages = 124 to 133 |
||
| address = Braga, Portugal |
| address = Braga, Portugal |
||
| − | | |
+ | | lrdeprojects = Verification |
| − | | urllrde = 201006-ACSD |
||
| publisher = IEEE Computer Society |
| publisher = IEEE Computer Society |
||
| abstract = Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each one targets a specific domain with its own characteristics. Moreover, each one provides its own definition. It prevents sharing concepts and techniques between these structures. This paper aims to propose a basis for a common Framework for Decision Diagrams. It should help users of this technology to define new Decision Diagram categories thanks to a simple specification mechanism called Controller. This enables the building of efficient Decision Diagrams dedicated to a given problem. |
| abstract = Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each one targets a specific domain with its own characteristics. Moreover, each one provides its own definition. It prevents sharing concepts and techniques between these structures. This paper aims to propose a basis for a common Framework for Decision Diagrams. It should help users of this technology to define new Decision Diagram categories thanks to a simple specification mechanism called Controller. This enables the building of efficient Decision Diagrams dedicated to a given problem. |
||
| Line 25: | Line 24: | ||
address = <nowiki>{</nowiki>Braga, Portugal<nowiki>}</nowiki>, |
address = <nowiki>{</nowiki>Braga, Portugal<nowiki>}</nowiki>, |
||
month = jun, |
month = jun, |
||
| − | project = <nowiki>{</nowiki>Verification<nowiki>}</nowiki>, |
||
publisher = <nowiki>{</nowiki>IEEE Computer Society<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>IEEE Computer Society<nowiki>}</nowiki>, |
||
abstract = <nowiki>{</nowiki>Decision Diagrams are now widely used in model checking as |
abstract = <nowiki>{</nowiki>Decision Diagrams are now widely used in model checking as |
||
Latest revision as of 18:57, 4 January 2018
- Authors
- Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
- Where
- Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD)
- Place
- Braga, Portugal
- Type
- inproceedings
- Publisher
- IEEE Computer Society
- Projects
- Verification"Verification" is not in the list (Vaucanson, Spot, URBI, Olena, APMC, Tiger, Climb, Speaker ID, Transformers, Bison, ...) of allowed values for the "Related project" property.
- Date
- 2010-06-01
Abstract
Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each one targets a specific domain with its own characteristics. Moreover, each one provides its own definition. It prevents sharing concepts and techniques between these structures. This paper aims to propose a basis for a common Framework for Decision Diagrams. It should help users of this technology to define new Decision Diagram categories thanks to a simple specification mechanism called Controller. This enables the building of efficient Decision Diagrams dedicated to a given problem.
Bibtex (lrde.bib)
@InProceedings{ linard.10.acsd,
author = {Alban Linard and Emmanuel Paviot-Adet and Fabrice Kordon
and Didier Buchs and Samuel Charron},
title = {{polyDD}: Towards a Framework Generalizing Decision
Diagrams},
booktitle = {Proceedings of the 10th International Conference on
Application of Concurrency to System Design (ACSD)},
pages = {124--133},
year = 2010,
address = {Braga, Portugal},
month = jun,
publisher = {IEEE Computer Society},
abstract = {Decision Diagrams are now widely used in model checking as
extremely compact representations of state spaces. Many
Decision Diagram categories have been developed over the
past twenty years based on the same principles. Each one
targets a specific domain with its own characteristics.
Moreover, each one provides its own definition. It prevents
sharing concepts and techniques between these structures.
This paper aims to propose a basis for a common Framework
for Decision Diagrams. It should help users of this
technology to define new Decision Diagram categories thanks
to a simple specification mechanism called Controller. This
enables the building of efficient Decision Diagrams
dedicated to a given problem.}
}