Ana Fernández Vilas

Bruno Fernández Castro

Comput. Networks, February, 2024

QKDNetSim+: Improvement of the Quantum Network Simulator for NS-3.

[BibT_eX]

[DOI]

David Soler

Iván Cillero

Carlos Dafonte

Francisco Javier Nóvoa

CoRR, 2024

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs.

[BibT_eX]

[DOI]

David Soler

Carlos Dafonte

Francisco Javier Nóvoa

CoRR, 2024

Interplay between Cryptocurrency Transactions and Online Financial Forums.

[BibT_eX]

[DOI]

Daniel Couto Cancela

Alejandro Torrado Pazos

CoRR, 2024

2023

Irregular repetition slotted Aloha with multiuser detection: A density evolution analysis.

[BibT_eX]

[DOI]

M. Estela Sousa Vieira

Comput. Networks, October, 2023

Decentralised and collaborative machine learning framework for IoT.

[BibT_eX]

[DOI]

Martín González Soto

Bruno Rodríguez-Castro

Eduardo A. Soto Rodríguez

CoRR, 2023

Impact of Computer-Based Assessments on the Science's Ranks of Secondary Students.

[BibT_eX]

[DOI]

CoRR, 2023

Classification of retail products: From probabilistic ranking to neural networks.

[BibT_eX]

[DOI]

Manar Mohamed Hafez

Héctor Olivera Pazó

CoRR, 2023

Irregular Repetition Slotted Aloha with Multipacket Detection: A Density Evolution Analysis.

[BibT_eX]

[DOI]

M. Estela Sousa Vieira

CoRR, 2023

Anti-Sexism Alert System: Identification of Sexist Comments on Social Media Using AI Techniques.

[BibT_eX]

[DOI]

Bahaa-Eldin Ali Abdelghany

Mateo Ramos Merino

Sonia Valladares

Soledad Torres-Guijarro

Manar Mohamed Hafez

CoRR, 2023

Scheduling and Communication Schemes for Decentralized Federated Learning.

[BibT_eX]

[DOI]

Hadeel Abd El-Kareem Abd El-Moaty Saleh

Nashwa El-Bendary

Ammar M. Hassan

Walid M. Abdelmoez

CoRR, 2023

Using Decentralized Aggregation for Federated Learning with Differential Privacy.

[BibT_eX]

[DOI]

Yasser El-Sonbaty

CoRR, 2023

Towards Adaptive RF Fingerprint-based Authentication of IIoT devices.

[BibT_eX]

[DOI]

Emmanuel Lomba

Ricardo Severino

Zurisaddai de la Cruz Severiche Maury

CoRR, 2023

Low-Cost HEM with Arduino and Zigbee Technologies in the Energy Sector in Colombia.

[BibT_eX]

[DOI]

Francisco Troncoso-Pastoriza

CoRR, 2023

A Blockchain Solution for Collaborative Machine Learning over IoT.

[BibT_eX]

[DOI]

Carlos Beis-Penedo

Martín González Soto

CoRR, 2023

A Review on Cryptocurrency Transaction Methods for Money Laundering.

[BibT_eX]

[DOI]

Hugo Almeida

Pedro Pinto

Proceedings of the 5th International Conference on Finance, 2023

Qerberos: A Protocol for Secure Distribution of QRNG Keys.

[BibT_eX]

[DOI]

David Soler

Carlos Dafonte

Francisco Javier Nóvoa

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2022

Prototype of deployment of Federated Learning with IoT devices.

[BibT_eX]

[DOI]

Pablo García Santaclara

Hadeel Abd El-Kareem Abd El-Moaty Saleh

Proceedings of the 19th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, 2022

Using Decentralized Aggregation for Federated Learning with Differential Privacy.

[BibT_eX]

[DOI]

Bahaa-Elden A. Abdelghany

Yasser El-Sonbaty

Nashwa El-Bendary

Proceedings of the 19th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, 2022

Scheduling and Communication Schemes for Decentralized Federated Learning.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Computer Theory and Applications, 2022

Work In Progress: Towards Adaptive RF Fingerprint-based Authentication of IIoT devices.

[BibT_eX]

[DOI]

Emmanuel Lomba

Ricardo Severino

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

QSMVM: QoS-Aware and Social-Aware Multimetric Routing Protocol for Video-Streaming Services over MANETS.

[BibT_eX]

[DOI]

Efraín Palacios Jara

Ahmad Mohamad Mezher

