/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

B

Bruno Pagano

Ansys (France)(FR)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

24

Papers

430

Citations

11

h-index

12

i10-index

Bruno Pagano is an academic researcher from Ansys (France). The author has contributed to research in topics: Embedded Systems Design Techniques & Formal Methods in Verification & Real-Time Systems Scheduling. The author has an h-index of 11, co-authored 21 publications.

Research Topics

Embedded Systems Design Techniques Formal Methods in Verification Real-Time Systems Scheduling Logic, programming, and type systems Parallel Computing and Optimization Techniques

Papers by this author

works

An Explicit Natural Deduction

1998 · 1 citations

Types behind the mirror: a proposal for partial ML type reconstruction at runtime

1997 · 0 citations

Emmanuel Chailloux Pascal Manoury Bruno Pagano

Research topics

topics

Embedded Systems Design Techniques

Formal Methods in Verification

Real-Time Systems Scheduling

Logic, programming, and type systems

Parallel Computing and Optimization Techniques

Chat about Author

Papers

Chat

Click to start Chat