bibliographer - Doron Peled

bibliographer a curated TCS bibliography

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

Analyzing Message Sequence Charts Anca Muscholl Doron Peled [github]

An analyzer for message sequence charts Rajeev Alur Gerard Holzmann Doron Peled [github]

From Finite State Communication Protocols to High-Level Message Sequence Charts Anca Muscholl Doron Peled [github]

Message Sequence Charts Blaise Genest Anca Muscholl Doron Peled [github]

Compositional Message Sequence Charts Elsa L. Gunter Anca Muscholl Doron Peled [github]

Synthesis of Succinct Systems John Fearnley Doron Peled Sven Schewe [github]

Grey-Box Checking Edith Elkind Blaise Genest Doron Peled Hongyang Qu [github]

Adaptive Model Checking Alex Groce Doron Peled Mihalis Yannakakis [github]

All from one, one for all: on model checking using representatives Doron Peled [github]

Refining the SafetytextendashLiveness Classification of Temporal Properties According to Monitorability Doron Peled Klaus Havelund [github]

Synthesizing, correcting and improving code, using model checking-based genetic programming Gal Katz Doron Peled [github]

Synthesis of succinct systems John Fearnley Doron Peled Sven Schewe [github]

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

[show logs] [hide logs]