Get started
Author

Luca Brodo

Observed name: Brodo, Luca
ORCID: 0009-0005-1437-9861
Observed ORCID: 0009-0005-1437-9861
OpenAlex ID: A5112933973
Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification
2026 · Luca Brodo, Giuseppe Scalora, et al. · Proceedings of the ACM on software engineering. · 2
What Do We Really Need? Identifying Minimal Sufficient Temporal Properties via Refinement
2026 · Luca Brodo, Giuseppe Scalora, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2
Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets
2023 · Luca Brodo, Stefan Henkler, et al. · IFIP advances in information and communication technology · 2
Bridging Social and Technical Compliance in Autonomous Systems through a Standardized Pattern Catalog
2026 · Luca Brodo, Giuseppe Scalora, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 1
PDF
Asymmetric Timed Refinement for Correct Post-Deployment Updates in Real-Time Systems
2026 · Luca Brodo, Giuseppe Scalora, et al. · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) · 1
Property Refinement in Computation Tree Logic
2026 · Brodo, Luca, Scalora, Giuseppe, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Runtime Self-Optimization Through Knowledge-Driven Design Space Reduction
2026 · Luca Brodo, Giuseppe Scalora, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 1
Introducing a group-based remote laboratory for embedded education
2023 · Christopher Beck, Luca Brodo, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 1
Correct-by-Construction Evolution of Digital Twins for Real-Time Autonomous Systems
2026 · Luca Brodo, Giuseppe Scalora, et al.
PDF
Contract-based Hierarchical Design Space Exploration approach for Cyber-Physical Systems
2026 · Giuseppe Scalora, Luca Brodo, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Works count: 11
Citation count: 12
H-index: 2
I10-index:
Year
Topic
Type