Concepedia

Laurent Pautet

LP

Statistics

Publications

30

Citations

690

H-Index

16

Active since

1995

Affiliations

Télécom Paris(Current)

Laboratoire Traitement et Communication de l’Information

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

Centre National de la Recherche Scientifique

Sorbonne Université

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

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringSystem SoftwareSoftware EngineeringComputer ArchitectureSoftware DesignSoftware AnalysisReal-time Systems

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 Architecture, Software Engineering +25

Validate, simulate, and implement ARINC653 systems using the AADL

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

Engineering, Verification, Safety Science +21

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

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

Petri Net, Distribution Middleware, Engineering +23

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

Laurent Pautet, Samuel Tardieu · 2002 · 32 citations

Cluster Computing, Distributed Systems Annex, Engineering +23

1–5 of 30