Skip to Main content Skip to Navigation

Search by documents

hal-00357209v1  Journal articles
Stephane CombesOlivier AlphandPascal BerthouThierry Gayraud. Satellite and next generation networks : QoS issues
Journal of space communications, 2005, 20 (3-4), p.101-119
hal-00357216v1  Journal articles
Pascal BerthouThierry GayraudPhilippe OwezarskiMichel Diaz. Multimedia Multi-networking: a new concept
Annals of Telecommunications - annales des télécommunications, Springer, 2002, tome 57 (7-8), p721-750
tel-00011515v1  Theses
Léonard Jaillet. Méthodes probabilistes pour la planification réactive de mouvements
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2005. Français
hal-02191294v1  Book sections
Raphaël LallementJuan CortésMamoun GharbiAlexandre BoeufRachid Alami et al.  Combining Assembly Planning and Geometric Task Planning
Anibal Ollero; Bruno Siciliano. Aerial Robotic Manipulation. Research, Development and Applications, 129, Springer, pp.299-316, 2019, Springer Tracts in Advanced Robotics, 978-3-030-12945-3. ⟨10.1007/978-3-030-12945-3_22⟩
hal-02087581v1  Book sections
Matthieu Roy. BG Distributed Simulation Algorithm
Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩
hal-01380170v1  Journal articles
Ulrich Matchi AïvodjiSébastien GambsMarie-José HuguetMarc-Olivier Killijian. Meeting points in ridesharing: A privacy-preserving approach
Transportation research. Part C, Emerging technologies, Elsevier, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
inserm-00593743v1  Journal articles
Simon JuppJulie KleinJoost SchanstraRobert Stevens. Developing a kidney and urinary pathway knowledge base
Journal of Biomedical Semantics, BioMed Central, 2011, 2 (Suppl 2), pp.S7
hal-01954270v1  Conference papers
Euriell Le CorroncAlexandre SahuguèdeYannick PencoléClaire Paya. Localization of time shift failures in (max,+)-linear systems
14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191
hal-02117365v1  Conference papers
Chékra FehriMohamed KassabSlim AbdellatifPascal BerthouAbdelfettah Belghith. LoRa technology: MAC layer operations and Research issues
The Fourth International Workshop on Recent Advances on Internet of Things (RAMCOM 2018), May 2018, Porto, Portugal. ⟨10.1016/j.procs.2018.04.162⟩
hal-01203633v1  Conference papers
Elodie ChantheryYannick PencoléPauline RibotLouise Travé-Massuyès. HYDIAG : extended diagnosis and prognosis for hybrid systems
The 26th International Workshop on Principles of Diagnosis (DX-2015), Aug 2015, Paris, France
tel-00136075v1  Theses
Mohammed Karim Guennoun. Architectures dynamiques dans le contexte des applications à base de composants et orientées service
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2006. Français
inria-00531763v1  Conference papers
Anh-Dung NguyenPatrick SénacMichel Diaz. STIgmergy Routing (STIR) for Content-Centric Delay-Tolerant Networks
LAWDN - Latin-American Workshop on Dynamic Networks, INTECIN - Facultad de Ingeniería (U.B.A.) - I.T.B.A., Nov 2010, Buenos Aires, Argentina. 4 p
hal-01242268v1  Journal articles
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
hal-01163925v1  Journal articles
Sandra Ulrich NgueveuChristian ArtiguesPierre Lopez. Scheduling under non-reversible energy sources
Discrete Applied Mathematics, Elsevier, 2016, 208, pp. 98-113
hal-01979370v1  Journal articles
Jean-Claude LaprieKarama Kanoun. X-ware reliability and availability modeling
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1992, 18 (2), pp.130-147
hal-02007235v1  Journal articles
Karama KanounMarta Bastos-MartiniGeorges Moreira de Souza. A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1991, 17 (4), pp.334-344
hal-00714860v1  Journal articles
Jérémie BigotClaire ChristopheSébastien Gadat. Random action of compact Lie groups and minimax estimation of a mean pattern
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2012, 58 (6), pp.3509-3520. ⟨10.1109/TIT.2012.2185484⟩
hal-02916434v1  Journal articles
André MoninGérard Salut. ARMA Lattice Identification: A New Hereditary Algorithm
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 1996, 4 (2), pp.360-370. ⟨10.1109/78.485931⟩
hal-01461689v1  Journal articles
Olivier BrunBalakrishna PrabhuJason Vallet. A Penalized Best-Response Algorithm for Non-Linear Single-Path Routing Problems
Networks, Wiley, 2017, Static and Dynamic Optimization Models for Network Routing Problems 69 (1), pp.52-66. ⟨10.1002/net.21720⟩
hal-02264449v1  Journal articles
Erwan Le MerrerPatrick PérezGilles Trédan. Adversarial frontier stitching for remote neural network watermarking
Neural Computing and Applications, Springer Verlag, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
hal-00846968v1  Journal articles
Laurent HoussinSébastien LahayeJean-Louis Boimond. Control of (max,+)-linear systems minimizing delays
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (3), pp.261-276. ⟨10.1007/s10626-012-0143-1⟩
hal-02540557v1  Journal articles
Etienne FieuxBertrand Jouve. A hierarchy of dismantlings in Graphs
Discrete Mathematics, Elsevier, In press, 343 (8)
hal-03059942v1  Conference papers
Guillaume BrauMohammed Foughali. Contract-Based Verification of Model Transformations: A Formally Founded Approach
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
tel-01017785v1  Theses
Dora Luz Almanza-Ojeda. Détection et suivi d'objets mobiles perçus depuis un capteur visuel embarqué
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2011. Français
hal-01927394v1  Journal articles
Johan MazelPedro CasasRomain FontugneK. FukudaPhilippe Owezarski. Hunting Attacks in the Dark: Clustering and Correlation Analysis for Unsupervised Anomaly Detection
International Journal of Network Management, Wiley-Blackwell, 2015, Measure, Detect and Mitigate ‐ Challenges and Trends in Network Security, 25 (5), pp.283-305. ⟨10.1002/nem.1903⟩
tel-00919883v1  Theses
Georgia Deaconu. On the trajectory design, guidance and control for spacecraft rendezvous and proximity operations
Automatic Control Engineering. Université Paul Sabatier - Toulouse III, 2013. English
tel-01763500v1  Theses
Fabien Niel. Modeling and control of a wing at low Reynolds number with high amplitude aeroelastic oscillations
Automatic Control Engineering. INSTITUT SUPERIEUR DE L'AERONAUTIQUE ET DE L'ESPACE (ISAE), 2018. English
tel-00728775v1  Theses
Séverin Lemaignan. Grounding the interaction: knowledge management for interactive robots
Artificial Intelligence [cs.AI]. INSA de Toulouse, 2012. English
tel-00979633v1  Theses
Wuwei He. Reactive control and sensor fusion for mobile manipulators in human robot interaction
Robotics [cs.RO]. Université Paul Sabatier - Toulouse III, 2013. English
tel-00442449v1  Theses
Vincent Albert. Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français
tel-00088723v1  Theses
David Colin Raymond. Synchronous environments for distance learning: combinning network and collaborative approaches
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2006. English
tel-00627225v1  Theses
Hoang-Nam Chu. Test and evaluation of the robustness of the functional layer of an autonomous robot
Computer Science [cs]. Institut National Polytechnique de Toulouse - INPT, 2011. English
tel-00197183v1  Theses
Hervé Thalmensy. Emulation de réseaux au niveau IP pour l'expérimentation de services et protocoles de communication. Application aux réseaux satellites
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français
tel-00196822v1  Theses
Ludovic Courtès. Sauvegarde coopérative de données pour dispositifs mobiles
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français
hal-00760783v1  Conference papers
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
hal-00761345v1  Conference papers
Clément PiraChristian Artigues. An efficient best response heuristic for a non-preemptive strictly periodic scheduling problem
Learning and Intelligent OptimizatioN Conference LION 7, Jan 2013, Catania, Italy. pp.281-287, ⟨10.1007/978-3-642-44973-4_30⟩
hal-00356850v1  Conference papers
Aubin LecointreDaniela DragomirescuPascal BerthouRobert Plana. A reconfigurable IR-UWB radio interface, with directional antennas and localization capability, for wireless sensor networks
14th IEEE International Conference on Electronics, Circuits and Systems, Dec 2007, Marrakech, Morocco. p. 1055-1058
hal-00356846v1  Conference papers
Mathieu GinesteFrédéric NivorPascal BerthouThierry Gayraud. SIP-based resource allocation for interactive multimedia applications over DVB-S/RCS satellite system
15th International Conference on Telecommunications (ICT2008), Jun 2008, St Petersbourg, Russia. 6p
hal-00356852v1  Conference papers
Ghalem BoudourAubin LecointrePascal BerthouDaniela DragomirescuThierry Gayraud. On Designing Sensor Networks with Smart Antennas
7th IFAC International Conference on Fieldbuses and nETworks in industrial and embedded systems, Nov 2007, Toulouse, France. p. 349-356
hal-00356863v1  Conference papers
C. BaudoinMathieu DervinPascal BerthouThierry GayraudFrédéric Nivor et al.  PLATINE: DVB-S2/RCS enhanced testbed for next generation satellite networks
International Workshop on IP Networking over Next-generation Satellite Systems (INNSS'07), Jul 2007, Budapest, Hungary. 11p
hal-00356866v1  Conference papers
Thierry GayraudOlivier AlphandPascal BerthouBaptiste JacqueminC. Baudoin. Mobility architectures for DVB-S/RCS satellite networks
2th Ka band Broadband Communications Conference, Sep 2006, Naples, Italy. pp.CDROM
hal-00356870v1  Conference papers
Olivier AlphandPascal BerthouThierry GayraudStephane Combes. Signalisation de QdS dans un réseau satellite de nouvelle génération
11ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2005), Mar 2005, Bordeaux, France. p.483-498
hal-01190054v1  Conference papers
Yann BachyVincent NicometteEric AlataMohamed KaânicheJean-Christophe Courrège. Security of ISP Access Networks: practical experiments
11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
hal-01187138v1  Conference papers
Alexandre BoeufJuan CortésRachid AlamiThierry Simeon. Planning agile motions for quadrotors in constrained environments
IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2014, Chicago, United States. 6p., ⟨10.1109/IROS.2014.6942564⟩
hal-00781084v1  Conference papers
Roberto PasquaDamien FouresVincent AlbertAlexandre Nketsa. FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
hal-01205313v1  Conference papers
Nathalie Andrea Barbosa RoaLouise Travé-MassuyèsVictor Hugo Grisales Palacio. Trend-Based Dynamic Classification for on-line Diagnosis of Time-Varying Dynamic Systems
9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, IFAC, Sep 2015, Paris, France
hal-01182759v1  Conference papers
Marco TognonAntonio Franchi. Nonlinear Observer for the Control of Bi-Tethered Multi Aerial Robots
International Conference on Intelligent Robots and Systems, Sep 2015, Hamburg, Germany
hal-01142399v2  Conference papers
Alexis MifsudMehdi BenallegueFlorent Lamiraux. Estimation of Contact Forces and Floating Base Kinematics of a Humanoid Robot Using Only Inertial Measurement Units
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 6p
hal-00759840v1  Conference papers
Imen TounsiMohamed Hadj KacemAhmed Hadj KacemKhalil Drira. Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B
The 28 th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. 3p
hal-00345089v1  Conference papers
Ismael Bouassida RodriguezMohammed Karim GuennounKhalil DriraChristophe ChassotMohamed Jmaiel. Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism
5th International Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST'2008), Oct 2008, PARIS, France. pp.484-491
hal-01568756v1  Conference papers
Michelangelo FioreHarmish KhambhaitaGrégoire MilliezRachid Alami. An Adaptive and Proactive Human-Aware Robot Guide
7th International Conference on Social Robotics (ICSR 2015), Oct 2015, Paris, France. pp.194-203, ⟨10.1007/978-3-319-25554-5_20⟩
hal-01562929v1  Conference papers
Vincent AlbertClément Foucher. Formal Framework for Discrete-Event Simulation
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5812-5817, ⟨10.1016/j.ifacol.2017.08.535⟩
hal-01202799v1  Conference papers
Silvano Dal ZilioBernard Berthomieu. Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
hal-01193039v1  Conference papers
Michaël LauerMatthieu AmyWilliam ExcoffonMatthieu RoyMiruna Stoicescu. Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
hal-01194832v1  Conference papers
Hélène MartorellJean-Charles FabreMichaël LauerMatthieu RoyRégis Valentin. Partial Updates of AUTOSAR Embedded Applications — To What Extent?
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
hal-00356864v2  Conference papers
Frédéric NivorMathieu GinesteC. BaudoinPascal BerthouThierry Gayraud. Cross-layer anticipation of ressource allocation for multimedia applications based on SIP signaling over DVB-RCS satellite system
International Workshop on IP Networking over Next-generation Satellite Systems (INNSS'07), Jul 2007, Budapest, Hungary. 10p
hal-00356832v1  Conference papers
Mathieu GinesteBaptiste JacqueminPascal BerthouAbdelaziz El FatniThierry Gayraud et al.  A web services based resource signaling scheme in multimedia satellite systems
4th Advanced Satellite Mobile Systems Conference (ASMS 2008), Aug 2008, Bologna, Italy. 7p