Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

The Theory of Timed I/O Automata

Kaynar, D.K.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

Publication date

January 2006

DOI

10.2200/s00006ed1v01y200508csl001

Publisher

USA : Morgan & Claypool Publishers

ISSN

1932-1228

Abstract

Contains fulltext : 35201.pdf (publisher's version ) (Closed access)xi, 101 p p

Extracted data

Topics

Related items

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2001

Contains fulltext : 205622.pdf (publisher's version ) (Open Access)45 p

Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols

Canetti, Ran
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, Nancy
Pereira, O.
Segala, Roberto

January 2005

Contains fulltext : 33088.pdf (publisher's version ) (Closed access

The Theory of Timed I/O Automata, Second Edition

Kaynar, D.K.
Lynch, N.
Segala, R.
Vaandrager, F.

January 2010

Contains fulltext : 83938.pdf (publisher's version ) (Closed access

Specifying Urgency in Timed I/O Automata

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.

January 2005

Contains fulltext : 33004.pdf (preprint version ) (Open Access

Specifying Urgency in Timed I/O Automata

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.

January 2004

Contains fulltext : 60669.pdf (publisher's version ) (Open Access)23 p

Timed Automata Based Analysis of Embedded System Architectures

Hendriks, M.
Verhoef, M.

January 2006

Contains fulltext : 34463.pdf (preprint version ) (Open Access

Minimizable Timed Automata

Springintveld, J.
Vaandrager, F.W.

January 1996

Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...

Axiomatizing Timed Automata with Deadlines

D`Argenio, P.R.
Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p

Switched Probabilistic I/O Automata

Cheung, L.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2005

Contains fulltext : 33039.pdf (preprint version ) (Open Access

Task-Structured Probabilistic I/O Automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35338.pdf (preprint version ) (Open Access

Task-structured probabilistic I/O automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35339.pdf (preprint version ) (Open Access)34 p

Elsevier 183 Fundamental Study A theory of timed automata*

Rajeev Ah
David L. Dill

January 1991

Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994

Expressivity of Timed Automata Models

Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 29872.pdf (publisher's version ) (Open Access)RU, 11 december ...

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2002

Contains fulltext : 176091.pdf (preprint version ) (Open Access

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2001

Contains fulltext : 205622.pdf (publisher's version ) (Open Access)45 p

Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols

Canetti, Ran
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, Nancy
Pereira, O.
Segala, Roberto

January 2005

Contains fulltext : 33088.pdf (publisher's version ) (Closed access

The Theory of Timed I/O Automata, Second Edition

Kaynar, D.K.
Lynch, N.
Segala, R.
Vaandrager, F.

January 2010

Contains fulltext : 83938.pdf (publisher's version ) (Closed access

Specifying Urgency in Timed I/O Automata

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.

January 2005

Contains fulltext : 33004.pdf (preprint version ) (Open Access

Specifying Urgency in Timed I/O Automata

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.

January 2004

Contains fulltext : 60669.pdf (publisher's version ) (Open Access)23 p

Timed Automata Based Analysis of Embedded System Architectures

Hendriks, M.
Verhoef, M.

January 2006

Contains fulltext : 34463.pdf (preprint version ) (Open Access

Minimizable Timed Automata

Springintveld, J.
Vaandrager, F.W.

January 1996

Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...

Axiomatizing Timed Automata with Deadlines

D`Argenio, P.R.
Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p

Switched Probabilistic I/O Automata

Cheung, L.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2005

Contains fulltext : 33039.pdf (preprint version ) (Open Access

Task-Structured Probabilistic I/O Automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35338.pdf (preprint version ) (Open Access

Task-structured probabilistic I/O automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35339.pdf (preprint version ) (Open Access)34 p

Elsevier 183 Fundamental Study A theory of timed automata*

Rajeev Ah
David L. Dill

January 1991

Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994

Expressivity of Timed Automata Models

Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 29872.pdf (publisher's version ) (Open Access)RU, 11 december ...

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2002

Contains fulltext : 176091.pdf (preprint version ) (Open Access

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2001

Contains fulltext : 205622.pdf (publisher's version ) (Open Access)45 p

Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols

Canetti, Ran
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, Nancy
Pereira, O.
Segala, Roberto

January 2005

Contains fulltext : 33088.pdf (publisher's version ) (Closed access