Petru Florin Mihancea

Publications

173

Citations

H-Index

2005

Active since

Affiliations

Polytechnic University of Timişoara(Current)

Petru Florin Mihancea is an author at Polytechnic University of Timişoara specializing in formal methods, formal verification, and software engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2005–2006

Publications

iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design.

Cristina Marinescu, Radu Marinescu, Petru Florin Mihancea et al. · 2005 · 132 citations

Towards the Optimization of Automatic Detection of Design Flaws in Object-Oriented Software Systems

Petru Florin Mihancea, Radu Marinescu · 2005 · 31 citations

Software Maintenance, Engineering, Software Systems +26

Towards a Client Driven Characterization of Class Hierarchies

Petru Florin Mihancea · 2006 · 10 citations

Software Maintenance, Engineering, Yo-yo Effect +22

Rows per page

1–3 of 3