Mónica Aguilar-Igartua

Sensors, 2021

Multi-Criteria Recommendation Systems to Foster Online Grocery.

[BibT_eX]

[DOI]

Manar Mohamed Hafez

Héctor Olivera Pazó

Sensors, 2021

Integrating micro-learning content in traditional e-learning platforms.

[BibT_eX]

[DOI]

Juan José López López Escobar

Manuel Caeiro Rodríguez

Multim. Tools Appl., 2021

Can the Type of Content You Share on eLearning Forums Reveal What Kind of Student You Are?

[BibT_eX]

[DOI]

Rev. Iberoam. de Tecnol. del Aprendiz., 2021

Credibility assessment of financial stock tweets.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2021

KPIs-Based Clustering and Visualization of HPC Jobs: A Feature Reduction Approach.

[BibT_eX]

[DOI]

Mohamed Soliman Halawa

IEEE Access, 2021

2020

Security Aspects in Smart Meters: Analysis and Prevention.

[BibT_eX]

[DOI]

Gabriel Fernández dos Reis

Sensors, 2020

Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers.

[BibT_eX]

[DOI]

Mohamed Soliman Halawa

Sensors, 2020

A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics.

[BibT_eX]

[DOI]

Carlos García-Rubio

Celeste Campo

Alicia Rodriguez-Carrion

Future Gener. Comput. Syst., 2020

The Irruption of Cryptocurrencies Into Twitter Cashtags: A Classifying Solution.

[BibT_eX]

[DOI]

Florina Almenárez Mendoza

Antón Lorenzo García

IEEE Access, 2020

INRISCO: INcident monitoRing in Smart COmmunities.

[BibT_eX]

[DOI]

Mónica Aguilar-Igartua

Manuela I. Martín-Vicente

Jordi Forné

Celeste Campo

Luis J. de la Cruz Llopis

David Rebollo-Monedero

Patricia Arias Cabarcos

Francisco Rico-Novella

IEEE Access, 2020

Inferring Energy Consumption Patterns in Public Buildings.

[BibT_eX]

[DOI]

Antonio Abadía Rodríguez

Proceedings of the PE-WASUN '20, 2020

Monitoring Electricity Consumption Based on Time Series Analysis.

[BibT_eX]

[DOI]

Alberto Estévez-Caldas

Proceedings of the Intelligent Environments 2020, 2020

2019

Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems.

[BibT_eX]

[DOI]

Sophie Chabridon

Denis Conan

Sensors, 2019

Twitter permeability to financial events: an experiment towards a model for sensing irregularities.

[BibT_eX]

[DOI]

Keeley A. Crockett

Majdi Sabe Owda

Lewis Evans

Multim. Tools Appl., 2019

A methodology for the resolution of cashtag collisions on Twitter - A natural language processing & data fusion approach.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2019

Analysis of crowds' movement using Twitter.

[BibT_eX]

[DOI]

Mohamed Ben Khalifa

Comput. Intell., 2019

Spectrophotometers for labs: A cost-efficient solution based on smartphones.

[BibT_eX]

[DOI]

Carlos Balado Sánchez

Angel M. Sánchez Bermúdez

Comput. Appl. Eng. Educ., 2019

Fog Computing Solution for Distributed Anomaly Detection in Smart Grids.

[BibT_eX]

[DOI]

Radwa El-Awadi

Proceedings of the 2019 International Conference on Wireless and Mobile Computing, 2019

Application of learning analytics techniques on blended learning environments for university students.

[BibT_eX]

[DOI]

Proceedings of the Learning Analytics Summer Institute Spain 2019: Learning Analytics in Higher Education, 2019

Supervised Performance Anomaly Detection in HPC Data Centers.

[BibT_eX]

[DOI]

Mohamed Soliman Halawa

Proceedings of the International Conference on Advanced Machine Learning Technologies and Applications, 2019

2018

Space Occupancy through BLE Dynamic Broadcasting.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2018

The workforce analyzer: group discovery among LinkedIn public profiles.

[BibT_eX]

[DOI]

Kais Dai

J. Ambient Intell. Humaniz. Comput., 2018

Discovering geo-dependent stories by combining density-based clustering and thread-based aggregation techniques.

[BibT_eX]

[DOI]

Héctor Cerezo-Costas

Manuela I. Martín-Vicente

Expert Syst. Appl., 2018

Analysing the Potential of BLE to Support Dynamic Broadcasting Scenarios.

