Concepedia

Laurent Pautet

LP

Statistics

Publications

30

Citations

693

H-Index

16

Active since

1995

Affiliations

Télécom Paris(Current)

Laboratoire Traitement et Communication de l’Information

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Laboratoire d'Intégration des Systèmes et des Technologies

Laurent Pautet is an author at Télécom Paris specializing in computer science, computing, and computer engineering.

Publications per year

1995–2022

30

Publications

30

From the prototype to the final embedded system using the Ocarina AADL tool suite

Jérôme Hugues, Bechir Zalila, Laurent Pautet et al. · ACM Transactions on Embedded Computing Systems · 2008 · 112 citations

Engineering, Computer Engineering, Computer Science +14

Validate, simulate, and implement ARINC653 systems using the AADL

Julien Delange, Laurent Pautet, Alain Plantec et al. · 2009 · 65 citations

Engineering, Computer Science, Systems Engineering +15

Yvon Kermarrec, Laurent Pautet, Samuel Tardieu · 1995 · 38 citations · Full text

Computing, Computer Science, Information Systems +16

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet et al. · Electronic Notes in Theoretical Computer Science · 2005 · 33 citations · Full text

Computing, Computer Science, Computer Systems +17

GLADE: a framework for building large object-oriented real-time distributed systems

Laurent Pautet, Samuel Tardieu · 2002 · 32 citations

Computing, Computer Science, Computer Systems +12

1–5 of 30