Lenguajes y Sistemas Informáticos
Departamento
IK4-IKERLAN
Arrasate / Mondragon, EspañaPublicaciones en colaboración con investigadoras/es de IK4-IKERLAN (25)
2023
-
Deep Reinforcement Learning-based Task Offloading in MEC for energy and resource-constrained devices
2023 IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2023
-
Sniper Backdoor: Single Client Targeted Backdoor Attack in Federated Learning
Proceedings - 2023 IEEE Conference on Secure and Trustworthy Machine Learning, SaTML 2023
-
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Journal of Logical and Algebraic Methods in Programming, Vol. 130
2022
-
A Survey of Physical Layer Techniques for Secure Wireless Communications in Industry
IEEE Communications Surveys and Tutorials, Vol. 24, Núm. 2, pp. 810-838
-
A Survey on FEC Techniques for Industrial Wireless Communications
IEEE Open Journal of the Industrial Electronics Society, Vol. 3, pp. 674-699
-
Poster: Backdoor Attacks on Spiking NNs and Neuromorphic Datasets
Proceedings of the ACM Conference on Computer and Communications Security
2021
-
20 years of industrial experience at SPLC: A systematic mapping study
ACM International Conference Proceeding Series
-
Lossless compression of industrial time series with direct access
Computers in Industry, Vol. 132
-
Verified Model Checking for Conjunctive Positive Logic
SN Computer Science, Vol. 2, Núm. 5
2020
-
LDPC matrix analysis for short packet transmission in factory automation scenarios
Proceedings of the 2020 IEEE International Conference on Electrical Engineering and Photonics, EExPolytech 2020
-
PEG-LDPC Coding for Critical Communications in Factory Automation
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2019
-
A Combined Approach for Eliciting Relationships for Educational Ontologies Using General-Purpose Knowledge Bases
IEEE Access, Vol. 7, pp. 48339-48355
-
Change analysis of #if-def blocks with FeatureCloud
ACM International Conference Proceeding Series
-
Change analysis of #if-def blocks with FeatureCloud
PervasiveHealth: Pervasive Computing Technologies for Healthcare
-
Change analysis of #if-def blocks with FeatureCloud
ACM International Conference Proceeding Series
-
NOMA-based 802.11n for Broadcasting Multimedia Content in Factory Automation Environments
IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB
-
On the use of white rabbit for precise time transfer in 5G URLLC networks for factory automation applications
Proceedings - 2019 IEEE International Conference on Industrial Cyber Physical Systems, ICPS 2019
-
Towards certified model checking for PLTL using one-pass tableaux
Leibniz International Proceedings in Informatics, LIPIcs
2017
-
Testuliburuetatik domeinu-modulu eleaniztunak eraikitzen
Ekaia: Euskal Herriko Unibertsitateko zientzi eta teknologi aldizkaria, Núm. 31, pp. 117-132
2015
-
Editing anxiety in corporate wikis: From private drafting to public edits
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)