Towards formal modelling and verification of pervasive computing systems

Towards formal modelling and verification of pervasive computing systems

Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging...

Saved in:

書目詳細資料
Main Authors:	LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2014
主題:	Model Check Linear Temporal Logic Liveness Property Ambient Assist Live Linear Temporal Logic Formula Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4981 https://ink.library.smu.edu.sg/context/sis_research/article/5984/viewcontent/10.1007_978_3_662_44871_7.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

A formal semantics for complete UML state machines with communications
由: LIU, Shuang, et al.
出版: (2013)

PAT: Towards flexible verification under fairness
由: SUN, Jun, et al.
出版: (2009)

Compositional encoding for bounded model checking
由: Sun, J., et al.
出版: (2013)

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

Improved BDD-based discrete analysis of timed systems
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Symbolic model-checking of stateful timed CSP using BDD and digitization
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Model checking CSP revisited: Introducing a process analysis toolkit
由: SUN, Jun, et al.
出版: (2008)

Model checking linearizability via refinement
由: LIU, Yang, et al.
出版: (2009)

Specifying and verifying event-based fairness enhanced systems
由: SUN, Jun, et al.
出版: (2008)

Scalable multi-core model checking fairness enhanced systems
由: LIU, Yang, et al.
出版: (2009)

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
由: Sun, Y., et al.
出版: (2014)

AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
由: ZHOU JUN
出版: (2019)

State space reduction for sensor networks using two-level partial order reduction
由: ZHENG, Manchun, et al.
出版: (2013)

Towards a model checker for NesC and wireless sensor networks
由: ZHENG, Manchun, et al.
出版: (2011)

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

A responsive home environment for the elderly
由: Yew, A.W.W., et al.
出版: (2014)

Formal analysis of pervasive computing systems
由: LIU, Yan, et al.
出版: (2012)

SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
由: SONG YAHUI
出版: (2023)

Progressive program reasoning
由: RAZVAN VOICU
出版: (2010)

Advanced methods for recurrent hierarchical systems modeling. Application to producer-consumer distributed energy production systems
由: Minca, E., et al.
出版: (2013)

FORMAL VERIFICATION-BASED PROGRAM REPAIR
由: NGUYEN THANH TOAN
出版: (2022)

Automated verification of shape, size and bag properties via user-defined predicates in separation logic
由: Chin, W.-N., et al.
出版: (2013)

Generating orthogonal bases of R
由: Brines, Juliet C., et al.
出版: (1993)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

A study of singular and nonsingular graphs using reduction formulas
由: Alburo, Gertrude Pauline Gerona, et al.
出版: (1997)

Development of a high frequency ambient noise data acquisition system
由: KOAY TEONG BENG
出版: (2010)

COMBINATION OF FORMAL LOGIC AND HEDGE ALGEBRA TO ESTIMATE THE DEGREE OF TRUST
由: NGUYEN MANH HUNG
出版: (2016)

DISSECTING THE HORMONAL CONTROL OF THE SALT STRESS RESPONSE IN ARABIDOPSIS ROOTS
由: GENG YU
出版: (2014)

Detecting logical relationships in mechanical, electrical, and plumbing (MEP) systems with BIM using graph matching
由: Wang, Yongqi, et al.
出版: (2023)

An introduction to the rational canonical form
由: Gador, Cristina Lorelei Q., et al.
出版: (1993)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

PENYELESAIAN PENDEKATAN SISTEM PERSAMAAN LINIER INKONSISTEN
由: FERRY IRAWAN, 089311095
出版: (1999)

Towards verification of computation orchestration
由: DONG, Jin Song, et al.
出版: (2014)

Poster: Towards efficient spatio-temporal video grounding in pervasive mobile devices
由: WEERAKOON MUDIYANSELAGE, Dulanga Kaveesha, et al.
出版: (2024)

FEATURE MINING IN TEMPORAL HUMAN ACTION LOCALIZATION
由: YUAN JUN
出版: (2016)

Verification of static and dynamic barrier synchronization using bounded permissions
由: Le, D.-K., et al.
出版: (2014)

Laporan penelitian perumusan simbolik secara pasti sistem eduksi dalam logika
由: Bakry, Noor M.
出版: (1989)

A History of Indian logic, ancient, mediaeval and modern schools
由: Vidyahusana, Satis Chandra
出版: (1921)