Regular symmetry patterns

Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e....

Saved in:

書目詳細資料
Main Authors:	LIN, Anthony W., NGUYEN, Truong Khanh, RÜMMER, Philipp, SUN, Jun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2016
主題:	Permutation Group Concurrent System Pushdown Automaton Symmetry Pattern Regular Relation Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4972 https://ink.library.smu.edu.sg/context/sis_research/article/5975/viewcontent/regular.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Improving model checking stateful timed CSP with non-zenoness through clock-symmetry reduction
由: SI, Yuanjie, et al.
出版: (2013)

Regular patterns, regular languages and context-free languages
由: Jain, S., et al.
出版: (2013)

On a symmetry criterion for conjugacy infinite groups
由: De Sagun, Twilite L., et al.
出版: (1998)

Permutation polynomials over a finite field
由: Suphawan Janphaisaeng
出版: (2007)

Permutation polynomials over a finite field
由: Suphawan Janphaisaeng
出版: (2000)

Symmetry Groups of the Batak Basketweave Patterns
由: De las Penas, Ma. Louise Antonette, et al.
出版: (2024)

Symmetry Groups Associated With Tilings on a Flat Torus
由: De Las Peñas, Ma. Louise Antonette N, et al.
出版: (2015)

Symmetry groups of single-wall nanotubes
由: De Las Peñas, Ma. Louise Antonette N, et al.
出版: (2014)

Local and global color symmetries of a symmetrical pattern
由: Abila, Agatha Kristel, et al.
出版: (2019)

Local and global color symmetries of a symmetrical pattern
由: De Las Peñas, Ma. Louise Antonette N, et al.
出版: (2019)

On groups of perfect shuffles
由: Magsumbol, Evangeline H., et al.
出版: (1996)

Enumeration of index 3 and 4 subgroups of hyperbolic triangle symmetry groups
由: De Las Peñas, Ma. Louise Antonette N, et al.
出版: (2008)

Symmetry properties of single-walled BC 2N nanotubes
由: Pan, H., et al.
出版: (2014)

Reference-based screentone transfer via pattern correspondence and regularization
由: LI, Zhansheng, et al.
出版: (2023)

Another construction of edge-regular graphs with regular cliques
由: Greaves, Gary Royden Watson, et al.
出版: (2020)

Edge-regular graphs with regular cliques
由: Greaves, Gary Royden Watson, et al.
出版: (2019)

Regular automorphism groups on partial geometries
由: Ma, S.L.
出版: (2014)

Transformation optics and hidden symmetries
由: Kraft, Matthias, et al.
出版: (2016)

Symmetry breaking for semiconductor photocatalysis
由: Di, Jun, et al.
出版: (2024)

PFix: Fixing concurrency bugs based on memory access patterns
由: LIN, Huarui, et al.
出版: (2018)

Physics from Symmetry
由: Schwichtenberg, Jakob.
出版: (2018)

On the radical characteristic of regularities
由: Tran, Trong Hue
出版: (2017)

On the S-Quasi Regular Algebras
由: Tran, Trong Hue
出版: (2017)

Crystallography and the World of Symmetry
由: Chatterjee, Sanat K.
出版: (2017)

B-Regularity of Hartogs Domains
由: Nguyen, Thac Dung
出版: (2017)

Realizations of the Abstract Regular H3 Polyhedra
由: Aranas, Jonn Angel L, et al.
出版: (2022)

Wavelet Frames: Symmetry, Periodicity, and Applications
由: LIM ZHI YUAN
出版: (2010)

Permutation groups
由: Tuason, Ma. Gina L.
出版: (1978)

Direct parallel electrosynthesis of high-value chemicals from atmospheric components on symmetry-breaking indium sites
由: Sun, Yuntong, et al.
出版: (2025)

The geometry of reflectance symmetries
由: Tan, P., et al.
出版: (2014)

Feasible permutations of Kepler's spheres
由: Ong, Artemis P., et al.
出版: (1997)

Are timed automata bad for a specification language? Language inclusion checking for timed automata
由: WANG, Ting, et al.
出版: (2014)

Matrix regularization of classical Nambu brackets and super p-branes
由: Ashwinkumar, Meer, et al.
出版: (2022)

Spinful topological phases in acoustic crystals with projective PT symmetry
由: Meng, Yan, et al.
出版: (2023)

Probability measure functors preserving the regular property
由: Ta, Khac Cu
出版: (2017)

A simple test for multivariate conditional symmetry
由: SU, Liangjun
出版: (2006)

Geometry symmetry detection for 3D models
由: Ezekiel, Arun
出版: (2024)

Adaptive randomized scheduling for concurrency bug detection
由: WANG, Zan, et al.
出版: (2019)

Efficacious symmetry-adapted atomic displacement method for lattice dynamical studies
由: Gan, Chee Kwan, et al.
出版: (2021)

A hybrid model of connectors in cyber-physical systems
由: CHEN, Xiaohong, et al.
出版: (2014)