BibSLEIGH — Laurent

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: Pautet:Laurent

Contributed to:

2014

2012

2009

2007

2006

2005

2004

2001

1999

1998

1997

1996

1995

1994

1993

1992

2015

2017

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.