[BibT_eX]

[DOI]

CoRR, 2018

Collaboratively assessing urban alerts in ad hoc participatory sensing.

[BibT_eX]

[DOI]

Comput. Networks, 2018

Big Data Fusion Model for Heterogeneous Financial Market Data (FinDf).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2018

Automatic Attendance Control System based on BLE Technology.

[BibT_eX]

[DOI]

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

Dynamic Content Distribution over BLE iBeacon Technology: Implementation Challenges.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Control, 2018

2017

Identifying urban crowds using geo-located Social media data: a Twitter experiment in New York City.

[BibT_eX]

[DOI]

Mohamed Ben Khalifa

Daniel Rodríguez Domínguez

J. Intell. Inf. Syst., 2017

Sensing the city with Instagram: Clustering geolocated data for outlier detection.

[BibT_eX]

[DOI]

Mohamed Ben Khalifa

Expert Syst. Appl., 2017

Combining Fog Architectures and Distributed Event-Based Systems for Mobile Sensor Location Certification.

[BibT_eX]

[DOI]

Denis Conan

Sophie Chabridon

Chantal Taconet

Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2017

Discovering knowledge from student interactions: clustering vs classification.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality, 2017

BLE broadcasting impact in a real network environment.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

Experiment for Analysing the Impact of Financial Events on Twitter.

[BibT_eX]

[DOI]

Lewis Evans

Majdi Sabe Owda

Keeley A. Crockett

Proceedings of the Algorithms and Architectures for Parallel Processing, 2017

2016

Have You Also Seen That? Collaborative Alert Assessment in Ad Hoc Participatory Sensing.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2016

Is interpersonal participation relevant to pass?

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, November 02, 2016

2015

IPTV parental control: A collaborative model for the Social Web.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2015

Scraping and Clustering Techniques for the Characterization of Linkedin Profiles.

[BibT_eX]

[DOI]

Kais Dai

CoRR, 2015

Am I failing this course?: risk prediction using e-learning data.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Technological Ecosystems for Enhancing Multiculturality, 2015

Are Tweets Biased by Audience? An Analysis from the View of Topic Diversity.

[BibT_eX]

[DOI]

Proceedings of the Social Computing, Behavioral-Cultural Modeling, and Prediction, 2015

Why are these people there? An analysis based on Twitter.

[BibT_eX]

[DOI]

Mohamed Ben Kalifa

Proceedings of the 6th International Conference on Information, 2015

Machine Learning Based Classification Approach for Predicting Students Performance in Blended Learning.

[BibT_eX]

[DOI]

Esraa Elhariri

Nashwa El-Bendary

Proceedings of the 1st International Conference on Advanced Intelligent System and Informatics, 2015

2014

A tie strength based model to socially-enhance applications and its enabling implementation: mySocialSphere.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Collaborative and role-play strategies in software engineering learning with web 2.0 tools.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2014

Is the LMS access frequency a sign of students' success in face-to-face higher education?

[BibT_eX]

[DOI]

Kais Dai

Proceedings of the Second International Conference on Technological Ecosystems for Enhancing Multiculturality, 2014

Is There a Crowd? Experiences in Using Density-Based Clustering and Outlier Detection.

[BibT_eX]

[DOI]

Mohamed Ben Kalifa

Rafael López Serrano

Proceedings of the Mining Intelligence and Knowledge Exploration, 2014

Marble Initiative - Monitoring the Impact of Events on Customers Opinion.

[BibT_eX]

[DOI]

M. Fernandes Caíña

Proceedings of the KDIR 2014 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Rome, Italy, 21, 2014

2013

Inferring Contexts From Facebook Interactions: A Social Publicity Scenario.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2013

A social gamification framework for a K-6 learning platform.

[BibT_eX]

[DOI]

Jorge Simões

Comput. Hum. Behav., 2013

Comparing Tag Clustering Algorithms for Mining Twitter Users' Interests.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

2012

SCORM and Social Recommendation: A Web 2.0 Approach to E-learning.

[BibT_eX]

[DOI]

Proceedings of the Recommender Systems for the Social Web, 2012

Conclusiones and Open Trends.

[BibT_eX]

[DOI]

Proceedings of the Recommender Systems for the Social Web, 2012

Bringing Content Awareness to Web-Based IDTV Advertising.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2012

NF-SAVO: Neuro-Fuzzy system for Arabic Video OCR

[BibT_eX]

[DOI]

CoRR, 2012

