BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × Sweden
1 × Switzerland
10 × USA
2 × Germany
2 × United Kingdom
3 × Spain
4 × France
Collaborated with:
Y.Kermarrec S.Tardieu E.Borde J.Hugues T.Quinot B.Zalila F.Kordon K.Barbaria L.Nana T.Vergnaud E.Richa J.Delange O.Hainque T.Wolf P.H.Feiler G.Haïk I.Perseil D.Neri Roberto Medina 0001 A.Jaouën T.Robert G.Lasnier I.Hamid Y.L.Biannic E.Nassor B.Dupouy A.Gargaro M.Bordin J.F.Ruiz M.Lafaye M.Gatti D.Faura A.Plantec M.Kerboeuf F.Singhoff
Talks about:
distribut (16) applic (13) system (10) ada (10) compon (5) transform (4) critic (4) model (4) corba (4) use (4)

Person: Laurent Pautet

DBLP DBLP: Pautet:Laurent

Contributed to:

AMT 20142014
Ada-Europe 20142014
DATE 20122012
Ada-Europe 20092009
DATE 20092009
SIGAda 20092009
Ada-Europe 20072007
SIGAda 20062006
Ada-Europe 20052005
Ada-Europe 20042004
Ada-Europe 20012001
Ada-Europe 19991999
World Congress on Formal Methods 19991999
SIGAda 19991999
Ada-Europe 19981998
SIGAda 19981998
Ada-Europe 19971997
TRI-Ada 19971997
TRI-Ada 19961996
Ada-Europe 19951995
CSEE 19941994
TRI-Ada 19941994
TRI-Ada 19931993
TRI-Ada 19921992
ICMT 20152015
Ada-Europe 20172017

Wrote 33 papers:

AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AdaEurope-2014-JaouenBPR #protocol
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems (AJ, EB, LP, TR), pp. 149–165.
DATE-2012-LafayePBGF #embedded #modelling #resource management #simulation
Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
AdaEurope-2009-DelangePF #architecture #requirements #safety #security #validation
Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.
AdaEurope-2009-LasnierZPH #analysis #automation #code generation #modelling
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications (GL, BZ, LP, JH), pp. 237–250.
DATE-2009-BordeHP #architecture #component #configuration management
Mode-based reconfiguration of critical software component architectures (EB, GH, LP), pp. 1160–1165.
SIGAda-2009-DelangePPKSK #simulation #using #validation
Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
AdaEurope-2007-BarbariaHP #component #design #distributed #performance
Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.
AdaEurope-2007-ZalilaHHP #architecture #distributed #generative
Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.
SIGAda-2006-BarbariaPP #fault tolerance #middleware
Schizophrenic middleware support for fault tolerance (KB, LP, IP), pp. 51–60.
SIGAda-2006-ZalilaHP #compilation #corba #optimisation
An improved IDL compiler for optimizing CORBA applications (BZ, JH, LP), pp. 21–28.
AdaEurope-2005-VergnaudPK #component #distributed #middleware #using
Using the AADL to Describe Distributed Applications from Middleware to Software Components (TV, LP, FK), pp. 67–78.
AdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
AdaEurope-2001-PautetQT #distributed
Building Modern Distributed Systems (LP, TQ, ST), pp. 123–135.
AdaEurope-1999-PautetQT #corba #question
CORBA & DSA: Divorce or Marriage? (LP, TQ, ST), pp. 211–225.
FM-v2-1999-HainquePBN #compilation #composition #named #tool support
Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
SIGAda-1999-PautetQT #corba
CORBA and CORBA services for DSA (LP, TQ, ST), pp. 31–38.
SIGAda-1999-PautetT #distributed #question #what
What future for the distributed systems annex? (LP, ST), pp. 77–82.
AdaEurope-1998-PautetT #distributed
Inside the Distributed Systems Annex (LP, ST), pp. 65–77.
SIGAda-1998-TardieuP #distributed #fault tolerance #multi #using
Building Fault Tolerant Distributed Systems Using IP Multicast (ST, LP), pp. 45–51.
AdaEurope-1997-DupouyHPT
The SPIF Project (BD, OH, LP, ST), pp. 46–55.
TRI-Ada-1997-NeriPT #debugging #distributed
Debugging Distributed Applications with Replay Capabilities (DN, LP, ST), pp. 189–195.
TRI-Ada-1997-PautetW
Transparent Filtering of Streams in GLADE (LP, TW), pp. 11–19.
TRI-Ada-1996-KermarrecNP #ada #distributed #fault tolerance
Providing Fault-Tolerant Services to Distributed Ada 95 Applications (YK, LN, LP), pp. 39–47.
TRI-Ada-1996-KermarrecNP96a #ada #distributed #named
GNATDIST: A Configuration Language for Distributed Ada 95 Applications (YK, LN, LP), pp. 63–72.
AdaEurope-1995-GargaroKPT #ada #named
PARIS — Partitioned Ada for Remotely Invoked Services (AG, YK, LP, ST), pp. 191–205.
AdaEurope-1995-KermarrecP #ada #distributed #programming
Programming Distributed Systems with Both Ada 95 and PVM (YK, LP), pp. 206–216.
CSEE-1994-KermarrecP #ada #component #distributed #education #reuse
Ada Reusable Software Components for Teaching Distributed Systems (YK, LP), pp. 77–96.
TRI-Ada-1994-KermarrecP #ada #distributed #named #paradigm #programming
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications (YK, LP), pp. 438–445.
TRI-Ada-1993-KermarrecP #ada #distributed #memory management
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.
TRI-Ada-C-1992-KermarrecP #ada #communication #component #distributed #realtime
Ada Communication Components for Distributed and Real Time Applications (YK, LP), pp. 530–537.
ICMT-2015-RichaBP #algebra #atl #graph transformation #model transformation
Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
AdaEurope-2017-MedinaBP #graph #scheduling
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems (RM0, EB, LP), pp. 217–232.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.