Items where Institution is :Other partners > Telecom ParisTech (FRANCE)

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro SysML Models Verification Relying on Dependency Graphs. ( In Press: 2022) In: MODELSWARD 2022 : 10th International Conference on Model-Driven Engineering and Software Development, 6 February 2022 - 8 February 2022 (Virtual, Vienna, Austria).

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A. Checking SysML Models against Safety and Security Properties. (2021) Journal of Aeropspace Information Systems, 18 (12). ISSN 2327-3097

Marouf, Abderahmane and Bmegaptche Tekap, Yannick and Simiriotis, Nikolaos and Tô, Jean-Baptiste and Rouchon, Jean-François and Hoarau, Yannick and Braza, Marianna Numerical investigation of frequency-amplitude effects of dynamic morphing for a high-lift configuration at high Reynolds number. (2021) International Journal of Numerical Methods for Heat & Fluid Flow, 31 (2). ISSN 0961-5539

Ortega, Lorenzo and Medina, Daniel and Vilà-Valls, Jordi and Vincent, François and Chaumette, Eric Positioning Performance Limits of GNSS Meta-Signals and HO-BOC Signals. (2020) Sensors, 20 (12). 3586-3613. ISSN 1424-8220

Rey de Souza, Fellipe Guilherme and Melo Bezerra, Juliana de and Hirata, Celso and Saqui-Sannes, Pierre de and Apvrille, Ludovic Combining STPA with SysML Modeling. (2020) In: The 14th annual IEEE International Systems Conference (SysCon 2020), 20 April 2020 - 23 April 2020 (Montréal, Canada).

Metatla, Oussama and Thieme, Anja and Brulé, Emeline and Benett, Cynthia and Serrano, Marcos and Jouffrais, Christophe Toward classroom experiences inclusive of students with disabilities. (2019) Interactions, 26 (1). 40-45. ISSN 0927-3360

Diaz, Gladys and Sibilla, Michelle and Simoni, Noëmie Towards information modeling for a QoS-aware support in the lifecycle of virtual networks. (2019) In: 28th International Telecommunication Networks and Applications Conference (ITNAC 2018), 21 November 2018 - 23 November 2018 (Sydney, Australia).

Saqui-Sannes, Pierre de and Apvrille, Ludovic Test Sequence Generation From Formally Verified SysML Models. (2019) In: 1st Workshop on Software Engineering for Avionics System (Aviose 2019), 18 February 2019 - 18 February 2019 (Stuttgart, Germany).

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A. Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach. (2018) [Report] (Unpublished)

Brulé, Émeline and Bailly, Gilles and Brock, Anke and Gentès, Annie and Jouffrais, Christophe An exploratory study of the uses of a multisensory map with visually impaired children. (2018) Multimodal Technologies and Interaction, 2 (36). 1-20. ISSN 2414-4088

Metatla, Oussama and Serrano, Marcos and Jouffrais, Christophe and Thieme, Anja and Kane, Shaun and Branham, Stacy and Brulé, Émeline and Bennett, Cynthia L. Inclusive Education Technologies: Emerging Opportunities for People with Visual Impairments. (2018) In: International Conference for Human-Computer Interaction (CHI 2018), 21 April 2018 - 26 April 2018 (Montréal, QC, Canada).

Cluzel, Sylvain and Franck, Laurent and Radzik, José and Cazalens, Sonia and Dervin, Mathieu and Baudoin, Cédric and Dragomirescu, Daniela 3GPP NB-IoT coverage extension using LEO satellites. (2018) In: 2018 IEEE 87th Vehicular Technology Conference (VTC Spring), 3 June 2018 - 6 June 2018 (Porto, Portugal).

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Apvrille, Ludovic Early Checking of SysML Models Applied to Protocols. (2018) In: 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

Lesouple, Julien and Barbiero, Franck and Faurie, Frédéric and Sahmoudi, Mohamed and Tourneret, Jean-Yves Robust Covariance Matrix Estimation and Sparse Bias Estimation for Multipath Mitigation. (2018) In: 31st International Technical meeting and showcase of GNSS technology, products and services (ION GNSS+ 2018), 24 September 2018 - 28 September 2018 (Miami, Floride, United States).

