Items where Institution is :Other partners > Institut Mines-Télécom (FRANCE)

Apvrille, Ludovic and Sultan, Bastien and Hotescu, Oana Andreea and Saqui-Sannes, Pierre de and Coudert, Sophie Mutation of Formally Verified SysML Models. (2023) In: MODELSWARDS 2023 : 11th International Conference on Model-Based Software and Systems Engineering, 19 February 2023 - 21 February 2023 (Lisbon, Portugal).

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design. (2020) The IEEE Journal on Miniaturization for Air and Space Systems (J-MASS), 1 (2). 117-129. ISSN 2576-3164

Balbiani, Philippe and Boudou, Joseph and Diéguez, Martín and Fernández Duque, David Intuitionistic linear temporal logics. (2019) ACM Transactions on Computational Logic, 21 (2). ISSN 1529-3785

Arlery, Fabien and Tan, Uly Hour and Rabaste, Olivier Generalization and Improvement of the Levenshtein Lower Bound for Aperiodic Correlation. (2019) IEEE Transactions on Information Theory, 65 (2). 1258-1266. ISSN 0018-9448

Bruneliere, Hugo and Eramo, Romina and Gomez, Abel and Besnard, Valentin and Bruel, Jean-Michel and Gogolla, Martin and Kaestner, Andreas and Rutle, Adrian Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. (2018) In: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun 2018), 14 October 2018 - 19 October 2018 (Copenhagen, Denmark).

Ducasse, Julie and Macé, Marc and Oriola, Bernard and Jouffrais, Christophe BotMap: Non-Visual Panning and Zooming with an Actuated Tabletop Tangible Interface. (2018) Transactions on Computer-Human Interaction - TOCHI, 25 (4). 24:1-24:42. ISSN 1073-0516

Pivert, Olivier and Prade, Henri Handling uncertainty in relational databases with possibility theory - A survey of different modelings. (2018) In: International Conference on Scalable Uncertainty Management (SUM 2018), 3 October 2018 - 5 October 2018 (Milan, Italy).

Bruel, Jean-Michel and Combemale, Benoît and Guerra, Esther and Jézéquel, Jean-Marc and Kienzle, Jörg and De Lara, Juan and Mussbacher, Gunter and Syriani, Eugene and Vangheluwe, Hans Model Transformation Reuse across Metamodels. (2018) In: 11th International Conference on Model Transformation (ICMT 2018), 25 June 2018 - 26 June 2018 (Toulouse, France).

Benamira, Messaoud and Ringuede, Armelle and Cassir, Michel and Horwat, David and Lenormand, Pascal and Ansart, Florence and Bassat, Jean-Marc and Viricelle, Jean-Paul Enhancing oxygen reduction reaction of YSZ/La2NiO4+δ using an ultrathin La2NiO4+δ interfacial layer. (2018) Journal of Alloys and Compounds, 746. 413-420. ISSN 0925-8388

Wagner, Vincent and Barelli, Floran and Dessein, Gilles and Laheurte, Raynald and Darnis, Phillipe and Cahuc, Olivier and Mousseigne, Michel Thermal and microstructure study of the chip formation during turning of Ti64 β lamellar titanium Structure. (2018) Journal of Manufacturing Science and Engineering, 140 (3). 1-10. ISSN 1087-1357

Shtehin, Oleksii and Seguy, Sébastien and Wagner, Vincent and Landon, Yann and Dessein, Gilles and Mousseigne, Michel Low-frequency chatter genesis during inclined surface copy-milling with ball-end mill: experimental study. (2018) Machining Science and Technology, 22 (4). 621-637. ISSN 1091-0344

Plumet, Frédéric and Brière, Yves and Le Bars, Fabrice Les voiliers robotisés. (2018) In: Conception, modélisation et commande en robotique. Techniques de l'ingénieur, 1-23.

