extended timed automata
Recently Published Documents

TOTAL DOCUMENTS

6

(FIVE YEARS 1)

H-INDEX

2

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Urgent Partial Order Reduction for Extended Timed Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_10 ◽

2020 ◽

pp. 179-195

Author(s):

Kim G. Larsen ◽

Marius Mikučionis ◽

Marco Muñiz ◽

Jiří Srba

Keyword(s):

Partial Order ◽

Timed Automata ◽

Order Reduction ◽

Partial Order Reduction ◽

Extended Timed Automata

Download Full-text

Temporal Planning with Extended Timed Automata

2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) ◽

10.1109/ictai.2016.0086 ◽

2016 ◽

Author(s):

Christine Largouet ◽

Omar Krichen ◽

Yulong Zhao

Keyword(s):

Timed Automata ◽

Temporal Planning ◽

Extended Timed Automata

Download Full-text

A Method of Transforming WS-BPEL2.0 to Extended Timed Automata Using Syntax Analyze Tree

2010 International Conference on E-Product E-Service and E-Entertainment ◽

10.1109/iceee.2010.5661044 ◽

2010 ◽

Author(s):

Zhengqiu Yang ◽

Weina He ◽

Fang Deng ◽

Jiapeng Xiu

Keyword(s):

Timed Automata ◽

Extended Timed Automata

Download Full-text

Extended Timed Automata and Time Petri Nets

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.6 ◽

2006 ◽

Author(s):

P. Bouyer ◽

P.-A. Reynier ◽

S. Haddad

Keyword(s):

Timed Automata ◽

Time Petri Nets ◽

Extended Timed Automata

Download Full-text

Validation of UML Models via a Mapping to Communicating Extended Timed Automata

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_9 ◽

2004 ◽

pp. 127-145 ◽

Author(s):

Iulian Ober ◽

Susanne Graf ◽

Ileana Ober

Keyword(s):

Timed Automata ◽

Extended Timed Automata ◽

Download Full-text

Analyzing schedulability of astral specifications using extended timed automata

Euro-Par'97 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0002885 ◽

1997 ◽

pp. 1290-1297 ◽

Author(s):

K. Brink ◽

J. van Katwijk ◽

R. F. Lutje Spelberg ◽

W. J. Toetenel

Keyword(s):

Timed Automata ◽

Extended Timed Automata

Download Full-text