Hossein Hojjat

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On strings in software model checking	2024-04-19	Paper
OptiRica: towards an efficient optimizing Horn solver (available as arXiv preprint)	2024-02-16	Paper
OptiRica: towards an efficient optimizing Horn solver	2024-02-16	Paper
DyNetKAT: an algebra of dynamic networks Lecture Notes in Computer Science	2024-01-23	Paper
Compositional learning for interleaving parallel automata Lecture Notes in Computer Science	2023-11-24	Paper
Synchronization synthesis for network programs	2022-08-12	Paper
Horn clauses for communicating timed systems	2021-06-28	Paper
Horn clauses for communicating timed systems (available as arXiv preprint)	2021-06-28	Paper
Automated analysis of Reo circuits using symbolic execution	2017-05-19	Paper
On recursion-free Horn clauses and Craig interpolation Formal Methods in System Design	2015-10-20	Paper
Accelerating interpolants Automated Technology for Verification and Analysis	2012-11-21	Paper
Symbolic execution of Reo circuits using constraint automata Science of Computer Programming	2012-07-13	Paper

Research outcomes over time

This page was built for person: Hossein Hojjat