Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319476766, 9783319476773
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Place Bisimulation and Liveness for Open Petri Nets

2016 ◽  
pp. 1-17 ◽  
Author(s):  
Xiaoju Dong ◽  
Yuxi Fu ◽  
Daniele Varacca
Keyword(s):  
Petri Nets

Computing Specification-Sensitive Abstractions for Program Verification

2016 ◽  
pp. 101-117 ◽  
Author(s):  
Tianhai Liu ◽  
Shmuel Tyszberowicz ◽  
Mihai Herda ◽  
Bernhard Beckert ◽  
Daniel Grahl ◽  
...  
Keyword(s):  
Program Verification

scholarly journals An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties

2016 ◽  
pp. 280-296 ◽  
Author(s):  
Yong Li ◽  
Wanwei Liu ◽  
Andrea Turrini ◽  
Ernst Moritz Hahn ◽  
Lijun Zhang
Keyword(s):  
Markov Chains ◽  
Linear Time ◽  
Efficient Synthesis ◽  
Synthesis Algorithm

Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET

2016 ◽  
pp. 147-162 ◽  
Author(s):  
Bingbing Fang ◽  
Guoqiang Li ◽  
Daniel Sun ◽  
Hongming Cai
Keyword(s):  
Schedulability Analysis

Identifying XML Schema Constraints Using Temporal Logic

2016 ◽  
pp. 136-146
Author(s):  
Ruifang Zhao ◽  
Ke Liu ◽  
Hongli Yang ◽  
Zongyan Qiu
Keyword(s):  
Temporal Logic ◽  
Xml Schema
Load More ...
Sign in / Sign up

Export Citation Format

Share Document