Chabridon, Sophie and Bouzeghoub, Amel and Ahmed-Nacer, Anis and Marie, Pierrick and Desprats, Thierry Unified Modeling of Quality of Context and Quality of Situation for Context-Aware Applications in the Internet of Things. (2017) In: 10th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2017), 20 June 2017 - 23 June 2017 (Paris, France).

Kbayer, Nabil and Galy, Jerome and Chaumette, Eric and Vincent, François and Renaux, Alexandre and Larzabal, Pascal On Lower Bounds for Non Standard Deterministic Estimation. (2017) IEEE Transactions on Signal Processing, 65 (6). 1538-1553. ISSN 1053-587X

Deschamps, Henrick and Tauran, Bastien and Cardoso, Janette and Siron, Pierre Distributing Cyber-Physical Systems Simulation: The Satellite Constellation Case. (2017) In: 5th Federated and Fractionated Satellite Systems Workshop, 2 November 2017 - 3 November 2017 (Toulouse, France).

Goix, Nicolas and Drougard, Nicolas and Brault, Romain and Chiapino, Mael One Class Splitting Criteria for Random Forests. (2017) In: The 9th Asian Conference on Machine Learning, 15 November 2017 - 17 November 2017 (Seoul, Korea, Republic Of).

Bonacci, David and Vincent, François and Gigleux, Benjamin Robust DoA estimation in case of multipath environment for a sense and avoid airborne radar. (2017) IET Radar, Sonar and Navigation. ISSN 1751-8792

Prendes, Jorge and Chabert, Marie and Pascal, Frédéric and Giros, Alain and Tourneret, Jean-Yves A Bayesian Nonparametric Model Coupled with a Markov Random Field for Change Detection in Heterogeneous Remote Sensing Images. (2016) SIAM Journal on Imaging Sciences, 9 (4). 1889-1921. ISSN 1936-4954

Saqui-Sannes, Pierre de and Apvrille, Ludovic Making Modeling Assumptions an Explicit Part of Real-Time Systems Models. (2016) In: the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 27 January 2016 - 29 January 2016 (Toulouse, France).

Laval, Xavier and Song, Guanghan and Li, Zhong-Yang and Bellemain, Pascal and Lefray, Maxime and Martin, Nadine and Lebranchu, Alexis and Mailhes, Corinne AStrion assets for the detection of a main bearing failure in an onshore wind turbine. (2016) In: 13th International Conference on Condition Monitoring and Machinery Failure Prevention Technologies (CM 2016/MFPT 2016), 10 October 2016 - 12 October 2016 (Charenton-le-Pont, France).

Brulé, Emeline and Bailly, Gilles and Brock, Anke and Valentin, Frédéric and Denis, Grégoire and Jouffrais, Christophe MapSense: Design and Field Study of Interactive Maps for Children Living with Visual Impairments. (2016) In: International Conference for Human-Computer Interaction (CHI 2016), 7 May 2016 - 12 May 2016 (San Jose, CA, United States).

Apvrille, Ludovic and Saqui-Sannes, Pierre de Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. (2013) Revue Génie Logiciel, 105. 40-44. ISSN 0295-6322

Apvrille, Ludovic and Saqui-Sannes, Pierre de Requirements Analysis. (2013) In: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (Electronic Engineering Series). ISTE / Wiley. ISBN 978-1-84821-500-9

Sharrock, Rémi and Monteil, Thierry and Stolf, Patricia and Brun, Olivier Autonomic computing to manage green Core networks with Quality of Service. (2013) In: IC0804 Energy Efficiency in Large Scale Distributed Systems conference (EE-LSDS 2013), 22 April 2013 - 24 April 2013 (Vienna, Austria).

Bissoli Nicolau, Victor and Coulon, Martial and Grégoire, Yoann and Calmettes, Thibaud and Tourneret, Jean-Yves Modified Cramér-Rao lower bound for TOA and symbol width estimation. An application to search and rescue signals. (2013) In: IEEE International Conference on Acoustics, Speech, and Signal Processing - ICASSP 2013, 26 May 2013 - 31 May 2013 (Vancouver, Canada).

