Concepedia

Cristian Mattarei

CM

Statistics

Publications

6

Citations

128

H-Index

6

Active since

2009

Affiliations

Fondazione Bruno Kessler(Current)

University of York

Cristian Mattarei is an author at Fondazione Bruno Kessler specializing in formal verification, verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceSoftware AnalysisAutomated ReasoningSoftware DesignProgram AnalysisSystems Engineering

Publications per year

2009–2024

6

Publications

6

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett et al. · 2018 · 30 citations

Engineering, Hardware Verification Language, Verification +21

Safety assessment of AltaRica models via symbolic model checking

Marco Bozzano, Alessandro Cimatti, Oleg Lisagor et al. · Science of Computer Programming · 2014 · 29 citations

Reliability Engineering, Engineering, Automated Reasoning +10

Symbolic Model Checking and Safety Assessment of Altarica models

Marco Bozzano, Alessandro Cimatti, Oleg Lisagor et al. · Technische Universität Berlin – Universitätsbibliothek · 2024 · 22 citations · Full text

Engineering, Verification, Symbolic Model Checking +21

Comparing different functional allocations in automated air traffic control design

Cristian Mattarei, Alessandro Cimatti, Marco Gario et al. · 2015 · 20 citations

Engineering, Flight Reserve Optimization, Airport Management +23

Supporting Requirements Validation: The EuRailCheck Tool

Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti et al. · 2009 · 16 citations

Software Maintenance, Engineering, Thirty Railway Experts +23

1–5 of 6