Blas, Fabien and Ansart, Florence and Lours, Philippe and Bonino, Jean-Pierre and Duluard, Sandrine Nathalie and Vidal, Vanessa and Pin, Lisa and Pujol, Guillaume and Bonin, Luiza Processing thermal barrier coatings via sol-gel route: crack network control and durability. (2018) Surface and Coatings Technology, 334. 71-77. ISSN 0257-8972

Ammarcha, Chawki and Gatumel, Cendrine and Dirion, Jean-Louis and Cabassud, Michel and Berthiaux, Henri Continuous powder mixing of segregating mixtures under steady and unsteady state regimes: Homogeneity assessment by real-time on-line image analysis. (2017) Powder Technology, 315. 39-52. ISSN 0032-5910

Giraud, Stéphanie and Brock, Anke and Macé, Marc and Jouffrais, Christophe Map Learning with a 3D Printed Interactive Small-Scale Model: Improvement of Space and Text Memorization in Visually Impaired Students. (2017) Frontiers in Psychology - Human Media Interaction, 8 (930). 1-10. ISSN 1664-1078

Shtehin, Oleksii and Wagner, Vincent and Seguy, Sébastien and Landon, Yann and Dessein, Gilles and Mousseigne, Michel Stability of ball-end milling on warped surface: semi-analytical and experimental analysis. (2017) The International Journal of Advanced Manufacturing Technology, 89 (9-12). 2557-2569. ISSN 0268-3768

Giraud, Stephanie and Truillet, Philippe and Gaildrat, Véronique and Jouffrais, Christophe "DIY" Prototyping of Teaching Materials for Visually Impaired Children: Usage and Satisfaction of Professionals. (2017) In: 11th International Conference on Universal Access in Human-Computer Interaction (UAHCI 2017), held as Part of HCI International 2017, 9 July 2017 - 14 July 2017 (Vancouver, Canada).

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok When Time Meets Information Retrieval, Past Proposals, Current Plans, and Future Trends. (2016) Journal of Information Science, 42 (6). 725-747. ISSN 0165-5515

Arlery, Fabien and Kassab, Rami and Tan, Uly Hour and Lehmann, Frédéric Efficient Optimization of the Ambiguity Functions of Multi-Static Radar Waveforms. (2016) In: 2016 17th International Radar Symposium (IRS), 10 May 2016 - 12 May 2016 (Krakow, Poland).

Arlery, Fabien and Kassab, Rami and Tan, Uly Hour and Lehmann, Frédéric Efficient Gradient Method for Locally Optimizing the Periodic/Aperiodic Ambiguity Function. (2016) In: 2016 IEEE Radar Conference (RadarConf), 2 May 2016 - 6 May 2016 (Philadelphia, United States).

Lim, Léon and Marie, Pierrick and Conan, Denis and Chabridon, Sophie and Desprats, Thierry and Manzoor, Atif Enhancing context data distribution for the internet of things using qoc-awareness and attribute-based access control. (2016) Annals of Telecommunications, 71 (3). 121-132. ISSN 0003-4347

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).

El Hamlaoui, Mahmoud and Coulette, Bernard and Ebersold, Sophie and Bennani, Saloua and Nassar, Mahmoud and Anwar, Adil and Beugnard, Antoine and Bach, Jean-Christophe and Jamoussi, Yassine and Tran, Hanh Nhi Alignment of viewpoint heterogeneous design models: Emergency Department Case Study. (2016) In: 4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, 4 October 2016 - 4 October 2016 (Saint-Malo, France).

Hafidhi, Mohamed Mourad and Boutillon, Emmanuel and Dion, Arnaud Demo: Localisation in a faulty digital GPS receiver. (2016) In: Conference on Design and Architectures for Signal and Image Processing (DASIP 2016), 12 October 2016 - 14 October 2016 (Rennes, France).