Kuhn, Nicolas and Van Wambeke, Nicolas and Gineste, Mathieu and Gadat, Benjamin and Lochin, Emmanuel and Lacan, Jérôme On the Impact of Link Layer Retransmissions on TCP for Aeronautical Communications. (2013) In: 5th International Conference on Personal Satellite Services - PSATS 2013, Toulouse, France, 27-28 Jun 2013 .

Apvrille, Ludovic and Saqui-Sannes, Pierre de Static analysis techniques to verify mutual exclusion situations within SysML models. (2013) In: SDL 2013 - 16th International System Design Languages Forum, 26 June 2013 - 28 June 2013 (Montreal, Canada).

Apvrille, Ludovic and Saqui-Sannes, Pierre de Vérification d'exigences d'un modèle SysML. (2013) In: Modélisation et analyse de systèmes embarqués. (Collection SEE). Hermès Science Lavoisier, Paris, France, 113-131. ISBN 978-2-7462-3900-5

Méric, Hugo and Lacan, Jérôme and Arnal, Fabrice and Lesthievent, Guy and Boucheret, Marie-Laure Improving Broadcast Channel Rate Using Hierarchical Modulation. (2012) In: 18th European Wireless (EW 2012), 18 April 2012 - 20 April 2012 (Poznan, Poland).

Tran Thai, Tuan and Lochin, Emmanuel and Lacan, Jérôme Online multipath convolutional coding for real-time transmission. (2012) In: 19th International Packet Video Workshop, 10 May 2012 - 11 May 2012 (Munich, Germany).

Apvrille, Ludovic and Saqui-Sannes, Pierre de AVATAR/TTool : un environnement en mode libre pour SysML temps réel. (2011) Génie Logiciel, 58 (98). 22-26. ISSN 1265-1397

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme A Model-based transformation process to validate and implement high-integrity systems. (2011) In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28 March 2011 - 31 March 2011 (Newport Beach, United States).

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz An implementation of the behavior annex in the AADL-toolset Osate2. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27 April 2011 - 29 April 2011 (Las Vegas, United States).

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. (2011) Technique et Science Informatiques, 30 (4). 309-337. ISSN 0752-4072

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de Real-time distributed systems dimensioning and validation: The TURTLE method. (2010) Studia Informatica Universalis, 3 (8). 47-69.

Raghav, Gopal and Gopalswamy, Swaminathan and Radhakrishnan, Karthikeyan and Hugues, Jérôme and Delange, Julien Model based code generation for distributed embedded systems. (2010) In: European Congress on Embedded Real-Time Software (ERTS 2010), 19-21 May 2010, Toulouse, France .

Delange, Julien and Hugues, Jérôme and Pautet, Laurent and De Niz, Diosisio A MDE-based process for the design, implementation and validation of safety critical systems. (2010) In: Proceedings of the 5th UML AADL Workshop - UML AADL 2010, 24 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme Expressing and enforcing user-defined constraints of AADL models. (2010) In: Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010), 22-26 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme A MDE-based optimisation process for Real-Time systems. (2010) In: 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 05-06 May 2010, Valencia, Spain .

Knorreck, Daniel and Apvrille, Ludovic and Saqui-Sannes, Pierre de TEPE: a SysML language for time-constrained property modeling and formal verification. (2010) In: Third IEEE International workshop UML and Formal Methods - ULM&FM'2010, 16 Nov 2010, Shangaï, China .

Apvrille, Ludovic and Saqui-Sannes, Pierre de TURTLE: Four Weddings and a Tutorial. (2010) In: Embedded Real Time Software and Systems - ERTSS 2010, 19-21 May 2010, Toulouse, France .

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem A UML framework for the dimensioning and formal verification of embedded systems. (2009) In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 Sept 2009, Sophia-Antipolis, France .

Saqui-Sannes, Pierre de and Apvrille, Ludovic Making formal verification amenable to real-time UML practitioners. (2009) In: 12th European Workshop on Dependable Computing, EWDC 2009, 14 May 2009 - 15 May 2009 (Toulouse, France).

