Concepedia

Author

Bruno Pagano

Sorbonne Université

Also Known As

BRUNO PAGANO, Bruno Pagano, Pagano, Bruno

24

Publications

430

Citations

11

H-Index

33

Concepts

All Affiliations

Sorbonne UniversitéInstitut national de recherche en sciences et technologies du numériqueÉcole Normale SupérieureAnsys (France)
BP

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

292

2

Computer Science

5

5

275

3

Computer Engineering

4

4

197

4

Systems Engineering

4

4

197

5

Asynchronous Systems

1

1

15

Bruno Pagano

×

8

Publications

320

Citations

8

H-Index

YearCitations

A conservative extension of synchronous data-flow with state machines

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

2005

104

Functional runtime systems within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano

Journal of Functional Programming

1998

63

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

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

2017

61

Functional back-ends within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano

1996

32

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot,

2009

17

A Synchronous Look at the Simulink Standard Library

Timothy Bourke, François Carcenac, Jean-Louis Colaço,

ACM Transactions on Embedded Computing Systems

2017

15

A type-based analysis of causality loops in hybrid systems modelers

Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud,

2014

14

Scade 6: A Formal Language for Embedded Critical Software Development

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

HAL (Le Centre pour la Communication Scientifique Directe)

2017

14

Page 1