Home // SnT // Publications

Publications

In press

Full Text
See detailAutomatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks
Appelt, Dennis; Panichella, Annibale; Briand, Lionel

in The 28th IEEE International Symposium on Software Reliability Engineering (ISSRE) (in press)

Full Text
See detailOn the Risk of Tool Over-tuning in Runtime Verification Competitions
Bianculli, Domenico; Krstic, Srdan

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailSafety-aware Location Privacy in VANET: Evaluation and Comparison
Emara, Karim Ahmed Awad El-Sayed

in IEEE Transactions on Vehicular Technology (in press)

Full Text
See detailComparing automated visual GUI testing tools: an industrial case study
Garousi, Vahid; Afzal, Wasif; Çağlar, Adem; Işık, İhsan Berk; Baydan, Berker; Çaylak, Seçkin; Boyraz, Ahmet Zeki; Yolaçan, Burak; Herkiloğlu, Kadir

in Proceedings of International Workshop on Automated Software Testing (A-TEST) (in press)

Full Text
See detailWhat we know about testing embedded software
Garousi, Vahid; Felderer, Michael; Karapıçak, Çağrı Murat; Yılmaz, Uğur

in IEEE Software (in press)

Full Text
See detailIntroducing automated GUI testing and observing its benefits: an industrial case study in the context of law-practice management software
Garousi, Vahid; Yıldırım, Erdem

in Proceedings of ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) (in press)

Full Text
See detailConfiguring use case models in product families
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in Software & Systems Modeling (in press)

Full Text
See detailAutomatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications
Jan, Sadeeq; Panichella, Annibale; Arcuri, Andrea; Briand, Lionel

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailJoint Precoding and On-Board Beamforming for Multiple gateway Multibeam Satellite Systems
Joroughi, Vahid

in Submitted to IEEE Journal on Selected topic in Communication (JSAC) (in press)

Full Text
See detailFeasibility Analysis of Blockchain for Donation-based Crowdfunding of Ethical Projects
Khan, Nida; Ouaich, Rachid

in AUEIRC Proceeedings (in press)

Full Text
See detailCompetition Numbers, Quasi-Line Graphs and Holes
McKay, Brendan; Schweitzer, Pascal; Schweitzer, Patrick

in SIAM Journal on Discrete Mathematics (in press)

Full Text
See detailExploring Different Receiver Structures for Radio over FSO Systems with Signal Dependent Noise
Mengali, Alberto; Shankar, Bhavani; Ottersten, Björn

in Proceedings of Globecom 2017 (in press)

Full Text
See detailMulti-objective regression test selection in practice: an empirical study in the defense software industry
Özkan, Ramazan; Garousi, Vahid; Betin-Can, Aysu

in Proceedings of ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) (in press)

Full Text
See detailThe Scent of a Smell: An Extensive Comparison between Textual and Structural Smells
Palomba, Fabio; Panichella, Annibale; Zaidman, Andy; Oliveto, Rocco; De Lucia, Andrea

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailAutomated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets
Panichella, Annibale; Kifetew, Fitsum; Tonella, Paolo

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailModelling Metrics for Transparency in Medical Systems
Pierina Brustolin Spagnuelo, Dayana; Bartolini, Cesare; Lenzini, Gabriele

in Proceedings of TrustBus 2017 (in press)

Full Text
See detailA Generic Approach for Solving Nonlinear-Discrete Security-Constrained Optimal Power Flow Problems in Large-Scale Systems
Platbrood, Ludovic; Capitanescu, Florin; Merckx, Christian; Crisciu, Horia; Wehenkel, Louis

in IEEE Transactions on Power Systems (in press)

Full Text
See detailOn-line model-based fault detection and isolation for PEM fuel cell stack systems
Rosich, Albert; Sarrate, Ramon; Nejjari, Fatiha

in Applied Mathematical Modelling (in press)

Full Text
See detailPatterns of Place: An Integrated Approach for the Design and Evaluation of Real and Virtual Environments
Smyth, Michael; Benyon, David; McCall, Roderick; O'Neill, Shaleph; Carroll, Fiona

in Lombard, Matthew; Freeman, Jonathon; Ijesslsteijn, Wijnand; Schwaevitz, J (Eds.) Immersed in Media: Presence Theory, Measurement and Technology (in press)

Full Text
See detailModel-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
Soltana, Ghanem; Sannier, Nicolas; Sabetzadeh, Mehrdad; Briand, Lionel

in Software & Systems Modeling (in press)

Full Text
See detailSecurity Slicing for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in Journal of Systems and Software (in press)

Full Text
See detailHybrid Analog-Digital Transceiver Designs for Cognitive Radio Millimiter Wave Systems
Tsinos, Christos; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in Hybrid Analog-Digital Transceiver Designs for Cognitive Radio Millimiter Wave Systems (in press)

Full Text
See detailService Performance Pattern Analysis and Prediction of Commercially Available Cloud Providers
Wagle, Shyam Sharan; Guzek, Mateusz; Bouvry, Pascal

in Service Performance Pattern Analysis and Prediction of Commercially Available Cloud Providers (in press)

Full Text
See detailComparisons of Heat Map and IFL Technique to Evaluate the Performance of Commercially Available Cloud Providers
Wagle, Shyam Sharan; Guzek, Mateusz; Bouvry, Pascal; Bisdorff, Raymond

in Comparisons of Heat Map and IFL Technique to Evaluate the Performance of Commercially Available Cloud Providers (in press)

Top of Page

2018

Full Text
See detailA Security Analysis, and a Fix, of a Code-Corrupted Honeywords System
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter; Vazquez Sandoval, Itzel

in Proceedings of the 4th International Conference on Information Systems Security and Privacy (2018)

Top of Page

2017

Full Text
See detailThe European Legal Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology
Ajani, Gianmaria; Boella, Guido; Di Caro, Luigi; Robaldo, Livio; Humphreys, Llio; Praduroux, Sabrina; Rossi, Piercarlo; Violato, Andrea

in Applied Ontology (2017)

Full Text
See detailCross-factor analysis of software modeling practices versus practitioner demographics in the embedded software industry
Akdur, Deniz; Garousi, Vahid; Demirörs, Onur

in 6th Mediterranean Conference on Embedded Computing (MECO) (2017)

Full Text
See detailAn Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application
Almasi, Moein; Hemmati, Hadi; Fraser, Gordon; Arcuri, Andrea; Benefelds, Janis

in ACM/IEEE International Conference on Software Engineering (ICSE) (2017)

Full Text
See detailSymbol-Level Multiuser MISO Precoding for Multi-level Adaptive Modulation
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2017)

Full Text
See detailFaster-than-Nyquist Spatiotemporal Symbol-level Precoding in the Downlink of Multiuser MISO Channels
Alodeh, Maha; Spano, Danilo; Chatzinotas, Symeon; Ottersten, Björn

in The 42nd IEEE International Conference on Acoustics, Speech and Signal Processing (2017, March)

Full Text
See detailEcho State Networks for Data-driven Downhole Pressure Estimation in Gas-lift Oil Wells
Antonelo, Eric Aislan; Camponogara, Eduardo; Foss, Bjarne

in Neural Networks (2017), 85

Full Text
See detailReservoir Computing for Detection of Steady State in Performance Tests of Compressors
Antonelo, Eric Aislan; Flesch, Carlos; Filipe, Schmitz

in Neurocomputing (2017)

Full Text
See detailRecurrent Dynamical Projection for Time series-based Fraud detection
Antonelo, Eric Aislan; State, Radu

in ICANN 2017, Part II, LNCS 10614 (2017)

Full Text
See detailMany Independent Objective (MIO) Algorithm for Test Suite Generation
Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2017)

Full Text
See detailRESTful API Automated Test Case Generation
Arcuri, Andrea

in IEEE International Conference on Software Quality, Reliability & Security (QRS) (2017)

Full Text
See detailPrivate API Access and Functional Mocking in Automated Unit Test Generation
Arcuri, Andrea; Fraser, Gordon; Just, Rene

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2017)

Full Text
See detailInvestigating Breakdowns in Human Robot Interaction: A Conversation Analysis Guided Single Case Study of a Human-NAO Communication in a Museum Environment
Arend, Béatrice; Sunnen, Patrick; Caire, Patrice

in International Journal of Mechanical, Aerospace, Industrial, Mechatronic and Manufacturing Engineering (2017), 11(5), 839-845

Full Text
See detailAutomated Extraction and Clustering of Requirements Glossary Terms
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in IEEE Transactions on Software Engineering (2017), 43(10), 918-945

Full Text
See detailSpectrum Sharing in Hybrid Terrestrial-Satellite Backhaul Networks in the Ka Band
Artiga, Xavier; Vázquez, Miguel Ángel; Pérez-Neira, Ana; Tsinos, Christos; Lagunas, Eva; Chatzinotas, Symeon; Ramireddy, Venkatesh; Steinmetz, Christian; Zetik, Rudolf; Ntougias, Konstantinos; Ntaikos, Dimitrios; Papadias, Constantinos

in European Conference on Networks and Communications (EuCNC), June 2017 (2017, June)

Full Text
See detailA Scalable Parallel Cooperative Coevolutionary PSO Algorithm for Multi-objective Optimization
Atashpendar, Arash; Dorronsoro, Bernabé; Danoy, Grégoire; Bouvry, Pascal

in Journal of Parallel & Distributed Computing (2017)

Full Text
See detailwalk2friends: Inferring Social Links from Mobility Profiles
Backes, Michael; Humbert, Mathias; Pang, Jun; Zhang, Yang

in Proceedings of the 24th ACM International Conference on Computer and Communications Security (2017)

Full Text
See detailFlexible Feedback System for Posture Monitoring and Correction
Baptista, Renato; Antunes, Michel; Shabayek, Abd El Rahman; Aouada, Djamila; Ottersten, Björn

in IEEE International Conference on Image Information Processing (ICIIP) (2017)

Full Text
See detailVideo-Based Feedback for Assisting Physical Activity
Baptista, Renato; Goncalves Almeida Antunes, Michel; Aouada, Djamila; Ottersten, Björn

in 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP) (2017)

Full Text
See detailPrivate Verification of Access on Medical Data: An Initial Study
Bardini Idalino, Thaís; Pierina Brustolin Spagnuelo, Dayana; Everson Martina, Jean

in Private Verification of Access on Medical Data: An Initial Study (2017, September)

Full Text
See detailAutomated extraction of product comparison matrices from informal product descriptions
Ben Nasr, Sana; Bécan, Guillaume; Acher, Mathieu; Ferreira Filho, Joao Bosco; Sannier, Nicolas; Baudry, Benoit; Davril, Jean-Marc

in Journal of Systems and Software (2017), 124

Full Text
See detailRaising Time Awareness in Model-Driven Engineering
Benelallam, Amine; Hartmann, Thomas; Mouline, Ludovic; Fouquet, François; Bourcier, Johann; Barais, Olivier; Le Traon, Yves

in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (2017, September)

Full Text
See detailChapter 4:A Survey on The Polytopic Takagi-Sugeno Approach: Application to the Inverted Pendulum
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohamed

in The Inverted Pendulum: From Theory to New Innovations in Control and Robotics (2017)

Full Text
See detailA contribution to Cyber-Security of Networked Control Systems: an Event-based Control Approach
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohamed

in IEEE International Conference on Event-based Control, Communication and Signal Processing (2017, May)

Full Text
See detailA New Polytopic Approach for the Unknown Input Functional Observer Design
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohamed

in International Journal of Control (2017)

Full Text
See detailUnknown Input Functional Observers Design for Polytopic Discrete Time Systems
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohemed

in IEEE International Conference on System and Control (2017, May)

Full Text
See detailPrivate Mobile Pay-TV From Priced Oblivious Transfer
Biesmans, Wouter; Balasch, Josep; Rial Duran, Alfredo; Preneel, Bart; Verbauwhede, Ingrid

in IEEE Transactions on Information Forensics & Security (2017)

Full Text
See detailSide-Channel Attacks meet Secure Network Protocols
Biryukov, Alex; Dinu, Dumitru-Daniel; Le Corre, Yann

in Gollmann, Dieter; Miyaji, Atsuko; Kikuchi, Hiroaki (Eds.) Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017. Proceedings (2017, June)

Full Text
See detailGuru: Universal Reputation Module for Distributed Consensus Protocols
Biryukov, Alex; Feher, Daniel; Khovratovich, Dmitry

Report (2017)

Full Text
See detailFindel: Secure Derivative Contracts for Ethereum
Biryukov, Alex; Khovratovich, Dmitry; Tikhomirov, Sergei

Scientific Conference (2017, April 07)

Full Text
See detailState of the Art in Lightweight Symmetric Cryptography
Biryukov, Alex; Perrin, Léo Paul

E-print/Working paper (2017)

Full Text
See detailRule Compilation in Multi-Tenant Networks
Blaiech, Khalil; Hamadi, Salaheddine; Hommes, Stefan; Valtchev, Petko; Cherkaoui, Omar; State, Radu

in Rule Compilation in Multi-Tenant Networks (2017, May 18)

Full Text
See detailFormally Verified Differential Dynamic Logic
Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Platzer, Andre

in CPP 2017 (2017)

Full Text
See detailExtending Typicality for Description Logics
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

Report (2017)

Full Text
See detailASIMUT project: Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques
Bouvry, Pascal; Chaumette, Serge; Danoy, Grégoire; Guerrini, Gilles; Jurquet, Gilles; Kuwertz, Achim; Müller, Wilmuth; Rosalie, Martin; Sander, Jennifer; Segor, Florian

in DroNet'17 Proceedings of the 3rd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications (2017, June 23)

Full Text
See detailThe Case for Context-Driven Software Engineering Research
Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2017), 34(5), 72-75

See detailCharacterizing Driving Environments Through Bluetooth Discovery
Bronzi, Walter; Faye, Sébastien; Frank, Raphaël; Engel, Thomas

Scientific Conference (2017, October)

Full Text
See detailCost analysis of Smart Lighting Solutions for Smart Cities
Cacciatore, Giuseppe; Fiandrino, Claudio; Kliazovich, Dzmitry; Granelli, Fabrizio; Bouvry, Pascal

in IEEE International Conference on Communications (ICC), Paris, France, 2017 (2017, May)

Full Text
See detailAn Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation
Campos, Jose; Ge, Yan; Fraser, Gordon; Eler, Marcello; Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2017)

Full Text
See detailEffectiveness of the Two-Step Dynamic Demand Estimation model on large networks
Cantelmo, Guido; Viti, Francesco; Derrmann, Thierry

in Abstract book of 2017 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) (2017, June 28)

Full Text
See detailA Cost-Effective Distributed Framework for Data Collection in Cloud-based Mobile Crowd Sensing Architectures
Capponi, Andrea; Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Giordano, Stefano

in IEEE Transactions on Sustainable Computing (2017)

Full Text
See detailEnergy Efficient Data Collection in Opportunistic Mobile Crowdsensing Architectures for Smart Cities
Capponi, Andrea; Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Giordano, Stefano

in 3rd IEEE INFOCOM Workshop on Smart Cites and Urban Computing (2017, May)

Full Text
See detailBelief Change in a Preferential Non-Monotonic Framework
Casini, Giovanni; Meyer, Thomas

in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (2017, August)

Full Text
See detailSmartphone-based Adaptive Driving Maneuver Detection: A large-scale Evaluation Study
Castignani, German; Derrmann, Thierry; Frank, Raphaël; Engel, Thomas

in IEEE Transactions on Intelligent Transportation Systems (2017)

Full Text
See detailEvasive Maneuvering for UAVs: An MPC Approach
Castillo Lopez, Manuel; Olivares Mendez, Miguel Angel; Voos, Holger

in ROBOT'2017 - Third Iberian Robotics Conference, Sevilla, Spain, 2017 (2017, November 22)

Full Text
See detailAn LMI-Based H_infty Discrete-Time Nonlinear State Observer Design for an Anaerobic Digestion Model
Chaib Draa, Khadidja; Voos, Holger

in World Congress of the International Federation of Automatic Control, Toulouse 9-14 July 2017 (2017, July)

Full Text
See detailLMI-Based Discrete-Time Nonlinear State Observer for an Anaerobic Digestion Model
Chaib Draa, Khadidja; Voos, Holger; Alma, Marouane; Zemouche, Ali; Darouach, Mohamed

in IEEE International Conference on Systems and Control, Batna 7-9 May 2017 (2017, May)

Full Text
See detailLMI-Based H_infty Nonlinear State Observer Design for Anaerobic Digestion Model
Chaib Draa, Khadidja; Voos, Holger; Alma, Marouane; Zemouche, Ali; Darouach, Mohamed

in IEEE Mediterranean Conference on Control and Automation, Valletta 3-6 July 2017 (2017, July)

Full Text
See detailExploring chaotic dynamics by partition of bifurcation diagram
Changaival, Boonyarit; Rosalie, Martin

in Proceeding of Workshop on Advance in Nonlinear Complex Systems and Applications (WANCSA) (2017)

Full Text
See detailProfiling Smart Contracts Interactions Tensor Decomposition and Graph Mining.
Charlier, Jérémy Henri J.; Lagraa, Sofiane; State, Radu; Francois, Jerome

in Proceedings of the Second Workshop on MIning DAta for financial applicationS (MIDAS 2017) co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017), Skopje, Macedonia, September 18, 2017. (2017, September)

Full Text
See detailModel-Driven Interaction Design for Social Robots
Cornelius, Gary Philippe; Hochgeschwender, Nico; Voos, Holger

in Cornelius, Gary Philippe; Hochgeschwender, Nico; Voos, Holger (Eds.) 4th International Workshop on Model-driven Robot Software Engineering, Marburg, Germany, 2017 (2017, December)

Full Text
See detailA Perspective of Security for Mobile Service Robots
Cornelius, Gary Philippe; Hochgeschwender, Nico; Voos, Holger; Olivares Mendez, Miguel Angel; Caire, Patrice; Volp, Marcus; Verissimo, Paulo

in ROBOT'2017 - Third Iberian Robotics Conference, Seville, Spain, 2017 (2017, November 22)

Full Text
See detailFraud Detection by Stacking Cost-Sensitive Decision Trees
Correa Bahnsen, Alejandro; Villegas, Sergio; Aouada, Djamila; Ottersten, Björn

in Data Science for Cyber-Security (DSCS), London 25-27 September (2017)

Full Text
See detailReceiver and Sender Deniable Functional Encryption
De Caro, Angelo; Iovino, Vincenzo; O'Neill, Adam

in IET Information Security (2017)

Full Text
See detailDeformation Based Curved Shape Representation
Demisse, Girum

Doctoral thesis (2017)

Full Text
See detailDeformation Based Curved Shape Representation
Demisse, Girum; Aouada, Djamila; Ottersten, Björn

in IEEE Transactions on Pattern Analysis & Machine Intelligence (2017)

See detaildenmpc
Dentler, Jan Eric

Software (2017)

Full Text
See detailImplementation and validation of an event-based real-time nonlinear model predictive control framework with ROS interface for single and multi-robot systems
Dentler, Jan Eric; Kannan, Somasundar; Olivares-Mendez, Miguel Olivares; Voos, Holger

in 2017 IEEE Conference on Control Technology and Applications (CCTA) (2017, August 30)

Full Text
See detailApplication of Measurement-Based AHP to Product-Driven System Control
Derigent, William; Voisin, Alexandre; Thomas, André; Kubler, Sylvain; Robert, Jérémy

in Borangiu, Theodor (Ed.) Service Orientation in Holonic and Multi-Agent Manufacturing (2017)

Full Text
See detailHow Mobile Phone Handovers reflect Urban Mobility: A Simulation Study
Derrmann, Thierry; Frank, Raphaël; Engel, Thomas; Viti, Francesco

in Proceedings of the 5th IEEE Conference on Models and Technologies for Intelligent Transportation Systems. (2017, June 26)

Full Text
See detailEstimating Urban Road Traffic States Using Mobile Network Signaling Data
Derrmann, Thierry; Frank, Raphaël; Viti, Francesco; Engel, Thomas

in Abstract book of the 20th International Conference on Intelligent Transportation Systems (2017, October)

Full Text
See detailControlled Homomorphic Encryption: Definition and Construction
Desmedt, Yvo; Iovino, Vincenzo; Persiano, Giuseppe; Visconti, Ivan

in FC 2017 International Workshops - WAHC'17 - 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography (2017)

Full Text
See detailA centralized approach for setting floating content parameters in VANETs
Di Maio, Antonio; Soua, Ridha; Palattella, Maria Rita; Engel, Thomas; Rizzo, Gianluca

in A centralized approach for setting floating content parameters in VANETs (2017, July 20)

Full Text
See detailAugmenting Field Data for Testing Systems Subject to Incremental Requirements Changes
Di Nardo, Daniel; Pastore, Fabrizio; Briand, Lionel

in ACM Transactions on Software Engineering & Methodology (2017), 26(1), 1-40

Full Text
See detailPETrA: a software-based tool for estimating the energy profile of Android applications
Di Nucci, Dario; Palomba, Fabio; Prota, Antonio; Panichella, Annibale; Zaidman, Andy; De Lucia, Andrea

in 39th International Conference on Software Engineering (ICSE) 2017 (2017, May 24)

Full Text
See detailSoftware-Based Energy Profiling of Android Apps: Simple, Efficient and Reliable?
Di Nucci, Dario; Palomba, Fabio; Prota, Antonio; Panichella, Annibale; Zaidman, Andy; De Lucia, Andrea

in Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017, February 21)

Full Text
See detailA PetriNet Mechanism for OLAP in NUMA
Dominico, Simone; Almeida, Eduardo Cunha de; Meira, Jorge Augusto

Poster (2017, May 15)

Full Text
See detailFormal modelling and analysis of receipt-free auction protocols in applied pi
Dong, Naipeng; Jonker, Hugo; Pang, Jun

in Computers & Security (2017), 65

Full Text
See detailA Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ) (2017, September)

Full Text
See detailA Multi-Pronged Approach to Adaptive and Context Aware Content Dissemination in VANETs
Duarte, Joao; Kalogeiton, Eirini; Soua, Ridha; Manzo, Gaetano; Palattella, Maria Rita; Di Maio, Antonio; Braun, Torsten; Engel, Thomas; Villas, Leandro; Rizzo, Gianluca

in Mobile Networks and Applications (2017)

Full Text
See detailA Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Erata, Ferhat; Göknil, Arda; Tekinerdogan, Bedir; Kardas, Geylani

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)) (2017)

Full Text
See detailThe RIGHT model for Continuous Experimentation
Fagerholm, Fabian; Sanchez Guinea, Alejandro; Mäenpää, Hanna; Münch, Jürgen

in Journal of Systems and Software (2017), 123

Full Text
See detailOn non-parametric models for detecting outages in the mobile network
Falk, Eric; Camino, Ramiro Daniel; State, Radu; Gurbani, Vijay K.

in Integrated Network and Service Management 2017 (2017, May)

Full Text
See detailYour Moves, Your Device: Establishing Behavior Profiles Using Tensors
Falk, Eric; Charlier, Jérémy Henri J.; State, Radu

in Advanced Data Mining and Applications - 13th International Conference, ADMA 2017 (2017, November)

Full Text
See detailQuery-able Kafka: An agile data analytics pipeline for mobile wireless networks
Falk, Eric; Gurbani, Vijay K.; State, Radu

in Proceedings of the VLDB Endowment (2017, August), 10

Full Text
See detailCharacterizing User Mobility Using Mobile Sensing Systems
Faye, Sébastien; Bronzi, Walter; Tahirou, Ibrahim; Engel, Thomas

in International Journal of Distributed Sensor Networks (2017), 13(8),

Full Text
See detailPoster: Characterizing Driving Behaviors Through a Car Simulation Platform
Faye, Sébastien; Jafarnejad, Sasan; Costamagna, Juan; Castignani, German; Engel, Thomas

Poster (2017, November 27)

See detailAn Open Dataset for Human Activity Analysis using Smart Devices
Faye, Sébastien; Louveton, Nicolas; Jafarnejad, Sasan; Kryvchenko, Roman; Engel, Thomas

Report (2017)

Full Text
See detailCrowdSenSim: a Simulation Platform for Mobile Crowdsensing in Realistic Urban Environments
Fiandrino, Claudio; Capponi, Andrea; Cacciatore, Giuseppe; Kliazovich, Dzmitry; Sorger, Ulrich; Bouvry, Pascal; Kantarci, Burak; Granelli, Fabrizio; Giordano, Stefano

in IEEE Access (2017)

Full Text
See detailEVOSUITE at the SBST 2017 Tool Competition
Fraser, Gordon; Rojas, José Miguel; Campos, José; Arcuri, Andrea

in IEEE/ACM International Workshop on Search-Based Software Testing (SBST) (2017)

Full Text
See detailRefinement-Aware Generation of Attack Trees
Gadyatskaya, Olga; Ravi, Jhawar; Mauw, Sjouke; Trujillo Rasua, Rolando; Tim, A.C. Willemse

in Livraga, Giovanni; Mitchell, Chris J. (Eds.) Security and Trust Management - 13th International Workshop (2017, September)

Full Text
See detailPOSTER: Detection of Information Leaks via Reflection in Android Apps
Gajrani, Jyoti; Li, Li; Laxmi, Vijay; Tripathi, Meenakshi; Singh Gaur, Manoj; Conti, Mauro

in The 2017 ACM on Asia Conference on Computer and Communications Security (AsiaCCS 2017) (2017)

Full Text
See detailA Simple and Correct Even-Odd Algorithm for the Point-in-Polygon Problem for Complex Polygons
Galetzka, Michael; Glauner, Patrick

in Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017), Volume 1: GRAPP (2017)

Full Text
See detailExperience-based guidelines for effective and efficient data extraction in systematic reviews in software engineering
Garousi, Vahid; Felderer, Michael

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June)

Full Text
See detailIndustry-academia collaborations in software engineering: an empirical analysis of challenges, patterns and anti-patterns in research projects
Garousi, Vahid; Felderer, Michael; Fernandes, João; Pfahl, Dietmar; Mäntylä, Mika

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June 15)

Full Text
See detailWhat industry wants from academia in software testing? Hearing practitioners’ opinions
Garousi, Vahid; Felderer, Michael; Kuhrmann, Marco; Herkiloğlu, Kadir

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June 15)

Full Text
See detailRelay Selection Strategies for SWIPT-Enabled Cooperative Wireless Systems
Gautam, Sumit; Lagunas, Eva; Sharma, Shree K.; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Montreal, Canada, Oct. 2017 (2017, October)

Full Text
See detailThe Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Advances in Cybersecurity 2017 (2017)

Full Text
See detailThe General Data Protection Regulation: A New Opportunity and Challenge for the Banking Sector
Giurgiu, Andra; Lallemang, Thierry

in Ace Magazine et Archives Online : Fiscalité, Comptabilité, Audit, Droit des Affaires au Luxembourg (2017), (1), 3-15

Full Text
See detailPrivacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Giustolisi, Rosario; Iovino, Vincenzo; Lenzini, Gabriele

in Giustolisi, Rosario; Iovino, Vincenzo; Lenzini, Gabriele (Eds.) Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol (2017)

Full Text
See detailIdentifying Irregular Power Usage by Turning Predictions into Holographic Spatial Visualizations
Glauner, Patrick; Dahringer, Niklas; Puhachov, Oleksandr; Meira, Jorge Augusto; Valtchev, Petko; State, Radu; Duarte, Diogo

in Proceedings of the 17th IEEE International Conference on Data Mining Workshops (ICDMW 2017) (2017)

Full Text
See detailThe Top 10 Topics in Machine Learning Revisited: A Quantitative Meta-Study
Glauner, Patrick; Du, Manxing; Paraschiv, Victor; Boytsov, Andrey; Lopez Andrade, Isabel; Meira, Jorge Augusto; Valtchev, Petko; State, Radu

in Proceedings of the 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2017) (2017)

Full Text
See detailIntroduction to Detection of Non-Technical Losses using Data Analytics
Glauner, Patrick; Meira, Jorge Augusto; State, Radu; Mano, Rui

Scientific Conference (2017, September)

Full Text
See detailThe Challenge of Non-Technical Loss Detection using Artificial Intelligence: A Survey
Glauner, Patrick; Meira, Jorge Augusto; Valtchev, Petko; State, Radu; Bettinger, Franck

in International Journal of Computational Intelligence Systems (2017), 10(1), 760-775

Full Text
See detailIs Big Data Sufficient for a Reliable Detection of Non-Technical Losses?
Glauner, Patrick; Migliosi, Angelo; Meira, Jorge Augusto; Valtchev, Petko; State, Radu; Bettinger, Franck

in Proceedings of the 19th International Conference on Intelligent System Applications to Power Systems (ISAP 2017) (2017, September)

Full Text
See detailUnsupervised Vanishing Point Detection and Camera Calibration from a Single Manhattan Image with Radial Distortion
Goncalves Almeida Antunes, Michel; Barreto, Joao P.; Aouada, Djamila; Ottersten, Björn

in IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2017 (2017)

Full Text
See detailDetecting and predicting outages in mobile networks with log data.
Gurbani, Vijay K.; Kushnir, Dan; Mendiratta, Veena B.; Phadke, Chitra; Falk, Eric; State, Radu

in IEEE International Conference on Communications, ICC 2017 (2017, May)

Full Text
See detailA Change Management Approach in Product Lines for Use Case-Driven Development and Testing
Hajri, Ines; Göknil, Arda; Briand, Lionel

Poster (2017, March)

Full Text
See detailIncremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017) (2017, March)

See detailReliable Machine Learning for Networking: Key Concerns and Approaches
Hammerschmidt, Christian; Garcia, Sebastian; Verwer, Sicco; State, Radu

Poster (2017, October)

Full Text
See detailHuman in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
Hammerschmidt, Christian; State, Radu; Verwer, Sicco

Poster (2017, August)

Full Text
See detailDiscrimination of Angle-Doppler Signatures using Arbitrary Phase Center Motion for MIMO Radars
Hammes, Christian; Nijsure, Yogesh; Shankar, Bhavani; Schröder, Udo; Ottersten, Björn

in IEEE Radar Conf 2017 (2017, May)

Full Text
See detailRandom Phase Center Motion Technique for Enhanced Angle-Doppler Discrimination Using MIMO Radars
Hammes, Christian; Shankar, Bhavani; Nijsure, Yogesh; Spielmann, Thiemo; Ottersten, Björn

in European Signal Processing Conference (EUSIPCO) 2017 (2017, August)

Full Text
See detailUnified Satellite and Terrestrial ACM Design
Haqiqatnejad, Alireza; Kayhan, Farbod

Scientific Conference (2017, October 17)

Full Text
See detailAnalyzing Complex Data in Motion at Scale with Temporal Graphs
Hartmann, Thomas; Fouquet, François; Jimenez, Matthieu; Rouvoy, Romain; Le Traon, Yves

in Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering (2017, July)

Full Text
See detailThe Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Le Traon, Yves

in Software & Systems Modeling (2017)

Full Text
See detailGenerating Unit Tests with Structured System Interactions
Havrikov, Nikolas; Gambi, Alessio; Zeller, Andreas; Arcuri, Andrea; Galeotti, Juan Pablo

in IEEE/ACM International Workshop on Automation of Software Test (AST) (2017)

Full Text
See detailOptimising Packet Forwarding in Multi-Tenant Networks using Rule Compilation
Hommes, Stefan; Valtchev, Petko; Blaiech, Khalil; Hamadi, Salaheddine; Cherkaoui, Omar; State, Radu

in Optimising Packet Forwarding in Multi-Tenant Networks using Rule Compilation (2017, November)

Full Text
See detailEuphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware
Hurier, Médéric; Suarez-Tangil, Guillermo; Dash, Santanu Kumar; Bissyande, Tegawendé François D Assise; Le Traon, Yves; Klein, Jacques; Cavallaro, Lorenzo

in MSR 2017 (2017, May 21)

Full Text
See detailFrom Situation Awareness to Action: An Information Security Management Toolkit for Socio-Technical Security Retrospective and Prospective Analysis
Huynen, Jean-Louis; Lenzini, Gabriele

in Proceedings of the 3rd International Conference on Information Systems Security and Privacy (2017)

Full Text
See detailUsing Selene to Verify your Vote in JCJ
Iovino, Vincenzo; Rial Duran, Alfredo; Roenne, Peter; Ryan, Peter

in Workshop on Advances in Secure Electronic Voting (VOTING'17) (2017, April 07)

Full Text
See detailTowards a Real-Time Driver Identification Mechanism Based on Driving Sensing Data
Jafarnejad, Sasan; Castignani, German; Engel, Thomas

in 20th International Conference on Intelligent Transportation Systems (ITSC) (2017)

Full Text
See detailA Search-based Testing Approach for XML Injection Vulnerabilities in Web Applications
Jan, Sadeeq; Nguyen, Duy Cu; Andrea, Arcuri; Briand, Lionel

in 10th IEEE International Conference on Software Testing, Verification and validation (ICST 2017), Tokyo 13-18 March 2017 (2017)

Full Text
See detailRecurrent Neural Network based control of an Oil Well
Jordanou, Jean Panaioti; Antonelo, Eric Aislan; Camponogara, Eduardo; S. de Aguiar, Marco Aurelio

in Brazilian Symposium on Intelligent Automation, Porto Alegre 1-4 October 2017 (2017, October)

Full Text
See detailModel predictive control for cooperative control of space robots
Kannan, Somasundar; Sajadi Alamdari, Seyed Amin; Dentler, Jan Eric; Olivares Mendez, Miguel Angel; Voos, Holger

in Model predictive control for cooperative control of space robots (2017, January)

Full Text
See detailBayesian Optimization Approach of General Bi-level Problems
Kieffer, Emmanuel; Danoy, Grégoire; Bouvry, Pascal; Nagih, Anass

in Proceedings of the Genetic and Evolutionary Computation Conference Companion (2017)

Full Text
See detailA new modeling approach for the biobjective exact optimization of satellite payload configuration
Kieffer, Emmanuel; Danoy, Grégoire; Bouvry, Pascal; Nagih, Anass

in International Transactions in Operational Research (2017)

Full Text
See detailDetecting Trivial Mutant Equivalences via Compiler Optimisations
Kintis, Marinos; Papadakis, Mike; Jia, Yue; Malevris, Nicos; Le Traon, Yves; Harman, Mark

in IEEE Transactions on Software Engineering (2017)

Full Text
See detailRecent Trends in Driver Safety Monitoring Systems: State of the Art and Challenges
Koesdwiady, Arief; Soua, Ridha; Karray, Fakhri; Kamel, Mohamed said

in IEEE Transactions on Vehicular Technology (2017), 66(6), 4550-4563

Full Text
See detailTowards Semantic Interoperability in an Open IoT Ecosystem for Connected Vehicle Services
Kolbe, Niklas; Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Zaslavsky, Arkady

in 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings (2017, July)

Full Text
See detailPROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem
Kolbe, Niklas; Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves

in Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2017)

