Concepedia

Bruno Pagano

BP

8

Publications

320

Citations

8

H-Index

1996

Active since

Affiliations

Sorbonne Université(Current)

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure

Bruno Pagano is an author at Sorbonne Université specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringProgram AnalysisCompilersFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringSoftware AnalysisRuntime Systems

Publications per year

1996–2017

8

Publications

8

A conservative extension of synchronous data-flow with state machines

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet · 2005 · 104 citations

Engineering, Hierarchical State Machines, Compiler Technology +23

Functional runtime systems within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano · Journal of Functional Programming · 1998 · 63 citations · Full text

Engineering, Functional Runtime Systems, Functional Analysis +16

SCADE 6: A formal language for embedded critical software development (invited paper)

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet · 2017 · 61 citations

Software Maintenance, Engineering, Compiler Technology +27

Functional back-ends within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano · 1996 · 32 citations

Theory Of Computing, Engineering, Generalized Function +15

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot et al. · 2009 · 17 citations

Software Maintenance, Engineering, Software Engineering +16

Rows per page

1–5 of 8