Marie, Pierrick and Desprats, Thierry and Chabridon, Sophie and Sibilla, Michelle Enabling Self-Configuration of QoC-Centric Fog Computing Entities. (2016) In: 13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016), 18 July 2016 - 21 July 2016 (Toulouse, France).

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok Estimation de la pertinence multidimensionnelle en recherche d'information : évaluation de l'application d'un opérateur flou d'agrégation. (2016) Document numérique, 19 (1). 59-82. ISSN 1279-5127

Arcangeli, Jean-Paul and Bouzeghoub, Amel and Camps, Valérie and Chabridon, Sophie and Conan, Denis and Desprats, Thierry and Laborde, Romain and Leriche, Sébastien and Marie, Pierrick and Mbarki, Mohamed and Péninou, André and Taconet, Chantal and Zaraté, Pascale Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets. (2016) In: 11emes Journees francophones Mobilite et Ubiquite (UBIMOB 2016), 5 July 2016 (Lorient, France).

Ghouaiel, Nehla and Garbaya, Samir and Cieutat, Jean-Marc and Jessel, Jean-Pierre Mobile Augmented Reality in Museums : Towards Enhancing Visitor's Learning Experience. (2016) The International Journal of Virtual Reality, 17 (1). 21-31. ISSN 1081-1451

Le Dref, John and Landon, Yann and Dessein, Gilles and Espinosa, Christine Modelling kinematics and cutting forces in vibration assisted drilling. (2016) Mechanics & Industry, 17 (3). 1-10. ISSN 2257-7777

Kritikakou, Angeliki and Marty, Thibaut and Pagetti, Claire and Rochange, Christine and Lauer, Michael and Roy, Matthieu Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems. (2016) In: 4th Workshop on Critical Automotive applications: Robustness and Safety (CARS 2016), 6 September 2016 (Göteborg, Sweden).

Oberlin, Thomas and Barillot, Christian and Gribonval, Rémi and Maurel, Pierre Symmetrical EEG-FMRI Imaging by Sparse Regularization. (2015) In: European Signal and Image Processing Conference - EUSIPCO 2015, 31 August 2015 - 4 September 2015 (Nice, France). (Unpublished)

Kuhn, Nicolas and Mehani, Olivier and Bui, Huyen Chi and Lochin, Emmanuel and Lacan, Jérôme and Radzik, José and Boreli, Roksana Improving web experience on DVB-RCS2 links. (2015) Annals of Telecommunications. 1-20. ISSN 0003-4347

Marie, Pierrick and Desprats, Thierry and Chabridon, Sophie and Sibilla, Michelle and Taconet, Chantal From Ambient Sensing to IoT-based Context Computing: an Open Framework for End to End QoC Management. (2015) Sensors, 15 (6). 14180-14206. ISSN 1424-8220

Parrein, Benoit and Lacan, Jérôme and Normand, Nicolas and Pertin, Dimitri and Detchart, Jonathan and Van Kempen, Alexandre FEC4Cloud: a research project promoting erasure coding for Cloud storage architectures. (2015) In: Acte de Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information 2015 (RESSI), 19 May 2015 - 22 May 2015 (Troyes, France).

Ther, Olivier and Colin, Christophe and Yahiaoui, Malik and Paris, Jean-Yves and Denape, Jean and Gerbaud, Laurent and Dourfaye, Alfazazi Elaboration de carbures cémentés à gradient de propriétés par imbibition réactive : application au forage pétrolier. (2015) In: Science et Technologie des Poudres et Poudres et Matériaux Frittés STPMF, 8 April 2015 - 10 April 2015 (Nancy, France).

Latombe, Florent and Crégut, Xavier and De Antoni, Julien and Pantel, Marc and Combemale, Benoit Coping with Semantic Variation Points in Domain-Specific Modeling Languages. (2015) In: 1st International Executable Modeling Workshop (EXE 2015) co-located with MODELS 2015, 27 September 2015 - 2 October 2015 (Ottawa, Canada).

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok Leveraging Temporal Query-Term Dependency for Time-Aware Information Access. (2015) In: IEEE / WIC / ACM International Conference on Web Intelligence (WI-IAT 2015), 6 December 2015 - 9 December 2015 (Singapour, Singapore).

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok iAggregator: Multidimensional Relevance Aggregation Based on a Fuzzy Operator. (2014) Journal of the Association for Information Science and Technology, 64 (10). 2062-2083. ISSN 2330-1635