Full Text
See detailEnriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components
Kolbe, Niklas; Zaslavsky, Arkady; Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves

in Modeling and Using Context (2017, July)

Full Text
See detailImpact of Tool Support in Patch Construction
Koyuncu, Anil; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

Scientific Conference (2017, July)

Full Text
See detailLow Complexity Symbol-Level Design for Linear Precoding Systems
Krivochiza, Jevgenij; Kalantari, Ashkan; Chatzinotas, Symeon; Ottersten, Björn

in Heusdens, Richard; Weber, Jos H. (Eds.) PROCEEDINGS of the 2017 Symposium on Information Theory and Signal Processing in the Benelux (2017, May 11)

Full Text
See detailKnowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices
Kubler, Sylvain; Derigent, William; Voisin, Alexandre; Robert, Jérémy; Le Traon, Yves

in Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices (2017, July 10)

Full Text
See detailOpen IoT Ecosystem for Sporting Event Management
Kubler, Sylvain; Robert, Jérémy; Främling, Kary; Hefnawy, Ahmed; Cherifi, Chantal; Bouras, Abdelaziz

in IEEE Access (2017), 5(1), 7064-7079

Full Text
See detailProceedings of International Conference on Software and Systems Process (ICSSP)
Kuhrmann, Marco; Diebold, Philipp; Münch, Jürgen; Tell, Paolo; Garousi, Vahid; Felderer, Michael; Trektere, Kitija; McCaffery, Fergal; Linssen, Oliver; Hanser, Eckhart; Christian, Prause

in Hybrid software and system development in practice: Waterfall, scrum, and beyond (2017, July)

Full Text
See detailPower Allocation for In-Band Full-Duplex Self-Backhauling
Lagunas, Eva; Lei, Lei; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in International Conference on Telecommunications and Signal Processing (TSP), Barcelona, Spain, July 2017 (2017, July)

Full Text
See detailCarrier Allocation for Hybrid Satellite-Terrestrial Backhaul Networks
Lagunas, Eva; Maleki, Sina; Lei, Lei; Tsinos, Christos; Chatzinotas, Symeon; Ottersten, Björn

in ICC Workshop on Satellite Communications: Challenges and Integration in the 5G ecosystem, Paris, France, May 2017 (2017, May)

Full Text
See detailPerformance of Compressive Sensing Based Energy Detection
Lagunas, Eva; Rugini, Luca

in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Montreal, Canada, 8-13 October 2017 (2017)

Full Text
See detailAssessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas; Papadakis, Mike; Kintis, Marinos; Henard, Christopher; Le Traon, Yves; Ventresque, Anthony

in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)

Full Text
See detailEnergy Optimization for Full-Duplex Self-Backhauled HetNet with Non-Orthogonal Multiple Access
Lei, Lei; Lagunas, Eva; Maleki, Sina; He, Qing; Chatzinotas, Symeon; Ottersten, Björn

in International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Sapporo, Japan, July 2017 (2017)

Full Text
See detailA Deep Learning Approach for Optimizing Content Delivering in Cache-Enabled HetNet
Lei, Lei; You, Lei; Dai, Gaoyang; Vu, Thang Xuan; Yuan, Di; Chatzinotas, Symeon

in IEEE International Symposium on Wireless Communication Systems (ISWCS), Bologna, Aug. 2017 (2017, August 31)

Full Text
See detailSimilarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
Lemanska, Magdalena; Rodríguez-Velázquez, Alberto; Trujillo Rasua, Rolando

in Fundamenta Informaticae (2017), 152(3), 273-287

Full Text
See detailSecurity in the Shell : An Optical Physical Unclonable Function made of Shells of Cholesteric Liquid Crystals
Lenzini, Gabriele; Samir, Ouchani; Roenne, Peter; Ryan, Peter; Geng, Yong; Noh, Junghyun; Lagerwall, Jan

in Proc. of the 9th IEEE Workshop on Information Forensics and Security (2017, October 02)

Full Text
See detailSensing by Proxy in Buildings with Agglomerative Clustering of Indoor Temperature Movements
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 32nd ACM Symposium on Applied Computing (SAC 2017) (2017, April)

Full Text
See detailTowards a Plug-and-Play and Holistic Data Mining Framework for Understanding and Facilitating Operations in Smart Buildings
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Schummer, Paul; Muller, Ben; Solvi, Anne-Marie

Report (2017)

Full Text
See detailMining AndroZoo: A Retrospect
Li, Li

in The International Conference on Software Maintenance and Evolution (ICSME) (2017, September)

Full Text
See detailThe Multi-Generation Repackaging Hypothesis
Li, Li; Bissyande, Tegawendé François D Assise; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Poster (2017, May)

Full Text
See detailSimiDroid: Identifying and Explaining Similarities in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques

in Abstract book of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (2017)

Full Text
See detailStatic Analysis of Android Apps: A Systematic Literature Review
Li, Li; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Rasthofer, Siegfried; Bartel, Alexandre; Octeau, Damien; Klein, Jacques; Le Traon, Yves

in Information and Software Technology (2017)

Full Text
See detailA verification framework for stateful security protocols
Li, Li; Dong, Naipeng; Pang, Jun; Sun, Jun; Bai, Guandong; Liu, Yang; Dong, Jin Song

in Proceedings of the 19th International Conference on Formal Engineering Methods (2017)

Full Text
See detailAutomatically Locating Malicious Packages in Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Cai, Haipeng; Lo, David; Le Traon, Yves

in Abstract book of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) (2017, May)

Full Text
See detailUnderstanding Android App Piggybacking
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Lo, David; Cavallaro, Lorenzo

Poster (2017, May)

Full Text
See detailUnderstanding Android App Piggybacking: A Systematic Study of Malicious Code Grafting
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Lo, David; Cavallaro, Lorenzo

in IEEE Transactions on Information Forensics & Security (2017)

Full Text
See detailImproving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

in 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017)

Full Text
See detailPower Allocation for Energy Efficiency Maximization in Downlink CoMP Systems With NOMA
Liu, Zhengxuan; Kang, Guixia; Lei, Lei; Zhang, Ningbo; Zhang, Shuang

in IEEE Wireless Communications and Networking Conference (WCNC), 2017 (2017, March 19)

Full Text
See detailJoint Beamforming and Power Optimization with Iterative User Clustering for MISO-NOMA Systems
Liu, Zhengxuan; Lei, Lei; Zhang, Ningbo; Kang, Guixia; Chatzinotas, Symeon

in IEEE Access (2017)

Full Text
See detailOn the Relation Between SIM and IND-RoR Security Models for PAKEs
Lopez Becerra, José Miguel; Iovino, Vincenzo; Ostrev, Dimiter; Skrobot, Marjan

in Proceedings of the International Conference on Security and Cryptography (2017)

Full Text
See detailSimilarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
Magdalena, Lemanska; Juan Alberto, Rodríguez-Velázquez; Trujillo Rasua, Rolando

in Fundamenta Informaticae (2017), 152(3), 273-287

Full Text
See detailModeling Security and Privacy Requirements for Mobile Applications: a Use Case-driven Approach
Mai, Xuan Phu; Göknil, Arda; Shar, Lwin Khin; Briand, Lionel

Report (2017)

Full Text
See detailReal time degradation identification of UAV using machine learning techniques
Manukyan, Anush; Olivares Mendez, Miguel Angel; Geist, Matthieu; Voos, Holger

in Manukyan, Anush; Olivares Mendez, Miguel Angel; Geist, Matthieu; Voos, Holger (Eds.) International Conference on Unmanned Aircraft Systems ICUAS. Miami, USA, 2017 (2017, June 13)

Full Text
See detailCoordination Mechanisms for Floating Content in Realistic Vehicular Scenario
Manzo, Gaetano; Soua, Ridha; Di Maio, Antonio; Engel, Thomas; Palattella, Maria Rita; Rizzo, Gianluca

in Coordination Mechanisms for Floating Content in Realistic Vehicular Scenario (2017)

Full Text
See detailAutomated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

in Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017) (2017)

Full Text
See detailDistilling Provider-Independent Data for General Detection of Non-Technical Losses
Meira, Jorge Augusto; Glauner, Patrick; State, Radu; Valtchev, Petko; Dolberg, Lautaro; Bettinger, Franck; Duarte, Diogo

in Power and Energy Conference, Illinois 23-24 February 2017 (2017)

Full Text
See detailOptical Feeder Links Study towards Future Generation MEO VHTS Systems
Mengali, Alberto; Lyras, Nikos K.; Shankar, Bhavani; Kourogiorgas, Charilaos I.; Panagopoulos, Athanasios D.; Liolis, Konstantinos

in Proceedings of the 35th AIAA International Communications Satellite Systems Conference (ICSSC) (2017, October)

Full Text
See detailAutomatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications
Milner, Kevin; Cremers, Cas; Yu, Jiangshan; Ryan, Mark

in 30th IEEE Computer Security Foundations Symposium (2017)

Full Text
See detailA new decomposition method for attractor detection in large synchronous Boolean networks
Mizera, Andrzej; Pang, Jun; Qu, Hongyang; Yuan, Qixia

in Proceedings of the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (2017)

Full Text
See detailWeaving Rules into Models@run.time for Embedded Smart Systems
Mouline, Ludovic; Hartmann, Thomas; Fouquet, François; Le Traon, Yves; Bourcier, Johann; Barais, Olivier

in Mouline, Ludovic; Hartmann, Thomas; Fouquet, François; Le Traon, Yves; Bourcier, Johann; Barais, Olivier (Eds.) Weaving Rules into Models@run.time for Embedded Smart Systems (2017, April)

Full Text
See detailA Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives
Nanda, Rohan; Di Caro, Luigi; Boella, Guido; Konstantinov, Hristo; Tyankov, Tenyo; Traykov, Daniel; Hristov, Hristo; Costamagna, Francesco; Humphreys, Llio; Robaldo, Livio; Romano, Michele

in A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives (2017)

Full Text
See detailFacial Expression Recognition via Joint Deep Learning of RGB-Depth Map Latent Representations
Oyedotun, Oyebade; Demisse, Girum; Shabayek, Abd El Rahman; Aouada, Djamila; Ottersten, Björn

in 2017 IEEE International Conference on Computer Vision Workshop (ICCVW) (2017, August 21)

Full Text
See detailPrototype Incorporated Emotional Neural Network (PI-EmNN)
Oyedotun, Oyebade; Khashman, Adnan

in IEEE Transactions on Neural Networks and Learning Systems (2017)

Full Text
See detailTraining Very Deep Networks via Residual Learning with Stochastic Input Shortcut Connections
Oyedotun, Oyebade; Shabayek, Abd El Rahman; Aouada, Djamila; Ottersten, Björn

in 24th International Conference on Neural Information Processing, Guangzhou, China, November 14–18, 2017 (2017, July 31)

Full Text
See detailLightweight Detection of Android-specific Code Smells: the aDoctor Project
Palomba, Fabio; Di Nucci, Dario; Panichella, Annibale; Zaidman, Andy; De Lucia, Andre

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, February 21)

Full Text
See detailDeepCity: A Feature Learning Framework for Mining Location Check-Ins
Pang, Jun; Zhang, Yang

