bibliographer - A. Pnueli

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the synthesis of a reactive module A. Pnueli R. Rosner [github]

Symbolic model checking with rich assertional languages Y. Kesten O. Maler M. Marcus A. Pnueli E. Shahar [github]

Is the interesting part of process logic uninteresting: a translation from PL to PDL R. Sherman A. Pnueli D. Harel [github]

PSL Model Checking and Run-Time Verification Via Testers A. Pnueli A. Zaks [github]

On the Merits of Temporal Testers A. Pnueli A. Zaks [github]

Effective synthesis of switching controllers for linear systems E. Asarin O. Bournez T. Dang O. Maler A. Pnueli [github]

Is the Interesting Part of Process Logic uninteresting: A Translation from PL to PDL R. Sherman A. Pnueli D. Harel [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]