Saqui-Sannes, Pierre de and Apvrille, Ludovic Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool. (2009) In: GPL 2009 - 1ères journées nationales du GDR Génie de la programmation et du Logiciel, 28 January 2009 - 30 January 2009 (Toulouse, France).

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Timing requirement description diagrams for real-time system verification. (2008) In: 4th European Congress ERTS Embedded real-time software - ERTS 2008, 29 Jan - 01 Feb 2008, Toulouse, France .

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Synthèse d’observateurs à partir d’exigences temporelles. (2008) Revue des Nouvelles Technologies de l'Information (RNTI).

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un environnement formel d'assistance à la modélisation de protocoles. (2008) In: NOTERE 2008 : 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, 23-27 June 2008, Lyon, France .

Massenot, Sébastien and Chevallier, Raymond and Bougrenet de la Tocnaye, Jean-Louis de and Parriaux, Olivier Tunable grating-assisted surface plasmon resonance by use of nano-polymer dispersed liquid crystal electro-optical material. (2007) Optics Communications, 2 (2). 318-323 . ISSN 0030-4018

Bouabdallah, Amine and Kieffer, Michel and Lacan, Jérôme and Sabeva, Galina and Scot, Gaël and Bazile, Caroline and Duhamel, Pierre Evaluation of cross-layer reliability mechanisms for satellite digital multimedia broadcast. (2007) IEEE Transactions on Broadcasting, 5 (1). 391-404. ISSN 0018-9316

Oster, Yann and Lacan, Jérôme and Duverdier, Alban Benchmark of Reed-Muller codes for Short Packet Transmission. (2007) In: 25th AIAA International Communications Satellite Systems Conference, Seoul, Corée, 10-13 Apr 2007, Séoul, Corée .

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles. (2007) In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), 04-08 Juin 2007, Marrakech, Morocco .

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat TURTLE-P: a UML profile for the formal validation of critical and distributed systems. (2006) Software and Systems Modeling, 5 (4). 449-466. ISSN 1619-1366

Fontan, Benjamin and Apvrille, Ludovic and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Real-time and embedded system verification based on formal requirements. (2006) In: IES'06 - Industrial Embedded Systems, 18-20 Oct 2006, Antibes Juan-les-Pins, France .

Hélie, Thomas and Matignon, Denis Representations with poles and cuts for the time-domain simulation of fractional systems and irrational transfer functions. (2006) Signal Processing, 86 (10). 2516-2528. ISSN 0165-1684

He, Qiong and Zaquine, Isabelle and Maruani, Alain and Massenot, Sébastien and Chevallier, Raymond and Frey, Robert Band-edge-induced Bragg diffraction in two-dimensional photonic crystals. (2006) Optics Letters, 3 (9). 1184-1186 . ISSN 0146-9592

Hélie, Thomas and Matignon, Denis Diffusive representations for the analysis and simulation of flared acoustic pipes with visco-thermal losses. (2006) Mathematical Models and Methods in Applied Sciences, 16 (4). 503-536. ISSN 0218-2025

Cantillo, Juan and Lacan, Jérôme and Buret, Isabelle Cross-layer enhancement of error control techniques for adaptation layers of DVB satellites. (2006) International Journal of Satellite Communications and Networking, 2 (6). 579-590. ISSN 1542-0973

Kergomard, Jean and Debut, Vincent and Matignon, Denis Resonance modes in a one-dimensional medium with two purely resistive boundaries: Calculation methods, orthogonality, and completeness. (2006) The Journal of the Acoustical Society of America, 119 (3). 1356-1367. ISSN 0001-4966

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Pacalet, Renaud and Apvrille, Axelle Un environnement de conception de systèmes distribués basé sur UML. (2006) Annales des Télécommunications, 6 (11-). 1347-1368. ISSN 0003-4347

Dairaine, Laurent and Lancérica, Laurent and Lacan, Jérôme and Fimes, Jérôme Content-access QoS in peer-to-peer networks using a fast MDS erasure code. (2005) Computer Communications, 2 (15). 1778-1790. ISSN 0140-3664

Massenot, Sébastien and Kaiser, Jean-Luc and Camacho, Maria and Chevallier, Raymond and Bougrenet de la Tocnaye, Jean-Louis de Multiplexed holographic transmission gratings recorded in holographic polymer-dispersed liquid crystals: static and dynamic studies. (2005) Applied Optics, 4 (25). 5273 -5280. ISSN 0003-6935