in Proceedings of the 11th International Conference on Web and Social Media (ICWSM'17) (2017)

Full Text
See detailQuantifying location sociality
Pang, Jun; Zhang, Yang

in Proc. 28th ACM Conference on Hypertext and Social Media - HT'17 (2017)

Full Text
See detailLIPS vs MOSA: a Replicated Em- pirical Study on Automated Test Case Generation
Panichella, Annibale; Kifetew, Fitsum; Tonella, Paolo

in International Symposium on Search Based Software Engineering (SSBSE) 2017 (2017, September 09)

Full Text
See detailJava Unit Testing Tool Competition — Fifth Round
Panichella, Annibale; Urko, Rueda

in 10th International Workshop on Search- Based Software Testing (SBST) 2017 (2017, May 22)

Full Text
See detailMutation Testing Advances: An Analysis and Survey
Papadakis, Mike; Kintis, Marinos; Zhang, Jie; Jia, Yue; Le Traon, Yves; Harman, Mark

in Advances in Computers (2017)

Full Text
See detailEnhanced Trajectory-based Action Recognition using Human Pose
Papadopoulos, Konstantinos; Goncalves Almeida Antunes, Michel; Aouada, Djamila; Ottersten, Björn

in IEEE International Conference on Image Processing, Beijing 17-20 Spetember 2017 (2017)

Full Text
See detailTo Cheat or Not to Cheat - A Game-Theoretic Analysis of Outsourced Computation Verification
Pejo, Balazs; Tang, Qiang

in Fifth ACM International Workshop on Security in Cloud Computing, Abu Dhabi 2 April 2017 (2017, April 02)

Full Text
See detailExponential S-Boxes: a Link Between the S-Boxes of BelT and Kuznyechik/Streebog
Perrin, Léo Paul; Udovenko, Aleksei

in IACR Transactions on Symmetric Cryptology (2017), 2016(2), 99-124

Full Text
See detailWeak Interference Detection with Signal Cancellation in Satellite Communications
Politis, Christos; Maleki, Sina; Tsinos, Christos; Chatzinotas, Symeon; Ottersten, Björn

in The 42nd IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2017 (2017)

Full Text
See detailSimultaneous Sensing and Transmission for Cognitive Radios with Imperfect Signal Cancellation
Politis, Christos; Maleki, Sina; Tsinos, Christos; Liolis`, Konstantinos; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2017)

Full Text
See detailAmbiLoc: A year-long dataset of FM, TV and GSM fingerprints for ambient indoor localization
Popleteev, Andrei

in 8th International Conference on Indoor Positioning and Indoor Navigation (IPIN-2017) (2017, September)

Full Text
See detailIndoor localization using ambient FM radio RSS fingerprinting: A 9-month study
Popleteev, Andrei

in 17th IEEE International Conference on Computer and Information Technology (CIT-2017) (2017, August)

Full Text
See detailPlease Stand By: TV-based indoor localization
Popleteev, Andrei

in 28th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC-2017) (2017, October)

Full Text
See detailWi-Fi butterfly effect in indoor localization: The impact of imprecise ground truth and small-scale fading
Popleteev, Andrei

in 14th IEEE Workshop on Positioning, Navigation and Communications (WPNC-2017) (2017, October)

Full Text
See detailOperational space control of a lightweight robotic arm actuated by shape memory alloy wires: A comparative study
Quintanar Guzman, Serket; Kannan, Somasundar; Aguilera Gonzalez, Adriana; Olivares Mendez, Miguel Angel; Voos, Holger

in Journal of Intelligent Material Systems & Structures (2017)

Full Text
See detailAn Efficient Service Channel Allocation Scheme in SDN-enabled VANETs
Radhakrishnan, Ila; Soua, Ridha; Palattella, Maria Rita; Engel, Thomas

in MedHocNet (2017)

See detailBar Induction: The Good, the Bad, and the Ugly
Rahli, Vincent; Bickford, Mark; Constable, Robert

in Abstract book of LICS 2017: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (2017)

Full Text
See detailExploiting Transistor-Level Reconfiguration to Optimize Combinational Circu
Raitza, Michael; Kumar, Akash; Volp, Marcus; Walter, Dennis; Trommer, Jens; Mikolajick, Thomas; Weber, Walter M.

Scientific Conference (2017, March)

Full Text
See detailChoosing the Right Test Automation Tool: a Grey Literature Review of Practitioner Sources
Raulamo-Jurvanen, Päivi; Mäntylä, Mika; Garousi, Vahid

in Choosing the Right Test Automation Tool: a Grey Literature Review of Practitioner Sources (2017, June 15)

Full Text
See detailIssuer-Free Oblivious Transfer with Access Control Revisited
Rial Duran, Alfredo

in Information Processing Letters (2017)

Full Text
See detailTowards Formal Security Analysis of Industrial Control Systems
Rocchetto, Marco

in Towards Formal Security Analysis of Industrial Control Systems (2017)

Full Text
See detailMulti-Robot Interfaces and Operator Situational Awareness: Study of the Impact of Immersion and Prediction
Roldán, Juan Jesús; Peña-Tapia, Elena; Martín-Barrio, Andrés; Olivares Mendez, Miguel Angel; Del Cerro, Jaime; Barrientos, Antonio

in Sensors (2017), 17(8 1720),

Full Text
See detailCoverage optimization with connectivity preservation for UAV swarms applying chaotic dynamics
Rosalie, Martin; Brust, Matthias; Danoy, Grégoire; Chaumette, Serge; Bouvry, Pascal

in IEEE International Conference on Autonomic Computing (ICAC), Columbus 17-21 July 2017 (2017, August 11)

Full Text
See detailImpact du mécanisme chaotique sur l’optimisation d’un modèle de mobilité pour un essaim de drones devant réaliser une couverture de zone
Rosalie, Martin; Danoy, Grégoire; Chaumette, Serge; Bouvry, Pascal

in Falcon, Eric; Lefranc, Marc; Pétrélis, François; Pham, Chi-Tuong (Eds.) Comptes-rendus de la 20e Rencontre du Non Linéaire (2017, March)

Full Text
See detailArea exploration with a swarm of UAVs combining deterministic Chaotic Ant Colony Mobility with position MPC
Rosalie, Martin; Dentler, Jan Eric; Danoy, Grégoire; Bouvry, Pascal; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in 2017 International Conference on Unmanned Aircraft Systems (ICUAS) (2017, July 27)

Full Text
See detailTowards Automatic Human Body Model Fitting to a 3D Scan
Saint, Alexandre Fabian A; Shabayek, Abd El Rahman; Aouada, Djamila; Ottersten, Björn; Cherenkova, Kseniya; Gusev, Gleb

in D'APUZZO, Nicola (Ed.) Proceedings of 3DBODY.TECH 2017 - 8th International Conference and Exhibition on 3D Body Scanning and Processing Technologies, Montreal QC, Canada, 11-12 Oct. 2017 (2017, October)

Full Text
See detailFast Stochastic Non-linear Model Predictive Control for Electric Vehicle Advanced Driver Assistance Systems
Sajadi Alamdari, Seyed Amin; Voos, Holger; Darouach, Mohamed

in 13th IEEE International Conference on Vehicular Electronics and Safety, Vienna, Austria 27-28 June 2017 (2017, June 27)

Full Text
See detailRisk-averse Stochastic Nonlinear Model Predictive Control for Real-time Safety-critical Systems
Sajadi Alamdari, Seyed Amin; Voos, Holger; Darouach, Mohamed

in The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, Toulouse, France, 9-14 July 2017 (2017, July 11)

Full Text
See detailAn Automated Framework for Detection and Resolution of Cross References in Legal Texts
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in Requirements Engineering (2017), 22(2), 215-237

Full Text
See detailLegal Markup Generation in the Large: An Experience Report
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)

Full Text
See detailInternetdelikte und die Herausforderungen des Forum Shoppings
Schmitz, Sandra

E-print/Working paper (2017)

See detailMulti-Target Localization in Asynchronous MIMO Radars Using Sparse Sensing
Sedighi, Saeid; Shankar, Bhavani; Maleki, Sina; Ottersten, Björn

Scientific Conference (2017)

Full Text
See detailDEFORMATION TRANSFER OF 3D HUMAN SHAPES AND POSES ON MANIFOLDS
Shabayek, Abd El Rahman; Aouada, Djamila; Saint, Alexandre Fabian A; Ottersten, Björn

in IEEE International Conference on Image Processing, Beijing 17-20 Spetember 2017 (2017)

Full Text
See detailSummary of an Open Discussion on IoT and Lightweight Cryptography
Shamir, Adi; Biryukov, Alex; Perrin, Léo Paul

in Proceedings of Early Symmetric Crypto workshop, 2017 (2017, April)

Full Text
See detailSpecification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
Shin, Seung Yeob

in Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017) (2017, September 10)

Full Text
See detailDiscrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling
Shin, Seung Yeob; Brun, Yuriy; Balasubramanian, Hari; Henneman, Philip L.; Osterweil, Leon J.

in IEEE Transactions on Systems, Man, and Cybernetics: Systems (2017)

Full Text
See detailAdvanced Interest Flooding Attacks in Named-Data Networking
Signorello, Salvatore; Marchal, Samuel; François, Jérôme; Festor, Olivier; State, Radu

Scientific Conference (2017, October 30)

Full Text
See detailAugmenting and Structuring User Queries to Support Efficient Free-Form Code Search
Sirres, Raphael; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Lo, David; Klein, Jacques; Le Traon, Yves

Report (2017)

Full Text
See detailSynthetic Data Generation for Statistical Testing
Soltana, Ghanem; Sabetzadeh, Mehrdad; Briand, Lionel

in 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017) (2017)

Full Text
See detailA Guided Genetic Algorithm for Automated Crash Reproduction
Soltani, Mozhan; Panichella, Annibale; van Deursen, Arie

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)

Full Text
See detailSpatial PAPR Reduction in Symbol-level Precoding for the Multi-beam Satellite Downlink
Spano, Danilo; Alodeh, Maha; Chatzinotas, Symeon; Krause, Jens; Ottersten, Björn

in IEEE SPAWC 2017 (2017, July)

Full Text
See detailNorm-based deontic logic for access control, some computational results
Sun, Xin; Robaldo, Livio

in Future Generation Computer Systems (2017)

Full Text
See detailJoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2017, September)

Full Text
See detailSearch-driven String Constraint Solving for Vulnerability Detection
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)

Full Text
See detailAn Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption
Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves; Harman, Mark

in International Conference on Software Engineering (ICSE 2017) (2017, May 28)

Full Text
See detailA New Modelling Framework over Temporal Graphs for Collaborative Mobility Recommendation Systems
Toader, Bogdan; Moawad, Assaad; Fouquet, François; Hartmann, Thomas; Popescu, Mioara; Viti, Francesco

Scientific Conference (2017)

Full Text
See detailUsage of Smartphone Data to Derive an Indicator for Collaborative Mobility between Individuals
Toader, Bogdan; Sprumont, François; Faye, Sébastien; Viti, Francesco; Popescu, Mioara

in ISPRS International Journal of Geo-Information (2017), 6(3), 62

Full Text
See detailActive Learning in Cognitive Radio Networks
Tsakmalis, Anestis

Doctoral thesis (2017)

Full Text
See detailInterference Constraint Active Learning with Uncertain Feedback for Cognitive Radio Networks
Tsakmalis, Anestis; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2017), 16(7), 4654-4668

Full Text
See detailOn the Energy-Efficiency of Hybrid Analog-Digital Transceivers for Single- and Multi-carrier Large Antenna Array Systems
Tsinos, Christos; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Journal on Selected Areas In Communications (2017)

Full Text
See detailDesign of an Electromechanical Prosthetic Finger using Shape Memory Alloy Wires
van der Elst, Louis; Quintanar Guzman, Serket; Hadji-Minaglou, Jean-Régis

in IEEE 5th International Symposium on Robotics and Intelligent Sensors, Ottawa, Canada, 5-7 October 2017 (2017, October)

See detailflexfringe: A Passive Automaton Learning Package
Verwer, Sicco E.; Hammerschmidt, Christian

in Software Maintenance and Evolution (ICSME), 2017 IEEE International Conference on (2017, September)

Full Text
See detailPermanent Reencryption: How to Survive Generations of Cryptanalysts to Come
Volp, Marcus; Rocha, Francisco; Decouchant, Jérémie; Yu, Jiangshan; Verissimo, Paulo

in Twenty-fifth International Workshop on Security Protocols (2017)

Full Text
See detailCoded Caching and Storage Planning in Heterogeneous Networks
Vu, Thang Xuan; Chatzinotas, Symeon; Ottersten, Björn

in 2017 IEEE Wireless Communications and Networking Conference (WCNC) (2017)

Full Text
See detailEnergy-Efficient Design for Edge-caching Wireless Networks: When is Coded-caching beneficial?
Vu, Thang Xuan; Chatzinotas, Symeon; Ottersten, Björn

in Abstract book of IEEE 18th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) (2017, July)

Full Text
See detailOn the Diversity of Partial Relaying Cooperation with Relay Selection in Finite-SNR Regime
Vu, Thang Xuan; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Conference on Communications (2017, May)

Full Text
See detailFinite-SNR analysis for partial relaying cooperation with channel coding and opportunistic relay selection
Vu, Thang Xuan; Duhamel, Pierre; Chatzinotas, Symeon; Ottersten, Björn

in EURASIP Journal on Advances in Signal Processing (2017)

Full Text
See detailAdaptive Cloud Radio Access Networks: Compression and Optimization
Vu, Thang Xuan; Nguyen, Hieu Duy; Quek, Tony Q.S.; Sun, Sumei

in IEEE Transactions on Signal Processing (2017), 65(1), 228-241

Full Text
See detailSpectral-Efficient Model for Multiuser Massive MIMO: Exploiting User Velocity
Vu, Thang Xuan; Trinh, Anh Vu; Chatzinotas, Symeon; Ottersten, Björn

in IEEE international Conference on Communications (2017, May)

Full Text
See detailSystem Testing of Timing Requirements based on Use Cases and Timed Automata
Wang, Chunhui; Pastore, Fabrizio; Briand, Lionel

in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017 (2017, March 13)

Full Text
See detailShould We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
Wang, Jingyi; Sun, Jun; Yuan, Qixia; Pang, Jun

in Proceedings of 20th International Conference on Fundamental Approaches to Software Engineering (2017)

Full Text
See detailDifferentially Private Neighborhood-based Recommender Systems
Wang, Jun; Tang, Qiang

in IFIP Information Security & Privacy Conference (2017, May)

Full Text
See detailSemantic annotation for places in LBSN through graph embedding
Wang, Yan; Qin, Zongxu; Pang, Jun; Zhang, Yang; Jin, Xin

in Proceedings of the 26th ACM International Conference on Information and Knowledge Management - CIKM'17 (2017)

Full Text
See detailIntellectual Property Rights infringement in the Cloud
Wasim, Muhammad Umer

Presentation (2017)

Full Text
See detailLaw as a Service (LaaS): Enabling Legal Protection over a Blockchain Network
Wasim, Muhammad Umer; Ibrahim, Abdallah Ali Zainelabden Abdallah; Bouvry, Pascal; Limba, Tadas

in 14th International Conference on Smart Cities: Improving Quality of Life using ICT & IoT (HONET-ICT 17), October 09-11, Irbid Jordan. (2017)

Full Text
See detailSelf-Regulated Multi-criteria Decision Analysis: An Autonomous Brokerage-Based Approach for Service Provider Ranking in the Cloud
Wasim, Muhammad Umer; Ibrahim, Abdallah Ali Zainelabden Abdallah; Bouvry, Pascal; Limba, Tadas

in 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017), December 11-14, Hong Kong China. (2017)

Full Text
See detailComprehending Malicious Android Apps By Mining Topic-Specific Data Flow Signatures
Yang, Xinli; Lo, David; Li, Li; Xia, Xin; Bissyande, Tegawendé François D Assise; Klein, Jacques

in Information and Software Technology (2017)

Full Text
See detailInsider Threats to Information Security, Digital Espionage, and Counter-Intelligence
You, Ilsun; Lenzini, Gabriele; De Santis, Alfredo

in IEEE Systems Journal (2017), 11(2),

Full Text
See detailA Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource
You, Lei; Lei, Lei; Yuan, Di; Sun, Sumei; Chatzinotas, Symeon; Ottersten, Björn

in 2017 IEEE Global Communications Conference (GLOBECOM) (2017, December)

Full Text
See detailChapter 7: Evaluating web PKIs
Yu, Jiangshan; Ryan, Mark

in Software Architecture for Big Data and the Cloud, 1st Edition, Chapter 7, June 2017. (2017)

Full Text
See detailAuthenticating compromisable storage systems
Yu, Jiangshan; Ryan, Mark; Chen, Liqun

in The 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (2017)

Full Text
See detailDECIM: Detecting Endpoint Compromise In Messaging
Yu, Jiangshan; Ryan, Mark; Cremers, Cas

in IEEE Transactions on Information Forensics & Security (2017)

Full Text
See detailDoes #like4like indeed provoke more likes?
zhang, Yang; Ni, Minyue; Han, Weili; Pang, Jun

in Proceedings of the 16th IEEE/WIC/ACM International Conference on Web Intelligence (WI'17) (2017)

Full Text
See detailSpeeding-Up Mutation Testing via Data Compression and State Infection
Zhu, Qianqian; Panichella, Annibale; Zaidman, Andy

in IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017 (2017, March 13)

Full Text
See detailSANSA - Hybrid Terrestrial-Satellite Backhaul Network: Scenarios, Use cases, KPIs, Architecture, Network and Physical Layer Techniques
Ziaragkas, Georgios; Poziopoulou, Georgia; Núñez-Martínez, Jose; Baranda Hortigüela, Jorge; Moreno, Isaac; Tsinos, Christos; Maleki, Sina; Sharma, Shree Krishna; Alodeh, Maha; Chatzinotas, Symeon

in International Journal of Satellite Communications and Networking (2017)

Top of Page

2016

See detailAnalysis of Bandwidth Attacks in a Bittorrent Swarm
Adamsky, Florian

Doctoral thesis (2016)

Full Text
See detailTextual Inference with Deep Learning Technique
Adebayo, Kolawole; Di Caro, Luigi; Robaldo, Livio; Boella, Guido

in Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016). (2016)

Full Text
See detailAn approach to information retrieval and question answering in the legal domain
Adebayo, Kolawole John; Di Caro, Luigi; Boella, Guido; Bartolini, Cesare

Scientific Conference (2016, November 15)

Full Text
See detailStates and unknown input estimation via non-linear sliding mode high-gain observers for a glucose-insulin system
Aguilera Gonzalez, Adriana; Voos, Holger; Darouach, Mohamed

in IEEE EMBS Conference on Biomedical Engineering and Sciences (IECBES), Kuala Lumpur, Malaysia, 2016 (2016, December 04)

Full Text
See detailEnhancement of Dynamic Depth Scenes by Upsampling for Precise Super-Resolution (UP-SR)
Al Ismaeil, Kassem; Aouada, Djamila; Mirbach, Bruno; Ottersten, Björn

in Computer Vision and Image Understanding (2016)

Full Text
See detailReal-Time Enhancement of Dynamic Depth Videos with Non-Rigid Deformations
Al Ismaeil, Kassem; Aouada, Djamila; Solignac, Thomas; Mirbach, Bruno; Ottersten, Björn

in IEEE Transactions on Pattern Analysis & Machine Intelligence (2016), 39(10), 2045-2059

Full Text
See detailIdentifying representative users in matrix factorization-based recommender systems: application to solving the content-less new item cold-start problem
Aleksandrova, Marharyta; Brun, Armelle; Boyer, Anne; Chertov, Oleg

in Journal of Intelligent Information Systems (2016)

Full Text
See detailAndroZoo: Collecting Millions of Android Apps for the Research Community
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Proceedings of the 13th International Workshop on Mining Software Repositories (2016, May)

Full Text
See detailEnergy-Efficient Symbol-Level Precoding in Multiuser MISO Based on Relaxed Detection Region
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2016)

Full Text
See detailJoint Compression and Feedback of CSI in Correlated multiuser MISO Channels
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in The 17th IEEE International workshop on Signal Processing advances in Wireless Communications (2016, July)

Full Text
See detailPeak Power Minimization in Symbol-level Precoding for Cognitive MISO Downlink Channels
Alodeh, Maha; Spano, Danilo; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Digital Signal Processing Conference (2016, October 16)

Full Text
See detailCumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

in Deontic Logic and Normative Systems (2016)

Full Text
See detailA Representation Theorem for Abstract Cumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

Report (2016)

Full Text
See detailCompressed Sensing of Sparse Multipath MIMO Channels with Superimposed Training Sequence
Amin, B.; Mansoor, B.; Junaid Nawaz, S.; Sharma, Shree Krishna; Patwary, M.N.

in Wireless Personal Communications (2016)

Full Text
See detailExploiting orthogonality in DVB-S2X through time pre-compensation
Andrenacci, Stefano; Chatzinotas, Symeon; Vanelli-Coralli, Alessandro; Cioni, Stefano; Ginesi, Alberto; Ottersten, Björn

in Proceedings of 2016 8th Advanced Satellite Multimedia Systems Conference and the 14th Signal Processing for Space Communications Workshop (2016)

Full Text
See detailOptimized Link Adaptation for DVB-S2X Precoded Waveforms based on SNIR Estimation
Andrenacci, Stefano; Spano, Danilo; Christopoulos, Dimitrios; Chatzinotas, Symeon; Krause, Jens; Ottersten, Björn

in Asilomar Conference on Signals, Systems, and Computers 2016 (2016)

Full Text
See detailAutomated Testing of Web Application Firewalls
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel

Report (2016)

Full Text
See detailJava Enterprise Edition Support in Search-Based JUnit Test Generation
Arcuri, Andrea; Fraser, Gordon

in Java Enterprise Edition Support in Search-Based JUnit Test Generation (2016)

Full Text
See detailUnit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins
Arcuri, Andrea; Jose, Campos; Gordon, Fraser

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2016)

See detailHumans and Robots in Dialogue?!
Arend, Béatrice; Caire, Patrice

Conference given outside the academic context (2016)

Full Text
See detailExtracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016 (2016, October)

Full Text
See detailM3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores
Asmussen, Nils; Volp, Marcus; Nöthen, Benedikt; Härtig, Hermann; Fettweis, Gerhard

in Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2016, April)

Full Text
See detailA Parallel Cooperative Coevolutionary SMPSO Algorithm for Multi-objective Optimization
Atashpendar, Arash; Dorronsoro, Bernabé; Danoy, Grégoire; Bouvry, Pascal

in IEEE International Conference on High Performance Computing Simulation (HPCS) (2016, July)

Full Text
See detailMutating OWLs: semantic mutation testing for ontologies
Bartolini, Cesare

Scientific Conference (2016, February 19)

Full Text
See detailOntology mutation testing
Bartolini, Cesare

Presentation (2016, February 03)

Full Text
See detailCloud Providers Viability: How to Address it from an IT and Legal Perspective?
Bartolini, Cesare; El Kateb, Donia; Le Traon, Yves; Hagen, David

in Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer F. (Eds.) Economics of Grids, Clouds, Systems, and Services (2016)

Full Text
See detailA Framework to Reason about the Legal Compliance of Security Standards
Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio

in Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN) (2016, November)

Full Text
See detailTowards legal compliance by correlating Standards and Laws with a semi-automated methodology
Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio

in Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC) (2016, November)

Full Text
See detailThe right to be forgotten in the light of the consent of the data subject
Bartolini, Cesare; Siry, Lawrence

in Computer Law & Security Review (2016), 32(2),

Full Text
See detailAn Extended Cooperative Adaptive Cruise Control (CACC) Algorithm for Efficient Energy Consumption & Traffic Density Formulation
Bayar, Bilgehan; Sajadi Alamdari, Seyed Amin; Viti, Francesco; Voos, Holger

in Traffic Flow Theory and Characteristics Committee (AHB45) 2016 Summer Meeting, Sydney, Australia, 2016 (2016, July 02)

Full Text
See detailImpact of Different Spacing Policies for Adaptive Cruise Control on Traffic and Energy Consumption of Electric Vehicles
Bayar, Bilgehan; Sajadi Alamdari, Seyed Amin; Viti, Francesco; Voos, Holger

in 24th Mediterranean Conference on Control and Automation (MED), Athens, Greece, 2016 (2016, June 23)

Full Text
See detailExperimental Study of an Underlay Cognitive Radio System: Model Validation and Demonstration
Becker, Hanna; Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Jondral, Friedrich

in Proceedings of CROWNCOM 2016 (2016, May)

Full Text
See detailTesting Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Ben Abdessalem (helali), Raja; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

in International Conference on Automated Software Engineering (ASE 2016) (2016)

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2016)

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016) (2016, June)

Full Text
See detailA model-driven approach to representing and checking RBAC contextual policies.
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel; Hourte, Benjamin

in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (2016, March)

Full Text
See detailEfficient Large-scale Trace Checking Using MapReduce
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; San Pietro, Pierluigi

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (2016, May)

Full Text
See detailJITeR: Just-in-time application-layer routing
Bessani, Alysson; Neves, Nuno F.; Verissimo, Paulo; Wagner, Dantas; Fonseca, Alexandre; Rui, Silva; Luz, Pedro; Correia, Miguel

in Computer Networks (2016), (104), 122-136

Full Text
See detailOn the Unknown Input Functional Observers Design: a Polytopic Takagi-Sugeno Approach
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohamed

in 24th Mediterranean Conference on Control and Automation (MED), Athens, Greece, 2016 (2016, June)

Full Text
See detailA Polytopic Approach for the Nonlinear Unknown Input Functional Observers Design: Application to a Quadrotor Aerial Robots Landing
Bezzaoucha, Souad; Voos, Holger; Darouach, Mohamed

in 2016 European Control Conference (ECC), Aalborg, Denmark (2016, June)

Full Text
See detailCollaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots
bikakis, Antonis; Caire, Patrice; clark, keith; Cornelius, Gary Philippe; ma, jiefei; miller, rob; russo, alessandra; Voos, Holger

in 8th International Conference on Agents and Artificial Intelligence, ICAART, Rome, Italy, 2016 (2016)

Full Text
See detailCorrelation Power Analysis of Lightweight Block Ciphers: From Theory to Practice
Biryukov, Alex; Dinu, Dumitru-Daniel; Groszschädl, Johann

in Manulis, Mark; Sadeghi, Ahmad-Reza; Schneider, Steve (Eds.) Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings (2016, June)

Full Text
See detailArgon2: New Generation of Memory-Hard Functions for Password Hashing and Other Applications
Biryukov, Alex; Dinu, Dumitru-Daniel; Khovratovich, Dmitry

in IEEE European Symposium on Security and Privacy (2016)

Full Text
See detailEquihash: asymmetric proof-of-work based on the Generalized Birthday problem
Biryukov, Alex; Khovratovich, Dmitry

in Proceedings of NDSS 2016 (2016, February)

Full Text
See detailMultiset-Algebraic Cryptanalysis of Reduced Kuznyechik, Khazad, and secret SPNs
Biryukov, Alex; Khovratovich, Dmitry; Perrin, Léo Paul

in IACR Transactions on Symmetric Cryptology (2016), 2016(2), 226-247

Full Text
See detailCryptanalysis of Feistel Networks with Secret Round Functions
Biryukov, Alex; Leurent, Gaëtan; Perrin, Léo Paul

in Dunkelman, Orr; Keliher, Liam (Eds.) Selected Areas in Cryptography -- SAC 2015, 21st International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers (2016, March)

Full Text
See detailReverse-Engineering the S-Box of Streebog, Kuznyechik and STRIBOBr1
Biryukov, Alex; Perrin, Léo Paul; Udovenko, Aleksei

in Fischlin, Marc, Coron, Jean-Sébastien (Ed.) Advances in Cryptology – EUROCRYPT 2016 (2016, April 28)

Full Text
See detailAutomatic Search for the Best Trails in ARX: Application to Block Cipher Speck
Biryukov, Alex; Velichkov, Vesselin; Le Corre, Yann

in Fast Software Encryption - FSE 2016 (2016)

Full Text
See detailEunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law
Boella, Guido; Di Caro, Luigi; Humphreys, Llio; Robaldo, Livio; Rossi, Piercarlo; van der Torre, Leon

in Artificial Intelligence & Law (2016)

Full Text
See detailUsing Heterogeneous Multilevel Swarms of UAVs and High-Level Data Fusion to Support Situation Management in Surveillance Scenarios
Bouvry, Pascal; Chaumette, Serge; Danoy, Grégoire; Guerrini, Gilles; Jurquet, Gilles; Kuwertz, Achim; Müller, Wilmuth; Rosalie, Martin; Sander, Jennifer

in 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2016 (2016, September 19)

Full Text
See detailTesting the Untestable: Model Testing of Complex Software-Intensive Systems
Briand, Lionel; Nejati, Shiva; Sabetzadeh, Mehrdad; Bianculli, Domenico

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)

Full Text
See detailTowards Characterizing Bluetooth Discovery in a Vehicular Context
Bronzi, Walter; Derrmann, Thierry; Castignani, German; Engel, Thomas

in Vehicular Networking Conference (VNC), 2016 IEEE (2016, December)

See detailExperimental Lifetime Investigation of Series Connected Li-ion Cells at Different Operation Strategies
Brühl, Manuel; Sauer, Dirk Uwe; Hadji-Minaglou, Jean-Régis

Poster (2016, April 26)

Full Text
See detailPrivacy Challenges in Ambient Intelligence Systems
Caire, Patrice; Moawad, Assaad; Efthymiou, Vasileios; bikakis, Antonis; Le Traon, Yves

in Journal of Ambient Intelligence and Smart Environments (2016)

Full Text
See detailTowards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
Caldeira Lima, Antonio; Rocha, Francisco; Volp, Marcus; Verissimo, Paulo

in Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy (2016, October)

Full Text
See detailUC Commitments for Modular Protocol Design and Applications to Revocation and Attribute Tokens
Camenisch, Jan; Dubovitskaya, Maria; Rial, Alfredo

in Advances in Cryptology – CRYPTO 2016 (2016, August 14)

Full Text
See detailAssessing Performance of Internet of Things-based Mobile Crowdsensing Systems for Sensing as a Service Applications in Smart Cities
Capponi, Andrea; Fiandrino, Claudio; Franck, Christian; Sorger, Ulrich; Kliazovich, Dzmitry; Bouvry, Pascal

in 8th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) (2016, December)

Full Text
See detailSOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities
Ceccato, Mariano; Nguyen, Duy Cu; Appelt, Dennis; Briand, Lionel

in Proceedings of the 31th IEEE/ACM International Conference on Automated Software Engineering (2016)

Full Text
See detailInvariant Observer Applied to Anaerobic Digestion Model
Chaib Draa, Khadidja; Voos, Holger; Alma, Marouane; Darouach, Mohamed

in IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, Germany, 2016 (2016, September)

Full Text
See detailCognitive approaches to enhance spectrum availability for satellite systems
Chatzinotas, Symeon; Evans, Barry; Guidotti, Alessandro; Icolari, Vincenzo; Lagunas, Eva; Maleki, Sina; Sharma, Shree Krishna; Tarchi, Daniele; Thompson, Paul; Vanelli-Coralli, Alessandro

in International Journal of Satellite Communications and Networking (2016)

See detailMultibeam joint processing satellites: cooperative relays, high above.
Christopoulos, Dimitrios; Andrenacci, Stefano; Spano, Danilo; Chatzinotas, Symeon; Krause, Jens; Ottersten, Björn

in Advanced Relay Technologies in Next Generation Wireless Communication, Telecommunications (2016)

Full Text
See detailMulticast multigroup precoding for frame-based multi-gateway satellite communications
Christopoulos, Dimitrios; Pennanen, Harri; Chatzinotas, Symeon; Ottersten, Björn

in Advanced Satellite Multimedia Systems Conference and the 14th Signal Processing for Space Communications Workshop (ASMS/SPSC), 2016 8th (2016, October 24)

Full Text
See detailDynamic Vehicular Routing in Urban Environments
Codeca, Lara

Doctoral thesis (2016)

Full Text
See detailLuxembourg SUMO Traffic (LuST) Scenario: Traffic Demand Evaluation
Codeca, Lara; Frank, Raphaël; Faye, Sébastien; Engel, Thomas

in IEEE Intelligent Transportation Systems Magazine (2016)

Full Text
See detailFeature Engineering Strategies for Credit Card Fraud Detection
Correa Bahnsen, Alejandro; Aouada, Djamila; Stojanovic, Aleksandar; Ottersten, Björn

in Expert Systems with Applications (2016), 51

Full Text
See detailCorrespondences between WZNW models and CFTs with W-algebra symmetry
Creutzig, Thomas; Hikida, Yasuaki; Roenne, Peter

in JHEP (2016), 02

Full Text
See detailOpportunities for enhanced lean construction management using Internet of Things standards
Dave, Bhargav; Kubler, Sylvain; Främling, Kary; Koskela, Lauri

in Automation in Construction (2016), 61

Full Text
See detailOn the Power of Rewinding Simulators in Functional Encryption
De Caro, Angelo; Iovino, Vincenzo

in Designs, Codes and Cryptography (2016)

Full Text
See detailDeniable Functional Encryption
De caro, Angelo; Iovino, Vincenzo; O'Neill, Adam

in Public-key Cryptography - PKC 2016, 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I (2016)

Full Text
See detailPAG: Private and Accountable Gossip
Decouchant, Jérémie; Ben Mokhtar, Sonia; Petit, Albin; Quéma, Vivien

Scientific Conference (2016, June 28)

Full Text
See detailPrivate Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
Delerue Arriaga, Afonso; Barbosa, Manuel; Farshim, Pooya

in Dunkelman, Orr; Sanadhya, Somitra Kumar (Eds.) Progress in Cryptology -- INDOCRYPT 2016: 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings (2016)

Full Text
See detailUpdatable Functional Encryption
Delerue Arriaga, Afonso; Iovino, Vincenzo; Tang, Qiang

in Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology, Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers (2016)

Full Text
See detailSimilarity Metric For Curved Shapes In Euclidean Space
Demisse, Girum; Aouada, Djamila; Ottersten, Björn

in IEEE Conference on Computer Vision and Pattern Recognition (CVPR) 2016 (2016, June 26)

Full Text
See detailA Modularization Approach for Nonlinear Model Predictive Control of Distributed Fast Systems
Dentler, Jan Eric; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in 24th Mediterranean Conference on Control and Automation (MED), Athens, Greece, June 21-24, 2016 (2016, June 22)

Full Text
See detailA real-time model predictive position control with collision avoidance for commercial low-cost quadrotors
Dentler, Jan Eric; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in IEEE Multi-Conference on Systems and Control (MSC 2016), Buenos Aires, Argentina, 2016 (2016, September 20)

Full Text
See detailA tracking error control approach for model predictive position control of a quadrotor with time varying reference
Dentler, Jan Eric; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in IEEE International Conference on Robotics and Biomimetics ROBIO, Qingdao, China, 2016 (2016, December 06)

See detailLuST-LTE: A Simulation Package for Pervasive Vehicular Connectivity
Derrmann, Thierry; Faye, Sébastien; Frank, Raphaël; Engel, Thomas

Presentation (2016, June 30)

See detailPoster: LuST-LTE: A Simulation Package for Pervasive Vehicular Connectivity
Derrmann, Thierry; Faye, Sébastien; Frank, Raphaël; Engel, Thomas

Poster (2016, December 08)

Full Text
See detailTowards Privacy-Neutral Travel Time Estimation from Mobile Phone Signalling Data
Derrmann, Thierry; Frank, Raphaël; Faye, Sébastien; Castignani, German; Engel, Thomas

in Proceedings of the 2016 IEEE International Smart Cities Conference (ISC2) (2016, September)

Full Text
See detailOn the Error Performance Bound of Ordered Statistics Decoding of Linear Block Codes
Dhakal, Pawan; Garello, Roberto; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Proceedings of International Conference on Communications (ICC) (2016, May)

Full Text
See detailEffect of Primary User Traffic on Largest Eigenvalue Based Spectrum Sensing Technique
Dhakal, Pawan; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Riviello, Daniel

in Proceedings of International Conference on Cognitive Radio Oriented Wireless Networks (CROWNCOM) (2016, May)

Full Text
See detailA computer vision and control algorithm to follow a human target in a generic environment using a drone
Di Maio, Antonio; Bevilacqua, Vitoantonio

in Lecture Notes in Computer Science, Intelligent Computing Theories and Application (2016)

Full Text
See detailA novel approach to evaluate blood parameters using computer vision techniques
Di Maio, Antonio; Bevilacqua, Vitoantonio; Marino, Francescomaria; Dimauro, Giovanni; Girardi, Francesco; Guarini, Attilio

in Medical Measurements and Applications (MeMeA), 2016 IEEE International Symposium on (2016, May 15)

Full Text
See detailEnabling SDN in VANETs: What is the Impact on Security?
Di Maio, Antonio; Palattella, Maria Rita; Soua, Ridha; Lamorte, Luca; Vilajosana, Xavier; Alonso-Zarate, Jesus; Engel, Thomas

in Sensors (2016), 16(12), 2077

Full Text
See detailDesign Strategies for ARX with Provable Bounds: SPARX and LAX
Dinu, Dumitru-Daniel; Perrin, Léo Paul; Udovenko, Aleksei; Velichkov, Vesselin; Groszschädl, Johann; Biryukov, Alex

in Cheon, Jung Hee; Takagi, Tsuyoshi (Eds.) Advances in Cryptology - ASIACRYPT 2016 (2016)

Full Text
See detailA Generic Framework to Support Application-Level Flow Management in Software-Defined Networks
Dolberg, Lautaro; François, Jérôme; Chowdhury, Shihabur Rahman; Ahmed, Reaz; Boutaba, Raouf; Engel, Thomas

in Conference on Network Softwarization (Netsoft) (2016)

Full Text
See detailBehavior Profiling for Mobile Advertising
Du, Manxing; State, Radu; Brorsson, Mats; Avanesov, Tigran

in Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (2016, December)

Full Text
See detailPoster: PREXT: Privacy Extension for Veins VANET Simulator
Emara, Karim Ahmed Awad El-Sayed

Poster (2016)

Full Text
See detailContext-based Pseudonym Changing Scheme for Vehicular Adhoc Networks
Emara, Karim Ahmed Awad El-Sayed; Woerndl, Wolfgang; Schlichter, Johann

E-print/Working paper (2016)

Full Text
See detailHPC or the Cloud: a cost study over an XDEM Simulation
Emeras, Joseph; Besseron, Xavier; Varrette, Sébastien; Bouvry, Pascal; Peters, Bernhard

in Proc. of the 7th International Supercomputing Conference in Mexico (ISUM 2016) (2016)

Full Text
See detailAmazon Elastic Compute Cloud (EC2) vs. in-House HPC Platform: a Cost Analysis
Emeras, Joseph; Varrette, Sébastien; Bouvry, Pascal

in Proc. of the 9th IEEE Intl. Conf. on Cloud Computing (CLOUD 2016) (2016, June)

Full Text
See detailPredicting Air Compressor Failures with Echo State Networks
Fan, Yuantao; Nowaczyk, S. Lawomir; Rögnvaldsson, Thorsteinn; Antonelo, Eric Aislan

in Third European Conference of the Prognostics and Health Management Society 2016, Bilbao, Spain, 5-8 July, 2016 (2016)

Full Text
See detailCharacterizing the Topology of an Urban Wireless Sensor Network for Road Traffic Management
Faye, Sébastien; Chaudet, Claude

in IEEE Transactions on Vehicular Technology (2016), 65(7), 5720-5725

Full Text
See detailUnderstanding User Daily Mobility Using Mobile and Wearable Sensing Systems
Faye, Sébastien; Engel, Thomas

in Proceedings of the 2016 International Conference on Information and Communications Technology Convergence - ICTC 2016 (2016, October)

Full Text
See detailToward a Characterization of Human Activities using Smart Devices: A Micro/Macro Approach
Faye, Sébastien; Louveton, Nicolas; Gheorghe, Gabriela; Engel, Thomas

in Proceedings of the 7th IEEE INFOCOM International Workshop on Mobility Management in the Networks of the Future World (2016, April)

Full Text
See detailA Two-Level Approach to Characterizing Human Activities from Wearable Sensor Data
Faye, Sébastien; Louveton, Nicolas; Gheorghe, Gabriela; Engel, Thomas

in Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (2016), 7(3),

Full Text
See detailDemo Abstract: Human Mobility Profiling Using Privacy-Friendly Wi-Fi and Activity Traces
Faye, Sébastien; Tahirou, Ibrahim; Engel, Thomas

in Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems (SenSys 2016) (2016, November 14)

Full Text
See detailComparing and Integrating Break-the-Glass and Delegation in Role-based Access Control for Healthcare
Ferreira, Ana; Lenzini, Gabriele

in Proc. of the nd Int. Conference on International Conference in Information Systems Security and Privacy (ICISSP) (2016)

Full Text
See detailSociability-Driven User Recruitment in Mobile Crowdsensing Internet of Things Platforms
Fiandrino, Claudio; Kantarci, Burak; Anjomshoa, Fazel; Kliazovich, Dzmitry; Bouvry, Pascal; Matthews, Jeanna

in IEEE Global Communications Conference (GLOBECOM), Washington, DC, USA, 2016 (2016, December)

Full Text
See detailNetwork Coding-based Content Distribution in Cellular Access Networks
Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Zomaya, Albert Y.

in IEEE International Conference on Communications (ICC), Kuala Lumpur, Malaysia, 2016 (2016, May)

Full Text
See detailUsing attack-defense trees to analyze threats and countermeasures in an ATM: a case study
Fraile, Marlon; Ford, Margaret; Gadyatskaya, Olga; Kumar, Rajesh; Stoelinga, Mariëlle; Trujillo Rasua, Rolando

in IFIP Working Conference on The Practice of Enterprise Modeling (2016)

Full Text
See detailEstimating speed profiles from aerial vision - A comparison of regression based sampling techniques
Freis, Sebastian; Olivares Mendez, Miguel Angel; Viti, Francesco

in Proceedings of the IEEE 24th Mediterranean Conference on Control and Automation (2016, June)

Full Text
See detailModelling Attack-defense Trees Using Timed Automata
Gadyatskaya, Olga; Hansen, R. R.; Larsen, K. G.; Legay, A.; Olesen, M. C.; Poulsen, D. B.

in Proc. of FORMATS (2016)

Full Text
See detailBridging two worlds: Reconciling practical risk assessment methodologies with theory of attack trees
Gadyatskaya, Olga; Harpes, Carlo; Mauw, Sjouke; Muller, Cedric; Muller, Steve

in Proc. of GraMSec (2016)

Full Text
See detailAttack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0
Gadyatskaya, Olga; Jhawar, Ravi; Kordy, Piotr; Lounis, Karim; Mauw, Sjouke; Trujillo Rasua, Rolando

in Quantitative Evaluation of Systems - 13th International Conference (2016)

Full Text
See detailTowards Empirical Evaluation of Automated Risk Assessment Methods
Gadyatskaya, Olga; Labunets, Katsiaryna; Paci, Federica

in Risks and Security of Internet and Systems (2016)

Full Text
See detailEvaluation of Resource-based App Repackaging Detection in Android
Gadyatskaya, Olga; Lezza, A.-L.; Zhauniarovich, Y.

in Proc. of NordSec (2016)

See detail(Universal) Unconditional Verifiability in E-Voting without Trusted Parties
Gallegos-Garcia, Gina; Iovino, Vincenzo; Roenne, Peter; Ryan, Peter

E-print/Working paper (2016)

Full Text
See detailNew unified H-infinity dynamic observer design for linear systems with unknown inputs
Gao, Nan; Darouach, Mohamed; Voos, Holger; Alma, Marouane

in Automatica (2016), 65

Full Text
See detailHigh-fidelity spherical cholesteric liquid crystal Bragg reflectors generating unclonable patterns for secure authentication
Geng, Yong; Noh, Junghyun; Drevensek-Olenik, Irena; Rupp, Romano; Lenzini, Gabriele; Lagerwall, Jan

in Scientific Reports (2016), 6(26840), 1-8

Full Text
See detailAn Iterative Approach to Nonconvex QCQP with Applications in Signal Processing
Gharanjik, Ahmad; Shankar, Bhavani; Soltanalian, Mojtaba; Ottersten, Björn

in 2016 IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM) (2016, July 10)

Full Text
See detailMax-min transmit beamforming via iterative regularization
Gharanjik, Ahmad; Shankar, Bhavani; Soltanalian, Mojtaba; Ottersten, Björn

in 50th Asilomar Conference on Signals, Systems and Computers, November 2016 (2016, November)

Full Text
See detailHeat is in the Eye of the Beholder: Towards Better Authenticating on Smartglasses
Gheorghe, Gabriela; Louveton, Nicolas; Martin, Benoît; Viraize, Benjamin; Mougin, Louis; Faye, Sébastien; Engel, Thomas

in Proceedings of the 9th International Conference on Human System Interaction (HSI'16) (2016, July)

Full Text
See detailRobust control strategy for minimising energy consumption of electric buses using cooperative ITS technology
Giorgione, Giulio; Viti, Francesco; Seredynski, Marcin

Scientific Conference (2016)

Full Text
See detailOn the Possibility of Non-Interactive E-Voting in the Public-key Setting
Giustolisi, Rosario; Iovino, Vincenzo; Rønne, Peter

in Financial Cryptography and Data Security, FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers (2016)

Full Text
See detailDeep Learning For Smile Recognition
Glauner, Patrick

in Proceedings of the 12th International FLINS Conference (FLINS 2016) (2016)

Full Text
See detailDetecting Electricity Theft
Glauner, Patrick

Poster (2016)

Full Text
See detailLarge-Scale Detection of Non-Technical Losses in Imbalanced Data Sets
Glauner, Patrick; Boechat, Andre; Dolberg, Lautaro; State, Radu; Bettinger, Franck; Rangoni, Yves; Duarte, Diogo

in Proceedings of the Seventh IEEE Conference on Innovative Smart Grid Technologies (ISGT 2016) (2016)

Full Text
See detailNeighborhood Features Help Detecting Non-Technical Losses in Big Data Sets
Glauner, Patrick; Meira, Jorge Augusto; Dolberg, Lautaro; State, Radu; Bettinger, Franck; Rangoni, Yves; Duarte, Diogo

in Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing Applications and Technologies (BDCAT 2016) (2016)

Full Text
See detailDeep Learning Concepts from Theory to Practice
Glauner, Patrick; State, Radu

Scientific Conference (2016, January 19)

Full Text
See detailDeep Learning on Big Data Sets in the Cloud with Apache Spark and Google TensorFlow
Glauner, Patrick; State, Radu

Scientific Conference (2016, December 09)

Full Text
See detailLoad Forecasting with Artificial Intelligence on Big Data
Glauner, Patrick; State, Radu

Scientific Conference (2016, October 09)

Full Text
See detailA Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
Göknil, Arda; Kurtev, Ivan; van den Berg, Klaas

in The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA) (2016, November)

Full Text
See detailA Revisit to Human Action Recognition from Depth Sequences: Guided SVM-Sampling for Joint Selection
Goncalves Almeida Antunes, Michel; Aouada, Djamila; Ottersten, Björn

in IEEE Winter Conference on Applications of Computer Vision (WACV), 2016 (2016)

Full Text
See detailVisual and human-interpretable feedback for assisting physical activity
Goncalves Almeida Antunes, Michel; Baptista, Renato; Demisse, Girum; Aouada, Djamila; Ottersten, Björn

in European Conference on Computer Vision (ECCV) Workshop on Assistive Computer Vision and Robotics Amsterdam, (2016)

Full Text
See detailPiecewise-Planar Reconstruction using Two Views
Goncalves Almeida Antunes, Michel; Barreto, João Pedro; Nunes, Urbano

in Image and Vision Computing (2016)

Full Text
See detailSquirrel: Architecture Driven Resource Management
Gonzalez-Herrera, Inti; Bourcier, Johan; Rudametkin, Walter; Barais, Olivier; Fouquet, François

in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016)

Full Text
See detailScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems
Gonzalez-Herrera, Inti; Bourcier, Johann; Daubert, Erwan; Rudametkin, Walter; Barais, Olivier; Fouquet, François; Jézéquel, Jean-Marc; Baudry, Benoit

in Journal of Systems and Software (2016)

Full Text
See detailEvoSuite at the SBST 2016 Tool Competition
Gordon, Fraser; Arcuri, Andrea

in The 9th International Workshop on SEARCH-BASED SOFTWARE TESTING (SBST) (2016)

Full Text
See detailTowards the Propagation of Model Updates along different Views in Multi-View Models
Gottmann, Susann; Nachtigall, Nico; Ermel, Claudia; Hermann, Frank; Engel, Thomas

in Proceedings of the 5th International Workshop on Bidirectional Transformations (2016), 1571

Full Text
See detailSupporting Change in Product Lines within the Context of Use Case-Driven Development and Testing
Hajri, Ines

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (DS@FSE 2016) (2016, November)

Full Text
See detailPUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2016, November)

Full Text
See detailCompiling packet forwarding rules for switch pipelined architecture
Hamadi, Salaheddine; Blaiech, Khalil; Valtchev, Petko; Cherkaoui, Omar; State, Radu

in IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications (2016, July 26)

Full Text
See detailFlexible State-Merging for learning (P)DFAs in Python
Hammerschmidt, Christian; Loos, Benjamin Laurent; Verwer, Sicco; State, Radu

Scientific Conference (2016, October)

Full Text
See detailEfficient Learning of Communication Profiles from IP Flow Records
Hammerschmidt, Christian; Marchal, Samuel; Pellegrino, Gaetano; State, Radu; Verwer, Sicco

Poster (2016, November)

Full Text
See detailBehavioral Clustering of Non-Stationary IP Flow Record Data
Hammerschmidt, Christian; Marchal, Samuel; State, Radu; Verwer, Sicco

Poster (2016, October)

Full Text
See detailInterpreting Finite Automata for Sequential Data
Hammerschmidt, Christian; Verwer, S.; Lin, Q.; State, Radu

in Interpretable Machine Learning for Complex Systems: NIPS 2016 workshop proceedings (2016)

Full Text
See detailNear Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Klein, Jacques; Le Traon, Yves

in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016, April)

Full Text
See detailPrivacy-Preserving Proximity Services
Haus, Michael; Emara, Karim Ahmed Awad El-Sayed; Ott, Joerg

Report (2016)

Full Text
See detailLifecycle Management in the Smart City Context: Smart Parking Use-Case
Hefnawy, Ahmed; Elhariri, Taha; Bouras, Abdelaziz; Cherifi, Chantal; Robert, Jérémy; Kubler, Sylvain; Främling, Kary

in 13th IFIP International Conference on Product Lifecycle Management, Columbia SC 10-13 July 2016 (2016, July 13)

Full Text
See detailComparing White-box and Black-box Test Prioritization
Henard, Christopher; Papadakis, Mike; Harman, Mark; Jia, Yue; Le Traon, Yves

in 38th International Conference on Software Engineering (ICSE'16) (2016)

Full Text
See detailAdvanced Signal Processing Techniques for Fixed and Mobile Satellite Communications
Henarejos, Pol; Pérez Neira, Ana; Mazzali, Nicolò; Mosquera, Carlos

in Proceedings on 8th Advanced Satellite Multimedia Systems Conference and 14th Signal Processing for Space Communications Workshop (2016, September)

Full Text
See detailGraph-based Software Knowledge: Storage and Semantic Querying of Domain Models for Run-Time Adaptation
Hochgeschwender, Nico; Schneider, Sven; Voos, Holger; Bruyninckx, Herman; Kraetzschmar, Gerhard

in IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots SIMPAR, San Francisco, Dec 2016 (2016, December)

Full Text
See detailOn the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware
Hurier, Médéric; Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference (2016)

Full Text
See detailSocio-Technical Aspects of Security Analysis
Huynen, Jean-Louis

Doctoral thesis (2016)

Full Text
See detailVirtual Desktop Infrastructures: architecture, survey and green aspects proof of concept
Ibrahim, Abdallah Ali Zainelabden Abdallah; Bouvry, Pascal; Kliazovich, Dzmitry; OLEKSIAK, Ariel

in 7th INTERNATIONAL GREEN and SUSTAINABLE COMPUTING CONFERENCE (1st RE-HPC workshop), Hangzhou, China (November 2016) (2016, November 07)

Full Text
See detailOn Service Level Agreement Assurance in Cloud Computing Data Centers
Ibrahim, Abdallah Ali Zainelabden Abdallah; Kliazovich, Dzmitry; Bouvry, Pascal

in IEEE 9th International Conference on Cloud Computing (CLOUD), San Francisco, USA (June 2016) (2016, June 27)

Full Text
See detailService Level Agreemnet Assurance between Cloud Services Providers and CLoud Customers
Ibrahim, Abdallah Ali Zainelabden Abdallah; Kliazovich, Dzmitry; Bouvry, Pascal

in Butterfield, Evan; Kellenberger, Patrick (Eds.) Proceedings of 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing CCGrid 2016 (2016, May 19)

Full Text
See detailUsing Virtual Desktop Infrastructure to Improve Power Efficiency in Grinfy System
Ibrahim, Abdallah Ali Zainelabden Abdallah; Kliazovich, Dzmitry; Bouvry, Pascal; OLEKSIAK, Ariel

in IEEE 8th International Conference on Cloud Computing Technology and Science(CloudCom), Luxembourg 2016 (2016, December 13)

Full Text
See detailOn the power of Public-key Function-Private Functional Encryption
Iovino, Vincenzo; Tang, Qiang; Zebrowski, Karol

in 15th International Conference on Cryptology and Network Security (2016)

Full Text
See detailInformation Security as Strategic (In)effectivity
Jamroga, Wojciech; Tabatabaei, Masoud

in 12th International Workshop on Security and Trust Management (STM), 2016. (2016)

Full Text
See detailPreventing Coercion in E-Voting: Be Open and Commit
Jamroga, Wojciech; Tabatabaei, Masoud

in Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID) (2016)

See detailAutomated and Effective Testing of Web Services for XML Injection Attacks
Jan, Sadeeq; Nguyen, Duy Cu; Briand, Lionel

in ISSTA'16-The International Symposium on Software Testing and Analysis, Saarbrücken 18-20 July 2016 (2016, July 18)

Full Text
See detailA Stochastic Framework for Quantitative Analysis of Attack-Defense Trees
Jhawar, Ravi; Lounis, Karim; Mauw, Sjouke

in 12th International Workshop on Security and Trust Management (2016)

Full Text
See detailAutomating Cyber Defense Response Using Attack-Defence Trees and Game Theory
Jhawar, Ravi; Mauw, Sjouke; Zakiuddin, Irfan

in The 15th European Conference on Cyber Warfare and Security (2016)

Full Text
See detailProfiling Android Vulnerabilities
Jimenez, Matthieu; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques

in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)

Full Text
See detailAn Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)

Full Text
See detailVulnerability Prediction Models: A case study on the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)

Full Text
See detailFrequency of Arrival-based Interference Localization Using a Single Satellite
Kalantari, Ashkan; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in 8th Advanced Satellite Multimedia Systems Conference 14th Signal Processing for Space Communications Workshop (2016, September)

Full Text
See detailDirectional Modulation via Symbol-Level Precoding: A Way to Enhance Security
Kalantari, Ashkan; Soltanalian, Mojtaba; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Journal of Selected Topics in Signal Processing (2016)

Full Text
See detailSecure M-PSK Communication via Directional Modulation
Kalantari, Ashkan; Soltanalian, Mojtaba; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (2016, March)

Full Text
See detailAdaptive Control of Robotic arm with Hysteretic Joint
Kannan, Somasundar; Bezzaoucha, Souad; Quintanar Guzman, Serket; Olivares Mendez, Miguel Angel; Voos, Holger

in 4th International Conference on Control, Mechatronics and Automation (ICCMA'16), Barcelona, Spain 2016 (2016)

Full Text
See detailAdaptive Control of Hysteretic Robotic arm in Operational Space
Kannan, Somasundar; Quintanar Guzman, Serket; Bezzaoucha, Souad; Olivares Mendez, Miguel Angel; Voos, Holger

in 5th International Conference on Mechatronics and Control Engineering ICMCE, venice, Italy, 2016 (2016, December 14)

Full Text
See detailControl of Aerial Manipulation Vehicle in Operational Space
Kannan, Somasundar; Quintanar Guzman, Serket; Dentler, Jan Eric; Olivares Mendez, Miguel Angel; Voos, Holger

in 8th International Conference on Electronics, Computers and Artificial Intelligence, Ploiesti, Romania, 30 June-02 July 2016 (2016, July 01)

Full Text
See detailModel Predictive Control for Spacecraft Rendezvous
Kannan, Somasundar; Sajadi Alamdari, Seyed Amin; Dentler, Jan Eric; Olivares Mendez, Miguel Angel; Voos, Holger

in 4th International Conference on Control, Mechatronics and Automation ICCMA '16, Barcelona, Spain, 2016 (2016)

Full Text
See detailPerformance analysis of hybrid cognitive radio systems with imperfect channel knowledge
Kaushik, A.; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, F.

in Communications (ICC), 2016 IEEE International Conference on (2016, July)

Full Text
See detailPerformance Analysis of Interweave Cognitive Radio Systems with Imperfect Channel Knowledge over Nakagami Fading Channels
Kaushik, A.; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, F.

in 2016 IEEE 84th Vehicular Technology Conference: VTC2016-Fall (2016, September)

Full Text
See detailOn the Performance Analysis of Underlay Cognitive Radio Systems: A Deployment Perspective
Kaushik, A.; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, F.K.

in IEEE Transactions on Cognitive Communications and Networking (2016), 2(3), 273-287

Full Text
See detailPerformance Analysis of Hybrid Cognitive Radio Systems with Imperfect Channel Knowledge
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich

in Proceedings of International Conference on Communications (ICC) (2016, May)

Full Text
See detailSensing-Throughput Tradeoff for Interweave Cognitive Radio System: A Deployment-Centric Viewpoint
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich K.

in IEEE Transactions on Wireless Communications (2016)

Full Text
See detailQAM to Circular Isomorphic Constellations
Kayhan, Farbod

in 8th Advanced Satellite Multimedia Systems Conference (ASMS/SPSC), Palma de Mallorca, Spain, 2016 (2016, September)

Full Text
See detailAnalysis of Power Quality Signals Using An Adaptive Time-Frequency Distribution
Khan, Nabeel A.; Baig, F.; Nawaz, S.J.; Rehman, N.Ur; Sharma, Shree Krishna

in Energies (2016)

Full Text
See detailOn Bi-level approach for Scheduling problems
Kieffer, Emmanuel; Danoy, Grégoire; Bouvry, Pascal

Scientific Conference (2016, April)

Full Text
See detailCo-evolutionary approach based on constraint decomposition
Kieffer, Emmanuel; Danoy, Grégoire; Bouvry, Pascal; Nagih, Anass

in Co-evolutionary approach based on constraint decomposition (2016, October)

Full Text
See detailHybrid mobility model with pheromones for UAV detection task
Kieffer, Emmanuel; Danoy, Grégoire; Bouvry, Pascal; Nagih, Anass

in Hybrid mobility model with pheromones for UAV detection task (2016)

Full Text
See detailA Novel Co-evolutionary Approach for Constrained Genetic Algorithms
Kieffer, Emmanuel; Guzek, Mateusz; Danoy, Grégoire; Bouvry, Pascal; Nagih, Anass

in Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion (2016)

Full Text
See detailAutomatic Identifier Inconsistency Detection Using Code Dictionary
Kim, Suntae; Kim, Dongsun

in Empirical Software Engineering (2016), 21(2), 565-604

Full Text
See detailAnalysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study
Kintis, Marinos; Papadakis, Mike; Papadopoulos, Andreas; Valvis, Evangelos; Malevris, Nicos

in International Working Conference on Source Code Analysis and Manipulation (SCAM'16) (2016)

Full Text
See detailCA-DAG: Modeling Communication-Aware Applications for Scheduling in Cloud Computing
Kliazovich, Dzmitry; Pecero, Johnatan E.; Tchernykh, Andrei; Bouvry, Pascal; khan, Samee U.; Zomaya, Albert Y.

in Journal of Grid Computing (2016), 14(1), 23-39

Full Text
See detailReasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste
Kolbe, Niklas; Zaslavsky, Arkady; Kubler, Sylvain; Robert, Jérémy

in Reasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste (2016, September 28)

See detailChanging Commuter Behaviour through Gamification
Kracheel, Martin

Doctoral thesis (2016)

Full Text
See detailBuilding Lifecycle Management System for Enhanced Closed Loop Collaboration
Kubler, Sylvain; Buda, Andrea; Robert, Jérémy; Främling, Kary

in 13th IFIP International Conference on Product Lifecycle Management (PLM16) (2016, June 29)

Full Text
See detailIoT Platforms Initiative
Kubler, Sylvain; Främling, Kary; Zaslavsky, Arkady

in Vermesan, Ovidiu; Friess, Peter (Eds.) Digitising the Industry Internet of Things Connecting the Physical, Digital and Virtual Worlds (2016)

Full Text
See detailIoT-based Smart Parking System for Sporting Event Management
Kubler, Sylvain; Robert, Jérémy; Hefnawy, Ahmed; Cherifi, Chantal; Bouras, Abdelaziz; Främling, Kary

in Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2016, December 01)

Full Text
See detailOpen Data Portal Quality Comparison using AHP
Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Umbrich, Jürgen; Neumaier, Sebastian

in Proceedings of the 17th International Digital Government Research Conference on Digital Government Research (2016, June 07)

Full Text
See detailA state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications
Kubler, Sylvain; Robert, Jérémy; William, Derigent; Alexandre, Voisin; Le Traon, Yves

in Expert Systems with Applications (2016), 65

Full Text
See detailPower and Rate Allocation in Cognitive Satellite Uplink Networks
Lagunas, Eva; Maleki, Sina; Chatzinotas, Symeon; Soltanalian, Mojtaba; Perez-Neira, Ana I.; Ottersten, Björn

in IEEE International Conference on Communications, ICC 2016 (2016)

Full Text
See detailCompressive Sensing Based Energy Detector
Lagunas, Eva; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in European Signal Processing Conference (EUSIPCO) (2016, August)

Full Text
See detailCompressive Sensing based Target Counting and Localization Exploiting Joint Sparsity
Lagunas, Eva; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Proc. IEEE ICASSP 2016 (2016, March)

Full Text
See detailOn Password-Authenticated Key Exchange Security Modeling
Lancrenon, Jean

in Stajano, Frank; Mjolsnes, Stig; Jenkinson, Graeme; Thorsheim, Per (Eds.) Technology and practice of passwords: 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings (2016, March)

Full Text
See detailAnalysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Barthe, Gilles; Markatos, Evangelos (Eds.) Security and Trust Management - STM 2016 (2016)

Full Text
See detailDSCo-NG: A Practical Language Modeling Approach for Time Series Classification
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 15th International Symposium on Intelligent Data Analysis (2016, October)

Full Text
See detailTime Series Classification with Discrete Wavelet Transformed Data
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in International Journal of Software Engineering & Knowledge Engineering (2016), 26(9&10), 13611377

Full Text
See detailTime Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016) (2016, July)

Full Text
See detailProfiling household appliance electricity usage with n-gram language modeling
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Kubler, Sylvain; Klein, Jacques; Le Traon, Yves

in The 2016 IEEE International Conference on Industrial Technology (ICIT 2016) (2016, March)

Full Text
See detailDSCo: A Language Modeling Approach for Time Series Classification
Li, Daoyuan; Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 12th International Conference on Machine Learning and Data Mining (MLDM 2016) (2016, July)

Full Text
See detailWatch out for This Commit! A Study of Influential Software Changes
Li, Daoyuan; Li, Li; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Lo, David; Le Traon, Yves

Report (2016)

Full Text
See detailBoosting Static Analysis of Android Apps through Code Instrumentation
Li, Li

in The Doctoral Symposium of 38th International Conference on Software Engineering (ICSE-DS 2016) (2016, May)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailParameter Values of Android APIs: A Preliminary Study on 100,000 Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailAccessing Inaccessible Android APIs: An Empirical Study
Li, Li; Bissyande, Tegawendé François D Assise; Le Traon, Yves; Klein, Jacques

in The 32nd International Conference on Software Maintenance and Evolution (ICSME) (2016, October)

Full Text
See detailDroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Octeau, Damien; Klein, Jacques

in The 2016 International Symposium on Software Testing and Analysis (2016, July)

Full Text
See detailReflection-Aware Static Analysis of Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Octeau, Damien; Klein, Jacques

in The 31st IEEE/ACM International Conference on Automated Software (ASE) (2016, September)

Full Text
See detailStatic Analysis of Android Apps: A Systematic Literature Review
Li, Li; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Rasthofer, Siegfried; Bartel, Alexandre; Octeau, Damien; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailTowards a Generic Framework for Automating Extensive Analysis of Android Applications
Li, Li; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)

Full Text
See detailUngrafting Malicious Code from Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Lo, David; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailMining Families of Android Applications for Extractive SPL Adoption
Li, Li; Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 20th International Systems and Software Product Line Conference (SPLC 2016) (2016)

Full Text
See detailA novel approach to parameterized verification of cache coherence protocols
Li, Yongjian; Duan, Kaiqiang; Lv, Li; Pang, Jun; Cai, Shaowei

in Proceedings of the 34th IEEE International Conference on Computer Design (2016)

Full Text
See detailShort-term Time Series Forecasting with Regression Automata
Lin, Qin; Hammerschmidt, Christian; Pellegrino, Gaetano; Verwer, Sicco

Poster (2016)

Full Text
See detailLocalizing Multiple Faults in Simulink Models.
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)

Full Text
See detailSimulink Fault Localisation: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Software Testing, Verification & Reliability (2016), 26(6), 431-459

Full Text
See detailDriving while using a smartphone-based mobility application: Evaluating the impact of three multi-choice user interfaces on visual-manual distraction
Louveton, Nicolas; Mccall, Roderick; Koenig, Vincent; Avanesov, Tigran; Engel, Thomas

in Applied Ergonomics (2016), 54

Full Text
See detailCollaboration Web - Social Computing Technology for Emergency Data Interoperability
Machalek, Aurel; Dunlop, Dominic

Scientific Conference (2016)

Full Text
See detailREDIRNET – Emergency Responder Data Interoperability Network
Machalek, Aurel; Dunlop, Dominic; Balogh, Zoltan; Gatial, Emil; Hluchy, Ladislav

Scientific Conference (2016)

Full Text
See detailVisual Public Protection Disaster Relief and Critical Infrastructure
Machalek, Aurel; Dunlop, Dominic; Simon, Carlo; Hoben, Ralf

Scientific Conference (2016)

Full Text
See detailData Quality Assessment of Maintenance Reporting Procedures
Madhikermi, Manik; Kubler, Sylvain; Robert, Jérémy; Buda, Andrea; Främling, Kary

in Expert Systems with Applications (2016)

Full Text
See detailCooperative Estimation of Power and Direction of Transmission for a Directive Source
Maleki, Sina; Ciblat, Philippe; Chatzinotas, Symeon; Shankar, Bhavani; Ottersten, Björn

in IEEE Transactions on Cognitive Communications and Networking (2016)

Full Text
See detailPower and Direction of Transmission Estimation for a Directive Source: Identifiability Analysis and Estimation Algorithm
Maleki, Sina; Ciblat, Philippe; Shankar, Bhavani; Chatzinotas, Symeon; Ottersten, Björn

in 2016 IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM) (2016)

Full Text
See detailSuperimposed Training based Estimation of Sparse MIMO Channels for Emerging Wireless Networks
Mansoor, Babar; Nawaz, Syed Junaid; Amin, Bilal; Sharma, Shree Krishna; Patwary, Mohammad

in Proceedings of ICT 2016 (2016, May)

Full Text
See detailUAV degradation identification for pilot notification using machine learning techniques
Manukyan, Anush; Olivares Mendez, Miguel Angel; Bissyande, Tegawendé François D Assise; Voos, Holger; Le Traon, Yves

in IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, Germany, 2016 (2016, September)

Full Text
See detailFormalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL)
Marosin, Diana; Van Zee, Marc; Ghanavati, Sepideh

in Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16) (2016)

Full Text
See detailName Suggestions during Feature Identification: The VariClouds Approach
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings (2016)

Full Text
See detailFeature Location Benchmark for Software Families using Eclipse Community Releases
Martinez, Jabier; Ziadi, Tewfik; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)

Full Text
See detailSimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckamnn, Thomas

in Proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, thomas

in proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailA Class of Precomputation-based Distance-bounding Protocols
Mauw, Sjouke; Toro Pozo, Jorge Luis; Trujillo Rasua, Rolando

in 1st IEEE European Symposium on SECURITY and PRIVACY (2016)

Full Text
See detailA class of precomputation-based distance-bounding protocols
Mauw, Sjouke; Toro Pozo, Jorge Luis; Trujillo Rasua, Rolando

Presentation (2016, March 16)

Full Text
See detailOptimality Results on the Security of Lookup-Based Protocols
Mauw, Sjouke; Toro Pozo, Jorge Luis; Trujillo Rasua, Rolando

in Hancke, Gerard P.; Markantonakis, Konstantinos (Eds.) Radio Frequency Identification and IoT Security - 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 - December 2, 2016, Revised Selected Papers (2016, December)

Full Text
See detailCounteracting active attacks in social network graphs
Mauw, Sjouke; Trujillo Rasua, Rolando; Xuan, Bochuan

in Proceedings of Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference (DBSec 2016) (2016)

Full Text
See detailElementary science and education within the Luxembourg educational system
Max, Charles

in De Vries, Marc J.; Fletcher, Stefan; Kruse, Stefan; Labudde, Peter; Lang, Martine; Mammes, Ingelore; Max, Charles; Münk, Dieter; Nicholl, Bill; Strobel, Johannes; Winterbottom, Mark (Eds.) Technology Education Today – International Perspectives (2016)

Full Text
See detailFour-Dimensional Constellations for Dual-Polarized Satellite Communications
Mazzali, Nicolò; Kayhan, Farbod; Shankar, Bhavani

in Proceedings on IEEE International Conference on Communications (2016, May)

Full Text
See detail“Overloaded!” — A Model-based Approach to Database Stress Testing
Meira, Jorge Augusto; Almeira, Eduardo Cunha de; Kim, Dongsun; Filho, Edson Ramiro Lucas; Le Traon, Yves

in International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016 (2016)

Full Text
See detailExploiting diversity in future generation satellite systems with optical feeder links
Mengali, Alberto; Kayhan, Farbod; Shankar, Bhavani; Ottersten, Björn

in Proceedings of the 34TH AIAA INTERNATIONAL COMMUNICATIONS SATELLITE SYSTEMS CONFERENCE (2016, October)

Full Text
See detailLow Complexity Transmit Processing for Multibeam Satellite Systems with Non-Linear Channels
Mengali, Alberto; Kayhan, Farbod; Shankar, Bhavani; Ottersten, Björn

in Proceedings of ASMS Conference (2016, September)

Full Text
See detailJoint Predistortion and PAPR Reduction in Multibeam Satellite Systems
Mengali, Alberto; Shankar, Bhavani; Ottersten, Björn

in Proceedings of IEEE ICC 2016 (2016, May)

See detailEditorial (ICFEM 14 special issue, part I)
Merz, Stephan; Pang, Jun; Dong, Jin Song

in Formal Aspects of Computing (2016), 28(3), 343-344

Full Text
See detailPOSTER: Fingerprinting Tor Hidden Services
Mitseva, Asya; Panchenko, Andriy; Lanze, Fabian; Henze, Martin; Wehrle, Klaus; Engel, Thomas

Poster (2016, October)

Full Text
See detailASSA-PBN 2.0: A software tool for probabilistic Boolean networks.
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016)

Full Text
See detailFast simulation of probabilistic Boolean networks.
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016)

See detailGPU-accelerated steady-state analysis of probabilistic Boolean networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

Poster (2016)

Full Text
See detailParallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of the 31st ACM Symposium on Applied Computing (2016, April)

Full Text
See detailArgumentation-Based Legal Requirements Engineering: The Role of Legal Interpretation in Requirements Acquisition
Muthuri, Robert; Boella, Guido; Hulstijn, Joris; Humphreys, Llio

in Requirements Engineering Conference Workshops (REW), IEEE International (2016)

Full Text
See detailEfficient sum-rate maximization for medium-scale MIMO AF-relay networks
Naghsh, M.M.; Soltanalian, M.; Stoica, P.; Masjedi, M.; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2016), 15(9), 6400-6411

Full Text
See detailRate optimization for massive MIMO relay networks: A minorization-maximization approach
Naghsh, M.M.; Soltanalian, M.; Stoica, P.; Masjedi, M.; Ottersten, Björn

in Acoustics, Speech and Signal Processing (ICASSP), 2016 IEEE International Conference on (2016, May)

Full Text
See detailAutomated Change Impact Analysis between SysML Models of Requirements and Design
Nejati, Shiva; Sabetzadeh, Mehrdad; Arora, Chetan; Briand, Lionel; Mandoux, Felix

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)

Full Text
See detailTopology and Parameter Estimation in Power Systems through Inverter Based Broadband Stimulations
Neshvad, Surena; Margossian, Harag; Sachau, Jürgen

in IET Generation, Transmission & Distribution (2016)

Full Text
See detailAn Empirical Study on User Access Control in Online Social Networks
Ni, Minyue; Zhang, Yang; Han, Weili; Pang, Jun

in Proceedings of the 21st ACM Symposium on Access Control Models and Technologies (SACMAT'16) (2016)

Full Text
See detailCombining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis
Octeau, Damien; Jha, Somesh; Dering, Matthew; McDaniel, Patrick; Bartel, Alexandre; Li, Li; Klein, Jacques; Le Traon, Yves

in The 43rd Symposium on Principles of Programming Languages (POPL 2016) (2016, January)

Full Text
See detailVision-Based Steering Control, Speed Assistance and Localization for Inner-CityVehicles
Olivares Mendez, Miguel Angel; Sanchez-Lopez, Jose Luis; Jimenez, Felipe; Campoy, Pascual; Sajadi Alamdari, Seyed Amin; Voos, Holger

in Sensors (2016), 16(3), 362

Full Text
See detailInternet of Things in the 5G Era: Enablers, Architecture and Business Models
Palattella, Maria Rita; Dohler, Mischa; Grieco, Luigi Alfredo; Rizzo, Gianluca; Torsen, Johan; Engel, Thomas; Ladid, Latif

in IEEE Journal on Selected Areas In Communications (2016)

Full Text
See detailRobustness Analysis of Composite Adaptive Robot Control
Pan, Lin

Scientific Conference (2016, May 28)

Full Text
See detailA Generalized Interaction Wake Model with Its Variation for Control in Wind Farms
Pan, Lin; Voos, Holger; Darouach, Mohamed

in 35th Chinese Control Conference, Chengdu. China, 2016 (2016, July 28)

Full Text
See detailGeneralized Wake Interaction Models and Optimal Control in Wind Farms
Pan, Lin; Voos, Holger; Darouach, Mohamed

in 28th Control and Decision Conference (CCDC), China, 2016 (2016, May 28)

Full Text
See detailWebsite Fingerprinting at Internet Scale
Panchenko, Andriy; Lanze, Fabian; Zinnen, Andreas; Henze, Martin; Pennekamp, Jan; Wehrle, Klaus; Engel, Thomas

in Proceedings of the 23rd Internet Society (ISOC) Network and Distributed System Security Symposium (NDSS 2016) (2016, February)

See detailSelected and extended papers from ACM SVT 2014
Pang, Jun; Stoelinga, Marielle

in Science of Computer Programming (2016)

Full Text
See detailOn impact of weather on human mobility in cities
Pang, Jun; Zablotskaia, Polina; Zhang, Yang

in Proceedings of the 17th International Conference on Web Information System Engineering (2016)

Full Text
See detailMMSE Filtering Performance of DH-AF Massive MIMO Relay Systems with Residual Transceiver Impairments
Papazafeiropoulos, Anastasios; Sharma, Shree Krishna; Chatzinotas, Symeon

in Proceedings of IEEE ICC 2016 (2016, May)

Full Text
See detailImpact of Transceiver Hardware Impairments on the Ergodic Channel Capacity for Rayleigh-Product MIMO Channels
Papazafeiropoulos, Anastasios; Sharma, Shree Krishna; Chatzinotas, Symeon; Ratnarajah, Thar; Ottersten, Björn

in Proceedings of IEEE SPAWC 2016 (2016, July)

Full Text
See detailUniversal Intelligent Small Cell for Next Generation Cellular Networks
Patwary, M.; Sharma, Shree Krishna; Chatzinotas, Symeon; Chen, Y.; Abdel-Maguid, M.; Abd-Alhameed, R.; Noras, J.; Ottersten, Björn

in Digital Communications and Networks (2016), 2(4), 167174

Full Text
See detailNot a Tile Out of Place: Toward Creating Context-Dependent User Interfaces on Smartglasses
Pecci, Isabelle; Martin, Benoît; Kacem, Imed; Maamria, Imed; Faye, Sébastien; Louveton, Nicolas; Gheorghe, Gabriela; Engel, Thomas

in Proceedings of the 9th International Conference on Human System Interaction (HSI'16) (2016, July)

Full Text
See detailProtect both Integrity and Confidentiality in Outsourcing Collaborative Filtering Computations
Pejo, Balazs; Tang, Qiang; Wang, Husen

Scientific Conference (2016, June 27)

Full Text
See detailLearning Deterministic Finite Automata from Infinite Alphabets
Pellegrino, Gaetano; Hammerschmidt, Christian; Lin, Qin; Verwer, Sicco

Scientific Conference (2016, October)

Full Text
See detailDistributed coordinated beamforming for multi-cell multigroup multicast systems
Pennanen, Harri; Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in Communications (ICC), 2016 IEEE International Conference on (2016, July)

Full Text
See detailAttribute-Based Signatures with Controllable Linkability
Perez Urquidi, Jose Miguel; Lancrenon, Jean; Khader, Dalia; Chen, Liqun

in Yung, Moti; Zhang, Jianbiao; Yang, Zhen (Eds.) Trusted Systems: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers (2016, March)

Full Text
See detailDistributed Power Control with Received Power Constraints for Time-Area-Spectrum Licenses
Pérez-Neira, Ana I.; Veciana, Joaquim M.; Vazquez, Miguel A.; Lagunas, Eva

in Signal Processing (2016)

Full Text
See detailAlgebraic Insights into the Secret Feistel Network
Perrin, Léo Paul; Udovenko, Aleksei

in Peyrin, Thomas (Ed.) Fast Software Encryption - 23rd International Workshop, FSE 2016, Bochum, March 20-23, 2016 (2016)

Full Text
See detailCryptanalysis of a Theorem: Decomposing the Only Known Solution to the Big APN Problem
Perrin, Léo Paul; Udovenko, Aleksei; Biryukov, Alex

in Robshaw, Matthew; Katz, Jonathan (Eds.) Advances in Cryptology – CRYPTO 2016 (2016, July 21)

Full Text
See detailMetrics for Transparency
Pierina Brustolin Spagnuelo, Dayana; Bartolini, Cesare; Lenzini, Gabriele

in Proceedings of DPM 2016 and QASA 2016 (2016, September)

Full Text
See detailPatient-Centred Transparency Requirements for Medical Data Sharing Systems
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

in Proceedings of the 4th World Conference on Information Systems and Technologies (2016)

Full Text
See detailTransparent Medical Data Systems
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

in Journal of Medical Systems (2016)

Full Text
See detailUnderstanding the Social impact of ICN: between myth and reality
Piro, Giuseppe; Signorello, Salvatore; Palattella, Maria Rita; Grieco, Luigi Alfredo; Boggia, Gennaro; Engel, Thomas

in Springer AI & Society: Journal of Knowledge, Culture and Communication (2016)

Full Text
See detailHarmful Interference Threshold and Energy Detector for On-Board Interference Detection
Politis, Christos; Maleki, Sina; Tsinos, Christos; Chatzinotas, Symeon; Ottersten, Björn

in 22nd Ka and Broadband Communications Conference 2016 (2016)

Full Text
See detailOn-board the Satellite Interference Detection with Imperfect Signal Cancellation
Politis, Christos; Maleki, Sina; Tsinos, Christos; Chatzinotas, Symeon; Ottersten, Björn

in 2016 IEEE 17th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) (2016)

Full Text
See detailHIPS: Human-based indoor positioning system
Popleteev, Andrei

in Proceedings of the 7th International Conference on Indoor Positioning and Indoor Navigation (IPIN-2016) (2016, October)

Full Text
See detailIndoor positioning and floor plan based ground truth: Can you really click where you are?
Popleteev, Andrei

in 15th International Conference on Mobile and Ubiquitious Multimedia (MUM-2016) (2016, December)

Full Text
See detailIndoor positioning using ambient radio signals: Data acquisition platform for a long-term study
Popleteev, Andrei

in Proceedings of the IEEE 13th Workshop on Positioning, Navigation and Communications (WPNC-2016) (2016, October)

Full Text
See detailSmall-scale positioning using digital compasses
Popleteev, Andrei; Arshadaghghaleh, Hossein; Lutkovski, Vladimir

in International Congress on Computer Science: Information Systems and Technologies (CSIST-2016) (2016, October 25)

Full Text
See detailCognitive Interference Management Techniques for the Spectral Co-existence of GSO and NGSO Satellites
Pourmoghaddaslangroudi, Ameneh; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in International Conference on Wireless and Satellite Systems (WiSATS, formerly PSATS), Cardiff, UK, Sep 2016 (2016, September 19)

Full Text
See detailOn the apectral coexistence of GSO and NGSO FSS systems: power control mechanisms and a methodology for inter-site distance determination.
Pourmoghaddaslangroudi, Ameneh; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in International Journal of Satellite Communications and Networking (2016)

Full Text
See detailGame-Theoretic Recruitment of Sensing Service Providers for Trustworthy Cloud-Centric Internet-of-Things (IoT) Applications
Pouryazdan, Maryam; Fiandrino, Claudio; Kantarci, Burak; Kliazovich, Dzmitry; Soyata, Tolga; Bouvry, Pascal

in IEEE Global Communications Conference (GLOBECOM) Workshops: Fifth International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA) (2016, December)

Full Text
See detailReturn Link Optimized Resource Allocation for Satellite Communications in the Ku/Ka-Band
Pranjic, Vanja; Mazzali, Nicolò; Emiliani, Luis; Shankar, Bhavani

in Proceedings on the 22nd Ka and Broadband Communications Conference and the 34th AIAA International Communications Satellite Systems Conference (ICSSC) (2016, October)

Full Text
See detailLightweight robotic arm actuated by Shape Memory Alloy (SMA) Wires
Quintanar Guzman, Serket; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in 8th International Conference on Electronics, Computers and Artificial Intelligence, Ploiesti, Romania, 30 June-02 July 2016 (2016, July 01)

Full Text
See detailOperational Space Control of a Lightweight Robotic Arm Actuated By Shape Memory Alloy (SMA) Wires
Quintanar Guzman, Serket; Kannan, Somasundar; Olivares Mendez, Miguel Angel; Voos, Holger

in ASME 2016 Conferences on Smart Materials, Adaptive Structures and Intelligent Systems, Vermont 28-30 September 2016 (2016, September)

Full Text
See detailExercising Nuprl's Open-Endedness
Rahli, Vincent

in The 5th International Congress on Mathematical Software (2016)

Full Text
See detailA Nominal Exploration of Intuitionism
Rahli, Vincent; Bickford, Mark

in The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016) (2016)

Full Text
See detailSkalpel: A Constraint-Based Type Error Slicer for Standard ML
Rahli, Vincent; Wells, Joe; Pirie, John; Kamareddine, Fairouz

in Journal of Symbolic Computation (2016)

Full Text
See detailParallel refinement of slanted 3D reconstruction using dense stereo induced from symmetry
Ralha, Ricardo; Falcão, Gabriel; Amaro, João; Mota, Vasco; Goncalves Almeida Antunes, Michel; Barreto, João Pedro; Nunes, Urbano

in Journal of Real-Time Image Processing (2016)

Full Text
See detailOn the Insecurity of a Method for Providing Secure and Private Fine-Grained Access to Outsourced Data
Rial, Alfredo

in Abstract book of 2016 IEEE 8th International Conference on Cloud Computing Technology and Science (CloudCom) (2016, December)

Full Text
See detailPrivacy-preserving smart metering revisited
Rial, Alfredo; Danezis, George; Kohlweiss, Markulf

in International Journal of Information Security (2016)

Full Text
See detailContent and Context Aware Strategies for QoS Support in VANETs
Rizzo, Gianluca; Palattella, Maria Rita; Braun, Torsen; Engel, Thomas

in Proc. of Int. Conf. on Advanced Information Networking and Applications (AINA-2016) (2016, March)

Full Text
See detailReified Input/Output logic - a position paper
Robaldo, Livio; Sun, Xin

in proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016) (2016)

Full Text
See detailMicro-billing framework for IoT: Research & Technological foundations
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves

in International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria (2016)

Full Text
See detailO-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves; Främling, Kary

in O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis (2016)

Full Text
See detailCPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Rocchetto, Marco; Tippenhauer, Nils

in CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions (2016)

Full Text
See detailOn Attacker Models and Profiles for Cyber-Physical Systems
Rocchetto, Marco; Tippenhauer, Nils

in On Attacker Models and Profiles for Cyber-Physical Systems (2016)

Full Text
See detailRGB-D and Thermal Sensor Fusion
Rocco, Ignacio; Goncalves Almeida Antunes, Michel; Aouada, Djamila; Ottersten, Björn

in 11th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP) (2016)

Full Text
See detailSquare-Law Selector and Square-Law Combiner for Cognitive Radio Systems: An Experimental Study
Rodes, L.; Kaushik, A.; Sharma, Shree Krishna; Chatzinotas, Symeon; Jondral, F.

in IEEE 84th Vehicular Technology Conference: VTC2016-Fall (2016, September)

Full Text
See detailJCJ with Improved Verifiability Guarantees
Roenne, Peter

Scientific Conference (2016)

Full Text
See detailClustering Deviations for Black Box Regression Testing of Database Applications
Rogstad, Erik; Briand, Lionel

in IEEE Transactions on Reliability (2016), 65(1), 4-18

Full Text
See detailCost-effective Strategies for the Regression Testing of Database Applications: Case study and Lessons Learned
Rogstad, Erik; Briand, Lionel

in Journal of Systems and Software (2016), 113

Full Text
See detailSeeding Strategies in Search-Based Unit Test Generation
Rojas, Jose Miguel; Fraser, Gordon; Arcuri, Andrea

in SOFTWARE TESTING, VERIFICATION AND RELIABILITY (STVR) (2016)

Full Text
See detailA Detailed Investigation of the Effectiveness of Whole Test Suite Generation
Rojas, José Miguel; Vivanti, Mattia; Arcuri, Andrea; Fraser, Gordon

in Empirical Software Engineering (2016)

Full Text
See detailTemplates and subtemplates of Rössler attractors from a bifurcation diagram
Rosalie, Martin

in Journal of Physics A: Mathematical and Theoretical (2016), 49(31), 315101

Full Text
See detailUAV Multilevel Swarms for Situation Management
Rosalie, Martin; Danoy, Grégoire; Bouvry, Pascal; Chaumette, Serge

in Proceedings of the 2Nd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use (2016)

Full Text
See detailFrom Random Process to Chaotic Behavior in Swarms of UAVs
Rosalie, Martin; Danoy, Grégoire; Chaumette, Serge; Bouvry, Pascal

in DIVANet '16 Proceedings of the 6th ACM Symposium on Development and Analysis of Intelligent Vehicular Networks and Applications (2016, November)

Full Text
See detailPower Comparison of Cloud Data Center Architectures
Ruiu, Pietro; Bianco, Andrea; Fiandrino, Claudio; Giaccone, Paolo; Kliazovich, Dzmitry

in IEEE International Conference on Communications (ICC), Kuala Lumpur, Malaysia, 2016 (2016, May)

Full Text
See detailSelene: Voting with Transparent Verifiability and Coercion-Mitigation
Ryan, Peter; Roenne, Peter; Iovino, Vincenzo

in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015

Full Text
See detailNonlinear Model Predictive Extended Eco-Cruise Control for Battery Electric Vehicles
Sajadi Alamdari, Seyed Amin; Voos, Holger; Darouach, Mohamed

in 24th Mediterranean Conference on Control and Automation (MED), Athens, Greece, 2016 (2016, June 22)

Full Text
See detailA systematic review on the engineering of software for ubiquitous systems
Sanchez Guinea, Alejandro; Nain, Gregory; Le Traon, Yves

in Journal of Systems and Software (2016), 118

Full Text
See detailAutomated Classification of Legal Cross References Based on Semantic Intent
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16) (2016, March)

Full Text
See detailA Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems
Santaca, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, Luca

in A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems (2016)

Full Text
See detailA Flexible Move Blocking Strategy to Speed up Model-Predictive Control while Retaining a High Tracking Performance
Schwickart, Tim Klemens; Voos, Holger; Darouach, Mohamed; Bezzaoucha, Souad

in 2016 European Control Conference (ECC), Aalborg, Denmark (2016, June)

Full Text
See detailA Fast Model-Predictive Speed Controller for Minimised Charge Consumption of Electric Vehicles
Schwickart, Tim Klemens; Voos, Holger; Hadji-Minaglou, Jean-Régis; Darouach, Mohamed

in Asian Journal of Control (2016), 18(5),

Full Text
See detailSmart Probabilistic Fingerprinting for Indoor Localization over Fog Computing Platforms
Sciarrone, Andrea; Fiandrino, Claudio; Bisio, Igor; Lavagetto, Fabio; Kliazovich, Dzmitry; Bouvry, Pascal

in IEEE 5th International Conference on Cloud Networking (CloudNet), Pisa, Italy (2016, October)

Full Text
See detailGEO Satellite Feeder links and Terrestrial Full-Duplex Small Cells: A case for Coexistence
Shankar, Bhavani; Maleki, Sina; Zheng, Gan; Awoseyila, Adebenga; Evans, Barry; Ottersten, Björn

in Proceedings of 83rd IEEE VTC (Spring 2016) (2016, May)

Full Text
See detailPhysical Layer Aspects of Wireless IoT
Sharma, Shree Krishna; Bogale, Tadilo E.; Chatzinotas, Symeon; Wang, X.; Le, L.B.

in 13th International Symposium on Wireless Communication Systems (2016, September)

Full Text
See detailTwo-phase concurrent sensing and transmission scheme for full duplex cognitive radio
Sharma, Shree Krishna; Bogale, T.E.; Le, L.B.; Chatzinotas, Symeon; Wang, X.; Ottersten, Björn

in IEEE 84th Vehicular Technology Conference (2016)

Full Text
See detailTerminal-side interference mitigation for spectral coexistence of satellite and terrestrial systems in non-exclusive Ka-band
Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in 34th AIAA International Communications Satellite Systems Conference (2016, October)

Full Text
See detailApplication of Compressive Sensing in Cognitive Radio Communications: A Survey
Sharma, Shree Krishna; Lagunas, Eva; Chatzinotas, Symeon; Ottersten, Björn

in IEEE COMMUNICATION SURVEYS & TUTORIALS (2016)

Full Text
See detailMultiple Access Techniques for Next Generation Wireless: Recent Advances and Future Perspectives
Sharma, Shree Krishna; Patwary, Mohammad; Chatzinotas, Symeon

in EAI Endorsed Transactions on Wireless Spectrum (2016), 2(7),

Full Text
See detailSecurity Challenges in future NDN-Enabled VANETs
Signorello, Salvatore; Palattella, Maria Rita; Grieco, Luigi Alfredo

in In the Proceedings of the 3rd International Workshop on the Emerging Future Internet and Network Security (EFINS 2016) - IEEE TrustCom-16 (2016, August)

Full Text
See detailNDN.p4: Programming Information-Centric data-planes
Signorello, Salvatore; State, Radu; François, Jérôme; Festor, Olivier

in Proceedings of the IEEE International Workshop on Open-Source Software Networking at NetSoft2016 (2016)

Full Text
See detailTwo More Efficient Variants of the J-PAKE Protocol
Skrobot, Marjan; Lancrenon, Jean; Tang, Qiang

in ACNS 2016 (2016, June)

Full Text
See detailModel-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
Soltana, Ghanem; Sabetzadeh, Mehrdad; Briand, Lionel

in 24th IEEE International Requirements Engineering Conference, Beijing 12-16 September 2016 (2016)

Full Text
See detailReliability problems and Pareto-optimality in cognitive radar (Invited paper)
Soltanalian, M.; Mysore, R.B.S.; Ottersten, Björn

in Signal Processing Conference (EUSIPCO), 2016 24th European (2016, December)

Full Text
See detailGrab-n-Pull: An Optimization Framework for Fairness-Achieving Networks
Soltanalian, Mojtaba; Gharanjik, Ahmad; Shankar, Bhavani; Ottersten, Björn

in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2016 (2016, March 20)

Full Text
See detailSDN coordination for CCN and FC content dissemination in VANETs
Soua, Ridha; Kalogeiton, Eirini; Manzo, Gaetano; Duarte, Joao M.; Palattella, Maria Rita; Di Maio, Antonio; Braun, Torsten; Engel, Thomas; Villas, Leandro A.; Rizzo, Gianluca A.

in Proceedings of the 8th International Conference on Ad Hoc Networks (ADHOCNETS), Ottawa, ON, Canada (2016, September 26)

Full Text
See detailSemi-orthogonal MARC with half duplex relaying: A backward compatible cooperative network with interference channels
Soussi, M. El; Vu, Thang Xuan; Nguyen, H. N.; Duhamel, Pierre; Alberge, F.; Vandendorpe, L.

in 2016 IEEE 17th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) (2016)

Full Text
See detailPer-antenna Power Minimization in Symbol-Level Precoding
Spano, Danilo; Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE GLOBECOM 2016 (2016, December)

Full Text
See detailSymbol-Level Precoding with Per-antenna Power Constraints for the Multi-beam Satellite Downlink
Spano, Danilo; Chatzinotas, Symeon; Krause, Jens; Ottersten, Björn

in 8th Advanced Satellite Multimedia Systems Conference (ASMS) (2016, September)

Full Text
See detailAli Baba and Thief, Norm Emergence in Games
sun, xin; Robaldo, Livio

Presentation (2016)

Full Text
See detailNorm Creation in Proposition Control Games
Sun, Xin; Robaldo, Livio

in Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. (2016)

Full Text
See detailGAMES AND STRATEGIES IN ANALYSIS OF SECURITY PROPERTIES
Tabatabaei, Masoud

Doctoral thesis (2016)

Full Text
See detailExpressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Tabatabaei, Masoud; Jamroga, Wojciech; Ryan, Peter

in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)

Full Text
See detailPrivacy-preserving Friendship-based Recommender Systems
Tang, Qiang; Wang, Jun

in IEEE Transactions on Dependable and Secure Computing (2016, November)

Full Text
See detailAutomated Decision Support IoT Framework
Tessaro Lunardi, Willian; Amaral, Leonardo; Marczak, Sabrina; Hessel, Fabiano; Voos, Holger

in IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, Germany, 2016 (2016, September)

Full Text
See detailIs a visuo-haptic differentiation of zebra mussel and quagga mussel based on a single external morphometric shell character possible?
Teubner, Diana; Wesslein, Ann-Katrin; Roenne, Peter; Veith, Michael; Frings, Christian; Paulus, Martin

in Aquatic Invasions (2016)

Full Text
See detailOn the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems
Titcheu Chekam, Thierry; Ennan, Zhai; Zhenhua, Li; Yong, Cui; Kui, Ren

in IEEE International Conference on Computer Communications, San Francisco, CA 10-15 April 2016 (2016, April)

Full Text
See detailThe Fréchet/Manhattan distance and the trajectory anonymisation problem
Torres, Christof Ferreira; Trujillo Rasua, Rolando

in Proceedings of Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference (DBSec 2016) (2016)

Full Text
See detailKevoreeJS: Enabling dynamic software reconfigurations in the Browser
Tricoire, Maxime; Barais, Olivier; Leduc, Manuel; Bourcier, Johann; Fouquet, François; Nain, Grégory; Mouline, Ludovic; Sunyé, Gerson; Morin, Brice

in WICSA/CompArch 2016 Proceedings (2016, March)

Full Text
See detailCharacterizing 1-metric antidimensional trees and unicyclic graphs
Trujillo Rasua, Rolando; Yero, Ismael G.

in Computer Journal (2016), 59(8), 1264--1273

Full Text
See detailActive Interference Constraint Learning with Uncertain Feedback for Cognitive Radio Networks
Tsakmalis, Anestis; Chatzinotas, Symeon; Ottersten, Björn

in Proceedings of IEEE International Conference on Communications (ICC) 2016 (2016)

Full Text
See detailCentralized Power Control in Cognitive Radio Networks Using Modulation and Coding Classification Feedback
Tsakmalis, Anestis; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Cognitive Communications and Networking (2016), 2(3),

Full Text
See detailRationalGRL: A Framework for Rationalizing Goal Models Using Argument Diagrams
Van Zee, Marc; Bex, Floris; Ghanavati, Sepideh

in 35th International Conference on Conceptual Modeling (ER'2016) (2016)

Full Text
See detailAGM-Style Revision of Beliefs and Intentions
Van Zee, Marc; Doder, Dragan

in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16) (2016)

Full Text
See detailAGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
Van Zee, Marc; Doder, Dragan

in Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (2016, April)

Full Text
See detailThe RationalGRL toolset for Goal Models and Argument Diagrams
Van Zee, Marc; Marosin, Diana; Bex, Floris; Ghanavati, Sepideh

in Proceedings of the 6th International Conference on Computational Models of Argument (COMMA'16) (2016)

Full Text
See detailPrecoding in Multibeam Satellite Communications: Present and Future Challenges
Vazquez, MA; Perez-Neira, A; Christopoulos, D; Chatzinotas, Symeon; Ottersten, Björn; Arapoglou, PD; Ginesi, A; Taricco, G

in IEEE Wireless Communications Letters (2016), 23(6), 88-95

Full Text
See detailThe big data deluge in biomedicine: addressing the privacy vs. sharing dilemma
Verissimo, Paulo; Decouchant, Jérémie

Scientific Conference (2016, March 16)

Full Text
See detailThe Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Volp, Marcus; Klüppelholz, Sascha; Castrillon, Jeronimo; Härtig, Hermann; Asmussen, Nils; Assmann, Uwe; Baader, Franz; Baier, Christel; Fettweis, Gerhard; Fröhlich, Jochen; Goens, Andrés; Haas, Sebastian; Habich, Dirk; Hasler, Mattis; Huismann, Immo; Karnagel, Tomas; Karol, Sven; Lehner, Wolfgang; Leuschner, Linda; Lieber, Matthias; Ling, Siqi; Märcker, Steffen; Mey, Johannes; Nagel, Wolfgang; Nöthen, Benedikt; Penaloza, Rafael; Raitza, Michael; Stiller, Jörg; Ungethüm, Annett; Voigt, Axel

Scientific Conference (2016, November 14)

Full Text
See detailAvoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control
Volp, Marcus; Lackorzynski, Adam; Decouchant, Jérémie; Rahli, Vincent; Rocha, Francisco; Verissimo, Paulo

Scientific Conference (2016, December 12)

Full Text
See detailFronthaul compression and optimization for cloud radio access networks
Vu, Thang Xuan; Nguyen, Hieu Duy; Quek, Tony Q. S.; Sun, Sumei

in 2016 IEEE International Conference on Communications (ICC) (2016)

Full Text
See detailPower Optimization With BLER Constraint for Wireless Fronthauls in C-RAN
Vu, Thang Xuan; Nguyen, Thang Van; Quek, Tony Q.S.

in IEEE Communications Letters (2016), 20(3), 602-605

Full Text
See detailA Probabilistic View of Neighborhood-based Recommendation Methods
Wang, Jun; Tang, Qiang

in ICDM 2016 - IEEE International Conference on Data Mining series (ICDM) workshop CLOUDMINE (2016, December 12)

Full Text
See detailDTKI: A New Formalized PKI with Verifiable Trusted Parties
Yu, Jiangshan; Cheval, Vincent; Ryan, Mark

in The Computer Journal (2016), 59(11), 1695--1713

Full Text
See detailImproving BDD-based attractor detection for synchronous Boolean networks.
Yuan, Qixia; Qu, Hongyang; Pang, Jun; Mizera, Andrzej

in SCIENCE CHINA Information Sciences (2016), 59(8), 0801011-08010116

Full Text
See detailPer-antenna constant envelope precoding and antenna subset selection: A geometric approach
Zhang, J.; Huang, Y.; Wang, J.; Ottersten, Björn; Yang, L.

in IEEE Transactions on Signal Processing (2016), 64(23), 6089-6104

Full Text
See detailSmall changes, big changes: an updated view on the Android permission system
Zhauniarovich, Yury; Gadyatskaya, Olga

in Research in Attacks, Intrusions, and Defenses - 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings (2016, September)

Full Text
See detailModeling city locations as complex networks: An initial study
Zhou, Lu; Zhang, Yang; Pang, Jun; Li, Cheng-Te

in Proceedings of the 5th International Workshop on Complex Networks and their Applications (2016)

Full Text
See detailMinimum Dependencies Energy-Efficient Scheduling in Data Centers
Zotkiewicz, Mateusz; Guzek, Mateusz; Kliazovich, Dzmitry; Bouvry, Pascal

in IEEE Transactions on Parallel & Distributed Systems (2016)

Top of Page

2015

Full Text
See detailDecentralized Traffic Aware Scheduling in 6TiSCH Networks: Design and Experimental Evaluation
Accettura, Nicola; Vogli, Elvis; Palattella, Maria Rita; Grieco, Luigi Alfredo; Boggia, Gennaro; Dohler, Mischa

in IEEE Internet of Things Journal (2015)

Full Text
See detailView-Independent Enhanced 3D Reconstruction of Non-Rigidly Deforming Objects
Afzal, Hassan; Aouada, Djamila; Destelle, Francois; Mirbach, Bruno; Ottersten, Björn

in 16th International Conference on Computer Analysis of Images and Patterns (2015)

Full Text
See detailGlucose-Insulin Minimal Model Augmented: Identification and Validation
Aguilera Gonzalez, Adriana; Voos, Holger; Darouach, Mohamed

in AMCA Congreso Nacional de Control Automatico 2015, Guernavaca, Mexico, 2015 (2015)

Full Text
See detailGlucose-Insulin System based on Minimal Model: a realisitic approach
Aguilera Gonzalez, Adriana; Voos, Holger; Darouach, Mohamed

in IEEE UKSim-AMSS Int. Conference on Modelling and Simulation, Cambridge, UK, 2015 (2015, March)

Full Text
See detailSuper-Resolution Approaches for Depth Video Enhancement
Al Ismaeil, Kassem

Doctoral thesis (2015)

Full Text
See detailReal-Time Non-Rigid Multi-Frame Depth Video Super-Resolution
Al Ismaeil, Kassem; Aouada, Djamila; Solignac, Thomas; Mirbach, Bruno; Ottersten, Björn

in IEEE Conference on Computer Vision and Pattern Recognition Workshop (CVPRW'15), (Best paper award) (2015, June 12)

Full Text
See detailImproving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A SearchBased Approach
Ali, Shaukat; Iqbal, Zohaib; Khalid, Maham; Arcuri, Andrea

in Empirical Software Engineering (2015)

Full Text
See detailAre Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings (2015)

Full Text
See detailConstructive Interference through Symbol Level Precoding for Multi-level Modulation
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Global communications conference (2015, December)

Full Text
See detailConstructive Multiuser Interference in Symbol Level Precoding for the MISO Downlink Channel
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Signal Processing (2015)

Full Text
See detailEnergy Efficient Symbol-Level Precoding in Multiuser MISO Channels
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in 16th IEEE International Workshop on Signal Processing Advances in Wireless Communications (2015, June 28)

Full Text
See detailSpatial DCT-Based Channel Estimation in Multi-Antenna Multi-Cell Interference Channels
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Signal Processing (2015)

Full Text
See detailSymbol Based Precoding in the Downlink of Cognitive MISO Channel
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in Proceedings of CROWNCOM 2015 (2015, April)

Full Text
See detailVisual odometry based absolute target geo-location from micro aerial vehicle
Annaiyan, Arun; Yadav, Mahadeeswara; Olivares Mendez, Miguel Angel; Voos, Holger

in International Conference on Robotics, Automation, Control and Embedded Systems (RACE), 2015 (2015, February 20)

Full Text
See detailOn Learning Navigation Behaviors for Small Mobile Robots With Reservoir Computing Architectures
Antonelo, Eric Aislan; Schrauwen, B.

in IEEE Transactions on Neural Networks and Learning Systems (2015), 26(4), 763-780

Full Text
See detailPatch-based Statistical Performance Analysis of Upsampling for Precise Super–Resolution
Aouada, Djamila; Al Ismaeil, Kassem; Ottersten, Björn

in 11th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP'15) (2015, March)

Full Text
See detailBehind an Application Firewall, Are We Safe from SQL Injection Attacks?
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel

in 2015 IEEE 8th International Conference on Software Testing, Verification, and Validation (ICST) (2015)

Full Text
See detailPower Allocation in Multibeam Satellite Systems: A Two-Stage Multi-Objective Optimization
Aravanis, Alexis; Shankar, Bhavani; Arapoglou, Pantelis-Daniel; Danoy, Grégoire; Cottis, Panayotis G.; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2015)

Full Text
See detailGenerating TCP/UDP Network Data for Automated Unit Test Generation
Arcuri, Andrea; Fraser, Gordon; Galeotti, Juan Pablo

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) (2015)

Full Text
See detailAutomated Checking of Conformance to Requirements Templates using Natural Language Processing
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in IEEE Transactions on Software Engineering (2015), 41(10), 944-968

Full Text
See detailChange Impact Analysis for Natural Language Requirements: An NLP Approach
Arora, Chetan; Sabetzadeh, Mehrdad; Göknil, Arda; Briand, Lionel; Zimmer, Frank

in 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015 (2015, August)

Full Text
See detailNARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Arora, Chetan; Sabetzadeh, Mehrdad; Göknil, Arda; Briand, Lionel; Zimmer, Frank

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

Full Text
See detailInformation Leakage due to Revealing Randomly Selected Bits
Atashpendar, Arash; Roscoe, Bill; Ryan, Peter

in Security Protocols XXIII: Lecture Notes in Computer Science, Volume 9379, 2015 (2015, November 25)

Full Text
See detailNetwork troubleshooting with SDN-RADAR (demo paper)
Avanesov, Tigran; Gheorghe, Gabriela; Palattella, Maria Rita; Kantor, Miroslaw; Popoviciu, Ciprian; Engel, Thomas

in Proc. of IFIP/IEEE International Symposium on Integrated Network Management (IM) (2015, May)

Full Text
See detailComparing distance bounding protocols: A critical mission supported by decision theory
Avoine, Gildas; Mauw, Sjouke; Trujillo Rasua, Rolando

in Computer Communications (2015), 67

Full Text
See detailEnsemble of Example-Dependent Cost-Sensitive Decision Trees
Bahnsen, Alejandro Correa; Aouada, Djamila; Ottersten, Björn

in arXiv preprint arXiv:1505.04637 (2015)

Full Text
See detailOn the Probabilistic Verification of Time Constrained SysML State Machines
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in Intelligent Software Methodologies, Tools and Techniques (2015)

Full Text
See detailA probabilistic and timed verification approach of SysML state machine diagram
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in A probabilistic and timed verification approach of SysML state machine diagram (2015)

Full Text
See detailA Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in Expert Systems with Applications (2015)

Full Text
See detailSound and Quasi-Complete Detection of Infeasible Test Requirements
Bardin, Sebastien; Delahaye, Mickaël; Kosmatov, Nikolai; David, Robin; Papadakis, Mike; Le Traon, Yves; Marion, Jean-Yves

in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)

Full Text
See detailData Protection
Bartolini, Cesare

Presentation (2015, November 12)

Full Text
See detailLiability of Intermediary Service Providers
Bartolini, Cesare

Presentation (2015, July 29)

Full Text
See detailAn overview of the limitations to the dissemination of data
Bartolini, Cesare

Presentation (2015, June 03)

Full Text
See detailCloud Providers Viability: How to Address it from an IT and Legal Perspective?
Bartolini, Cesare; El Kateb, Donia; Le Traon, Yves; Hagen, David

in Economics of Grids, Clouds, Systems, and Services (2015, September 16)

Full Text
See detailAssessing IT Security Standards Against the Upcoming GDPR for Cloud Systems
Bartolini, Cesare; Gheorghe, Gabriela; Giurgiu, Andra; Sabetzadeh, Mehrdad; Sannier, Nicolas

Poster (2015, March 11)

Full Text
See detailReconciling Data Protection Rights and Obligations: An Ontology of the Forthcoming EU Regulation
Bartolini, Cesare; Muthuri, Robert

Scientific Conference (2015, September 10)

Full Text
See detailUsing Ontologies to Model Data Protection Requirements in Workflows
Bartolini, Cesare; Muthuri, Robert; Cristiana, Santos

Scientific Conference (2015, November)

Full Text
See detailService security and privacy as a socio-technical problem
Bella, Giampaolo; Curzon, Paul; Lenzini, Gabriele

in JOURNAL OF COMPUTER SECURITY (2015), 23(5), 563-585

Full Text
See detailA Secure Exam Protocol Without Trusted Parties
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele; Ryan, Peter

in ICT Systems Security and Privacy Protection. 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015 (2015)

See detail2015 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2015, Verona, Italy, July 13, 2015
Bella, Giampaolo; Lenzini, Gabriele

Scientific Conference (2015, July 13)

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in Journal of Systems and Software (2015), 107(September,2015), 110126

Full Text
See detailMatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Ben Nasr, Sana; Becan, Guillaume; Acher, Mathieu; Ferreira Filho, Joao Bosco; Baudry, Benoit; Sannier, Nicolas; Davril, Jean-Marc

in 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, August 30 - September 4, 2015 (2015, September)

Full Text
See detail4.2 Social Dynamics Metrics-Working Group Report
Benenson, Zinaida; Bleikertz, Sören; Foley, Simon N.; Harpes, Carlo; Kowalski, Stewart; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Pfleeger, Shari Lawrence; Smith, Paul; others

in Socio-Technical Security Metrics (2015)

Full Text
See detailMaybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security
Benenson, Zinaida; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Uebelacker

in Proc. of the New Security Paradigm Workshop (2015)

Full Text
See detailMaybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security
Beneson, Zinaida; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Uebelacker, Sven

in Maybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security (2015)

Full Text
See detailSimilarity testing for access control
Bertolino, A.; Daoudagh, S.; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; Lonetti, F.; Marchetti, E.; Mouelhi, T.; Papadakis, Mike

in Information and Software Technology (2015), 58

Full Text
See detailAn LMI approach for the Integral Sliding Mode and Hinfinity State Feedback Control Problem
Bezzaoucha, Souad; Henry, David

in Journal of Physics, 12th European Workshop on Advanced Control and Diagnosis (ACD 2015) (2015)

Full Text
See detailState and output feedback control for Takagi-Sugeno systems with saturated actuators
Bezzaoucha, Souad; Marx, Benoît; Maquin, Didier; Ragot, José

in International Journal of Adaptive Control and Signal Processing (2015)

Full Text
See detailState constrained tracking control for nonlinear systems
Bezzaoucha, Souad; Marx, Benoît; Maquin, Didier; Ragot, José

in Journal of the Franklin Institute (2015), 352(7), 2866-2886

Full Text
See detailFeasibility study of full-duplex relaying in satellite networks
Bhavani Shankar, M. R.; Zheng, G.; Maleki, Sina; Ottersten, Björn

in IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC (2015), 2015-August

Full Text
See detailSyntactic-Semantic Incrementality for Agile Verification
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Science of Computer Programming (2015), 97(0), 47-54

Full Text
See detailSyntax-driven program verification of matching logic properties.
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, Alessandro Maria

in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)

Full Text
See detailComputing coalitions in Multiagent Systems: A contextual reasoning approach
bikakis, Antonis; Caire, Patrice

in Lecture Notes in Computer Science (2015), 8953

Full Text
See detailDifferential Analysis and Meet-in-the-Middle Attack against Round-Reduced TWINE
Biryukov, Alex; Derbez, Patrick; Perrin, Léo Paul

in Leander, Gregor (Ed.) Fast Software Encryption - 22nd International Workshop, FSE 2015, Istanbul, March 8-11, 2015 (2015, March)

Full Text
See detailArgon and Argon2
Biryukov, Alex; Dinu, Dumitru-Daniel; Khovratovich, Dmitry

Report (2015)

Full Text
See detailTradeoff Cryptanalysis of Memory-Hard Functions
Biryukov, Alex; Khovratovich, Dmitry

in 21st International Conference on the Theory and Application of Cryptology and Information Security (2015, December)

Full Text
See detailThe memory-hard Argon2 password hash function
Biryukov, Alex; Khovratovich, Dmitry; Dinu, Dumitru-Daniel; Josefsson, Simon

Report (2015)

Full Text
See detailOn Reverse-Engineering S-Boxes with Hidden Design Criteria or Structure
Biryukov, Alex; Perrin, Léo Paul

in Gennaro, Rosario; Robshaw, Matthew (Eds.) Advances in Cryptology -- CRYPTO 2015, (2015, August)

Full Text
See detailProof-of-Work as Anonymous Micropayment: Rewarding a Tor Relay
Biryukov, Alex; Pustogarov, Ivan

in Financial Cryptography and Data Security - 19th International Conference (2015, January)

Full Text
See detailHarvesting Fix Hints in the History of Bugs
Bissyande, Tegawendé François D Assise

Report (2015)

Full Text
See detailVulnerabilities of Government Websites in a Developing Country – The Case of Burkina Faso
Bissyande, Tegawendé François D Assise; Ouoba, Jonathan; Ahmat, Daouda; Ouédraogo, Fréderic; Béré, Cédric; Bikienga, Moustapha; Sere, Abdoulaye; Dandjinou, Mesmin; Sié, Oumarou

in 7th International Conference on e‐Infrastructure and e‐Services for Developing Countries (2015, December)

Full Text
See detailAn Approach for a Distributed World Model with QoS-Based Perception Algorithm Adaptation
Blumenthal, Sebastian; Hochgeschwender, Nico; Prassler, Erwin; Voos, Holger; Bruyninckx, Herman

in 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems IROS, Hamburg, Germany, 2015 (2015)

Full Text
See detailEnergy-efficient Data Replication in Cloud Computing Datacenters
Boru, Dejene; Kliazovich, Dzmitry; Granelli, Fabrizio; Bouvry, Pascal; Zomaya, Albert Y.

in Cluster Computing (2015), 18(1), 385-402

Full Text
See detailModels for Efficient Data Replication in Cloud Computing Datacenters
Boru, Dejene; Kliazovich, Dzmitry; Granelli, Fabrizio; Bouvry, Pascal; Zomaya, Albert Y.

in IEEE International Conference on Communications (ICC), London, UK, 2015 (2015)

Full Text
See detailBluetooth Low Energy Robustness Analysis for V2V Communications
Bronzi, Walter

in Ulmer Informatik-Berichte (2015, March)

Full Text
See detailBluetooth Low Energy performance and robustness analysis for Inter-Vehicular Communications
Bronzi, Walter; Frank, Raphaël; Castignani, German; Engel, Thomas

in Elsevier - Ad Hoc Networks (2015)

Full Text
See detailData supply chain in Industrial Internet
Buda, Andrea; Kubler, Sylvain; Främling, Kary; Borgman, Jukka; Madhikermi, Manik; Mirzaeifar, Saeed

in 11th IEEE World Conference on Factory Communication Systems (2015, May)

Full Text
See detailMaximizing energy efficiency in multiple access channels by exploiting packet dropping and transmitter buffering
Butt, M. M.; Jorswieck, E. A.; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2015), 14(8), 4129-4141

Full Text
See detailContinuous Test Generation on Guava
Campos, Jose; Fraser, Gordon; Arcuri, Andrea; Rui, Abreu

in Symposium on Search-Based Software Engineering (SSBSE) (2015)

Full Text
See detailDriver Behavior Profiling Using Smartphones: A Low-Cost Platform for Driver Monitoring
Castignani, German; Derrmann, Thierry; Frank, Raphaël; Engel, Thomas

in Intelligent Transportation Systems Magazine, IEEE (2015), 7(1), 91-102

See detailValidation study of risky event classification using driving pattern factors
Castignani, German; Derrmann, Thierry; Frank, Raphaël; Engel, Thomas

Scientific Conference (2015, November 24)

Full Text
See detailDo Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
Ceccato, Mariano; Marchetto, Alessandro; Mariani, Leonardo; Nguyen, Duy Cu; Tonella, Paolo

in The ACM Transactions on Software Engineering and Methodology (TOSEM) (2015), 25(1), 51--538

Full Text
See detailAdaptive Control for the Methane Flow rate in Biogas Plants
Chaib Draa, Khadidja; Voos, Holger; Alma, Marouane; Darouach, Mohamed

in 3rd IEEE Int. Conference on Control, Engineering and Information Technology, Tlemcen, Algeria, 2015 (2015, May)

Full Text
See detailLinearizing Control of Biogas Flow Rate and Quality
Chaib Draa, Khadidja; Voos, Holger; Alma, Marouane; Darouach, Mohamed

in 20th IEEE Int. Conference on Emerging Tecnologies and Factory Automation ETFA 2015, Luxembourg, 8-11 Sept. 2015 (2015, September)

Full Text
See detailA Formal Modeling Framework for Anaerobic Digestion Systems
Chaib Draa, Khadidja; Voos, Holger; Darouach, Mohamed

in IEEE UKSim-AMSS Int. Conference on Modelling and Simulation, Cambridge, UK, 2015 (2015, March)

Full Text
See detailCellular-broadcast service convergence through caching for CoMP cloud RANs
Chatzinotas, Symeon; Christopoulos, Dimitrios; Ottersten, Björn

in arXiv preprint arXiv:1504.08274 (2015)

See detailCooperative and Cognitive Satellite Systems
Chatzinotas, Symeon; Ottersten, Björn; DeGaudenzi, Riccardo

Book published by Elsevier (2015)

Full Text
See detailActivity tracking: A new attack on location privacy
Chen, Xihui; Mizera, Andrzej; Pang, Jun

in Proceedings of the 3rd IEEE Conference on Communications and Network Security (CNS'15) (2015)

Full Text
See detailKey Recovery Attacks Against NTRU-Based Somewhat Homomorphic Encryption Schemes
Chenal, Massimo; Tang, Qiang

in Information Security - 18th International Conference, ISC 2015 (2015, September)

Full Text
See detailInferring friendship from check-in data of location-based social networks
Cheng, Ran; Pang, Jun; Zhang, Yang

in Proceedings of the 7th International Conference on Advances in Social Networks Analysis and Mining (ASONAM'15) (2015)

Full Text
See detailCellular-Broadcast Service Convergence through Caching for CoMP Cloud RANs
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in 22nd IEEE Symposium on Communications and Vehicular Technology in the Benelux (2015)

Full Text
See detailMulticast multigroup beamforming for per-antenna power constrained large-scale arrays
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC (2015), 2015-August

Full Text
See detailMulticast Multigroup Precoding and User Scheduling for Frame-Based Satellite Communications
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2015), 14(9), 4695-4707

See detailUser Scheduling in Cooperative Satellite Systems
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in Cooperative and Cognitive Satellite Systems (2015)

See detailMultibeam Joint Precoding: frame based design
Christopoulos, Dimitrios; Chatzinotas, Symeon; Taricco, Giorgio; Vasquez, Miguel Angel; Perez-Neira, Ana; Arapoglou, Pantelis-Daniel; Ginesi, Alberto

in Cooperative and Cognitive Satellite Systems (2015)

Full Text
See detailLuST: a 24-hour Scenario of Luxembourg City for SUMO Traffic simulations
Codeca, Lara; Frank, Raphaël; Engel, Thomas

Presentation (2015, May 07)

Full Text
See detailLuxembourg SUMO Traffic (LuST) Scenario: 24 Hours of Mobility for Vehicular Networking Research
Codeca, Lara; Frank, Raphaël; Engel, Thomas

in Proceedings of the 7th IEEE Vehicular Networking Conference (2015, December)

Full Text
See detailA High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data
Cogo, Vinicius Vielmo; Bessani, Alysson; Couto, Francisco M.; Verissimo, Paulo

in Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society (2015)

Full Text
See detailProving Regulatory Compliance: Business Processes, Logic, Complexity
Colombo Tosatto, Silvano

Doctoral thesis (2015)

Full Text
See detailBusiness Process Regulatory Compliance is Hard
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

in IEEE Transactions on Services Computing (2015), 8(6), 958-970

Full Text
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano; Kelsen, Pierre; Ma, Qin; el Kharbili, Marwane; Governatori, Guido; van der Torre, Leon

in Frontiers of Computer Science (2015), 9(1), 55-74

Full Text
See detailExample-Dependent Cost-Sensitive Decision Trees
Correa Bahnsen, Alejandro; Aouada, Djamila; Ottersten, Björn

in Expert Systems with Applications (2015), 42(19), 6609-6619

Full Text
See detailA novel cost-sensitive framework for customer churn predictive modeling
Correa Bahnsen, Alejandro; Aouada, Djamila; Ottersten, Björn

in Decision Analytics (2015), 2(5),

Full Text
See detailDetecting Credit Card Fraud using Periodic Features
Correa Bahnsen, Alejandro; Aouada, Djamila; Stojanovic, Aleksandar; Ottersten, Björn

in IEEE International Conference on Machine Learning and Applications (2015, December)

Full Text
See detailDistributed Adaptive VoIP Load Balancing in Hybrid Clouds
Cortés-Mendoza, Jorge Mario; Tchernykh, Andrei; Drozdov, Alexander; Bouvry, Pascal; Simionovici, Ana-Maria; Kliazovich, Dzmitry; Avetisyan, Arutyun

Scientific Conference (2015, September)

Full Text
See detailA Logic of Trust for Reasoning about Delegation and Revocation
Cramer, Marcos; Ambrossio, Diego Agustin; van Hertum, Pieter

in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)

Full Text
See detailA logical approach to restricting access in online social networks
Cramer, Marcos; Pang, Jun; Zhang, Yang

in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)

Full Text
See detailCollusions and Privacy in Rational-Resilient Gossip
Decouchant, Jérémie

Doctoral thesis (2015)

Full Text
See detailTemplate-Based Statistical Shape Modelling on Deformation Space
Demisse, Girum; Aouada, Djamila; Ottersten, Björn

in 22nd IEEE International Conference on Image Processing (2015)

Full Text
See detailMeet-in-the-Middle Attacks and Structural Analysis of Round-Reduced PRINCE
Derbez, Patrick; Perrin, Léo Paul

in Leander, Gregor (Ed.) Fast Software Encryption - 22nd International Workshop, FSE 2015, Istanbul, March 8-11, 2015 (2015, March)

See detailA Cell Dwell Time Model for Synthetic Population Generation from Call Detail Records
Derrmann, Thierry; Frank, Raphaël; Melakessou, Foued; Castignani, German; Engel, Thomas

Scientific Conference (2015, April 08)

Full Text
See detailCombining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
DI ALESIO, Stefano; Briand, Lionel; Nejati, Shiva; GOTLIEB, ARNAUD

in ACM Transactions on Software Engineering & Methodology (2015), 25(1),

Full Text
See detailA Markov Chain dynamic model for trip generation and distribution based on CDR
Di Donna, Simone Aniello; Cantelmo, Guido; Viti, Francesco

in Proceedings of the MT-ITS Conference (2015, June)

Full Text
See detailCoverage-based regression test case selection, minimization and prioritization: a case study on an industrial system
Di Nardo, Daniel; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan

in Software Testing, Verification & Reliability (2015), 25(4), 371-396

Full Text
See detailEvolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation
Di Nardo, Daniel; Pastore, Fabrizio; Arcuri, Andrea; Briand, Lionel

in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (2015, November)

Full Text
See detailGenerating Complex and Faulty Test Data Through Model-Based Mutation Analysis
Di Nardo, Daniel; Pastore, Fabrizio; Briand, Lionel

in Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on (2015, April)

Full Text
See detailMining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths
DING, SUN; TAN, HEE BENG KUAN; Shar, Lwin Khin

in Automation of Software Test (AST 2015) (2015, May)

See detailFELICS - Fair Evaluation of Lightweight Cryptographic Systems
Dinu, Dumitru-Daniel; Biryukov, Alex; Groszschädl, Johann; Khovratovich, Dmitry; Le Corre, Yann; Perrin, Léo Paul

Scientific Conference (2015, July)

See detailTriathlon of Lightweight Block Ciphers for the Internet of Things
Dinu, Dumitru-Daniel; Le Corre, Yann; Khovratovich, Dmitry; Perrin, Léo Paul; Groszschädl, Johann; Biryukov, Alex

Scientific Conference (2015, July)

Full Text
See detailNetwork Management with Data Analytics
Dolberg, Lautaro

Scientific Conference (2015, May 04)

Full Text
See detailA Framework for Analyzing Verifiability in Traditional and Electronic Exams.
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele

in Information Security Practice and Experience 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015 (2015)

Full Text
See detailFormal Security Analysis of Traditional and Electronic Exams
Dreier, Jannik; Giustosi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele; Ryan, Peter

in Communications in Computer and Information Science (2015), 554

Full Text
See detailTowards a full support of obligations in XACML
El Kateb, Donia; Elrakaiby, Y.; Mouelhi, T.; Rubab, Iram; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015), 8924

Full Text
See detailConviviality-driven access control policy
El Kateb, Donia; Zannone, N.; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, T.; Le Traon, Yves

in Requirements Engineering (2015), 20(4), 363-382

Full Text
See detailCAPS: Context-Aware Privacy Scheme for VANET Safety Applications
Emara, Karim Ahmed Awad El-Sayed; Woerndl, Wolfgang; Schlichter, Johann

in ACM Wisec 15 (2015)

Full Text
See detailOn Evaluation of Location Privacy Preserving Schemes for VANET Safety Applications
Emara, Karim Ahmed Awad El-Sayed; Woerndl, Wolfgang; Schlichter, Johann

in Computer Communications (2015), 63(1), 11--23

Full Text
See detailPOSTER: Context-adaptive user-centric privacy scheme for VANET
Emara, Karim Ahmed Awad El-Sayed; Woerndl, Wolfgang; Schlichter, Johann

in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST (2015)

Full Text
See detailEvalix: Classification and Prediction of Job Resource Consumption on HPC Platforms
Emeras, Joseph; Varrette, Sébastien; Guzek, Mateusz; Bouvry, Pascal

in Proc. of the 19th Intl. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP'15), part of the 29th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2015) (2015, May)

Full Text
See detailExtending the Usable Ka Band Spectrum for Satellite Communications: The CoRaSat Project
Evans, Barry; Thompson, Paul; Lagunas, Eva; Sharma, Shree Krishna; Tarchi, Danielle; Icolari, Vincenzo

in Advanced Next Generation Broadband Satellite Systems Workshop, International Conference on Wireless and Satellite Systems (WiSATS, formerly PSATS), Bradford, UK, July 2015. (2015)

Full Text
See detailConnectivity Analysis of Wireless Sensor Networks Deployments in Smart Cities
Faye, Sébastien; Chaudet, Claude

in Proceedings of the 22nd IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT 2015) (2015, November 24)

Full Text
See detailDemo: Using Wearables to Learn from Human Dynamics
Faye, Sébastien; Frank, Raphaël

in Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys '15) (2015, May)

Full Text
See detailAdaptive Activity and Context Recognition using Multimodal Sensors in Smart Devices
Faye, Sébastien; Frank, Raphaël; Engel, Thomas

in Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Mobile Computing, Applications, and Services (2015, November)

Full Text
See detailSWIPE: Monitoring Human Dynamics using Smart Devices
Faye, Sébastien; Frank, Raphaël; Engel, Thomas

in Proceedings of the 7th International Conference on Mobile Computing, Applications and Services (MobiCASE '15) (2015, November)

Full Text
See detailIn Cyber-Space No One Can Hear You S·CREAM, A Root Cause Analysis for Socio-Technical Security
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Foresti, Sara (Ed.) Security and Trust Management (2015)

Full Text
See detailDo graphical cues effectively inform users? A socio-technical security study in accessing wifi networks.
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele; Rivas, Salvador

in Lecture Notes in Computer Science (2015), 9190

Full Text
See detailAn Analysis of Social Engineering Principles in Effective Phishing
Ferreira, Ana; Lenzini, Gabriele

in Proc. of the 5th International Workshop on Socio-Technical Security and Trust (2015)

Full Text
See detailPrinciples of Persuasion in Social Engineering and Their Use in Phishing
Ferreira, Ana; Lenzini, Gabriele; Conventry, Lynne

in T. Tryfonas, I. Askoxylakis (Ed.) Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015 (2015)

Full Text
See detailNetwork-Assisted Offloading for Mobile Cloud Applications
Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Zomaya, Albert Y.

in IEEE International Conference on Communications (ICC), London, UK, 2015 (2015)

Full Text
See detailPerformance and Energy Efficiency Metrics for Communication Systems of Cloud Computing Data Centers
Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Zomaya, Albert Y.

in IEEE Transactions on Cloud Computing (2015)

Full Text
See detailPerformance Metrics for Data Center Communication Systems
Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Zomaya, Albert Y.

in 8th IEEE International Conference on Cloud Computing, New York, USA, 2015 (2015, June)

Full Text
See detailEvoSuite at the SBST 2015 Tool Competition
Fraser, Gordon; Arcuri, Andrea

in 8th International Workshop on Search-Based Software Testing (SBST) 2015 (2015)

Full Text
See detailDecentralized Dynamic Observer-Based Control for Large Scale Nonlinear Uncertain Systems
Gao, Nan; Darouach, Mohamed; Alma, Marouane; Voos, Holger

in American Control Conference ACC 2015, Chicago, USA (2015)

Full Text
See detailUnified Multi-Lateral Filter for Real-Time Depth Map Enhancement
Garcia Becerro, Frederic; Aouada, Djamila; Mirbach, Bruno; Solignac, Thomas; Ottersten, Björn

in Image & Vision Computing (2015), 41

Full Text
See detailReal-time Curve-skeleton Extraction of Human-scanned Point Clouds
Garcia, Frederic; Ottersten, Björn

in International Conference on Computer Vision Theory and Applications (VISAPP 2015) (2015)

Full Text
See detailEffects of Permanent Bounded Cyber-Attacks on Networked Control Systems
Gerard, Benjamin; Voos, Holger; Li, Yumei; Darouach, Mohamed

in 23rd Mediterranean Conference on Control and Automation (MED) (2015, June 16)

Full Text
See detailRobust Precoding for Multibeam Satellite Channels with Phase Uncertainty
Gharanjik, Ahmad; Shankar, Bhavani

E-print/Working paper (2015)

Full Text
See detailRobust Precoding Design for Multibeam Downlink Satellite Channel with Phase Uncertainty
Gharanjik, Ahmad; Shankar, Bhavani; Arapoglou, Pantelis-Daniel; Bengtsson, Mats

in 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015 (2015, April 19)

Full Text
See detailPrecoding Design and User Selection for Multibeam Satellite Channels
Gharanjik, Ahmad; Shankar, Bhavani; Arapoglou, Pantelis-Daniel; Bengtsson, Mats; Ottersten, Björn

in 16th IEEE International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2015 (2015, June 28)

Full Text
See detailMultiple Gateway Transmit Diversity in Q/V Band Feeder Links
Gharanjik, Ahmad; Shankar, Bhavani; Arapoglou, Pantelis-Daniel; Ottersten, Björn

in IEEE Transactions on Communications (2015)

Full Text
See detailTowards more secure and usable cloud storage for E-Health
Ghatpande, Sankalp; Gheorghe, Gabriela

Report (2015)

Full Text
See detailSDN-RADAR: Network troubleshooting combining user experience and SDN capabilities
Gheorghe, Gabriela; Avanesov, Tigran; Palattella, Maria Rita; Engel, Thomas; Popoviciu, Ciprian

in Proc. of IEEE Conf. on Network Softwarization (NetSoft) (2015, April)

Full Text
See detailTowards Reinventing Online Privacy
Gheorghe, Gabriela; Engel, Thomas

in Berendt, Bettina; Engel, Thomas; Ikonomou, Demosthenes; Le Métayer, Daniel; Schiffner, Stefan (Eds.) LNCS - Annual Privacy Forum 2015 - Bridging the gap between research and policy (2015)

Full Text
See detailNo Place to Hide – Edward Snowden, the NSA and the Surveillance State
Giurgiu, Andra

in European Data Protection Law Review (2015), 1(3), 249-254

Full Text
See detailEU’s One-Stop-Shop Mechanism: Thinking Transnational
Giurgiu, Andra; Boulet, Gertjan; De Hert, Paul

in Privacy Laws & Business. International Report (2015)

Full Text
See detailOn the Possibility of Non-Interactive E-Voting in the Public-key Setting
Giustolisi, Rosario; Iovino, Vincenzo; Roenne, Peter

in IACR Cryptology ePrint Archive (2015), 2015

See detailOchrona danych osobowych w środowisku Chmury Obliczeniowej (ang. Cloud Computing ). Analiza wybranych elementów reformy przepisów o ochronie danych osobowych w Unii Europejskiej
Gniewek, Alicja

in Kępiński, Jakub; Klafkowska-Waśniowska, Katarzyna; Sikorski, Rafał (Eds.) Własność intelektualna w obrocie elektronicznym. Tom V (2015)

Full Text
See detailMitigating flash crowd effect using connected vehicle technology
Grzybek, Agata; Danoy, Grégoire; Bouvry, Pascal; Seredynski, Marcin

in Vehicular Communications (2015), 2(4),

Full Text
See detailSpectrum Awareness and Exploitation for Cognitive Satellite Communications
Guidotti, Alessandro; Icolari, Vincenzo; Tarchi, Danielle; Vanelli-Coralli, Alessandro; Sharma, Shree Krishna; Lagunas, Eva; Maleki, Sina; Chatzinotas, Symeon; Grotz, Joel; Krause, Jens; Corbel, Erwan; Evans, Barry; Thompson, Paul

in European Conference on Networks and Communications (EuCNC), Paris, France, Jun 2015. (2015)

Full Text
See detailA Survey of Evolutionary Computation for Resource Management of Processing in Cloud Computing
Guzek, Mateusz; Bouvry, Pascal; Talbi, El-Ghazali

in IEEE Computational Intelligence Magazine (2015), 10(2), 53-67

Full Text
See detailCloud Brokering: Current Practices and Upcoming Challenges
Guzek, Mateusz; Gniewek, Alicja; Bouvry, Pascal; Musial, Jedrzej; Blazewicz, Jacek

in IEEE Cloud Computing (2015), 2(2),

Full Text
See detailHEROS: Energy-Efficient Load Balancing for Heterogeneous Data Centers
Guzek, Mateusz; Kliazovich, Dzmitry; Bouvry, Pascal

in 8th IEEE International Conference on Cloud Computing IEEE CLOUD 2015 (2015)

Full Text
See detailApplying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada (2015, October 03)

Full Text
See detailStream my Models: Reactive Peer-to-Peer Distributed Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

Full Text
See detailSuspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Mouelhi, Tejeddine; Klein, Jacques; Le Traon, Yves

in 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2015, November)

Full Text
See detailEnergy Efficient Coordinated Beamforming for Multicell System: Duality-Based Algorithm Design and Massive MIMO Transition
He, Shiwen; Huang, Yongming; Yang, Luxi; Ottersten, Björn; Hong, Wei

in IEEE TRANSACTIONS ON COMMUNICATIONS (2015), 63(12), 4920-4935

Full Text
See detailCombining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
Henard, Christopher; Papadakis, Mike; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailFlattening or not of the combinatorial interaction testing models
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)

Full Text
See detailContext-based Selection and Execution of Robot Perception Graphs
Hochgeschwender, Nico; Olivares Mendez, Miguel Angel; Voos, Holger; Kraetzschmar, Gerhard K.

in 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'15) (2015, September)

Full Text
See detailClassifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling
Humphreys, Llio; Boella, Guido; Robaldo, Livio; Di Caro, Luigi; Cupi, Loredana; Ghanavati, Sepideh; Kiriinya, Robert Kevin Muthuri; van der Torre, Leon

in The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015 (2015)

Full Text
See detailMapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation
Humphreys, Llio; Santos, Cristiana; Di Caro, Luigi; Boella, Guido; Robaldo, Livio; van der Torre, Leon

in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)

See detailMergeable Functional Encryption
Iovino, Vincenzo; Żebrowski, Karol

Scientific Conference (2015, September 11)

Full Text
See detailSimulation-Based Secure Functional Encryption in the Random Oracle Model
Iovino, Vincenzo; Żebrowski, Karol

in Progress in Cryptology -- LATINCRYPT 2015 (2015)

Full Text
See detailA Car Hacking Experiment: When Connectivity meets Vulnerability
Jafarnejad, Sasan; Codeca, Lara; Bronzi, Walter; Frank, Raphaël; Engel, Thomas

in Globecom Workshops (GC Wkshps), 2015 IEEE (2015, December)

Full Text
See detailAccumulative knowledge under bounded resources
Jamroga, Wojciech; Tabatabaei, Masoud

in Journal of Logic & Computation (2015)

Full Text
See detailStrategic Noninterference
Jamroga, Wojciech; Tabatabaei, Masoud

in ICT Systems Security and Privacy Protection (2015)

Full Text
See detailKnown XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems
Jan, Sadeeq; Nguyen, Duy Cu; Briand, Lionel

in The 2015 IEEE International Conference on Software Quality, Reliability & Security, Vancouver 3-5 August 2015 (2015, August 03)

Full Text
See detailAdaptive sliding mode fuzzy control for unknown robots with arbitrarily-switched constraints
Jasim, Ibrahim; Plapper, Peter; Voos, Holger

in Mechatronics (2015), 30C

Full Text
See detailContact-State Modelling in Force-Controlled Robotic Peg-in-Hole Assembly Processes of Flexible Objects Using Optimised Gaussian Mixtures
Jasim, Ibrahim; Plapper, Peter; Voos, Holger

in Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture (2015)

Full Text
See detailGaussian Filtering for Enhanced Impedance Parameters Identification in Robotic Assembly Processes
Jasim, Ibrahim; Plapper, Peter; Voos, Holger

in 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg 8-11 September 2015 (2015, September 08)

Full Text
See detailModel-Free Robust Adaptive Control for Flexible Rubber Objects Manipulation
Jasim, Ibrahim; Plapper, Peter; Voos, Holger

in 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg 8-11 September 2015 (2015, September 08)

Full Text
See detailAttack Trees with Sequential Conjunction
Jhawar, Ravi; Kordy, Barbara; Mauw, Sjouke; Radomirovic, Sasa; Trujillo Rasua, Rolando

in Federrath, Hannes; Gollmann, Dieter (Eds.) ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015 (2015)

Full Text
See detailLocation-private interstellar communication
Jonker, Hugo; Mauw, Sjouke; Radomirovic, Sasa

in 23rd Security Protocols Workshop (2015)

Full Text
See detailSecrecy Energy Efficiency Optimization for MISO and SISO Communication Networks
Kalantari, Ashkan; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in The 16th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) (2015, June 28)

Full Text
See detailJoint Power Control in Wiretap Interference Channels
Kalantari, Ashkan; Maleki, Sina; Zheng, Gan; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2015)

Full Text
See detailSecrecy Analysis on Network Coding in Bidirectional Multibeam Satellite Communications
Kalantari, Ashkan; Ottersten, Björn

in IEEE Transactions on Information Forensics and Security (2015)

Full Text
See detailEstimation-Throughput Tradeoff for Underlay Cognitive Radio Systems
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich

in Proceedings of International Conference on Communications (ICC) (2015, June)

Full Text
See detailSensing-Throughput Tradeoff for Cognitive Radio Systems with Unknown Received Power
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich

in Proceedings of CROWNCOM 2015 (2015, April)

Full Text
See detailPerformance Analysis of Underlay Cognitive Radio Systems: Estimation-Throughput Tradeoff
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich K.

in arXiv preprint arXiv:1510.03353 (2015)

Full Text
See detailSensing-Throughput Tradeoff for Interweave Cognitive Radio System: A Deployment-Centric Viewpoint
Kaushik, Ankit; Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn; Jondral, Friedrich K.

in Wireless Communications, IEEE Transactions on (2015), PP(99), 14

Full Text
See detailConstellation Design in Four Dimensions under Average Power Constraint
Kayhan, Farbod; Mazzali, Nicolò; Shankar, Bhavani

in Proceedings on IEEE Symposium on Communications and Vehicular Technology in the Benelux (2015)

Full Text
See detailComparative Assessment of Orthogonal and Nonorthogonal Multiplexing Techniques for Differentiated Satellite Broadcasting Services
Kayhan, Farbod; Montorsi, Guido; Taricco, Giorgio; Alagha, Nader

Scientific Conference (2015)

Full Text
See detailEmploying second-order mutation for isolating first-order equivalent mutants
Kintis, Marinos; Papadakis, Mike; Malevris, Nicos

in Software Testing, Verification & Reliability (2015), 25(5-7), 508-535

Full Text
See detailEnergy Consumption Optimization in Cloud Data Centers
Kliazovich, Dzmitry; Bouvry, Pascal; Granelli, Fabrizio; Fonseca, Nelson L. S.

in Cloud Services, Networking and Management (2015)

See detailPlaying with Traffic: An Emerging Methodology for Developing Gamified Mobility Applications
Kracheel, Martin; Mccall, Roderick; Koenig, Vincent

in Lumsden, Joanna (Ed.) Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices (2015)

Full Text
See detailSoftware-Defined Networking: A Comprehensive Survey
Kreutz, Diego; Ramos, F. M. V.; Verissimo, Paulo; Rothenberg, C. E.; Azodolmolky, S.; Uhlig, S.

in Proceedings of the IEEE (2015), 103(1), 14-76

Full Text
See detailTechnological Theory of Cloud Manufacturing
Kubler, Sylvain; Holmström, Jan; Främling, Kary; Turkama, Petra

in Borangiu, Theodor (Ed.) Service Orientation in Holonic and Multi Agent Manufacturing and Robotics (2015, November 06)

Full Text
See detailOpportunity to Leverage Information-as-an-Asset in the IoT -- The road ahead
Kubler, Sylvain; Yoo, Min-Jung; Cassagnes, Cyril; Främling, Kary; Kiritsis, Dimitris; Skilton, Mark

in 3rd International Conference on Future Internet of Things and Cloud (2015, August 24)

Full Text
See detailVizBin - an application for reference-independent visualization and human-augmented binning of metagenomic data
Laczny, Cédric; Sternal, Tomasz; Plugaru, Valentin; Gawron, Piotr; Atashpendar, Arash; Margossian, Houry Hera; Coronado, Sergio; van der Maaten, Laurens; Vlassis, Nikos; Wilmes, Paul

in Microbiome (2015)

Full Text
See detailResource allocation for cognitive satellite uplink and fixed-service terrestrial coexistence in ka-band
Lagunas, E.; Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Grotz, J.; Krause, J.; Ottersten, Björn

in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST (2015), 156

Full Text
See detailThrough-the-Wall Radar Imaging for Heterogeneous Walls using Compressive Sensing
Lagunas, Eva; Amin, Moeness; Ahmad, Fauzia

in International Workshop on Compressed Sensing Theory and its Applications to Radar, Sonar and Remote Sensing (CoSeRa), Pisa, Italy, 16-19 June 2015 (2015, June)

Full Text
See detailSpectral Feature Detection with sub-Nyquist Sampling for Wideband Spectrum Sensing
Lagunas, Eva; Nájar, Montse

in IEEE Transactions on Wireless Communications (2015)

Full Text
See detailResource Allocation for Cognitive Satellite Uplink and Fixed-Service Terrestrial Coexistence in Ka-band
Lagunas, Eva; Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Grotz, Joel; Jens, Krause; Ottersten, Björn

in Proceedings of CROWNCOM 2015 (2015, April)

Full Text
See detailImpact of Terrain Aware Interference Modeling on the Throughput of Cognitive Ka-Band Satellite Systems
Lagunas, Eva; Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in Ka and Broadband Communications Conference (KaConf), Bologna, Italy, Oct 2015. (2015, October)

Full Text
See detailPower Control for Satellite Uplink and Terrestrial Fixed-Service Co-existence in Ka-band
Lagunas, Eva; Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Vehicular Technology Conference, Boston 6-9 Sept 2015 (2015, September)

Full Text
See detailResource Allocation for Cognitive Satellite Communications with Incumbent Terrestrial Networks
Lagunas, Eva; Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Cognitive Communications and Networking (2015)

See detailFingerprinting Techniques for Network Security
Lanze, Fabian

Doctoral thesis (2015)

Full Text
See detailA Formalization of Fingerprinting Techniques
Lanze, Fabian; Panchenko, Andriy; Engel, Thomas

in Proceedings of the IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications (IEEE RATSP 2015), held in conjunction with IEEE TrustCom 2015 (2015, August)

Full Text
See detailHacker’s Toolbox: Detecting Software-Based 802.11 Evil Twin Access Points
Lanze, Fabian; Panchenko, Andriy; Ponce-Alcaide, Ignacio; Engel, Thomas

in Proceedings of the 12th Annual IEEE Consumer Communications & Networking Conference (CCNC 2015) (2015)

Full Text
See detailAssessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas; Ventresque, Anthony; Papadakis, Mike; Henard, Christopher; Le Traon, Yves

E-print/Working paper (2015)

Full Text
See detailAutomated Inference of Access Control Policies for Web Applications
LE, Ha-Thanh; Nguyen, Duy Cu; Briand, Lionel; Hourte, Benjamin

in 20th ACM Symposium on Access Control Models and Technologies (SACMAT), 1-3 June 2015 (2015, June)

Full Text
See detailCan Transparency Enhancing Tools support patient's accessing Electronic Health Records?
Lenzini, Gabriele; Ferreira, Ana

in Advances in Intelligent Systems and Computing (2015)

Full Text
See detailSecurity analysis of socio-technical physical systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Computers electrical engineering (2015)

Full Text
See detailMethods to Mitigate Risk of Composition Attack in Independent Data Publications
Li, Jiuyong; Sattar, Sarowar A.; Baig, Muzammil M.; Liu, Jixue; Tang, Qiang; Malin, Bradley

in Medical Data Privacy Handbook 2015 (2015)

Full Text
See detailPotential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection
Li, Li; Allix, Kevin; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques

in The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015) (2015, August)

Full Text
See detailA Study of Potential Component Leaks in Android Apps
Li, Li; Allix, Kevin; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques

Report (2015)

Full Text
See detailApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in International Conference on ICT Systems Security and Privacy Protection (SEC 2015) (2015, May)

Full Text
See detailIccTA: Detecting Inter-Component Privacy Leaks in Android Apps
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyandé, Tegawendé F.; Klein, Jacques; Le Traon, Yves

in arXiv preprint arXiv:1511.06554 (2015)

Full Text
See detailUsing An Instrumentation based Approach to Detect Inter-Component Leaks in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Scientific Conference (2015, March)

Full Text
See detailFormalizing provable anonymity in Isabelle/HOL
Li, Yongjian; Pang, Jun

in Formal Aspects of Computing (2015), 27(2), 255-282

Full Text
See detailparaVerifier: An automatic framework for proving parameterized cache coherence protocols
Li, Yongjian; Pang, Jun; Lv, Yi; Fan, Dongrui; Cao, Shen; Duan, Kaiqiang

in Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15) (2015)

Full Text
See detailNonlinear protocols for distributed consensus in directed networks of dynamic agents
Li, Yumei; Voos, Holger; Darouach, Mohamed

in Journal of the Franklin Institute (2015), 352(9), 3645-3669

Full Text
See detailAn algebraic detection approach for control systems under multiple stochastic cyber-attacks
Li, Yumei; Voos, Holger; Darouach, Mohamed; Hua, Changchun

in IEEE/CAA Journal of Automatica Sinica (2015), 2(3), 258-266

Full Text
See detailAn application of linear algebra theory in networked control systems: stochastic cyber-attacks detection approach
Li, Yumei; Voos, Holger; Darouach, Mohamed; Hua, Changchun

in IMA Journal of Mathematical Control and Information (2015)

Full Text
See detailA Fair Power Splitting Algorithm for Simultaneous Wireless Information and Energy Transfer in CoMP Downlink Transmission
Liang, Kai; Zhao, Liqiang; Yang, Kun; Zheng, Gan; Ding, Wei

in Wireless Personal Communications (2015), 85(4), 2687-2710

Full Text
See detailSimulink Fault Localization: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailData Quality Assessment of Company's Maintenance Reporting: A Case Study
Madhikermi, Manik; Kubler, Sylvain; Buda, Andrea; Främling, Kary

in Proceedings of 4th International Conference on Data Management Technologies and Applications (2015, July)

Full Text
See detailCognitive Spectrum Utilization in Ka Band Multibeam Satellite Communications
Maleki, Sina; Chatzinotas, Symeon; Evans, Barry; Liolis, Konstantinos; Grotz, Joel; Vanelli-Coralli, Alessandro; Chuberre, Nicolas

in IEEE Communications Magazine (2015), 53(3), 24-29

Full Text
See detailCognitive Zone for Broadband Satellite Communication in 17.3-17.7 GHz Band
Maleki, Sina; Chatzinotas, Symeon; Krause, Jens; Liolis, Konstantinos; Ottersten, Björn

in IEEE Wireless Communications Letters (2015)

Full Text
See detailCooperative Power and DoT Estimation for a Directive Source
Maleki, Sina; Ciblat, Philippe; Chatzinotas, Symeon; Kapetanovic, Dzevdan; Ottersten, Björn

in Asilomar Conference on Signals, Systems, and Computers 2015 (2015)

Full Text
See detailTo AND or To OR: On Energy-Efficient Distributed Spectrum Sensing with Combined Censoring and Sleeping
Maleki, Sina; Leus, Geert; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Transactions on Wireless Communications (2015)

Full Text
See detailDNS and Semantic Analysis for Phishing Detection
Marchal, Samuel

Doctoral thesis (2015)

Full Text
See detailDistribution Network Protection Considering Grid Code Requirements for Distributed Generation
Margossian, Harag; Deconinck, Geert; Sachau, Jürgen

in IET Generation, Transmission & Distribution (2015), 9(12), 1377-1381

Full Text
See detailEstimating and Predicting Average Likability on Computer-Generated Artwork Variants
Martinez, Jabier; Rossi, Gabriele; Ziadi, Tewfik; Bissyandé, Tegawendé François D. Assise; Klein, Jacques; Traon, Yves Le

in Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid Spain, July 11-15, 2015, Companion Material Proceedings (2015)

Full Text
See detailBottom-up adoption of software product lines: a generic and extensible approach
Martinez, Jabier; Ziadi, Tewfik; Bissyandé, Tegawendé F.; Klein, Jacques; Traon, Yves Le

in Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015 (2015)

Full Text
See detailAutomating the Extraction of Model-based Software Product Lines from Model Variants
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) (2015)

Full Text
See detailIEEE Global Telecommunications Conference
Masouros, Christos; Zheng, Gan

in Power Efficient Downlink Beamforming Optimization by Exploiting Interference (2015, December 06)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailEffective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2015)

Full Text
See detailSearch-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in Information and Software Technology (2015), 57

Full Text
See detailPUF-based authentication protocol to address ticket-switching of RFID-tagged items
Mauw, Sjouke; Piramuthu, S.

in Proc. 8th Workshop on Security and Trust Management, Pisa, Italy, September 13-14 2012 (2015)

Full Text
See detailGeneralizing multi-party contract signing
Mauw, Sjouke; Radomirovic, Sasa

in Proc. 4th Conference on Principles of Security and Trust (POST'15) (2015)

Full Text
See detailLernen in Bewegung: iPads im naturwissenschaftlichen Unterricht
Max, Charles

in Computer + Unterricht: Lernen und Lehren mit digitalen Medien (2015), 97

Full Text
See detailICT use at home and at school: A study on 8- to 12-year old students in Luxembourg
Max, Charles; Song, Ju-Youn; Hack, Nathalie

in INTED2015 Proceedings (2015, March)

Full Text
See detailOn-board Signal Predistortion for Digital Transparent Satellites
Mazzali, Nicolò; Shankar, Bhavani; Ottersten, Björn

in Proceedings on IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) (2015, June)

Full Text
See detailPerformance Analysis of Noncoherent Frame Synchronization in Satellite Communications with Frequency Uncertainty
Mazzali, Nicolò; Stante, Giulio; Shankar, Bhavani; Ottersten, Björn

in Proceedings on IEEE Symposium on Communications and Vehicular Technology in the Benelux (2015)

Full Text
See detailText entry on smart glasses A comparison of two input techniques
Mccall, Roderick; Popleteev, Andrei; Martin, Benoit; Louveton, Nicolas; Engel, Thomas

in 8th International Conference on Human System Interaction (HSI'2015) (2015, June)

Full Text
See detailAnalysis of Call Detail Records Based on Scilab
Melakessou, Foued

Scientific Conference (2015, May 22)

Full Text
See detailDetection of Population Mobility Anomalies in Senegal from Base Station Profiles
Melakessou, Foued; Derrmann, Thierry; Frank, Raphaël; Castignani, German; Engel, Thomas

Scientific Conference (2015, April 08)

Full Text
See detailAnalysis of the Authenticated Cipher MORUS (v1)
Mileva, Aleksandra; Dimitrova, Vesna; Velichkov, Vesselin

in Cryptography and Information Security in the Balkans: First International Conference, BalkanCryptSec 2015 (2015)

Full Text
See detailASSA-PBN: An approximate steady-state analyser for probabilistic Boolean networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15) (2015)

Full Text
See detailAdaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves

in The 30th Annual ACM Symposium on Applied Computing (2015, April)

Full Text
See detailPolymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Nain, Grégory; Klein, Jacques; Bourcier, Johann

in Hammoudi, Slimane; Pires, Luis Ferreira; Desfray, Philippe; Filipe, Joaquim (Eds.) MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (2015, February)

Full Text
See detailBeyond Discrete Modeling: A Continuous and Efficient Model for IoT
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

Full Text
See detailHandover triggering in IEEE 802.11 Networks
Montavont, Nicolas; Blanc, Alberto; Navas, Renzo; Castignani, German

in 16th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (2015, June 14)

See detailInroads in Testing Access Control
Mouelhi, Tejeddine; El Kateb, Donia; Le Traon, Yves

in Advances in Computers (2015)

Full Text
See detailEvidence management for compliance of critical systems with safety standards: A survey on the state of practice
Nair, Sunil; de la Vara, Jose Luis; Sabetzadeh, Mehrdad; Falessi,

in Information & Software Technology (2015), 60

Full Text
See detailOn the robustness of linear and non-linear fractional-order systems with non-linear uncertain parameters
N'Doye, Ibrahima; Darouach, Mohamed; Voos, Holger; Zasadzinski, Michel

in IMA Journal of Mathematical Control and Information (2015)

Full Text
See detailStatic Output Feedback H-infinity Control for a Fractional-Order Glucose-Insulin System
N'Doye, Ibrahima; Voos, Holger; Darouach, Mohamed; Schneider, Jochen

in International Journal of Control, Automation, and Systems (2015), 13(4), 798-807

Full Text
See detailWideband Identification of Power Network Parameters Using Pseudo-Random Binary Sequences on Power Inverters
Neshvad, Surena; Chatzinotas, Symeon; Sachau, Jürgen

in IEEE Transactions on Smart Grid (2015)

Full Text
See detailMetaheuristics for the Virtual Machine Mapping Problem in Clouds
Nesmachnow, Sergio; Dorronsoro, Bernabé; Talbi, El-Ghazali; Bouvry, Pascal

in Informatica, Lith. Acad. Sci. (2015), 26(1), 111-134

Full Text
See detailAn Extensive Systematic Review on the Model-Driven Development of Secure Systems
Nguyen, Phu; Kramer, Max; Klein, Jacques; Le Traon, Yves

in Information & Software Technology (2015), 68(December 2015), 62-81

Full Text
See detailSoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems
Nguyen, Phu; Yskout, Koen; Heyman, Thomas; Klein, Jacques; Scandariato, Riccardo; Le Traon, Yves

in Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015, October)

Full Text
See detailHow many bits should be reported in quantized cooperative spectrum sensing?
Nguyen-Thanh, Nhan; Ciblat, Philippe; Maleki, Sina; Nguyen, Van-Tam

in IEEE Wireless Communications Letters (2015)

Full Text
See detailUsing Polyurethane to Reduce the Production Cost of Hydrokinetic Turbine Foils
Norta, David Peter Benjamin; Lanser, Christoph; Sachau, Jürgen; Allelein, Hans-Josef

in Proceedings International Conference on Hydropower for Sustainable Development (2015, February 05)

Full Text
See detailHydrokinetic Micro-Power Generation in Small Rivers - a New Approach
Norta, David Peter Benjamin; Ramanathan, Sriram; Sachau, Jürgen; Allelein, Hans-Josef

in Renewable Energy and Power Quality Journal (2015)

Full Text
See detailHydrokinetic Micro-Power Generation in Small Rivers - a New Approach
Norta, David Peter Benjamin; Ramanathan, Sriram; Sachau, Jürgen; Allelein, Hans-Josef

Poster (2015, March 25)

Full Text
See detail11,8-100% Rural Renewable Energy and Power Supply and its Influence on the Luxembourgish Power System
Norta, David Peter Benjamin; Winkler, Christoph; Allelein, Hans-Josef; Sachau, Jürgen

in Energy Procedia (2015), 73

Full Text
See detailA Concept to Increase the Bulk Warm Water Production of Ordinary Direct and Indirect Solar-Thermal Systems in Rural India
Norta, David Peter Benjamin; Winkler, Christoph; Ingenieure ohne Grenzen, Deutschland; Engineers Without Borders, Luxembourg

in Renewable Energy and Power Quality Journal (2015), 13

Full Text
See detail11,8-100% Rural Renewable Energy and Power Supply and its Influence on the Luxembourgish Power System
Norta, David Peter Benjamin; Winkler, Christoph; Sachau, Jürgen; Allelein, Hans-Josef

Poster (2015, March 10)

Full Text
See detailVision Based Fuzzy Control Approaches for Unmanned Aerial Vehicles
Olivares Mendez, Miguel Angel; Campoy, Pascual

in 16th World Congress of the International Fuzzy Systems Association (IFSA) 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) (2015, July)

Full Text
See detailTowards an Autonomous Vision-Based Unmanned Aerial System against Wildlife Poachers
Olivares Mendez, Miguel Angel; Fu, Changhong; Ludivig, Philippe; Bissyande, Tegawendé François D Assise; Kannan, Somasundar; Zurad, Maciej; Annaiyan, Arun; Voos, Holger; Campoy, Pascual

in Sensors (2015), 15(12), 29861

Full Text
See detailVision Based Fuzzy Control Autonomous Landing with UAVs: From V-REP to Real Experiments
Olivares Mendez, Miguel Angel; Kannan, Somasundar; Voos, Holger

in 23nd IEEE Mediterranean Conference of Control and Automation (MED), 2015, Torremolinos 2015, Spain (2015, June)

Full Text
See detailA study on ethical aspects and legal issues in e-learning
Östlund, Stefanie; Panchenko, Andriy; Engel, Thomas

in Proceedings of the 8th International Conference on E-Learning (e-Learning'15) (2015, September)

Full Text
See detailGenerating attacks in SysML activity diagrams by detecting attack surfaces
Ouchani, Samir; Lenzini, Gabriele

in Journal of Ambient Intelligence and Humanized Computing (2015), 6(3), 361-373

Full Text
See detailAnalysis of an Energy-Efficient MAC Protocol Based on Polling for IEEE 802.11 WLAN
Palacios, Raul; Mekonnen, Gedlu; Alonso-Zarate, Jesus; Kliazovich, Dzmitry; Granelli, Fabrizio

in IEEE International Conference on Communications (ICC), London, UK, June 2015 (2015)

Full Text
See detailLessons Learned from the 6TiSCH Plugtests
Palattella, Maria Rita; Vilajosana, Xavier; Chang, Tengfei; Reina Ortega, Miguel Angel; Watteyne, Thomas

in Proc. of EAI Int. Conf. on Interoperability in IoT (InterIoT) (2015)

Full Text
See detailOn-the-Fly Bandwidth Reservation for 6TiSCH Wireless Industrial Networks
Palattella, Maria Rita; Watteyne, Thomas; Wang, Qin; Muraoka, Kazuki; Accettura, Nicola; Dujovne, Diego; Grieco, Luigi Alfredo; Engel, Thomas

in IEEE Sensors Journal (2015)

Full Text
See detailComposite Learning Control With Application to Inverted Pendulums
Pan, Lin

in IEEE Conference Publications (Ed.) IEEE International Conference - Chinese Automation Congress (CAC), 2015 (2015, December 01)

Full Text
See detailA Class of Improved Wake Interaction Model for the Coordinated Control of Wind Farms
Pan, Lin; Voos, Holger; Darouach, Mohamed

in IEEE Conference Publications (Ed.) IEEE International Chinese Automation Congress (CAC), 2015 (2015, December 01)

Full Text
See detailUncertainty Quantification of Exponential Synchronization for a Novel Class of Complex Dynamical Networks with Hybrid TVD Using PIPC
Pan, Lin; Voos, Holger; Li, Yumei; Darouach, Mohamed

in Control and Decision Conference (CCDC), 2015 27th Chinese (2015, May 23)

Full Text
See detailA Wake Interaction Model for the Coordinated Control of Wind Farms
Pan, Lin; Voos, Holger; Li, Yumei; Darouach, Mohamed

in Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference on (2015, September 08)

Full Text
See detailOn the Impact of Cross-Layer Information Leakage on Anonymity in Crowds
Panchenko, Andriy

in Proceedings of the 11th ACM International Symposium on QoS and Security for Wireless and Mobile Networks (ACM Q2SWinet 2015) (2015, November)

Full Text
See detailCryptographic protocols for enforcing relationship-based access control policies
Pang, Jun; Zhang, Yang

in Proceedings of the 39th Annual IEEE Computers, Software & Applications Conference (COMPSAC'15) (2015)

Full Text
See detailEvent prediction with community leaders
Pang, Jun; Zhang, Yang

in Proceedings of the 10th International Conference on Availability, Reliability and Security (ARES'15) (2015)

Full Text
See detailExploring communities for effective location prediction
Pang, Jun; Zhang, Yang

in Proceedings of the 24th World Wide Web Conference (2015)

Full Text
See detailLocation prediction: Communities speak louder than friends
Pang, Jun; Zhang, Yang

in Proceedings of the 3rd ACM Conference on Online Social Networks (COSN'15) (2015)

Full Text
See detailA new access control scheme for Facebook-style social networks
Pang, Jun; Zhang, Yang

in Computers & Security (2015), 54

Full Text
See detailMetallaxis-FL: mutation-based fault localization
Papadakis, Mike; Le Traon, Yves

in Software Testing : Verification & Reliability (2015), 25

Full Text
See detailTrivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
Papadakis, Mike; Yue, Jia; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailImpact of Transceiver Impairments on the Capacity of Dual-Hop Relay Massive MIMO Systems
Papazafeiropoulos, Anastasios; Sharma, Shree Krishna; Chatzinotas, Symeon

in Proceedings of IEEE Globecom 2015 (2015, December)

Full Text
See detailZoomIn: Discovering Failures by Detecting Wrong Assertions
Pastore, Fabrizio; Mariani, Leonardo

in Proceedings of the 37th International Conference on Software Engineering (ICSE) (2015, May)

Full Text
See detailDistributed Coordinated Beamforming for Multi-cell Multigroup Multicast Systems
Pennanen, Harri; Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in arXiv preprint arXiv:1511.03561 (2015)

Full Text
See detailDistributed Power Control with Received Power Constraints for Time-Area-Spectrum Licenses
Pérez-Neira, Ana; Veciana, Joaquim; Vázquez, Miguel Angel; Lagunas, Eva

in Signal Processing (2015)

Full Text
See detailGeneralized direct predistortion with adaptive crest factor reduction control
Piazza, Roberto; Bhavani Shankar, M. R.; Ottersten, Björn

in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings (2015), 2015-August

Full Text
See detailMulti-gateway Data Predistortion for Non-linear Satellite Channels
Piazza, Roberto; Shankar, Bhavani; Ottersten, Björn

in IEEE Transactions on Communications (2015), 63(10), 3789-3802

Full Text
See detailSecurity on medical data sharing (a literature review)
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

Report (2015)

Full Text
See detailPoles Apart : Navigating the Space of Opinions in Argumentation
Podlaszewski, Mikołaj Jan

Doctoral thesis (2015)

Full Text
See detailColorizer: Smart Glasses Aid for the Colorblind
Popleteev, Andrei; Louveton, Nicolas; Mccall, Roderick

in WearSys'15 (2015, May)

Full Text
See detailImproving BDD-based attractor detection for synchronous Boolean networks
Qu, Hongyang; Yuan, Qixia; Pang, Jun; Mizera, Andrzej

in Proceedings of the 7th Asia-Pacific Symposium on Internetware (2015)

Full Text
See detailEnergy-Efficient Computation Offloading for Wearable Devices and Smartphones in Mobile Cloud Computing
Ragona, Claudio; Fiandrino, Claudio; Kliazovich, Dzmitry; Granelli, Fabrizio; Bouvry, Pascal

in IEEE Global Communications Conference (GLOBECOM), San Diego, CA, USA, 2015 (2015, December)

Full Text
See detailCoq as a Metatheory for Nuprl with Bar Induction
Rahli, Vincent; Bickford, Mark

Scientific Conference (2015)

Full Text
See detailFormal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Rahli, Vincent; Guaspari, David; Bickford, Mark; Constable, Robert L.

in EASST (2015)

Full Text
See detailDistributed Dense Stereo Matching for 3D Reconstruction using Parallel-based Processing Advantages
Ralha, Ricardo; Falcao, Gabriel; Andrade, Joao; Goncalves Almeida Antunes, Michel; Barreto, Joao Pedro; Nunes, Urbano

in Proc. of the 40th International Conference on Acoustics, Speech and Signal Processing (ICASSP) (2015)

Full Text
See detailLine-Sweep: Cross-Ratio for Wide-Baseline Matching and 3D Reconstruction
Ramalingam, Srikumar; Goncalves Almeida Antunes, Michel; Snow, Daniel; Lee, Gim Hee; Pillai, Sudeep

in IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2015)

See detailOn the Road to the Softwarization of Networking
Ramos, Fernando M. V.; Kreutz, Diego; Verissimo, Paulo

in Cutter IT Journal (2015), 28

Full Text
See detailCombining Input/Output logic and Rei cation for representing real-world obligations
Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Muthuri, Robert; Santos, Cristiana

in Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015) (2015)

Full Text
See detailThe ProLeMAS project: representing natural language norms in Input/Output logic
Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Santos, Cristiana; Muthuri, Robert

Scientific Conference (2015)

Full Text
See detailAutomated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations
Rojas, José Miguel; Fraser, Gordon; Arcuri, Andrea

in ACM International Symposium on Software Testing and Analysis (ISSTA), 2015 (2015)

Full Text
See detailCombining Multiple Coverage Criteria in Search-Based Unit Test Generation
Rojas, Miguel; Campos, Jose; Vivanti, Mattia; Fraser, Gordon; Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2015)

Full Text
See detailFinding a robust configuration for the AEDB information dissemination protocol for mobile ad hoc networks
Ruiz, Patricia; Dorronsoro, Bernabé; Talbi, El-Ghazali; Bouvry, Pascal

in Applied Soft Computing (2015), 32

Full Text
See detailSelene: Voting with Transparent Verifiability and Coercion-Mitigation
Ryan, Peter; Roenne, Peter; Iovino, Vincenzo

in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015

Full Text
See detailDesign and Simulation of a Real-Time Implementable Energy-Efficient Model-Predictive Cruise Controller for Electric Vehicles
Schwickart, Tim Klemens; Voos, Holger; Minaglou, Jean-Régis; Darouach, Mohamed; Rosich, Albert

in Journal of the Franklin Institute (2015), 352(2), 603-625

Full Text
See detailDo Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges
Shamshiri, Sina; Just, Rene; Rojas, Jose Miguel; Fraser, Gordon; McMinn, Phil; Arcuri, Andrea

in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2015)

Full Text
See detailFeasibility Study of Full-duplex Relaying in Satellite Networks
Shankar, Bhavani; Zheng, Gan; Maleki, Sina; Ottersten, Björn

in The 16th IEEE International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2015 (2015)

Full Text
See detailWeb Application Vulnerability Prediction using Hybrid Program Analysis and Machine Learning
Shar, Lwin Khin; Briand, Lionel; Tan, Hee Beng Kuan

in IEEE Transactions on Dependable and Secure Computing (2015), 12(6), 688-707

Full Text
See detailImproving Robustness of Cyclostationary Detectors to Cyclic Frequency Mismatch Using Slepian Basis
Sharma, Shree Krishna; Bogale, Tadilo Endeshaw; Chatzinotas, Symeon; Le, Long Bao; Wang, Xianbin; Ottersten, Björn

in Proceedings of IEEE PIMRC 2015 (2015, September)

Full Text
See detailCognitive Radio Techniques under Practical Imperfections: A Survey
Sharma, Shree Krishna; Bogale, Tadilo Endeshaw; Chatzinotas, Symeon; Ottersten, Björn; Le, Long Bao; Wang, Xianbin

in IEEE Communications Surveys and Tutorials (2015)

Full Text
See detail3D Beamforming for Spectral Coexistence of Satellite and Terrestrial Networks
Sharma, Shree Krishna; Chatzinotas, Symeon; Grotz, Joel; Ottersten, Björn

in IEEE Vehicular Technology Conference 2015 (2015, September)

See detailCognitive Beamforming for Spectral Coexistence of Hybrid Satellite Systems
Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Cooperative and Cognitive Satellite Systems (2015)

Full Text
See detailCognitive interference alignment for spectral coexistence
Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Cognitive Radio and Networking for Heterogeneous Wireless Networks (2015)

Full Text
See detailCooperative Spectrum Sensing for Heterogeneous Sensor Networks Using Multiple Decision Statistics
Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Proceedings of CROWNCOM 2015 (2015, April)

See detailExploiting Polarization for Spectrum Awareness in Cognitive Satellite Communications
Sharma, Shree Krishna; Chatzinotas, Symeon; Ottersten, Björn

in Software-Defined and Cognitive Radio Technologies for Dynamic Spectrum Access and Management (2015)

Full Text
See detailResource Allocation for Cognitive Satellite Communications in Ka-band (17.7-19.7 GHz)
Sharma, Shree Krishna; Lagunas, Eva; Maleki, Sina; Chatzinotas, Symeon; Grotz, Joel; Krause, Jens; Ottersten, Björn

in Proceedings of International Conference on Communications (ICC) (2015, June)

Full Text
See detailJoint Carrier Allocation and Beamforming for Cognitive SatComs in Ka-band (17.3-18.1 GHz)
Sharma, Shree Krishna; Maleki, Sina; Chatzinotas, Symeon; Grotz, Joel; Krause, Jens; Ottersten, Björn

in Proceedings of International Conference on Communications (2015, June)

Full Text
See detailRepeater for 5G Wireless: A Complementary Contender for Spectrum Sensing Intelligence
Sharma, Shree Krishna; Patwary, Mohammad; Chatzinotas, Symeon; Ottersten, Björn; Abdel-Maguid, Mohamed

in Proceedings of International Conference on Communications 2015 (2015, June)

Full Text
See detailExploring IoT Protocols Through the Information-Centric Networking's Lens
Signorello, Salvatore; State, Radu; Festor, Olivier

in Intelligent Mechanisms for Network Configuration and Security (2015, June)

Full Text
See detailOn the Provable Security of the Dragonfly Protocol
Skrobot, Marjan; Lancrenon, Jean

in Lopez, Javier; Mitchell, Chris J. (Eds.) Information Security - 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015 (2015, September)

Full Text
See detailA Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Soltana, Ghanem

in Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015) (2015)

Full Text
See detailA Model-Based Framework for Probabilistic Simulation of Legal Policies
Soltana, Ghanem; Sannier, Nicolas; Sabetzadeh, Mehrdad; Briand, Lionel

in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)

Full Text
See detailTotal degradation analysis of precoded signals onto non-linear satellite channels
Spano, Danilo; Christopoulos, Dimitrios; Andrenacci, Stefano; Chatzinotas, Symeon; Ottersten, Björn; Krause, Jens

in 21st Ka Conference (2015, October)

Full Text
See detailOptimizing communication satellites payload configuration with exact approaches
Stathakis, Apostolos; Danoy, Grégoire; Bouvry, Pascal; Talbi, El-Ghazali; Morelli, Gianluigi

in Engineering Optimization (2015), 0(0), 1-26

Full Text
See detailComputational Complexity of Input/Output Logic
Sun, Xin; Ambrossio, Diego Agustin

in Lecture Notes in Computer Science (2015), 9426

Full Text
See detailOn the complexity of input/output logic
Sun, Xin; Ambrossio, Diego Agustin

in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015)

Full Text
See detailLogic and Games for Ethical Agents in Normative Multi-agent Systems
sun, xin; Robaldo, Livio

in proc. of 13th European Conference on Multi-Agent Systems/3rd International Conference on Agreement Technologies (2015)

Full Text
See detailTowards Forward Security Properties for PEKS and IBE
Tang, Qiang

in Information Security and Privacy - 20th Australasian Conference, ACISP 2015 (2015)

See detailExtend the Concept of Public Key Encryption with Delegated Search
Tang, Qiang; Ma, Hua; Chen, Xiaofeng

in The Computer Journal (2015), 58(4), 11

Full Text
See detailPrivacy-Preserving Context-Aware Recommender Systems: Analysis and New Solutions
Tang, Qiang; Wang, Jun

in Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security (2015, September)

Full Text
See detailVerification and Implementation of Pseudo-Random-Binary-Sequences for Online Determination of Grid Impedance Spectrum
Tewari, Udit; Neshvad, Surena; Sachau, Jürgen

in The Renewable Energy & Power Quality Journal (2015, March 25)

Full Text
See detailHydrokinetic Energy for Enlightening the Future of Rural Communities in Uttarakhand
Tewari, Udit; Norta, David Peter Benjamin; Kolmsee, Karl

in Proceedings International Conference on Hydropower for Sustainable Development (2015, February 07)

Full Text
See detailA Scalable and Accurate Hybrid Vulnerability Analysis Framework
Thome, Julian

in Doctoral Symposium co-located with 26th IEEE International Symposium on Software Reliability Engineering (2015) (2015)

Full Text
See detailSecurity Slicing for Auditing XML, XPath, and SQL Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Briand, Lionel

in 26th IEEE International Symposium on Software Reliability Engineering (2015)

Full Text
See detail6TiSCH Centralized Scheduling: when SDN Meet IoT
Thubert, Pascal; Palattella, Maria Rita; Engel, Thomas

in Proc. of IEEE Conf. on Standards for Communications & Networking (CSCN’15) (2015)

Full Text
See detailPrivacy in Spatio-Temporal Databases: A Microaggregation-Based Approach
Trujillo Rasua, Rolando; Domingo-Ferrer, Josep

in Navarro-Arribas, Guillermo; Vicenç, Torra (Eds.) Advanced Research in Data Privacy (2015)

Full Text
See detailk-Metric Antidimension: a Privacy Measure for Social Graphs
Trujillo Rasua, Rolando; Yero, Ismael G.

in Information Sciences (2015), 328

Full Text
See detailPower Control in Cognitive Radio Networks Using Cooperative Modulation and Coding Classification
Tsakmalis, Anestis; Chatzinotas, Symeon; Ottersten, Björn

in Proceedings of 10th International Conference on Cognitive Radio Oriented Wireless Networks (CROWNCOM) 2015 (2015)

Full Text
See detailPower control in cognitive radio networks using cooperative modulation and coding classification
Tsakmalis, Anestis; Chatzinotas, Symeon; Ottersten, Björn

in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST (2015), 156

Full Text
See detailEnergy efficiency of TCP: An analytical model and its application to reduce energy consumption of the most diffused transport protocol
Usman, Muhammad; Kliazovich, Dzmitry; Granelli, Fabrizio; Bouvry, Pascal; Castoldi, Piero

in International Journal of Communication Systems (2015)

Full Text
See detailnsights from a Study on Decision Making in Enterprise Architecture
van der Linden, Dirk; Van Zee, Marc

in In Short Paper Proceedings of the 8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM) (2015)

Full Text
See detailRational Architecture = Architecture from a Recommender Perspective
Van Zee, Marc

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

Full Text
See detailRationalization of Goal Models in GRL using Formal Argumentation
Van Zee, Marc; Bex, Floris; Ghanavati, Sepideh

in In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15) (2015)

Full Text
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc; Doder, Dragan; Dastani, Mehdi; van der Torre, Leon

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

Full Text
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc; Doder, Dragan; Dastani, Mehdi; van der Torre, Leon

Scientific Conference (2015)

Full Text
See detailIntention Reconsideration as Metareasoning
Van Zee, Marc; Icard, Thomas

Scientific Conference (2015)

Full Text
See detailARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions
Van Zee, Marc; van der Linden, Dirk

in Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015) (2015)

Full Text
See detailPrecoding in multibeam satellite communications: present and future challenges
Vázquez, Miguel Ángel; Pérez-Neira, Ana; Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn; Arapoglou, Pantelis-Daniel; Ginesi, Alberto; Taricco, Giorgio

in jourlib Journal (2015)

Full Text
See detailPushing for higher rates and efficiency in Satcom: the different perspectives within SatNExIV
Vazquez, Miguel-Angel; Neira, Ana-Perez; Mosquera, Carlos; Shankar, Bhavani; Panagopoulos, Athanasios; Giambene, Giovanni; Siris, Vasilios; Polyzos, George; Alagha, Nader

in Proceedings of the 11th International Symposium on Wireless Communication Systems (ISWCS 2015) (2015)

Full Text
See detailA Markov chain dynamic model for trip generation and distribution based on CDR
Viti, Francesco; Cantelmo, Guido

in Periodica Polytechnica (2015)

Full Text
See detailUnderstanding the Everyday Use of Head-Worn Computers
Vogl, Anita; Louveton, Nicolas; Mccall, Roderick; Billinghurst, Mark; Haller, Michael

in Understanding the Everyday Use of Head-Worn Computers (2015)

Full Text
See detailTowards Dependable CPS Infrastructures: Architectural and Operating-System Challenges
Volp, Marcus; Asmussen, Nils; Härtig, Hermann; Nöthen, Benedikt; Fettweis, Gerhard

Scientific Conference (2015)

Full Text
See detailOn the Diversity of Network-Coded Cooperation With Decode-and-Forward Relay Selection
Vu, Thang Xuan; Duhamel, Pierre; Di Renzo, Marco

in IEEE Transactions on Wireless Communications (2015), 14(8), 4369-4378

Full Text
See detailPerformance Analysis of Network Coded Cooperation with Channel Coding and Adaptive DF-Based Relaying in Rayleigh Fading Channels
Vu, Thang Xuan; Duhamel, Pierre; Di Renzo, Marco

in IEEE Signal Processing Letters (2015), 22(9), 1354-1358

Full Text
See detailAdaptive Compression and Joint Detection for Fronthaul Uplinks in Cloud Radio Access Networks
Vu, Thang Xuan; Nguyen, Hieu Duy; Quek, Tony Q.S.

in IEEE Transactions on Communications (2015), 63(11), 4565-4575

Full Text
See detailJoint Decoding and Adaptive Compression with QoS Constraint for Uplinks in Cloud Radio Access Networks
Vu, Thang Xuan; Quek, Tony Q. S.; Nguyen, Hieu Duy

in 2015 IEEE Global Communications Conference (GLOBECOM) (2015)

Full Text
See detailCloud Service Providers Ranking Based on Service Delivery and Consumer Experience
Wagle, Shyam Sharan; Guzek, Mateusz; Bouvry, Pascal

in 2015 IEEE 4th International Conference on Cloud Networking (CloudNet) (2015, October)

Full Text
See detailAn Evaluation Model for Selecting Cloud Services from Commercially Available Cloud Providers
Wagle, Shyam Sharan; Guzek, Mateusz; Bouvry, Pascal; Bisdorff, Raymond

in 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) (2015, December)

Full Text
See detailAutomatic Generation of System Test Cases from Use Case Specifications
Wang, Chunhui; Pastore, Fabrizio; Göknil, Arda; Briand, Lionel; Iqbal, Zohaib

in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA' 15), July 2015, USA (2015, July)

Full Text
See detailUMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Wang, Chunhui; Pastore, Fabrizio; Göknil, Arda; Briand, Lionel; Iqbal, Zohaib

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

Full Text
See detailRecommender Systems and their Security Concerns
Wang, Jun; Tang, Qiang

Scientific Conference (2015, October)

Full Text
See detailDevice Attacker Models: Fact and Fiction
Yu, Jiangshan; Ryan, Mark Dermot

in Security Protocols XXIII - 23rd International Workshop, Cambridge UK, March 31 - April 2, 2015, Revised Selected Papers (2015)

Full Text
See detailaToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Yue, Tao; Briand, Lionel; Labiche, Yvan

in ACM Transactions on Software Engineering & Methodology (2015), 24(3),

Full Text
See detailStochastic cyber-attacks estimation for nonlinear control systems based on robust H∞ filtering technique
Yumei, Li; Voos, Holger; Pan, Lin; Darouach, Mohamed

in Control and Decision Conference (CCDC), 2015 27th Chinese (2015, May 23)

Full Text
See detailMultiple-input multiple-output symbol rate signal digital predistorter for non-linear multi-carrier satellite channels
Zenteno, Efrain; Piazza, Roberto; Bhavani Shankar, M. R.; Rönnow, Daniel; Ottersten, Björn

in Communications, IET (2015), 9(16), 2053--2059

Full Text
See detailLow Complexity Predistortion and Equalization in Nonlinear Multicarrier Satellite Communications
Zenteno, Efrain; Piazza, Roberto; Shankar, Bhavani; Ronnow, Daniel; Ottersten, Björn

in EURASIP Journal on Advances in Signal Processing (2015)

Full Text
See detailA MIMO Symbol Rate Signal Digital Predistorter for Nonlinear Multicarrier Satellite Channels
Zenteno, Efrain; Piazza, Roberto; Shankar, Bhavani; Ronnow, Daniel; Ottersten, Björn

in IET Communications (2015), 9(15), 20532059

Full Text
See detailCommunity-Driven Social Influence Analysis and Applications
Zhang, Yang; Pang, Jun

in Proceedings of the 15th International Conference on Web Engineering (2015)

Full Text
See detailStaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications
Zhauniarovich, Yury; Ahmad, Maqsood; Gadyatskaya, Olga; Crispo, Bruno; Massacci, Fabio

in Proceedings of CODASPY '15 (2015, March)

Full Text
See detailTowards Black Box Testing of Android Apps
Zhauniarovich, Yury; Philippov, Anton; Gadyatskaya, Olga; Crispo, Bruno; Massacci, Fabio

in Proc. of Software Assurance Workshop at the 10th International Conference on Availability, Reliability and Security (ARES) (2015, August)

Full Text
See detailInformation Engineering in Autonomous Robot Software
Ziafati, Pouyan

Book published by University of Luxembourg (2015)

Full Text
See detailRetalis Language for Information Engineering in Autonomous Robot Software
Ziafati, Pouyan; dastani, mehdi; meyer, john-jules; van der Torre, Leon; Voos, Holger

in IfCoLog Journal of Logics and their Applications (2015), 2(2), 85

Top of Page

2014

Full Text
See detailEnhanced List-Based Group-Wise Overloaded Receiver with Application to Satellite Reception
Abu Shaban, Zohair; Shankar, Bhavani; Mehrpoyan, Hani; Ottersten, Björn

in Proceedings of IEEE ICC 2014 (2014, June)

Full Text
See detailInterference Mitigating Satellite Broadcast Receiver using Reduced Complexity List-Based Detection in Correlated Noise
Abu-Shaban, Zohair; Mehrpouyan, Hani; Ottersten, Björn; others

in arXiv preprint arXiv:1404.6544 (2014)

Full Text
See detailAutomated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation
Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in 22nd IEEE International Requirements Engineering Conference (2014, August 25)

Full Text
See detailMagnetic Interaction with Devices: A Pilot Study on Mobile Gaming
Afshari, Saeed; Popleteev, Andrei; McCall, Roderick; Engel, Thomas

in Proceedings of NordiCHI '14, October 26 - 30 2014, Helsinki, Finland (2014, October 26)

Full Text
See detailKinectDeform: Enhanced 3D Reconstruction of Non-Rigidly Deforming Objects
Afzal, Hassan; Al Ismaeil, Kassem; Aouada, Djamila; Destelle, Franc ̧ois; Mirbach, Bruno; Ottersten, Björn

in Second International Conference on 3D Vision (2014)

Full Text
See detailRGB-D Multi-View System Calibration for Full 3D Scene Reconstruction
Afzal, Hassan; Aouada, Djamila; Fofi, David; Mirbach, Bruno; Ottersten, Björn

in 22nd International Conference on Pattern Recognition (ICPR'14) (2014)

Full Text
See detailEmpirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Empirical Software Engineering (2014)

Full Text
See detailLarge-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (2014, March)

Full Text
See detailMachine Learning-Based Malware Detection for Android Applications: History Matters!
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailA Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?
Allix, Kevin; Jerome, Quentin; Bissyande, Tegawendé François D Assise; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference (2014, July)

Full Text
See detailJoint Channel Estimation and Pilot Allocation in Underlay Cognitive MISO Networks
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Wireless Communications and Mobile Computing Conference (2014, August)

Full Text
See detailA Multicast Approach for Constructive Interference Precoding in MISO Downlink Channel
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Symposium on Information Theory (ISIT) (2014)

Full Text
See detailSpatial DCT-Based Least Square Estimation in Multi-antenna Multi-cell Interference Channels
Alodeh, Maha; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Conference on Communications(ICC) (2014, June)

Full Text
See detailA Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Amrani, Moussa; Lúcio, Lévi; Selim, Gehan; Combemale, Benoît; Dingel, Jürgen; Vangheluwe, Hans; Le Traon, Yves; Cordy, James

in Journal of Technology (2014)

Full Text
See detailBenchmarX
Anjorin, Anthony; Cunha, Alcino; Giese, Holger; Hermann, Frank; Rensink, Arend; Schürr, Andy

in CEUR Workshop Proceedings (2014, March 28), 1133

Full Text
See detailThe gap between legal and technical domains in norm representation
Antonini, Alessio; Boella, Guido; Humphreys, Llio; Hulstijn

in New Frontiers in Artificial Intelligence (2014)

Full Text
See detailSurface UP-SR for an Improved Face Recognition Using Low Resolution Depth Cameras
Aouada, Djamila; Al Ismaeil, Kassem; Kedir Idris, Kedija; Ottersten, Björn

in 11th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS'14) (2014)

Full Text
See detailSPN2: Single-Sided Privacy Preserving Nearest Neighbor and its Application to Face Recognition
Aouada, Djamila; Khader, Dalia

in 11th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS'14) (2014)

Full Text
See detailBlack-box SQL Injection Testing
Appelt, Dennis; Alshahwan, Nadia; Nguyen, Duy Cu; Briand, Lionel

Report (2014)

Full Text
See detailAutomated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel; Alshahwan, Nadia

in Proc. of the International Symposium on Software Testing and Analysis 2014 (2014, July 21)

Full Text
See detailOn the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object- Oriented Software
Araujo, Wladimir; Briand, Lionel; Labiche, Yvan

in IEEE Transactions on Software Engineering (2014), 40(10), 971-992

Full Text
See detailReducing GUI Test Suites via Program Slicing
Arlt, Stephan; Podelski, Andreas; Wehrle, Martin

in International Symposium on Software Testing and Analysis, San Jose 21-25 July 2014 (2014)

Full Text
See detailThe Gradual Verifier
Arlt, Stephan; Rubio-González, Cindy; Rümmer, Philipp; Schäf, Martin; Shankar, Natarajan

in NASA Formal Methods, Houston 29 April - 1 May 2014 (2014)

Full Text
See detailEmpirical Comparison of Intermediate Representations for Android Applications
Arnatovich, Yauhen Leanidavich; Tan, Hee Beng Kuan; Shar, Lwin Khin

in 26th International Conference on Software Engineering and Knowledge Engineering (2014, July 03)

Full Text
See detailPerformance of the Multibeam Satellite Return Link With Correlated Rain Attenuation
Arnau, J.; Christopoulos, Dimitrios; Chatzinotas, Symeon; Mosquera, C.; Ottersten, Björn

in Wireless Communications, IEEE Transactions on (2014), 13(11), 6286-6299

Full Text
See detailImproving Requirements Glossary Construction via Clustering: Approach and Industrial Case Studies
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014) (2014, September)

Full Text
See detailRequirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on (2014, August)

Full Text
See detailDistributed Wideband Spectrum Sensing for Cognitive Radio Networks
Arroyo-Valles, Rocio; Maleki, Sina; Leus, Geert

in 2014 IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP) (2014, May)

Full Text
See detailFlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps
Arzt, S.; Rasthofer, S.; Fritz, C.; Bodden, E.; Bartel, A.; Klein, Jacques; Le Traon, Yves; Octeau, D.; McDaniel, P.

Scientific Conference (2014, June)

Full Text
See detailStatic Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in IEEE Transactions on Software Engineering (TSE) (2014), 40(6), 617-632

Full Text
See detailWhat's Around the Corner? Enhancing Driver Awareness in Autonomous Vehicles via In-Vehicle Spatial Auditory Displays
Beattie, David; Baillie, Lynne; Halvey, Martin; McCall, Roderick

in Proceedings of NordiCHI '14, October 26 - 30 2014, Helsinki, Finland (2014, October 26)

Full Text
See detailArchitecture-Level Configuration of Large-Scale Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Briand, Lionel

in ACM Transactions on Software Engineering & Methodology (2014), 23(3),

Full Text
See detailA Socio-Technical Methodology for the Security and Privacy Analysis of Services
Bella, Giampaolo; Curzon, Paul; Giustolisi, Rosario; Lenzini, Gabriele

in IEEE 38th Annual International Computers, Software and Applications Conference Workshops, 27–29 July 2014, Västerås, Sweden (2014)

Full Text
See detailSecure exams despite malicious management
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele

in Twelfth Annual International Conference on Privacy, Security and Trust (PST), Ryerson University, Toronto, July 23-24, 2014 (2014)

See detailProceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014
Bella, Giampaolo; Lenzini, Gabriele

Scientific Conference (2014)

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailTowards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)

Full Text
See detailSMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)

Full Text
See detailComparison of Multi-objective Optimization Algorithms for the JShadObf JavaScript Obfuscator
Bertholon, Benoit; Varrette, Sébastien; Bouvry, Pascal

in Proc. of the 17th Intl. Workshop on Nature Inspired Distributed Computing (NIDISC 2014), part of the 28th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2014) (2014, May)

Full Text
See detailSimilarity testing for access control
Bertolino, Antonia; daoudagh, said; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; lonetti, francesca; marchetti, eda; Mouelhi, Tejeddine; Papadakis, Mike

in Information and Software Technology (2014)

Full Text
See detailCoverage-based Test Cases Selection for XACML Policies
Bertolino, Antonia; Le Traon, Yves; Lonetti, Francesca; Marchetti, Eda; Mouelhi, Tejeddine

in IEEE International Conference on Software Testing Verification and Validation Workshops (2014)

Full Text
See detailIncremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014) (2014, October)

Full Text
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Full Text
See detailOffline Trace Checking of Quantitative Properties of Service-Based Applications
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)

Full Text
See detailSpecification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract)
Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare; Senti, Patrick

in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)

Full Text
See detailComputing coalitions in Multiagent Systems, A contextual reasoning approach
Bikakis, Antonis, ; Caire, Patrice

in European Conference on Multi-Agent Systems, Prague 18-19 December 2014 (2014, December 18)

Full Text
See detailTools for Conviviality in Multi-Context Systems
bikakis, Antonis; Caire, Patrice; Le Traon, Yves

in IFCOLOG: journal of Logic and Applications (2014), 1(1),

Full Text
See detailContributions to thermal constraints management in radial active distribution systems
Bilibin, Ilya; Capitanescu, Florin

in Electric Power Systems Research (2014), 111

Full Text
See detailCryptographic Schemes Based on the ASASA Structure: Black-box, White-box, and Public-key
Biryukov, Alex; Bouillaguet, Charles; Khovratovich, Dmitry

in 20th International Conference on the Theory and Application of Cryptology and Information Security (2014, December)

Full Text
See detailPAEQ: Parallelizable Permutation-Based Authenticated Encryption
Biryukov, Alex; Khovratovich, Dmitry

in 17th Information Security Conference (2014, November)

Full Text
See detailDeanonymisation of clients in Bitcoin P2P network
Biryukov, Alex; Khovratovich, Dmitry; Pustogarov, Ivan

in ACM Conference on Computer and Communications Security (CCS) (2014, November)

Full Text
See detailDifferential entropy analysis of the IDEA block cipher
Biryukov, Alex; Nakahara, Jorge; Murat Yildirim, Hamdi

in Journal of Computational & Applied Mathematics (2014), 259(Part B), 561570

Full Text
See detailColliding Keys for SC2000-256
Biryukov, Alex; Nikolic, Ivica

in Selected Areas in Cryptography, Lecture Notes in Computer Science (2014)

Full Text
See detailBitcoin over Tor isn't a good idea
Biryukov, Alex; Pustogarov, Ivan

in 2015 IEEE Symposium on Security and Privacy (2014, November)

Full Text
See detailContent and popularity analysis of Tor hidden services
Biryukov, Alex; Pustogarov, Ivan; Thill, Fabrice; Weinmann, Ralf-Philipp

in proceedings of the 2014 IEEE 34th International Conference on Distributed Computing Systems Workshops (2014, June)

Full Text
See detailDifferential Analysis of Block Ciphers SIMON and SPECK
Biryukov, Alex; Roy, Arnab; Velichkov, Vesselin

in Fast Software Encryption - 21st International Workshop (2014)

Full Text
See detailAutomatic Search for Differential Trails in ARX Ciphers
Biryukov, Alex; Velichkov, Vesselin

in Topics in Cryptology – CT-RSA 2014 Lecture Notes in Computer Science (2014)

Full Text
See detailAhead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Bissyande, Tegawendé François D Assise; Réveillère, Laurent; Lawall, Julia; Muller, Gilles

in Automated Software Engineering (2014)

See detaile-Infrastructure and e-Services for Developing Countries
Bissyande, Tegawendé François D Assise; van Stam, Gertjan

Book published by Springer (2014)

Full Text
See detailOptimal Multiuser Transmit Beamforming: A Difficult Problem with a Simple Solution Structure [Lecture Notes]
Björnson, Emil; Bengtsson; Ottersten, Björn

in IEEE Signal Processing Magazine (2014), 31(4), 142-148

Full Text
See detailMultiobjective Signal Processing Optimization : The way to balance conflicting metrics in 5G systems
Bjornson, Emil; Jorswieck; Debbah; Ottersten, Björn

in IEEE Signal Processing Magazine (2014), 31(6), 14-23

Full Text
See detailInternet shopping with price sensitive discounts
Blazewicz, Jacek; Bouvry, Pascal; Kovalyov, Mikhael; Musial, Jedrzej

in 4OR : Quarterly Journal of the Belgian, French and Italian Operations Research Societies (2014), 12(1), 35-48

Full Text
See detailMore differentially 6-uniform power functions
Blondeau, Céline; Perrin, Léo Paul

in Designs, Codes and Cryptography (2014), 73(2), 487-505

Full Text
See detailIntegrating Legal-URN and Eunomos: towards a comprehensive compliance management solution
Boella, Guido; Colombo Tosatto, Silvano; Ghavanati, Sepideh; Joris, Hulstijn; Humphreys, Llio; Muthuri, Robert; Rifaut, Andre

in Proceedings of AI Approaches to the Complexity of Legal Systems (AICOL 2013) (2014)

Full Text
See detailA Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice
Boella, Guido; Humphreys, Llio; Muthuri, Robert; van der Torre, Leon; Rossi, Piercarlo

in Seventh IEEE Workshop on Requirements Engineering and Law (2014)

Full Text
See detailManaging Legal Resources in Open Government and E-Democracy: Eunomos - an AI and Law Response
Boella, Guido; Muthuri, Robert; Humphreys, Llio

in Parycek, Peter; Edelmann, Noella (Eds.) CeDEM 14 Conference for E-Democracy and Open Government (2014)

Full Text
See detailDistributed Searchable Symmetric Encryption
Bosch; Peter, Andreas; Leenders, Bram; Lim, Hoon Wei; Tang, Qiang; Wang, Huaxiong; Hartel, Pieter; Jonker, Willem

in PST2014 International Conference on Privacy, Security and Trust (2014)

Full Text
See detailFostering Analysis from Industrial Embedded Systems Modeling
Bourdelles, Michel; Li, Shuai; Quadri, Imran; Brosse, Etienne; Sadovykh, Andrey; Gaudin, Emmanuel; Mallet, Frederic; Göknil, Arda; George, David; Kreku, Jari

in Handbook of Research on Embedded Systems Design (2014)

Full Text
See detailObserver Design for a Nonlinear Minimal Model of Glucose Disappearance and Insulin Kinetics
Boutat, Driss; Darouach, Mohamed; Voos, Holger

in The 7th International Conference on Bio-inspired Systems and Signal Processing BIOSIGNALS, Angers, France, 3-6 March 2014 (2014, March)

Full Text
See detailTraceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

in ACM Transactions on Software Engineering & Methodology (2014), 23(1),

Full Text
See detailBluetooth Low Energy for Inter-Vehicular Communications
Bronzi, Walter; Frank, Raphaël; Castignani, German; Engel, Thomas

in 2014 IEEE Vehicular Networking Conference (VNC) (2014, December)

Full Text
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech

in proceedings of Autonomous Agents and Multi-agent Systems (2014)

Full Text
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech

in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)

Full Text
See detailA MCS-based methodology for computing coalitions in Multirobot Systems
Caire, Patrice; Bikakis, Antonis

in Cognitive Robotics (2014)

Full Text
See detailTowards Dialogue Games for the Down-Admissible and Up-Complete Procedures
Caminada, Martin; Booth, Richard

E-print/Working paper (2014)

Full Text
See detailA Comprehensive Centralized Approach for Voltage Constraints Management in Active Distribution Grid
Capitanescu, Florin; Bilibin, Ilya; Romero Ramos, Esther

in IEEE Transactions on Power Systems (2014), 29(2), 933-942

Full Text
See detailAssessing the Potential of Network Reconfiguration to Improve Distributed Generation Hosting Capacity in Active Distribution Systems
Capitanescu, Florin; Ochoa, Luis; Margossian, Harag; Hatziargyriou, Nikos

in IEEE Transactions on Power Systems (2014), 30(1), 346-356

Full Text
See detailTest Data Generation Techniques for Mutation Testing: A Systematic Mapping
Carlos, Francisco; Papadakis, Mike; Durelli, Vinícius; Delamaro, Eduardo Márcio

in Workshop on Experimental Software Engineering (ESELAW'14) (2014)

Full Text
See detailNew Algorithms for Secure Outsourcing of Modular Exponentiations
Chen, Xiaofeng; Li, Jin; Ma, Jianfeng; Tang, Qiang; Lou, Wenjing

in IEEE Trans. Parallel Distrib. Syst. (2014), 25(9), 2386-2396

Full Text
See detailEfficient Algorithms for Secure Outsourcing of Bilinear Pairings
Chen, Xiaofeng; Susilo, Willy; Li, Jin; Wong, Duncan; Ma, Jianfeng; Tang, Shaohua; Tang, Qiang

in Theoretical Computer Science (2014)

Full Text
See detailMinUS: Mining User Similarity with Trajectory Patterns
Chen, Xihui; Kordy, Piotr; Lu, Ruipeng; Pang, Jun

in Proceedings of 17th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD) (2014)

Full Text
See detailMeasuring User Similarity with Trajectory Patterns: Principles and New Metrics
Chen, Xihui; Lu, Ruipeng; Ma, Xiaoxing; Pang, Jun

in Proceedings of the 16th Asia-Pacific Web Conference (2014)

Full Text
See detailProtecting query privacy in location-based services
Chen, Xihui; Pang, Jun

in GeoInformatica (2014), 18(1), 95-133

Full Text
See detailConstructing and comparing user mobility profiles
Chen, Xihui; Pang, Jun; Xue, Ran

in ACM Transactions on the Web (2014), 8(4), 21

Full Text
See detailOn Key Recovery Attacks against Existing Somewhat Homomorphic Encryption Schemes
Chenal, Massimo; Tang, Qiang

in Progress in Cryptology - LATINCRYPT 2014, Florianópolis 17-19 September 2014 (2014)

Full Text
See detailMultibeam Joint Processing in Satellite Communications
Christopoulos, Dimitrios

Doctoral thesis (2014)

Full Text
See detailFrame Based Precoding in Satellite Communications: A Multicast Approach
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in In Proc. of IEEE, Advanced Satellite Multimedia Systems Conference (2014, September)

Full Text
See detailFull frequency reuse multibeam satcoms: frame based precoding and user scheduling
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in Submitted to IEEE Transactions on Wireless Communications, available (2014)

Full Text
See detailMulticast Multigroup Precoding and User Scheduling for Frame-Based Satellite Communications
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS (2014), 14(9), 4695--4707

Full Text
See detailSum Rate Maximizing Multigroup Multicast Beamforming under Per-antenna Power Constraints
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in In Proc. of IEEE, Global Communications Conference, GLOBECOM (2014, December)

Full Text
See detailWeighted Fair Multicast Multigroup Beamforming under Per-antenna Power Constraints
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in Signal Processing, IEEE Transactions on (2014), 62(19), 5132-5142

Full Text
See detailWeighted Fair Multicast Multigroup Beamforming Under Per-antenna Power Constraints
Christopoulos, Dimitrios; Chatzinotas, Symeon; Ottersten, Björn

in Multicast multigroup beamforming under per-antenna power constraints (2014, June)

Full Text
See detailFP7 PROJECT CoRaSat intermediate results and standardization strategy: Cognitive radio techniques in Ka band SatCom context
Chumberre, Nicolas; Evans, Barry; Vanelli-Coralli, Alessandro; Krause, Jens; Grotz, Joel; Sharma, Shree Krishna

in Proc. European Conference on Networks and Communications (EuCNC) (2014, June)

Full Text
See detailImproving Traffic in Urban Environments
Codeca, Lara; Frank, Raphaël; Engel, Thomas

Report (2014)

Full Text
See detailTraffic Routing in Urban Environments: the Impact of Partial Information
Codeca, Lara; Frank, Raphaël; Engel, Thomas

in Proceedings of 17th Internatonal IEEE Conference on Intelligent Transportation Systems (2014, October)

Full Text
See detailAktuelle Entwicklungen im europäischen Datenschutzrecht
Cole, Mark

in Critical Quarterly (2014), 2014(1), 5-8

Full Text
See detailEU Data Retention – Finally Abolished?, Eight Years in Light of Article 8
Cole, Mark; Boehm, Franziska

in Critical Quarterly (2014), 2014(1), 58-78

Full Text
See detailDetecting Deontic Conflicts in Dynamic Settings
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

in Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Eds.) Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

Full Text
See detailBridging Social Network Analysis and Judgment Aggregation
Colombo Tosatto, Silvano; Van Zee, Marc

in Social Informatics - 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014. Proceedings (2014)

Full Text
See detailSocial Network Analysis for Judgment Aggregation
Colombo Tosatto, Silvano; Van Zee, Marc

in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)

Full Text
See detailExample-Dependent Cost-Sensitive Logistic Regression for Credit Scoring
Correa Bahnsen, Alejandro; Aouada, Djamila; Ottersten, Björn

in 2014 13th International Conference on Machine Learning and Applications (2014, December 03)

Full Text
See detailImproving Credit Card Fraud Detection with Calibrated Probabilities
Correa Bahnsen, Alejandro; Stojanovic, Aleksandar; Aouada, Djamila; Ottersten, Björn

in Proceedings of the fourteenth SIAM International Conference on Data Mining, Philadelphia, Pennsylvania, USA, April 24-26, 2014. (2014)

Full Text
See detailModelling implicit dynamic introduction of function symbols in mathematical texts
Cramer, Marcos

in de Paiva, Valeria; et al. (Eds.) Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) Affliated to RTA-TLCA, VSL 2014 July 17-18, 2014 Vienna, Austria. (2014)

Full Text
See detailModelling the usage of partial functions and undefined terms using presupposition theory
Cramer, Marcos

in Geschke, Stefan; Loewe, Benedikt; Schlicht, Philipp (Eds.) Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (2014)

See detailA Toolchain for Model-Based Design and Testing of Access Control Systems
Daoudagh, Said; El Kateb, Donia; Lonetti, Francesca; Marchetti, Eda; Mouelhi, Tejeddine

in MODELSWARD 2015 (2014)

Full Text
See detailAcTinG: Accurate Freerider Tracking in Gossip
Decouchant, Jérémie; Ben Mokhtar, Sonia; Quéma, Vivien

Scientific Conference (2014, October 09)

Full Text
See detailTrapdoor Privacy in Asymmetric Searchable Encryption Schemes
Delerue Arriaga, Afonso; Tang, Qiang; Ryan, Peter

in Progress in Cryptology -- AFRICACRYPT 2014, Marrakesh 28-30 May 2014 (2014)

Full Text
See detailInterpreting Thermal 3D Models of Indoor Environments for Energy Efficiency
Demisse, Girum; Borrman, Dorit; Nuchter, Andreas

in In Journal of Intelligent and Robotic Systems, Springer (2014)

Full Text
See detailA Variability Perspective of Mutation Analysis
Devroey, Xavier; Perrouin, Gilles; Cordy, Maxime; Papadakis, Mike; Legay, Axel; Schobbens, Pierre-Yves

in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014)

Full Text
See detailWorst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

in International Conference on Principles and Practice of Constraint Programming (2014, September)

See detailEvolutionary Algorithms for Mobile Ad Hoc Networks
Dorronsoro, Bernabé; Ruiz, Patricia; Danoy, Grégoire; Pigné, Yoann; Bouvry, Pascal

Book published by John Wiley & Sons (2014)

Full Text
See detailOptimizing AEDB Broadcasting Protocol with Parallel Multi-objective Cooperative Coevolutionary NSGAII
Dorronsoro, Bernabé; Ruiz, Patricia; Talbi, El-Ghazali; Piyatumrong, Apivadee

in Optimizing AEDB Broadcasting Protocol with Parallel Multi-objective Cooperative Coevolutionary NSGAII (2014)

Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailRevisiting Model-driven Engineering for Run-time Verification of Business Processes
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)

Full Text
See detailOn the verifiability of (electronic) exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele

Report (2014)

Full Text
See detailFormal Analysis of Electronic Exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele; Ryan, Peter

in SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (2014)

Full Text
See detailTowards a Full Support of Obligations In XACML
El Kateb, Donia; Elrakaiby, Yehia; Mouelhi, Tejeddine; Rubab, Iram; Le Traon, Yves

Scientific Conference (2014)

Full Text
See detailOptimizing Multi-Objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
El Kateb, Donia; Fouquet, François; bourcier, Johann; Le Traon, Yves

Scientific Conference (2014, October)

Full Text
See detailGeneric Cloud Platform Multi-objective Optimization Leveraging Models@run.time
El Kateb, Donia; Fouquet, François; Nain, Grégory; Meira, Jorge Augusto; Ackerman, Michel; Le Traon, Yves

Scientific Conference (2014, March)

Full Text
See detailConviviality-Driven Access Control Policy
El Kateb, Donia; Zannone, Nicola; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, Tejeddine; Le Traon, Yves

in Requirements Engineering (2014)

Full Text
See detailDynamic analysis of usage control policies.
Elrahaiby, Yehia; Pang, Jun

in Proceedings of the 11th Conference on Security and Cryptography (SECRPT) (2014)

Full Text
See detailA Flexible MDE approach to Enforce Fine- grained Security Policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Proceedings of the International Symposium on Engineering Secure Software and Systems (2014)

Full Text
See detailSecurity@Runtime: A flexible MDE approach to enforce fine-grained security policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014), 8364 LNCS

Full Text
See detailA Conceptual Framework to Study Socio-Technical Security
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Lecture Notes in Computer Science (2014)

Full Text
See detailSocio-technical Security Analysis of Wireless Hotspots
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Lecture Notes in Computer Science (2014)

Full Text
See detailEnvisioning secure and usable access control for patients
Ferreira, Ana; Lenzini, Gabriele; Santos-Pereira, Cátia; Augusto, Alexandre; Correia, Manuel

in IEEE 3rd International Conference on Serious Games and Applications in Healthcare (2014, May)

Full Text
See detailNC-CELL: Network Coding-based Content Distribution in Cellular Networks for Cloud Applications
Fiandrino, Claudio; Kliazovich, Dzmitry; Bouvry, Pascal; Zomaya, Albert Y.

in IEEE Global Communications Conference, Austin, TX, USA, 2014 (2014)

Full Text
See detailAn Event-Driven Inter-Vehicle Communication Protocol to Attenuate Vehicular Shock Waves
Forster, Markus; Frank, Raphaël; Engel, Thomas

in International Conference on Connected Vehicles and Expo (2014, November)

Full Text
See detailA Cooperative Advanced Driver Assistance System to Mitigate Vehicular Traffic Shock Waves
Forster, Markus; Frank, Raphaël; Gerla, Mario; Engel, Thomas

in IEEE INFOCOM 2014 - IEEE Conference on Computer Communications (2014)

Full Text
See detailKevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
Fouquet, François; Nain, Grégory; Morin, Brice; Daubert, Erwan; Barais, Olivier; Plouzeau, Noël; Jézéquel, Jean-Marc

Report (2014)

Full Text
See detailBluetooth Low Energy: An Alternative Technology for VANET Applications
Frank, Raphaël; Bronzi, Walter; Castignani, German; Engel, Thomas

in Proceedings of the 11th IEEE/IFIP Annual Conference on Wireless On-demand Network Systems and Services (2014, April)

Full Text
See detailDemo: A Recommendation Based Driver Assistance System to Mitigate Vehicular Traffic Shock Waves
Frank, Raphaël; Forster, Markus

in 2014 IEEE Vehicular Networking Conference (VNC) (2014, December)

Full Text
See detailProceedings of the 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014)
Frank, Raphaël; Forster, Markus; Sommer, Christoph; Kargl, Frank; Engel, Thomas

Report (2014)

Full Text
See detailCollaborative Traffic Sensing: A Case Study of a Mobile Phone Based Traffic Management System
Frank, Raphaël; Weitz, Hervé; Castignani, German; Engel, Thomas

in Proceedings of the 11th IEEE Consumer Communications and Networking Conference (CCNC'14) (2014, January 10)

Full Text
See detailOnline learning-based robust visual tracking for autonomous landing of Unmanned Aerial Vehicles
Fu, Changhong; Carrio, A.; Olivares Mendez, Miguel Angel; Campoy, P.

in Unmanned Aircraft Systems (ICUAS), 2014 International Conference on (2014, May)

Full Text
See detailRobust real-time vision-based aircraft tracking from Unmanned Aerial Vehicles
Fu, Changhong; Carrio, A.; Olivares Mendez, Miguel Angel; Suarez-Fernandez, R.; Campoy, P.

in Robotics and Automation (ICRA), 2014 IEEE International Conference on (2014, May)

Full Text
See detailMonocular Visual-Inertial SLAM-Based Collision Avoidance Strategy for Fail-Safe UAV Using Fuzzy Logic Controllers
Fu, Changhong; Olivares Mendez, Miguel Angel; Suarez-Fernandez, Ramon; Campoy, Pascual

in Journal of Intelligent & Robotic Systems (2014), 73(1-4), 513-533

Full Text
See detailH_∞ decentralized dynamic-observer-based control design for large-scale nonlinear intercon-nected systems
Gao, Nan; Darouach, Mohamed; Alma, Marouane; Voos, Holger

in Transaction on IoT and Cloud Computing (2014), 2(3), 46-66

Full Text
See detailH∞ decentralized dynamic-observer-based control for large-scale uncertain nonlinear systems
Gao, Nan; Darouach, Mohamed; Alma, Marouane; Voos, Holger

in IEEE Int. Conf. on Control, Decision and Information Technologies (CoDIT), Metz, France, 3-5 Nov. 2014 (2014, November)

Full Text
See detailH-infinity dynamic observer design for linear time invariant systems
Gao, Nan; Darouach, Mohamed; Voos, Holger; Alma, Marouane

in 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), Los Angeles, USA (2014, December)

Full Text
See detailRobust unified H_infinity dynamic observer design for uncertain systems
Gao, Nan; Darouach, Mohamed; Voos, Holger; Alma, Marouane

in 33rd Chinese Control Conference (CCC), Nanjing, China, 28-30 July 2014 (2014, July)

Full Text
See detailCPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud
Garcia Becerro, Frederic; Ottersten, Björn

in 22nd International Conference on Pattern Recognition (2014, August 27)

Full Text
See detailCPU-based real-time surface and solid voxelization for incomplete point cloud
Garcia, Frederic D.; Ottersten, Björn

in Proceedings of the 22nd International Conference on Pattern Recognition (2014)

Full Text
See detailLarge Pages May Be Harmful on NUMA Systems
Gaud, Fabien; Lepers, Baptiste; Decouchant, Jérémie; Fuston, Justin; Fedorova, Alexandra; Quéma, Vivien

Scientific Conference (2014, June)

Full Text
See detailCompliance with Multiple Regulations
Ghanavati, Sepideh; Humphreys, Llio; Boella, Guido; di Caro, Luigi; Robaldo, Livio

in Conceptual Modeling, Lecture Notes in Computer Science 8824 (2014)

Full Text
See detailSpatial Multiplexing in Optical Feeder Links for High Throughput Satellites
Gharanjik, Ahmad; Liolis, Konstantinos; Shankar, Bhavani; Ottersten, Björn

in Spatial Multiplexing in Optical Feeder Links for High Throughput Satellites (2014, December 02)

Full Text
See detailA New Approach to EU Data Protection
Giurgiu, Andra; Lommel, Gérard

in Critical Quarterly for Legislation and Law (2014), 97(1), 10-27

See detailSmart TV - Smarte Regulierung
Giurgiu, Andra; Metzdorf, Jenny

in Taeger, Jürgen (Ed.) Big Data & Co., Neue Herausforderungen für das Informationsrecht (2014)

Full Text
See detailRemark!: A Secure Protocol for Remote Exams
Giustolisi, Rosario; Lenzini, Gabriele; Ryan, Peter

in Security Protocols XXII - Lecture Notes in Computer Science (2014)

Full Text
See detailChange Impact Analysis for Requirements: a Metamodeling Approach
Göknil, Arda; Kurtev, Ivan; van den Berg, Klaas; Sipijkerman, Wietze

in Information & Software Technology (2014), 56(8), 950-972

Full Text
See detailExperimental Evaluation of a Tool for Change Impact Prediction in Requirements Models: Design, Results, and Lessons Learned
Göknil, Arda; van Domburg, Roderick; Kurtev, Ivan; van den Berg, Klaas; Wijnhoven, Fons

in The Fourth International Model-Driven Requirements Engineering (MoDRE) workshop (2014)

Full Text
See detailStereo Reconstruction using Induced Symmetry and 3D scene priors
Goncalves Almeida Antunes, Michel

Doctoral thesis (2014)

Full Text
See detailTowards Cognitive Internet: an Evolutionary Vision
Granelli, Fabrizio; Kliazovich, Dzmitry; Malheiros, Neumar

in Cognitive Radio and Networking for Heterogeneous Wireless Networks (2014)

Full Text
See detailA Multilayer Software Architecture for Safe Autonomous Robots
Gribov, Vladislav; Voos, Holger

in Proceedings of 19th IEEE International Conference on Emerging Technologies and Factory Automation, Barcelona, Spain, 16-19 Sept. 2014 (2014, September)

Full Text
See detailParaMASK: a Multi-Agent System for the Efficient and Dynamic Adaptation of HPC Workloads
Guzek, Mateusz; Besseron, Xavier; Varrette, Sébastien; Danoy, Grégoire; Bouvry, Pascal

in 14th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2014) (2014, December)

Full Text
See detailMulti-objective evolutionary algorithms for energy-aware scheduling on distributed computing systems
Guzek, Mateusz; Pecero, Johnatan; Dorronsoro, Bernabé; Bouvry, Pascal

in Applied Soft Computing (2014), 24

Full Text
See detailA Holistic Model of the Performance and the Energy-Efficiency of Hypervisors in an HPC Environment
Guzek, Mateusz; Varrette, Sébastien; Plugaru, Valentin; Pecero, Johnatan; Bouvry, Pascal

in Concurrency & Computation : Practice & Experience (2014)

Full Text
See detailDecentralized Power Supply for Small and Medium User Facilities
Hadji-Minaglou, Jean-Régis; Hoben, Ralf; Peters, Bernhard

Patent (2014)

Full Text
See detailGenerating Realistic Smart Grid Communication Topologies Based on Real-Data
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves; Pelov, Alexander; Toutain, Laurent; Ropitault, Tanguy

in 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2014, November)

Full Text
See detailReactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Nain, Grégory; Le Traon, Yves

in Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (2014, April)

Full Text
See detailModel-based time-distorted Contexts for efficient temporal Reasoning
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Brice, Morin; Klein, Jacques; Le Traon, Yves

Poster (2014, July 02)

Full Text
See detailA Native Versioning Concept to Support Historized Models at Runtime
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Barais, Olivier; Le Traon, Yves

in Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio (Eds.) Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings (2014)

Full Text
See detailReasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Le Traon, Yves

in Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (2014, July)

Full Text
See detailCoordinated Multicell Multiuser Precoding for Maximizing Weighted Sum Energy Efficiency
He, Shiwen; Huang, Yongming; Yang, Luxi; Ottersten, Björn

in IEEE Transactions on Signal Processing (2014), 62(3), 741-751

Full Text
See detailMutaLog: a Tool for Mutating Logic Formulas
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

Full Text
See detailMutation-based Generation of Software Product Line Test Configurations
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)

Full Text
See detailBypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

in IEEE Transactions on Software Engineering (2014), 40(7), 650-670

Full Text
See detailAnalysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions
Hermann, Frank; Ehrig, Hartmut; Corradini, Andrea

in Mathematical Structures in Computer Science (2014), 24(4-09), 1-47

Full Text
See detailFormal Analysis of Model Transformations Based on Triple Graph Grammars
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando

in Mathematical Structures in Computer Science (2014), 24(4-08), 1-57

Full Text
See detailTriple Graph Grammars in the Large for Translating Satellite Procedures
Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Ehrig, Hartmut; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas; Ermel, Claudia

in Theory and Practice of Model Transformations (2014, July)

Full Text
See detailTriple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version
Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Ehrig, Hartmut; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas; Ermel, Claudia

Report (2014)

Full Text
See detailCorrectness of source code extension for fault detection in openflow based networks
Hermann, Frank; Hommes, Stefan; State, Radu; Engel, Thomas

Report (2014)

Full Text
See detailSolving the FIXML2Code-case Study with HenshinTGG
Hermann, Frank; Nachtigall, Nico; Braatz, Benjamin; Engel, Thomas; Gottmann, Susann

in Rose, Louis M.; Krause, Christian; Horn, Tassilo (Eds.) Proceedings of the 7th Transformation Tool Contest - part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences (2014)

Full Text
See detailDeclarative Specification of Robot Perception Architectures
Hochgeschwender, Nico; Schneider, Sven; Voos, Holger; Kraetzschmar, Gerhard

in Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), Bergamo, Italy, Oct. 2014 (2014, October)

Full Text
See detailEmpirical Evaluations on the Cost-Effectiveness of State-Based Testing: An Industrial Case Study
Holt, Nina; Briand, Lionel; Torkar, Richard

in Information & Software Technology (2014), 56(8), 890910

Full Text
See detailImplications and Detection of DoS Attacks in OpenFlow-based Networks
Hommes, Stefan; State, Radu; Engel, Thomas

in 2014 IEEE Global Communications Conference (2014)

Full Text
See detailAre Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation
Hong, Shin; Staats, Matthew; Ahn, Jaemin; Kim, Moonzoo; Rothermel, Gregg

in Software Testing, Verification & Reliability (2014)

Full Text
See detailApplying UML/MARTE on industrial projects: challenges, experiences, and guidelines
Iqbal, Zohaib; Ali, Shaukat; Yue, Tao; Briand, Lionel

in Software & Systems Modeling (2014)

Full Text
See detailStatistical Framework for Optimization in the Multi-User MIMO Uplink With ZF-DFE
Järmyr, Simon; Ottersten, Björn; Jorswieck, Eduard A.

in IEEE Transactions on Signal Processing (2014), 62(10), 2730-2745

Full Text
See detailPosition Identification in Force-Guided Robotic Peg-in-Hole Assembly Tasks
Jasim, Ibrahim; Plapper, Peter; Voos, Holger

in Procedia CIRP (2014), 22

Full Text
See detailUsing opcode-sequences to detect malicious Android applications
Jerome, Quentin; Allix, Kevin; State, Radu; Engel, Thomas

in IEEE International Conference on Communications, ICC 2014, Sydney Australia, June 10-14, 2014 (2014, June)

Full Text
See detailHow to prove the validity of a complex ballot encryption to the voter and the public
Joaquim, Rui

in Journal of Information Security and Applications (2014)

Full Text
See detailFeasibility of Positive Secrecy Rate in Wiretap Interference Channels
Kalantari, Ashkan; Maleki, Sina; Zheng, Gan; Chatzinotas, Symeon; Ottersten, Björn

in IEEE Global Conference on Signal and Information Processing (GlobalSIP) (2014, December 03)

Full Text
See detailProfiling Cloud Applications with Hardware Performance Counters
Kandalintsev, Alexandre; Lo Cigno, Renato; Kliazovich, Dzmitry; Bouvry, Pascal

in International Conference on Information Networking (ICOIN), Phuket, Thailand, 2014 (2014)

Full Text
See detailAdaptive Control of Aerial Manipulation Vehicle
Kannan, Somasundar; Alma, Marouane; Olivares Mendez, Miguel Angel; Voos, Holger

in Porceedings of the 4th IEEE INTERNATIONAL CONFERENCE ON CONTROL SYSTEM, COMPUTING AND ENGINEERING (2014, November)

Full Text
See detailIndex assignment for multiple description repair in distributed storage systems
Kapetanovic, Dzevdan; Chatzinotas, Symeon; Ottersten, Björn

in ICC 2014 (2014)

Full Text
See detailDecentralized Traceable Attribute-Based Signatures
Khader, Dalia; El Kaafarani, Ali; Ghadafi, Essam

in LNCS (2014)

Full Text
See detailBi-objective Exact Optimization of Satellite Payload Power Configuration
Kieffer, Emmanuel; Stathakis, Apostolos; Danoy, Grégoire; Bouvry, Pascal; Morelli, Gianluigi

in VIII ALIO/EURO Workshop on Applied Combinatorial Optimization (2014, December)

Full Text
See detailMulti-Objective Evolutionary Approach for the Satellite Payload Power Optimization Problem
Kieffer, Emmanuel; Stathakis, Apostolos; Danoy, Grégoire; Bouvry, Pascal; Talbi, El-Ghazali; Morelli, Gianluigi

in IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2014) (2014, December)

Full Text
See detailBi-objective Optimization of Satellite Payload Power Configuration
Kieffer, Emmanuel; Stathakis, Apostolos; Danoy, Grégoire; Talbi, El-Ghazali; Bouvry, Pascal

in International Conference on Metaheuristics and Nature Inspired Computing (META 2014) (2014, October)

See detailAPI Document Quality for Resolving Deprecated APIs
Ko, Deokyoon; Ma, Kyeongwook; Park, Sooyong; Kim, Suntae; Kim, Dongsun; Le Traon, Yves

Scientific Conference (2014, December 01)

See detailProceedings First International Workshop on Graphical Models for Security, GraMSec 2014
Kordy, Barbara; Mauw, Sjouke; Pieters, Pieters

in First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014 (2014)

Full Text
See detailA Probabilistic Framework for Security Scenarios with Dependent Actions
Kordy, Barbara; Schweitzer, Patrick; Pouly, Marc

in The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy (2014)

Full Text
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr; Langerak, Rom; Mauw, Sjouke; Polderman, Jan

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Full Text
See detailA Wearable Revolution: Is the smartwatch the next small big thing?
Kracheel, Martin; Bronzi, Walter; Kazemi, Hamed

Article for general public (2014)

Full Text
See detailSTUDYING COMMUTER BEHAVIOUR FOR GAMIFYING MOBILITY
Kracheel, Martin; McCall, Roderick; Koenig, Vincent

Presentation (2014, September 30)

Full Text
See detailIncentives and gaming environments for changing commuter behaviour
Kracheel, Martin; McCall, Roderick; Koenig, Vincent; Engel, Thomas; Martin, Romain

Scientific Conference (2014, September 30)

Full Text
See detailApplication of Cognitive Techniques to Network Management and Control
Kukliński, Sławomir; Wytrębowicz, Jacek; Dinh, Khoatruong; Tantar, Emilia

in Tantar, Alexandru-Adrian; Tantar, Emilia; Sun, Jian-Qiao; Zhang, Wei; Ding, Qian; Schütze, Oliver; Emmerich, Michael; Legrand, Pierrick; Del Moral, Pierre; Coello Coello, Carlos A. (Eds.) EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V (2014)

Full Text
See detailCompressive Spectrum Sensing in the Presence of Multiple Primary Users and Interference: Comparison of Sparse Reconstruction Strategies
Lagunas, Eva; Najar, Montse

in European Signal Processing Conference (EUSIPCO) (2014, September)

Full Text
See detailRobust Primary User Identification using Compressive Sensing for Cognitive Radios
Lagunas, Eva; Najar, Montse

in IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP) (2014, May)

Full Text
See detailSpatial Sparsity Based Direct Positioning for IR-UWB in IEEE 802.15.4a Channels
Lagunas, Eva; Najar, Montse; Navarro, Monica; Closas, Pau

in IEEE Int. Conf. UltraWide-Band (ICUWB) (2014)

Full Text
See detailDSLForge: Textual Modeling on the Web
Lajmi, Amine; Martinez, Jabier; Ziadi, Tewfik

in MODELS Demonstrations 2014 (2014)

Full Text
See detailWhat Public Keys Can Do for Three-Party, Password-Authenticated Key Exchange
Lancrenon, Jean

in Sokratis; Agudo, Isaac (Eds.) Public Key Infrastructures, Services and Applications: 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers (2014, September)

Full Text
See detailLetting the Puss in Boots Sweat: Detecting Fake Access Points using Dependency of Clock Skews on Temperature
Lanze, Fabian; Panchenko, Andriy; Braatz, Benjamin; Engel, Thomas

in Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2014) (2014)

Full Text
See detailUndesired Relatives: Protection Mechanisms Against The Evil Twin Attack in IEEE 802.11
Lanze, Fabian; Panchenko, Andriy; Ponce-Alcaide, Ignacio; Engel, Thomas

in Proceedings of the 10th ACM International Symposium on QoS and Security for Wireless and Mobile Networks (2014, September)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

in The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), IEEE, Sept. 2014, Beijing, China. (2014, September)

Full Text
See detailDetecting privacy leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, February 26)

Full Text
See detailUsing A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, March 12)

Full Text
See detailI know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

Report (2014)

Full Text
See detailSymbolic analysis of an electric vehicle charging protocol.
Li, Li; Pang, Jun; Liu, Yang; Sun, Jun; Dong, Jin Song

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014)

Full Text
See detailA strand space approach to provable anonymity
Li, Yongjian; Pang, Jun

in Proc. 2nd Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13) (2014)

Full Text
See detailRobust H ∞ cyber-attacks estimation for control systems
Li, Yumei; Voos, Holger; Darouach, Mohamed

in Proceedings of the 33rd CCC, Nanjing 28-30 July 2014 (2014, July 28)

Full Text
See detailA Stochastic Cyber-Attack Detection Scheme for Stochastic Control Systems Based on Frequency-Domain Transformation Technique
Li, Yumei; Voos, Holger; Darouach, Mohamed

in Au, Man ho (Ed.) International Conference on Network and System Security, NSS 2014, Xi'An, China, 15-17 October 2014 (2014, October 15)

Full Text
See detailDodona: Automated Oracle Data Set Selection
Loyola, Pablo; Staats, Matthew; Ko, In-Young; Rothermel, Gregg

in International Symposium on Software Testing and Analysis 2014 (2014)

Full Text
See detailIntra-query Adaptivity for MapReduce Query Processing Systems
Lucas Filho, Edson Ramiro; Cunha De Almeida, Eduardo; Le Traon, Yves

in IDEAS 2014 : 18th International Database Engineering Applications Symposium (2014)

Full Text
See detailModel Transformation Intents and Their Properties
Lúcio, Lévi; Amrani, Moussa; Dingel, Jürgen; Lambers, Leen; Salay, Rick; Selim, Gehan; Syriani, Eugene; Wimmer, Manuel

in Software & Systems Modeling (2014)

Full Text
See detailAdvances in Model-Driven Security
Lucio, Levi; Zhang, Qin; Nguyen, Phu Hong; Amrani, Moussa; Klein, Jacques; Vangheluwe, Hans; Le Traon, Yves

in Memon, Atif (Ed.) Advances in Computers (2014)

Full Text
See detailCognitive Radio for Ka Band Satellite Communications
Maleki, Sina; Chatzinotas, Symeon; Sharma, Shree Krishna; Guidotti, Alessandro; Tarchi, Daniele; Vanelli-Coralli, Alessandro; Tang, Wuchen; Evans, Barry G.; Grotz, Joel; Liolis, Konstantinos; Krause, Jens; Chuberre, Nicolas

in 32nd AIAA International Communications Satellite Systems Conference, August 2014 (2014, August)

Full Text
See detailPower Allocation for Energy-Constrained Cognitive Radios in the Presence of an Eavesdropper
Maleki, Sina; Kalantari, Ashkan; Chatzinotas, Symeon; Ottersten, Björn

in 2014 IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP) (2014, May)

Full Text
See detailTo AND or To OR: How Shall the Fusion Center Rule in Energy-Constrained Cognitive Radio Networks?
Maleki, Sina; Leus, Geert; Chatzinotas, Symeon; Ottersten, Björn

in IEEE International Conference on Communications (ICC), 10-14 June 2014, Sydney, Australia (2014, June)

Full Text