Concepedia

Laura Bozzelli

LB

18

Publications

376

Citations

13

H-Index

2007

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

University of Udine

Institut de Recherche en Informatique et Systèmes Aléatoires

Université de Rennes

University of Verona

Laura Bozzelli is an author at Universidad Politécnica de Madrid specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationComputational ComplexityComplexitySoftware AnalysisCombinatorial Optimization

Publications per year

2007–2021

18

Publications

18

Decision problems for lower/upper bound parametric timed automata

Laura Bozzelli, Salvatore La Torre · Formal Methods in System Design · 2009 · 78 citations

Lower/upper Bound Parametric, Engineering, Formal Methods +7

Refinement modal logic

Laura Bozzelli, Hans van Ditmarsch, Tim French et al. · Information and Computation · 2014 · 33 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +5

Asynchronous Extensions of HyperLTL

Laura Bozzelli, Adriano Peron, César Sánchez · ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/) · 2021 · 33 citations · Full text

Pushdown module checking

Laura Bozzelli, Aniello Murano, Adriano Peron · Formal Methods in System Design · 2010 · 32 citations

Engineering, Runtime Verification, Software Testing +6

The Complexity of&#x0A0;&#x0A0;CaRet + Chop

Laura Bozzelli · 2008 · 24 citations

Computational Logic, Chop Modality, Decision Procedure +15

Rows per page

1–5 of 18