A Social P2P Approach for Personal Knowledge Management in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - Software and Applications, 2012

A social approach to parental monitoring over DVB-IPTV digest of technical papers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - Second International Conference, 2012

Using Facebook Activity to Infer Social Ties.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011

TVGuide2.0: applying the Web2.0 fundamentals to IDTV.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2011

Making the most of TV on the move: My newschannel.

[BibT_eX]

[DOI]

Inf. Sci., 2011

Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro.

[BibT_eX]

[DOI]

María José Rodríguez Malmierca

Silvia Bastos Molares

Rev. Iberoam. de Tecnol. del Aprendiz., 2011

Automatic provision of personalized e-commerce services in Digital TV scenarios with impermanent connectivity.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2011

2010

T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence for Technology Enhanced Learning, 2010

MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning.

[BibT_eX]

[DOI]

Manuela I. Martín-Vicente

Knowl. Inf. Syst., 2010

Context-aware personalization services for a residential gateway based on the OSGi platform.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2010

Enhancing TV programmes with additional contents using MPEG-7 segmentation information.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2010

Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2010

Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks.

[BibT_eX]

[DOI]

Comput. Commun., 2010

Educateca: A Web 2.0 Approach to e-Learning with SCORM.

[BibT_eX]

[DOI]

Proceedings of the Software Services for e-World, 2010

Bringing mobile tv to the mashup approach.

[BibT_eX]

[DOI]

Proceedings of the 8th European Conference on Interactive TV and Video, 2010

2009

What's on TV tonight? An efficient and effective personalized recommender system of TV programs.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2009

Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.

[BibT_eX]

[DOI]

Requir. Eng., 2009

Receiver-side semantic reasoning for digital TV personalization in the absence of return channels.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2009

KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2009

Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2009

Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2009

2008

An MHP framework to provide intelligent personalized recommendations about digital TV contents.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2008

Composing requirements specifications from multiple prioritized sources.

[BibT_eX]

[DOI]

Requir. Eng., 2008

T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2008

A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2008

Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

Composing Multi-Perspective Software Requirements Specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2008

Enhancing Residential Gateways: A Semantic OSGi Platform.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

Provision of distance learning services over Interactive Digital TV with MHP.

[BibT_eX]

[DOI]

Comput. Educ., 2008

A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

Automatic live tagging of videos using chronicles.

[BibT_eX]

[DOI]

Proceedings of the 1st International ICST Conference on Ambient Media and Systems, 2008

2007

Providing Web Services over DVB-H: Mobile Virtual Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2007

Enhancing Residential Gateways: OSGi Service Composition.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2007

Exploiting OSGi capabilities from MHP applications.

[BibT_eX]

[DOI]

J. Virtual Real. Broadcast., 2007

Avatar: Enhancing the Personalized Television by Semantic Inference.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2007

<i>Entercation</i>: engaging viewers in education through TV.

[BibT_eX]

[DOI]

Comput. Entertain., 2007

KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

2006

Controlling the smart home from TV.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2006

MHP-OSGi convergence: a new model for open residential gateways.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

Guidelines for the incremental identification of aspects in requirements specifications.

[BibT_eX]

[DOI]

Requir. Eng., 2006

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Optimizing Web Services Performance Using Cache.

[BibT_eX]

[DOI]

Julio Fernández Vilas

J. Adv. Comput. Intell. Intell. Informatics, 2006

Bringing the Agile Philosophy to Formal Specification Settings.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2006

Providing SCORM with adaptivity.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

Extending SCORM to Create Adaptive Courses.

[BibT_eX]

[DOI]

Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

A Model for Personalized Learning Through IDTV.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2006

2005

Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2005

AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Tracing Integration Analysis in Component-Based Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Multi-valued Model Checking in Dense-Time.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Merging Requirements Views with Incompleteness and Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

Incremental specification with SCTL/MUS-T: a case study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems, 2004

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Technologies to Support Collaborative Learning over the Multimedia Home Platform.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Based Learning, 2004

Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Methods, 2004

High Availability with Clusters of Web Services.

[BibT_eX]

[DOI]

Julio Fernández Vilas

Proceedings of the Advanced Web Technologies and Applications, 2004

2003

A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.

[BibT_eX]

[DOI]

Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, International Conference, 2003

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002

ARIFS: an Environment for Incomplete and Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.

[BibT_eX]

[DOI]

Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Requirements Specifications Evolution in a Multi-Perspective Environment.

[BibT_eX]

[DOI]