Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Alfons Laarman"'
Publikováno v:
Quantum, Vol 7, p 1108 (2023)
Efficient methods for the representation and simulation of quantum states and quantum operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functio
Externí odkaz:
https://doaj.org/article/122a7d7d07784de88a762eccf17eafba
Publikováno v:
Quantum, Vol 7, p 959 (2023)
One of the challenges of quantum computers in the near- and mid- term is the limited number of qubits we can use for computations. Finding methods that achieve useful quantum improvements under size limitations is thus a key question in the field. In
Externí odkaz:
https://doaj.org/article/c84789593010425d846d9676f8cac2cf
Autor:
Alfons Laarman, Jaco van de Pol
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 72, Iss Proc. PDMC 2011, Pp 13-28 (2011)
Recently, two new parallel algorithms for on-the-fly model checking of LTL properties were presented at the same conference: Automated Technology for Verification and Analysis, 2011. Both approaches extend Swarmed NDFS, which runs several sequential
Externí odkaz:
https://doaj.org/article/aecdbf2a93324697aba332bc47536565
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::371bb90d7ecb36be953995ce2e630d05
https://doi.org/10.1007/978-3-031-27481-7_29
https://doi.org/10.1007/978-3-031-27481-7_29
Autor:
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Publikováno v:
Model Checking Software ISBN: 9783031321566
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b6d93fbec6707274b3550c5b7d3ebc1
https://doi.org/10.1007/978-3-031-32157-3_1
https://doi.org/10.1007/978-3-031-32157-3_1
Autor:
Alfons Laarman, Anna Sokolova
Publikováno v:
International Journal on Software Tools for Technology Transfer. 25:75-76
The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these se
Autor:
Alfons Laarman, Lieuwe Vinkhuijzen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::232b87ecd880cd36f1b89f35a84d8f75
https://doi.org/10.1007/978-3-031-06773-0_42
https://doi.org/10.1007/978-3-031-06773-0_42
Autor:
Alfons Laarman
Publikováno v:
Innovations in Systems and Software Engineering. 15:235-251
Efficiently deciding reachability for model checking problems requires storing the entire state space. We provide an information theoretical lower bound for these storage requirements using only the assumption of locality in the model checking input.
Autor:
Lieuwe Vinkhuijzen, Alfons Laarman
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783030628215
SETTA
SETTA
We demonstrate the viability of symbolic model checking using Sentential Decision Diagrams (SDD), in lieu of the more common Binary Decision Diagram (BDD). The SDD data structure can be up to exponentially more succinct than BDDs, using a generalized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7627d51bb65cd97cfbb8550a1d3888b5
https://doi.org/10.1007/978-3-030-62822-2_8
https://doi.org/10.1007/978-3-030-62822-2_8
Autor:
Alfons Laarman, Ana Sokolova
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were care