Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Exact Acceleration of Real-Time Model Checking

Hendriks, M.
Larsen, K.G.

Publication date

January 2002

DOI

10.1016/S1571-0661(04)80473-0

Publisher

Elsevier BV

ISSN

1571-0661

Abstract

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

Extracted data

Related items

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Model-checkers als slimme schroevendraaiers

Vaandrager, F.

January 2012

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

Linear amplification for deep sequencing

Hoeijmakers, W.A.M.
Bartfai, R.C.
Francoijs, K.J.
Stunnenberg, H.G.

January 2011

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

Model-checking processes with data

Groote, J.F.
Willemse, T.A.C.

January 2005

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

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

Modeling of performance

Bosch, P.F.A. van den
Florescu, O.
Verhoef, M.H.G.
Muller, G.J.

January 2006

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

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Compositional Abstraction in Real--Time Model Checking

Berendsen, J.K.
Vaandrager, F.W.

January 2007

Contains fulltext : 34973.pdf (preprint version ) (Open Access)32 p

Validating Specifications for Model-Based Testing

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66905.pdf (preprint version ) (Open Access)14 juli 200

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

Contains fulltext : 91579.pdf (preprint version ) (Closed access

On the Validation of Specifications used in Model-Based Testing

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 35294.pdf (publisher's version ) (Open Access

Verification of Printer Datapaths Using Timed Automata

Igna, G.
Vaandrager, F.

January 2010

Contains fulltext : 83697.pdf (preprint version ) (Closed access

The Construction of Verification Models for Embedded Systems

Mader, A. H.
Wupper, H.
Boon, M.

January 2007

Contains fulltext : 36558.pdf (publisher's version ) (Open Access)13 p

Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking

Eekelen, M.C.J.D. van
Hoedt, Stefan ten
Ren'e Schreurs, Yaroslav S

January 2006

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

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Model-checkers als slimme schroevendraaiers

Vaandrager, F.

January 2012

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

Linear amplification for deep sequencing

Hoeijmakers, W.A.M.
Bartfai, R.C.
Francoijs, K.J.
Stunnenberg, H.G.

January 2011

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

Model-checking processes with data

Groote, J.F.
Willemse, T.A.C.

January 2005

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

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

Modeling of performance

Bosch, P.F.A. van den
Florescu, O.
Verhoef, M.H.G.
Muller, G.J.

January 2006

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

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Compositional Abstraction in Real--Time Model Checking

Berendsen, J.K.
Vaandrager, F.W.

January 2007

Contains fulltext : 34973.pdf (preprint version ) (Open Access)32 p

Validating Specifications for Model-Based Testing

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66905.pdf (preprint version ) (Open Access)14 juli 200

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

Contains fulltext : 91579.pdf (preprint version ) (Closed access

On the Validation of Specifications used in Model-Based Testing

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 35294.pdf (publisher's version ) (Open Access

Verification of Printer Datapaths Using Timed Automata

Igna, G.
Vaandrager, F.

January 2010

Contains fulltext : 83697.pdf (preprint version ) (Closed access

The Construction of Verification Models for Embedded Systems

Mader, A. H.
Wupper, H.
Boon, M.

January 2007

Contains fulltext : 36558.pdf (publisher's version ) (Open Access)13 p

Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking

Eekelen, M.C.J.D. van
Hoedt, Stefan ten
Ren'e Schreurs, Yaroslav S

January 2006

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

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Model-checkers als slimme schroevendraaiers

Vaandrager, F.

January 2012

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

Linear amplification for deep sequencing

Hoeijmakers, W.A.M.
Bartfai, R.C.
Francoijs, K.J.
Stunnenberg, H.G.

January 2011

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