Pedro Antonino

From MaRDI portal
Person:2281623

Available identifiers

zbMath Open antonino.pedroMaRDI QIDQ2281623

List of research outcomes





PublicationDate of PublicationType
The consensus machine: formalising consensus in the presence of malign agents2024-02-28Paper
Checking static properties using conservative SAT approximations for reachability2022-11-04Paper
The automatic detection of token structures and invariants using SAT checking2020-08-05Paper
Tighter reachability criteria for deadlock-freedom analysis2020-01-03Paper
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving2019-06-03Paper
Rigorous development of component-based systems using component metadata and patterns2016-10-28Paper

Research outcomes over time

This page was built for person: Pedro Antonino

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2281623&oldid=10682884"
Powered by MediaWiki