Chabridon, Sophie and Laborde, Romain and Desprats, Thierry and Oglaza, Arnaud and Marie, Pierrick and Machara Marquez, Samer A survey on addressing privacy together with quality of context for context management in the Internet of Things. (2014) Annals of Telecommunications, 69 (1-2). 47-62. ISSN 0003-4347

Auwal, S.I. and Faisal, S. I. and Yusuf, I. M. and Halis, Altun and Kaiiali, Mustafa and Wazan, Ahmad Samer Cloud-based online social network. (2014) In: 10th International Conference on Electronics, Computer and Computation (ICECCO 2013), 7 November 2013 - 9 November 2013 (Ankara, Turkey).

Barbot, Nelly and Miclet, Laurent and Prade, Henri Analogical proportions and the factorization of information in distributive lattices. (2014) In: International Conference on Concept Lattices and Their Applications - CLA 2013, 15 October 2013 - 18 October 2013 (La Rochelle, France).

Marie, Pierrick and Desprats, Thierry and Chabridon, Sophie and Sibilla, Michelle Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management. (2014) In: International Conference on Ubiquitous Computing and Ambient Intelligence - UCAmI 2014, 2 December 2014 - 5 December 2014 (Belfast, United Kingdom).

Arcangeli, Jean-Paul and Chabridon, Sophie and Conan, Denis and Desprats, Thierry and Laborde, Romain and Leriche, Sébastien and Lim, Léon and Taconet, Chantal and Boujbel, Raja and Machara Marquez, Samer and Marie, Pierrick and Rottenberg, Sam Gestion de contexte multi-échelle pour l'Internet des objets. (2014) In: Journées francophones Mobilité et Ubiquité - UBIMOB 2014, 5 June 2014 - 6 June 2014 (Sophia Antipolis, France).

Rottenberg, Sam and Leriche, Sébastien and Taconet, Chantal and Lecocq, Claire and Desprats, Thierry MuSCa: A Multiscale Characterization Framework for Complex Distributed Systems. (2014) In: Model Driven Approaches in System Development - FedCSIS 2014, 7 September 2014 - 10 September 2014 (Warsaw, Poland).

Rottenberg, Sam and Leriche, Sébastien and Taconet, Chantal and Lecocq, Claire and Desprats, Thierry MuScA: A Multiscale Distributed Systems Scale-Awareness Framework. (2014) In: Conférence Francophone sur les Architectures Logicielles - CAL 2014, 10 June 2014 - 11 June 2014 (Paris, France).

Boujbel, Raja and Rottenberg, Sam and Leriche, Sébastien and Taconet, Chantal and Arcangeli, Jean-Paul and Lecocq, Claire MuScADeL: A Deployment DSL based on a Multiscale Characterization Framework. (2014) In: The 38th Annual International Computers, Software & Applications Conference - COMPSAC (2014), 21 July 2014 - 25 July 2014 (Vasteras, Sweden).

Aït-Ameur, Yamine and Gibson, J. Paul and Mery, Dominique On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. (2014) In: 6th International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), 8 October 2014 - 11 October 2014 (Corfu, Greece).

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok Prise en compte des préférences des utilisateurs pour l'estimation de la pertinence multidimensionnelle d'un document. (2014) In: INFormatique des Organisations et Systemes d'Information et de Decision (INFORSID), 20 May 2014 - 23 May 2014 (Lyon, France).

