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

Formal verification of a deadlock detection algorithm

Verbeek, F.
Schmaltz, J.

Publication date

January 2011

DOI

10.4204/EPTCS.70

Publisher

Open Publishing Association

Abstract

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

Extracted data

Related items

Formal Validation of Deadlock Prevention in Networks-on-Chips

Freek Verbeek
Julien Schmaltz

September 2016

Please be advised that this information was generated on 2016-05-10 and may be subject t

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

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

Deadlock detection in multidatabase systems : a performance analysis

Baldoni, Roberto
Salza, Silvio
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet Ad...

Formal veriﬁcation of a deadlock detection algorithm

Verbeek, F.
Schmaltz, J.

January 2011

Contains fulltext : 91834.pdf (publisher's version ) (Open Access)ACL2'11 : Proce...

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

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

January 2017

Contains fulltext : 168686.pdf (publisher's version ) (Closed 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

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

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

An expressive framework for verifying deadlock freedom

Le, D.-K.
Chin, W.-N.
Teo, Y.-M.

January 2013

10.1007/978-3-319-02444-8_21Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Formal Methods for Security?

Poll, Erik

January 2019

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

Formal verification of distributed deadlock detection algorithms

Johnston, Brian Matt

January 1993

The problem of distributed deadlock detection has undergone extensive study. Formal verification of ...

Formal validation of deadlock prevention in networks-on-chips

Verbeek, F.
Schmaltz, Julien

January 2009

Contains fulltext : 75432.pdf (publisher's version ) (Open Access)ACL2 '09 : Eight...

Practical Formal Methods

Keiren, J.J.A.

January 2019

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

Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching

Verbeek, F.
Schmaltz, J.

January 2011

Contains fulltext : 91580.pdf (author's version ) (Closed access)NOCS 2011 : The F...

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...

Formal Validation of Deadlock Prevention in Networks-on-Chips

Freek Verbeek
Julien Schmaltz

September 2016

Please be advised that this information was generated on 2016-05-10 and may be subject t

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

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

Deadlock detection in multidatabase systems : a performance analysis

Baldoni, Roberto
Salza, Silvio
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet Ad...

Formal veriﬁcation of a deadlock detection algorithm

Verbeek, F.
Schmaltz, J.

January 2011

Contains fulltext : 91834.pdf (publisher's version ) (Open Access)ACL2'11 : Proce...

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

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

January 2017

Contains fulltext : 168686.pdf (publisher's version ) (Closed 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

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

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

An expressive framework for verifying deadlock freedom

Le, D.-K.
Chin, W.-N.
Teo, Y.-M.

January 2013

10.1007/978-3-319-02444-8_21Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Formal Methods for Security?

Poll, Erik

January 2019

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

Formal verification of distributed deadlock detection algorithms

Johnston, Brian Matt

January 1993

The problem of distributed deadlock detection has undergone extensive study. Formal verification of ...

Formal validation of deadlock prevention in networks-on-chips

Verbeek, F.
Schmaltz, Julien

January 2009

Contains fulltext : 75432.pdf (publisher's version ) (Open Access)ACL2 '09 : Eight...

Practical Formal Methods

Keiren, J.J.A.

January 2019

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

Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching

Verbeek, F.
Schmaltz, J.

January 2011

Contains fulltext : 91580.pdf (author's version ) (Closed access)NOCS 2011 : The F...

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...

Formal Validation of Deadlock Prevention in Networks-on-Chips

Freek Verbeek
Julien Schmaltz

September 2016

Please be advised that this information was generated on 2016-05-10 and may be subject t

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

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

Deadlock detection in multidatabase systems : a performance analysis

Baldoni, Roberto
Salza, Silvio
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet Ad...