Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Laura Titolo
Researcher
PaperAutomatic generation and verification of test-stable floating-point codeAuthorship / preprint / 2020PaperA Compositional Proof Framework for FRETish RequirementsAuthorship / preprint / 2022PaperAbstract Diagnosis for tccp using a Linear Temporal LogicAuthorship / preprint / 2014PaperAbstract Diagnosis for Timed Concurrent Constraint programsAuthorship / preprint / 2011PaperTowards an Effective Decision Procedure for LTL formulas with ConstraintsAuthorship / preprint / 2013PaperModeling Hybrid Systems in Hy-tccpAuthorship / preprint / 2014PaperModeling Hybrid Systems in the Concurrent Constraint ParadigmAuthorship / preprint / 2015