Arcangeli, Jean-Paul and Camps, Valérie and Desprats, Thierry and Laborde, Romain and Lavinal, Emmanuel and Péninou, André and Zaraté, Pascale and Boujbel, Raja and Oglaza, Arnaud and Marie, Pierrick and Bouzeghoub, Amel and Chabridon, Sophie and Conan, Denis and Taconet, Chantal and Lim, Léon and Machara Marquez, Samer and Mignard, Clément and Rottenberg, Sam and Leriche, Sébastien and Mbarki, Mohamed and Maurel, Hervé Projet INCOME : INfrastructure de gestion de COntexte Multi-Echelle pour l'Internet des Objets. (2014) In: Conférence Francophone sur les Architectures Logicielles (CAL), 10 June 2014 - 11 June 2014 (Paris, France).

Marie, Pierrick and Lim, Léon and Manzoor, Atif and Chabridon, Sophie and Conan, Denis and Desprats, Thierry QoC-aware context data distribution in the Internet of Things. (2014) In: ACM Workshop on Middleware for Context-Aware Applications in the IoT (Middleware 2014) - M4IOT, 8 December 2014 - 12 December 2014 (Bordeaux, France).

Benslimane, Djamal and Barhamgi, Mahmoud and Cuppens, Frédéric and Morvan, Franck and Defude, Bruno and Nageba, Ebrahim and Mrissa, Michael and Paulus, François and Morucci, Stephane and Cuppens-Boulahia, Nora and Ghedira, Chirine and Mokadem, Riad and Oulmakhzoune, Said and Fayn, Jocelyne PAIRSE: a privacy-preserving service-oriented data integration system. (2013) SIGMOD Record, 42 (3). 42-47. ISSN 0163-5808

Foucault, Yann and Durand, Marie-José and Tack, Karine and Schreck, Eva and Geret, Florence and Lévèque, Thibaut and Pradère, Philippe and Goix, Sylvaine and Dumat, Camille Use of ecotoxicity test and ecoscores to improve the management of polluted soils: case of a secondary lead smelter plant. (2013) Journal of Hazardous Materials, 246-247. 291-299. ISSN 0304-3894

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).

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François Ceteris Paribus Structure in Logics of Game Forms. (2013) In: Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, 7 January 2013 - 9 January 2013 (Chennai, India).

Pignolet, Olivier and Jubeau, Sébastien and Vaca-Garcia, Carlos and Michaud, Philippe Highly valuable microalgae: biochemical and topological aspects. (2013) Journal of Industrial Microbiology and Biotechnology, 40 (8). 781-796. ISSN 1367-5435

Moulahi, Bilel and Tamine, Lynda and Ben Yahia, Sadok L'intégrale de Choquet discrète pour l'agrégation de pertinence multidimensionnelle. (2013) In: Conférence francophone en Recherche d'Information et Applications - CORIA 2013, 3 April 2013 - 5 April 2013 (Neuchâtel, Switzerland).

Wazan, Ahmad Samer and Laborde, Romain and Barrère, François and Benzekri, Abdelmalek and Chadwick, David W. PKI Interoperability: Still an Issue? A Solution in the X.509 Realm. (2013) In: Information Assurance and Security Education and Training. (IFIP Advances in Information and Communication Technology). Springer Berlin / Heidelberg, 68-82. ISBN 978-3-642-39377-8

Marie, Pierrick and Desprats, Thierry and Chabridon, Sophie and Sibilla, Michelle QoCIM : A Meta-model for Quality of Context. (2013) In: 8th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2013), 28 October 2013 - 31 October 2013 (Annecy, France).

Marie, Pierrick and Desprats, Thierry and Chabridon, Sophie and Sibilla, Michelle QoCIM : un méta-modèle de qualité de contexte. (2013) In: 9emes Journees francophones Mobilite et Ubiquite (UBIMOB 2013), 5 June 2013 - 6 June 2013 (Nancy, France).

Aizier, Bruno and Lizy-Destrez, Stéphanie and Schneider, Charlotte and Chapurlat, Vincent and Prun, Daniel and Wippler, Jean-Luc xFFBD: towards a formal yet functional modeling language for system designers. (2012) Incose International Symposium, 22 (1). 170-183.