Pedro R. D'Argenio

Identifiers

No identifiers captured yet.

Papers (5)

1. Measuring Masking Fault-Tolerance cs.LO · 2018 · author #2
2. Input/Output Stochastic Automata with Urgency: Confluence and weak determinism cs.LO · 2018 · author #1
3. Facets of Software Doping cs.LO · 2018 · author #2
4. A Hierarchy of Scheduler Classes for Stochastic Automata cs.LO · 2017 · author #1
5. Is your software on dope? Formal analysis of surreptitiously "enhanced" programs cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernd Finkbeiner 2 shared papers
• Gilles Barthe 2 shared papers
• Holger Hermanns 2 shared papers
• Arnd Hartmanns 1 shared papers
• Luciano Putruele 1 shared papers
• Marcus Gerhold 1 shared papers
• Pablo F. Castro 1 shared papers
• Ramiro Demasi 1 shared papers
• Ra\'ul E. Monti 1 shared papers
• Sean Sedwards 1 shared papers
• Sebastian Biewer 1 shared papers