Items where Institution is :Other partners > Telecom ParisTech (FRANCE)
Number of items at this level: 77.
Apvrille, Ludovic and Saqui-Sannes, Pierre de
Saqui-Sannes, Pierre de
Marouf, Abderahmane
Ortega, Lorenzo and Medina, Daniel and Vilà-Valls, Jordi
Rey de Souza, Fellipe Guilherme and Melo Bezerra, Juliana de and Hirata, Celso and Saqui-Sannes, Pierre de
Metatla, Oussama and Thieme, Anja and Brulé, Emeline and Benett, Cynthia and Serrano, Marcos
Diaz, Gladys and Sibilla, Michelle
Saqui-Sannes, Pierre de
Saqui-Sannes, Pierre de
Brulé, Émeline and Bailly, Gilles and Brock, Anke and Gentès, Annie and Jouffrais, Christophe
Metatla, Oussama and Serrano, Marcos
Cluzel, Sylvain
Saqui-Sannes, Pierre de
Lesouple, Julien
Chabridon, Sophie and Bouzeghoub, Amel and Ahmed-Nacer, Anis and Marie, Pierrick 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
Goix, Nicolas and Drougard, Nicolas 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 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 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 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 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 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 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). |