Skip to Main content Skip to Navigation


hal-01472914v1  Conference papers
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
hal-01113243v1  Conference papers
Eduardo SilvaEverton CalvacanteThais BatistaFlavio OquendoFlavia Delicato et al.  On the Characterization of Missions of Systems-of-Systems
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642829⟩
hal-01440881v1  Conference papers
Jesús PortocarreroFlavia C. DelicatoPaulo F. PiresElisa NakagawaFlavio Oquendo. Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. ⟨10.1145/2797433.2797445⟩
hal-01440890v1  Conference papers
Bruno CostaPaulo F. PiresFlávia C. DelicatoFlavio Oquendo. Towards a View-Based Process for Designing and Documenting RESTful Service Architectures
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia
hal-01113382v1  Conference papers
Paulo PiresEverton CavalcanteThomaz BarrosFlavia C. DelicatoThais Batista et al.  A Platform for Integrating Physical Devices in the Internet of Things
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014), Aug 2014, Milan, Italy. ⟨10.1109/EUC.2014.42⟩
hal-01113406v1  Conference papers
Pedro MaiaEverton CavalcantePorfírio GomesThais BatistaFlavia C. Delicato et al.  On the Development of Systems-of-Systems based on the Internet of Things: A Systematic Mapping
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642828⟩
hal-01310300v1  Conference papers
Xavier CorbillonRamon Aparicio-PardoNicolas KuhnGéraldine TexierGwendal Simon. Cross-Layer Scheduler for Video Streaming over MPTCP
ACM Multimedia Systems 2016 Conference , ACM, May 2016, Klagenfurt am Wörthersee, Austria
hal-01712341v1  Conference papers
Antoine WidlöcherNicolas BéchetJean-Marc LecarpentierYann MathetJulia Roger. Combining Advanced Information Retrieval and Text-Mining for Digital Humanities
DocEng '15: ACM Symposium on Document Engineering 2015, Sep 2015, Lausanne, Switzerland. pp.157-166, ⟨10.1145/2682571.2797067⟩
hal-01023713v1  Conference papers
Nicolas BéchetPeggy CellierThierry CharnoisBruno CrémilleuxMarie-Christine Jaulent. Sequential Pattern Mining to Discover Relations between Genes and Rare Diseases
25th IEEE International Symposium on Computer-Based Medical Systems (CBMS'12), Jun 2012, Porto, Italy. p1-6, ⟨10.1109/CBMS.2012.6266367⟩
hal-03403408v1  Conference papers
Patrick BoscDidier DuboisOlivier PivertHenri Prade. Résumés de données et ensembles flous - Principe d'une nouvelle approche
Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2000), Oct 2000, La Rochelle, France. pp.333-340
hal-01063462v1  Conference papers
Olivier PivertHenri Prade. Skyline queries in an uncertain database model based on possibilistic certainty
8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.280-285
hal-01063457v1  Conference papers
Olivier PivertHenri Prade. Querying uncertain multiple sources
8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.286-291
hal-00822000v1  Conference papers
Mohamed Aymen ChaloufFrancine KriefNader MbarekTayeb Lemlouma. Improvement of a Service Level Negotiation Protocol using Formal Verification
The Eighteenth IEEE symposium on Computers and Communications, Jul 2013, Split, Croatia
hal-01441587v1  Conference papers
Soraya MesliArmand ToguyéniAlain BignonFlavio OquendoDjamal Kesraoui et al.  Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. pp.427-467
hal-01440744v1  Conference papers
Soraya MesliDjamal KesraouiFlavio OquendoAlain BignonArmand Toguyéni et al.  Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
hal-01441589v1  Conference papers
Soraya MesliAlain BignonDjamal KesraouiArmand ToguyeniFlavio Oquendo et al.  Vérification formelle de chaines de contrôle-commande d'éléments de conception standardisés
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada
hal-01353055v1  Conference papers
Karim BenouaretDjamal BenslimaneAllel Hadjali. Selecting Skyline Web Services from Uncertain QoS
International Conference on Services Computing (SCC), Jun 2012, Honolulu, Hawaii, United States. pp.523-530, ⟨10.1109/SCC.2012.84⟩
hal-01271153v1  Conference papers
Christine Morin. An efficient implementation of the Rendezvous Atomicity property
Parallel Computing 89, 1989, Leiden, The, Netherlands. pp.603--608
hal-01353056v1  Conference papers
Karim BenouaretDimitris SacharidisDjamal BenslimaneAllel Hadjali. Majority-Rule-Based Web Service Selection
International Conference on Web Information System Engineering (WISE), Nov 2012, Paphos, Cyprus. pp.689-695, ⟨10.1007/978-3-642-35063-4_54⟩
hal-00911865v1  Conference papers
Muhammad Aun AbbasGiuseppe Berio. Compatible and incompatible ontology mappings
CAiSE Doctoral Consortium, Jun 2013, Spain. http://ceur-ws.org/Vol-1001/
hal-00628918v1  Conference papers
Patrick BoscOlivier Pivert. On three fuzzy connectives for flexible data retrieval and their axiomatization
26th ACM Symposium on Applied Computing (SAC 2011), Mar 2011, Taiwan. pp.1114-1118
inria-00534201v1  Conference papers
Patrick BoscOlivier PivertGrégory Smits. A model based on outranking for database preference queries
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'10), Jun 2010, Dortmund, Germany. pp.95-104
hal-01194567v1  Conference papers
Patrice Frison. AlgoTouch: a programming by demonstration tool for teaching algorithms
ITiCSE'2014 Innovation and Technology in Computer Science Education, Jun 2014, Uppsala, Sweden. ⟨10.1145/2591708.2602654⟩
hal-00911864v1  Conference papers
Muhammad Aun AbbasGiuseppe Berio. Creating Ontologies Using Ontology Mappings
KDO (joints with WI-IAT), Nov 2013, United States. http://www.inf.pucrs.br/peg/kdo2013/KDO2013.html
hal-01151830v1  Conference papers
Michèle Basseville. Statistical change detection, some major issues and applications
International Workshop on Sequential Methods and their Applications - IWSM&A 2012, Jun 2012, Rouen, France
hal-00356403v1  Conference papers
Elvis TombiniHervé DebarLudovic MéMireille Ducassé. A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic
Annual Computer Security Applications Conference 2004, Sep 2004, Beijing, China. 10 p
hal-00904116v1  Conference papers
Hassan Ali AhmadKashif MunirXavier LagrangeMeryem OuzzifPhilippe Bertin. Analysis of SIP-based Location Updates in Distributed Mobility Management Schemes
IMIS 2013 : 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, Jul 2013, Taichung, Taiwan. pp.13-18, ⟨10.1109/IMIS.2013.12⟩
hal-01119562v1  Conference papers
Peggy CellierMireille DucasséSébastien FerréOlivier Ridoux. Multiple Fault Localization with Data Mining
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
hal-00628921v1  Conference papers
Patrick BoscOlivier Pivert. On the negation of bipolar fuzzy conditions
30th International Conference of the North American Fuzzy Information Processing Society (NAFIPS'11), Mar 2011, El Paso, United States
hal-00628936v1  Conference papers
Patrick BoscOlivier PivertGrégory Smits. A preference query model based on a fusion of local orders
11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), Jun 2011, Belfast, United Kingdom. pp.725-736
hal-00628957v1  Conference papers
Olivier PivertAllel HadjaliGrégory Smits. Searching for a compromise between satisfaction and diversity in database fuzzy querying
6th Conference of the European Society of Fuzzy Systems and Technology (EUSFLAT'11), Jul 2011, Aix-Les-Bains, France. pp.402-408
hal-00628959v1  Conference papers
Patrick BoscOlivier Pivert. On a strengthening connective for flexible database querying
20th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'11), Jun 2011, Taipei, Taiwan. pp.1233-1238
hal-00628963v1  Conference papers
Olivier PivertGrégory SmitsAllel HadjaliHélène Jaudoin. Efficient detection of minimal failing subqueries in a fuzzy querying context
15th East-European Conference on Advances in Databases and Information Systems (ADBIS'11), Sep 2011, Vienna, Austria. pp.243-256
hal-00628980v1  Conference papers
Allel HadjaliOlivier Pivert. A fuzzy-rule-based approach to the handling of inferred fuzzy predicates in database queries
9th International Conference on Flexible Query Answering Systems (FQAS'11), Oct 2011, Ghent, Belgium. pp.448-459
hal-00736393v1  Conference papers
Olivier PivertGrégory Smits. Towards an Efficient Processing of Outranking-Based Preference Queries
14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'12), Jul 2012, Catania, Italy. pp.471-480
hal-00736411v1  Conference papers
Grégory SmitsOlivier Pivert. A Fuzzy-Summary-Based Approach to Faceted Search in Relational Databases
16th East-European Conference on Advances in Databases and Information Systems (ADBIS'12), Sep 2012, Poznan, Poland. pp.357-370
hal-00628943v1  Conference papers
Olivier PivertAllel HadjaliGrégory Smits. On database queries involving inferred fuzzy predicates
19th International Symposium on Methodologies for Intelligent Systems (ISMIS'11), Jun 2011, Warsaw, Poland. pp.592-601
inria-00534205v1  Conference papers
Allel HadjaliAmine MokhtariOlivier Pivert. A fuzzy-rule-based approach to contextual preference queries
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'10), Jun 2010, Dortmund, Germany. pp.532-541
hal-00628967v1  Conference papers
Hélène JaudoinOlivier Pivert. Answering fuzzy queries using imprecise views
15th East-European Conference on Advances in Databases and Information Systems (ADBIS'11), Sep 2011, Vienna, Austria. pp.257-270
hal-00628976v1  Conference papers
Patrick BoscAllel HadjaliOlivier Pivert. On possibilistic skyline queries
9th International Conference on Flexible Query Answering Systems (FQAS'11), Oct 2011, Ghent, Belgium. pp.412-423
hal-00906989v1  Conference papers
Ludovic LiétardOlivier PivertDaniel Rocacher. On a Gradual Inclusion of Bipolar Fuzzy Relations
8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), Sep 2013, Milano, Italy
hal-00907003v1  Conference papers
Grégory SmitsOlivier PivertThomas Girault. Towards Reconciling Expressivity, Efficiency and User-Friendliness in Database Flexible Querying
IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2013), Jul 2013, Hyderabad, India
hal-00628985v1  Conference papers
Olivier PivertGrégory SmitsAllel Hadjali. Processing fuzzy queries in a peer data management system using distributed fuzzy summaries
5th International Conference on Scalable Uncertainty Management (SUM'11), Oct 2011, Dayton, OH, United States. pp.359-372
hal-00906994v1  Conference papers
Olivier PivertGrégory SmitsHélène Jaudoin. Finding Similar Objects in Relational Databases - An Association-Based Fuzzy Approach
10th International Conference on Flexible Query Answering Systems (FQAS 2013), Sep 2013, Granada, Spain. pp.425-436
hal-00907005v1  Conference papers
Grégory SmitsOlivier PivertHélène JaudoinFrançois Paulus. An Autocompletion Mechanism for Enriched Keyword Queries to RDF Data Sources
10th International Conference on Flexible Query Answering Systems (FQAS 2013), Sep 2013, Granada, Spain. pp.601-612
hal-01142294v1  Conference papers
Ronan BoitardRémi CozotDominique ThoreauKadi Bouatouch. Survey of Temporal Brightness Artifacts in Video Tone Mapping
HDRi2014 - Second International Conference and SME Workshop on HDR imaging, 2014, Sarajevo, Bosnia and Herzegovina
hal-00756847v1  Conference papers
Mireille Ducassé. Opium+, a Meta-Debugger for Prolog
European Conference on Artificail Intelligence, 1988, Munich, Germany
hal-01142316v1  Conference papers
Adrien GrusonPatil Ajit HakkeRémi CozotKadi BouatouchSumanta Pattanaik. Light Propagation Maps on Parallel Graphics Architectures
Eurographics Symposium on Parallel Graphics and Visualization, 2012, Cagliari, Italy