位置：成果数据库 > 会议 > 会议详情页
Checking timed büchi automata emptiness using LU-abstractions
  • 所属机构名称：西北工业大学
  • 会议名称：7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009
  • 成果类型：会议
  • 会场：Budapest
  • 相关项目：高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
作者： Li, Guangyuan|
同会议论文项目
高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
期刊论文 29 会议论文 37 专利 5
同项目会议论文
The Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode
Refinement of models of software components
Refinement of models of software components
A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems
An integrated PLC smart home system in pervasive computing environment
Testing of component-based software: A metamorphic testing methodology
Implementing the compiler of AADL behavior annex using ANTLR
Studying on AADL-based architecture abstraction of embedded software
A MDA-based approach for general embedded software simulation platform
Consider of fault propagation in architecture-based software reliability analysis
A model-based testing for AADL model of embedded software
An improved path-based reliability prediction model for component-based embedded software
Model checking linear duration invariants of networks of automata
Research and assessment of the reliability of a fault tolerant model using AADL
Component publications and compositions
A novel model for component-based software reliability analysis
基于AADL 的智能家庭嵌入式软件模型设计与验证
On designing and verifying Smart Home embedded software model based on AADL
Timing properties analysis of real-time embedded systems with AADL model using model checking
Design and implementation of configurable simulation system for embedded software based on MDA
Experiments on test case reuse of test coverage criteria
Formal behavior specification for AADL
A calculus for hybrid CSP
Research on Safety Analysis and Verification for AADL Model
Modeling timing behavior for cyber-physical systems
Composition semantics for component-based embedded software
A formal model for component-based embedded software development
On modeling and verifying of application protocols of TTCAN in flight-control system with UPPAAL
Program verification by reduction to semi-algebraic systems solving
A methodology of model-based testing for AADL flow latency in CPS
Electric energy management system based on PLC
Research on modeling and analysis of CPS
Cupping and diamond embeddings: A unifying approach
A study of the AADL mode based on timed automata
On partitioning the domain for test case reusability
On designing and verifying Smart Home embedded software model based on AADL