4
Publications
110
Citations
4
H-Index
2002
Active since
Affiliations
S. Semprini is an author at Construction Technologies Institute specializing in formal specification, formal methods, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSystems EngineeringComputer EngineeringFormal SpecificationSoftware Design
Publications per year
2002–2006
4
4
Formal analysis of hardware requirements
Ingo Pill, S. Semprini, Roberto Cavada et al. · 2006 · 52 citations
Hardware Modeling, Engineering, Hardware Verification Language +22
From PSL to NBA: a Modular Symbolic Encoding
Alessandro Cimatti, Marco Roveri, S. Semprini et al. · 2006 · 26 citations
Mark, a Reasoning Kit for Mobility
Gian-Luigi Ferrari, Carlo Montangero, Laura Semini et al. · Automated Software Engineering · 2002 · 16 citations
Rows per page
1–4 of 4