Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319105116, 9783319105123
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

2014 ◽  
pp. 85-99 ◽  
Author(s):  
Bernard Berthomieu ◽  
Silvano Dal Zilio ◽  
Łukasz Fronc ◽  
François Vernadat
Keyword(s):  
Petri Nets ◽  
Time Petri Nets

scholarly journals On MITL and Alternating Timed Automata over Infinite Words

2014 ◽  
pp. 69-84 ◽  
Author(s):  
Thomas Brihaye ◽  
Morgane Estiévenart ◽  
Gilles Geeraerts
Keyword(s):  
Timed Automata ◽  
Infinite Words

scholarly journals Modeling Bitcoin Contracts by Timed Automata

2014 ◽  
pp. 7-22 ◽  
Author(s):  
Marcin Andrychowicz ◽  
Stefan Dziembowski ◽  
Daniel Malinowski ◽  
Łukasz Mazurek
Keyword(s):  
Timed Automata

Timed Pattern Matching

2014 ◽  
pp. 222-236 ◽  
Author(s):  
Dogan Ulus ◽  
Thomas Ferrère ◽  
Eugene Asarin ◽  
Oded Maler
Keyword(s):  
Pattern Matching

scholarly journals Weak Singular Hybrid Automata

2014 ◽  
pp. 161-175
Author(s):  
Shankara Narayanan Krishna ◽  
Umang Mathur ◽  
Ashutosh Trivedi
Keyword(s):  
Hybrid Automata

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

2014 ◽  
pp. 237-251 ◽  
Author(s):  
Sine Viesmose Birch ◽  
Thomas Stig Jacobsen ◽  
Jacob Jon Jensen ◽  
Christoffer Moesgaard ◽  
Niels Nørgaard Samuelsen ◽  
...  
Keyword(s):  
Model Checking ◽  
Petri Nets ◽  
Abstraction Refinement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document