Concepedia

Carlo Montangero

CM

Statistics

Publications

12

Citations

316

H-Index

11

Active since

1974

Affiliations

University of Pisa(Current)

University of Leicester

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Carlo Montangero is an author at University of Pisa specializing in formal methods, engineering, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignSystem SoftwareAutomated ReasoningSoftware Engineering

Publications per year

1974–2008

12

Publications

12

Software process enactment in Oikos

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero · 1990 · 93 citations · Full text

Software Maintenance, Engineering, Object-oriented Modeling +16

Managing standards compliance

W. Emmerich, Anthony Finkelstein, Carlo Montangero et al. · IEEE Transactions on Software Engineering · 1999 · 77 citations

Software Maintenance, Engineering, Verification +24

An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers

Carlo Montangero · IEEE Transactions on Computers · 1974 · 22 citations

Non-volatile Memory, Engineering, Computer Architecture +21

Logic-based detection of conflicts in APPEL policies

Carlo Montangero, Stephan Reiff‐Marganiec, Laura Semini · Fundamentals of Software Engineering · 2007 · 17 citations

Applied Logic, Engineering, Automated Reasoning +10

Mark, a Reasoning Kit for Mobility

Gian-Luigi Ferrari, Carlo Montangero, Laura Semini et al. · Automated Software Engineering · 2002 · 16 citations

1–5 of 12