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

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Verbeek, F.
Yaghini, P.M.
Eghbal, A.
Bagherzadeh, N.

Publication date

January 2017

DOI

10.1109/TC.2016.2584060

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Abstract

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

Extracted data

Related items

Security, Fault-Tolerance and their Verification for Ambient Systems

Hoepman, J.H.

January 2003

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

The problem of unintelligibility

Hoop, H. de

January 2004

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

Code-carrying theories

Jacobs, B.P.F.
Smetsers, S.
Schreur, R. Wichers

January 2007

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

Formal verification of a deadlock detection algorithm

Verbeek, F.
Schmaltz, J.

January 2011

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

Deadlock Prevention in sc Æthereal Protocol

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.
Zhang, M.
Goossens, Kees
Rijpkema, Edwin
Ruadulescu, Andrei

January 2005

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

ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

Verbeek, F.
Yaghini, P.M.
Eghbal, A.
Bagherzadeh, N.

January 2016

Contains fulltext : 158094.pdf (publisher's version ) (Open Access)2016 Design, Au...

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving

Gastel, B.E. van
Lensink, L.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

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

Forward-Secure Distributed Encryption

Lueks, W.
Hoepman, J.H.
Kursawe, K.

January 2014

Contains fulltext : 129948.pdf (author's version ) (Closed access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

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

A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks

Verbeek, F.
Schmaltz, J.

January 2010

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

Levels of undecidability in rewriting

Endrullis, J.
Geuvers, H.
Simonsen, J.G.
Zantema, H.

January 2011

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

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

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

Breedveld, K.
Pulles, I.

January 2016

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

Blaauw, S.L. de

January 2010

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

Automated verification of termination certificates

Blanqui, F.
Koprowski, A.

January 2009

Contains fulltext : 75147.pdf (publisher's version ) (Open Access)21 p

Security, Fault-Tolerance and their Verification for Ambient Systems

Hoepman, J.H.

January 2003

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

The problem of unintelligibility

Hoop, H. de

January 2004

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

Code-carrying theories

Jacobs, B.P.F.
Smetsers, S.
Schreur, R. Wichers

January 2007

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

Formal verification of a deadlock detection algorithm

Verbeek, F.
Schmaltz, J.

January 2011

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

Deadlock Prevention in sc Æthereal Protocol

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.
Zhang, M.
Goossens, Kees
Rijpkema, Edwin
Ruadulescu, Andrei

January 2005

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

ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

Verbeek, F.
Yaghini, P.M.
Eghbal, A.
Bagherzadeh, N.

January 2016

Contains fulltext : 158094.pdf (publisher's version ) (Open Access)2016 Design, Au...

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving

Gastel, B.E. van
Lensink, L.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

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

Forward-Secure Distributed Encryption

Lueks, W.
Hoepman, J.H.
Kursawe, K.

January 2014

Contains fulltext : 129948.pdf (author's version ) (Closed access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

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

A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks

Verbeek, F.
Schmaltz, J.

January 2010

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

Levels of undecidability in rewriting

Endrullis, J.
Geuvers, H.
Simonsen, J.G.
Zantema, H.

January 2011

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

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

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

Breedveld, K.
Pulles, I.

January 2016

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

Blaauw, S.L. de

January 2010

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

Automated verification of termination certificates

Blanqui, F.
Koprowski, A.

January 2009

Contains fulltext : 75147.pdf (publisher's version ) (Open Access)21 p

Security, Fault-Tolerance and their Verification for Ambient Systems

Hoepman, J.H.

January 2003

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

The problem of unintelligibility

Hoop, H. de

January 2004

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

Code-carrying theories

Jacobs, B.P.F.
Smetsers, S.
Schreur, R. Wichers

January 2007

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