Matignon, Denis and Prieur, Christophe Asymptotic stability of linear conservative systems when coupled with diffusive systems. (2005) ESAIM: Control, Optimisation and Calculus of Variations, 11 (3). 487-507. ISSN 1292-8119

De Belleville, Florestan and Dairaine, Laurent and Gineste, Mathieu and Fraboul, Christian Reducing satellite communication cost using terrestrial peer to peer to recover losts. (2005) In: 23rd AIAA ICSSC (International Communication Satellite Systems Conference), 25-28 Sept 2005, Rome, Italy .

Massenot, Sébastien and Kaiser, Jean-Luc and Chevallier, Raymond and Renotte, Yvon Study of the dynamic formation of transmission gratings recorded in photopolymers and holographic polymer-dispersed liquid crystals. (2004) Applied Optics, 4 (29). 5489-5497. ISSN 0003-6935

Apvrille, Ludovic and Courtiat, Jean-Pierre and Lohr, Christophe and Saqui-Sannes, Pierre de TURTLE: A real-time UML profile supported by a formal validation toolkit. (2004) IEEE Transactions on Software Engineering, 3 (7). 473-487. ISSN 0098-5589

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Sénac, Patrick and Lohr, Christophe Verifying service continuity in a satellite reconfiguration procedure: application to a satellite. (2004) Automated Software Engineering, 1 (2). 167-191. ISSN 0928-8910

Loukina, Tatiana and Massenot, Sébastien and Chevallier, Raymond and Heggarty, Kevin and Shigapova, N.M. and Skochilov, A.F Volume diffraction gratings for optical telecommunications applications: design study for a spectral equalizer. (2004) Optical Engineering (OE), 4 (11). 2658-2665. ISSN 0091-3286

Hélie, Thomas and Matignon, Denis Numerical Simulation of Acoustic Waveguides for Webster-Lokshin Model Using Diffusive Representations. (2003) In: Mathematical and Numerical Aspects of Wave Propagation WAVES 2003 : Proceedings of The Sixth International Conference on Mathematical and Numerical Aspects of Wave Propagation Held at Jyväskylä, Finland, 30 June – 4 July 2003. Springer Berlin Heidelberg, 72-77. ISBN 978-3-642-62480-3

Montseny, Gérard and Audounet, Jacques and Matignon, Denis Diffusive representation for pseudo-differentially damped nonlinear systems. (2001) In: Nonlinear control in the year 2000 volume 2. (Lecture Notes in Control and Information Sciences). Springer London, 163-182. ISBN 978-1-85233-364-5

Audounet, Jacques and Matignon, Denis and Montseny, Gérard Semi-linear diffusive representations for non-linear fractional differential systems. (2001) In: Nonlinear control in the Year 2000. (Lecture Notes in Control and Information Sciences). Springer London, 73-82. ISBN 978-1-85233-363-8

Lambourg, Christophe and Chaigne, Antoine and Matignon, Denis Time-domain simulation of damped impacted plates. II. Numerical model and results. (2001) The Journal of the Acoustical Society of America, 109 (4). 1433-1447. ISSN 0001-4966

Doutaut, Vincent and Matignon, Denis and Chaigne, Antoine Numerical simulations of xylophones. II. Time-domain modeling of the resonator and of the radiated sound pressure. (1998) The Journal of the Acoustical Society of America (JASA), 104 (3). 1633-1648. ISSN 0001-4966

Matignon, Denis Stability properties for generalized fractional differential systems. (1998) ESAIM: Proceedings, 5. 145-158. ISSN 1270-900X

Montseny, Gérard and Audounet, Jacques and Matignon, Denis Fractional integro-differential boundary control of the Euler-Bernoulli beam. (1997) In: The 36th IEEE Conference on Decision and Control, 1997 (San Diego, United States).

Matignon, Denis and Andrea-Novel, Brigitte d' Observer-based controllers for fractional differential systems. (1997) In: The 36th IEEE Conference on Decision and Control, 12 December 1997 (San Diego, United States).