Concepedia

Felice Balarin

FB

34

Publications

1.5K

Citations

18

H-Index

1992

Active since

Affiliations

Cadence Design Systems (United States)(Current)

Lawrence Berkeley National Laboratory

University of California, Berkeley

University of California, Riverside

Polytechnic University of Turin

Felice Balarin is an author at Cadence Design Systems (United States) specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringComputer EngineeringSystems EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareVerificationSoftware Analysis

Publications per year

1992–2009

34

Publications

34

Metropolis: an integrated electronic system design environment

Felice Balarin, Y. Watanabe, Harry Hsieh et al. · Computer · 2003 · 490 citations

Engineering, Electronic Design, Computer Architecture +19

Scheduling for embedded real-time systems

Felice Balarin, Luciano Lavagno, Praveen K. Murthy et al. · IEEE Design & Test of Computers · 1998 · 143 citations

Engineering, Real-time System Design, Computer Architecture +16

Synthesis of software programs for embedded control applications

Felice Balarin, Massimiliano Chiodo, Paolo Giusto et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 90 citations

Engineering, Compiler Technology, Computer Architecture +22

A Top-down, Constraint-driven Design Methodology For Analog Integrated Circuits

Henry C. Chang, A. Sangiovanlli-Vincentelli, Felice Balarin et al. · 1992 · 82 citations

Engineering, Circuit Design, Analog Integrated Circuits +3

Approximate reachability analysis of timed automata

Felice Balarin · 2002 · 64 citations

Engineering, Reachability Problem, Verification +16

Rows per page

1–5 of 34