Skip to Main content Skip to Navigation


hal-03023115v1  Conference papers
Xavier JeanDavid FauraMarc GattiLaurent PautetRobert Thomas. Ensuring robust partitioning in multicore platforms for IMA systems
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), Oct 2012, Williamsburg, VA, United States. ⟨10.1109/DASC.2012.6383088⟩
hal-02449688v1  Journal articles
Elie RichaEtienne BordeLaurent Pautet. Translation of ATL to AGT and application to a code generator for Simulink
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
hal-01115716v1  Conference papers
Elie RichaEtienne BordeLaurent PautetMatteo BordinJosé Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
...
hal-00922522v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
hal-01115723v1  Conference papers
Etienne BordeLaurent PautetFabien CadoretSmail RahmounFrank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
hal-02286672v1  Conference papers
Laurent PautetIsabelle. Perseil. An Emerging Need for a New Software Engineering Method
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
...
hal-02269428v1  Conference papers
Julien DelangeLaurent PautetFabrice Kordon. Modeling and Validation of ARINC653 architectures
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
hal-01121019v1  Conference papers
Etienne BordeSmail RahmounFabien CadoretLaurent PautetFrank Singhoff et al.  Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
hal-01121244v1  Conference papers
Fabien CadoretRobert ThomasEtienne BordeLaurent PautetFrank Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
hal-01995010v1  Conference papers
Roberto MedinaEtienne BordeLaurent Pautet. Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
hal-02286688v1  Book sections
Laurent PautetB. Zalila. Model-Based Code Generation
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
hal-02288369v1  Conference papers
Isabelle. PerseilLaurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
...
hal-01166136v1  Conference papers
Frank SinghoffAlain PlantecStéphane RubiniHai Nam TranVincent Gaudel et al.  Teaching Real-Time Scheduling Analysis with Cheddar
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
...
hal-02447339v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
hal-02922757v1  Conference papers
Romain GratiaRobert ThomasLaurent Pautet. Scheduling of mixed-criticality systems with RUN
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
hal-01994643v1  Conference papers
Roberto MedinaEtienne BordeLaurent Pautet. Availability enhancement and analysis for mixed-criticality systems on multi-core
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
hal-02447655v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
hal-01115671v1  Conference papers
Laurent PautetEtienne BordeRobert ThomasAntoine Jaouen. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
hal-02287739v1  Conference papers
Farouk HebbacheMathieu JanFlorian BrandnerLaurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
...
hal-00922521v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Réduction de la consommation statique des systèmes temps-réel multiprocesseurs
École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4