José Juan Pazos-Arias

Orcid: 0000-0002-0424-5481

Affiliations:
  • University of Vigo, Telematic Engineering Department


According to our database1, José Juan Pazos-Arias authored at least 181 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automatically Assembling a Custom-Built Training Corpus for Improving the Learning of In-Domain Word/Document Embeddings.
Informatica, 2023

A Dashboard to Enable New Opportunities for Rural Development by Overcoming the Dominant Segmentation of European Pilgrimage Routes.
Proceedings of the Information Systems and Technologies, 2023

2021
Systematic Review of Electricity Demand Forecast Using ANN-Based Machine Learning Algorithms.
Sensors, 2021

Using dates as contextual information for personalised cultural heritage experiences.
J. Inf. Sci., 2021

Design, Implementation and Evaluation of a Support System for Educators and Therapists to Rate the Acquisition of Pre-Writing Skills.
IEEE Access, 2021

2020
Distracting users as per their knowledge: Combining linked open data and word embeddings to enhance history learning.
Expert Syst. Appl., 2020

Experiences from turning Linux into an instructional operating system.
Comput. Appl. Eng. Educ., 2020

Assessing Children's Perceptions of Live Interactions With Avatars: Preparations for Use in ASD Therapy in a Multi-Ethnic Context.
IEEE Access, 2020

Big Archaeological Data: Mining social information about ancient Mesopotamian civilizations using a graph database built from cuneiform corpora.
Proceedings of the 15th International Workshop on Semantic and Social Media Adaptation and Personalization, 2020

2019
Technology-Powered Strategies to Rethink the Pedagogy of History and Cultural Heritage through Symmetries and Narratives.
Symmetry, 2019

Experiences from placing Stack Overflow at the core of an intermediate programming course.
Comput. Appl. Eng. Educ., 2019

CuneiForce: Involving the Crowd in the Annotation of Unread Mesopotamian Cuneiform Tablets Through a Gamified Design.
Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019

2018
Intersection Intelligence: Supporting Urban Platooning with Virtual Traffic Lights over Virtualized Intersection-Based Routing.
Sensors, 2018

A Hybrid System to Support the Psychological Intervention for Children With Autism: A Proposal Based on Knowledge Modeling and Intelligent Technologies.
Int. J. E Serv. Mob. Appl., 2018

Efficient and viable intersection-based routing in VANETs on top of a virtualization layer.
Ann. des Télécommunications, 2018

Deep Guessing: Generating Meaningful Personalized Quizzes on Historical Topics by Introducing Wikicategories in Doc2Vec.
Proceedings of the 13th International Workshop on Semantic and Social Media Adaptation and Personalization, 2018

Vehicular Fog Computing on Top of a Virtualization Layer.
Proceedings of the Internet of Vehicles. Technologies and Services Towards Smart City, 2018

2017
Exploiting relevant dates to promote serendipity and situational curiosity in cultural heritage experiences.
Proceedings of the 12th International Workshop on Semantic and Social Media Adaptation and Personalization, 2017

Developing Quiz Games Linked to Networks of Semantic Connections Among Cultural Venues.
Proceedings of the Metadata and Semantic Research - 11th International Conference, 2017

2016
Optimizing Reactive Routing Over Virtual Nodes in VANETs.
IEEE Trans. Veh. Technol., 2016

Proactive Discovery and Management of Ride-Sharing Opportunities in Smart Vehicular Ad-Hoc Networks.
Inf. Technol. Control., 2016

A semantics-based exploratory game to enrich school classes with relevant historical facts.
Proceedings of the 11th International Workshop on Semantic and Social Media Adaptation and Personalization, 2016

Using Cortical Learning Algorithm to Arrange Sporadic Online Conversation Groups According to Personality Traits.
Proceedings of the Learning and Collaboration Technologies, 2016

Exploiting Virtualization and Sporadic Clouds for Collaborative Downloading in VANETs: A New Networking as a Service Model.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

2015
VaNetLayer: A virtualization layer supporting access to web contents from within vehicular networks.
J. Comput. Sci., 2015

An improved virtualization layer to support distribution of multimedia contents in pervasive social applications.
J. Netw. Comput. Appl., 2015

SPELTA: An expert system to generate therapy plans for speech and language disorders.
Expert Syst. Appl., 2015

SPORANGIUM: Exploiting a Virtualization Layer to Support the Concept of Sporadic Cloud Computing with Users on the Move.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

An Efficient Combination of Topological and Geographical Routing for VANETs on Top of a Virtualization Layer.
Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Augmented reality, smart codes and cloud computing for personalized interactive advertising on billboards.
Proceedings of the 10th International Workshop on Semantic and Social Media Adaptation and Personalization, 2015

Performance analysis of a virtualization layer supporting P2P downloading of contents in VANETs.
Proceedings of the 7th International Workshop on Reliable Networks Design and Modeling, 2015

An Ecosystem of Intelligent ICT Tools for Speech-Language Therapy Based on a Formal Knowledge Model.
Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015

Mobile data offloading in urban VANETs on top of a virtualization layer.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

Delivering personalised m-commerce through cloud-based augmented reality on billboards.
Proceedings of the IEEE International Conference on Consumer Electronics, 2015

A cooperative purchasing system for smart ad-hoc networks.
Proceedings of the IEEE International Conference on Consumer Electronics, 2015

SPELTRA: A Robotic Assistant for Speech-and-Language Therapy.
Proceedings of the Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being, 2015

SPORANGIUM - validating the concept of sporadic social networks in pervasive applications.
Proceedings of the IEEE EUROCON 2015, 2015

Modelling Domain Knowledge of Speech and Language Therapy with an OWL Ontology and OpenEHR Archetypes .
Proceedings of the HEALTHINF 2015, 2015

2014
A tie strength based model to socially-enhance applications and its enabling implementation: mySocialSphere.
Expert Syst. Appl., 2014

A semantic approach to improve neighborhood formation in collaborative recommender systems.
Expert Syst. Appl., 2014

REENACT: A step forward in immersive learning about Human History by augmented reality, role playing and social networking.
Expert Syst. Appl., 2014

Collaborative and role-play strategies in software engineering learning with web 2.0 tools.
Comput. Appl. Eng. Educ., 2014

A Platform to Exploit Short-Lived Relationships among Mobile Users: A Case of Collective Immersive Learning.
Proceedings of the Information and Software Technologies - 20th International Conference, 2014

Leveraging Ad-hoc Networking and Mobile Cloud Computing to Exploit Short-Lived Relationships Among Users on the Move.
Proceedings of the Intelligent Cloud Computing - First International Conference, 2014

Connection sharing on top of a virtualization layer to support Vehicular Cloud Computing.
Proceedings of the International Conference on Connected Vehicles and Expo, 2014

Virtualization in VANETs to support the vehicular cloud - Experiments with the network as a service model.
Proceedings of the Third International Conference on Future Generation Communication Technologies (FGCT 2014), 2014

2013
Exploring New Ways for Personalized E-Commerce through Digital TV.
Proceedings of the Semantic Hyper/Multimedia Adaptation - Schemes and Applications, 2013

Inferring Contexts From Facebook Interactions: A Social Publicity Scenario.
IEEE Trans. Multim., 2013

Cloud-Based Personalization of New Advertising and e-Commerce Models for Video Consumption.
Comput. J., 2013

Comparing Tag Clustering Algorithms for Mining Twitter Users' Interests.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Leveraging Short-Lived Social Networks in Museums to Engage People in History Learning.
Proceedings of the 8th International Workshop on Semantic and Social Media Adaptation and Personalization, 2013

REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events - An EXPERIMEDIA Experiment.
Proceedings of the SIGMAP and WINSYS 2013, 2013

Leveraging short-lived social networks in vehicular environments.
Proceedings of the Second International Conference on Future Generation Communication Technologies (FGCT 2013), 2013

REENACT: Learning about Historical Battles and Wars through Augmented Reality and Role Playing - An EXPERIMEDIA Experiment.
Proceedings of the CSEDU 2013, 2013

2012
SCORM and Social Recommendation: A Web 2.0 Approach to E-learning.
Proceedings of the Recommender Systems for the Social Web, 2012

Conclusiones and Open Trends.
Proceedings of the Recommender Systems for the Social Web, 2012

Bringing Content Awareness to Web-Based IDTV Advertising.
IEEE Trans. Syst. Man Cybern. Part C, 2012

Property-based collaborative filtering for health-aware recommender systems.
Expert Syst. Appl., 2012

The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence.
Comput. Stand. Interfaces, 2012

Bulker - A Mediator System Grounded on Social Networks for Online Trading of Batches of Products.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Virtual Virtual Circuits: One Step beyond Virtual Mobile Nodes in Vehicular Ad-Hoc Networks.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Spreading influence values over weighted relationships among users of several social networks.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

A Social P2P Approach for Personal Knowledge Management in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case.
Proceedings of the Ambient Intelligence - Software and Applications, 2012

A social approach to parental monitoring over DVB-IPTV digest of technical papers.
Proceedings of the IEEE International Conference on Consumer Electronics, 2012

Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem.
Proceedings of the Cloud Computing and Services Science - Second International Conference, 2012

Using Facebook Activity to Infer Social Ties.
Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011
TripFromTV+: targeting personalized tourism to interactive digital TV viewers by social networking and semantic reasoning.
IEEE Trans. Consumer Electron., 2011

TVGuide2.0: applying the Web2.0 fundamentals to IDTV.
Multim. Tools Appl., 2011

Exploring synergies between content-based filtering and Spreading Activation techniques in knowledge-based recommender systems.
Inf. Sci., 2011

Making the most of TV on the move: My newschannel.
Inf. Sci., 2011

Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro.
Rev. Iberoam. de Tecnol. del Aprendiz., 2011

Automatic provision of personalized e-commerce services in Digital TV scenarios with impermanent connectivity.
Expert Syst. Appl., 2011

User-generated contents and reasoning-based personalization: Ingredients for a novel model of mobile TV.
Expert Syst. Appl., 2011

An improvement for semantics-based recommender systems grounded on attaching temporal information to ontologies and user profiles.
Eng. Appl. Artif. Intell., 2011

Enhancing Recommender Systems with Access to Electronic Health Records and Groups of Interest in Social Networks.
Proceedings of the Seventh International Conference on Signal-Image Technology and Internet-Based Systems, 2011

2010
T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies.
Proceedings of the Computational Intelligence for Technology Enhanced Learning, 2010

Exploiting digital TV users' preferences in a tourism recommender system based on semantic reasoning.
IEEE Trans. Consumer Electron., 2010

MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning.
Knowl. Inf. Syst., 2010

Context-aware personalization services for a residential gateway based on the OSGi platform.
Expert Syst. Appl., 2010

Enhancing TV programmes with additional contents using MPEG-7 segmentation information.
Expert Syst. Appl., 2010

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

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

Property-based collaborative filtering: A new paradigm for semantics-based, health-aware recommender systems.
Proceedings of the 5th International Workshop on Semantic Media Adaptation and Personalization, 2010

T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area.
Proceedings of the ICALT 2010, 2010

Educateca: A Web 2.0 Approach to e-Learning with SCORM.
Proceedings of the Software Services for e-World, 2010

Bringing mobile tv to the mashup approach.
Proceedings of the 8th European Conference on Interactive TV and Video, 2010

Exploring synergies between digital tv recommender systems and electronic health records.
Proceedings of the 8th European Conference on Interactive TV and Video, 2010

2009
TV program recommendation for groups based on muldimensional TV-anytime classifications.
IEEE Trans. Consumer Electron., 2009

What's on TV tonight? An efficient and effective personalized recommender system of TV programs.
IEEE Trans. Consumer Electron., 2009

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

Receiver-side semantic reasoning for digital TV personalization in the absence of return channels.
Multim. Tools Appl., 2009

Broadcasting and personalization of user-generated contents in DVB-H mobile networks.
Multim. Syst., 2009

KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks.
J. Netw. Comput. Appl., 2009

Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.
Int. J. Softw. Eng. Knowl. Eng., 2009

Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV.
Expert Syst. Appl., 2009

An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study.
Comput. Stand. Interfaces, 2009

Semantic Reasoning and Mashups: An Innovative Approach to Personalized E-Commerce in Digital TV.
Proceedings of the 4th International Workshop on Semantic Media Adaptation and Personalization, 2009

Automatic Generation of Mashups for Personalized Commerce in Digital TV by Semantic Reasoning.
Proceedings of the E-Commerce and Web Technologies, 10th International Conference, 2009

2008
Personalization Strategies and Semantic Reasoning: Working in tandem in Advanced Recommender Systems.
Proceedings of the Personalization Techniques and Recommender Systems, 2008

Providing entertainment by content-based filtering and semantic reasoning in intelligent recommender systems.
IEEE Trans. Consumer Electron., 2008

An MHP framework to provide intelligent personalized recommendations about digital TV contents.
Softw. Pract. Exp., 2008

Composing requirements specifications from multiple prioritized sources.
Requir. Eng., 2008

T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.
Multim. Tools Appl., 2008

A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.
Knowl. Based Syst., 2008

Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.
J. Syst. Softw., 2008

On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Inf. Softw. Technol., 2008

Composing Multi-Perspective Software Requirements Specifications.
Int. J. Softw. Eng. Knowl. Eng., 2008

Enhancing Residential Gateways: A Semantic OSGi Platform.
IEEE Intell. Syst., 2008

Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks.
IEEE Commun. Mag., 2008

Provision of distance learning services over Interactive Digital TV with MHP.
Comput. Educ., 2008

Personalizing e-Commerce by Semantics-Enhanced Strategies and Time-Aware Recommendations.
Proceedings of the Third International Workshop on Semantic Media Adaptation and Personalization, 2008

On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata.
Proceedings of the SIGMAP 2008, 2008

Monitoring medicine intake in the networked home: The iCabiNET solution.
Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks.
Proceedings of the Changing Television Environments, 6th European Conference, 2008

Semantic Reasoning: A Path to New Possibilities of Personalization.
Proceedings of the Semantic Web: Research and Applications, 2008

A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks.
Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System.
Proceedings of the First International Conference on Health Informatics, 2008

Automatic live tagging of videos using chronicles.
Proceedings of the 1st International ICST Conference on Ambient Media and Systems, 2008

2007
Providing Web Services over DVB-H: Mobile Virtual Web Services.
IEEE Trans. Consumer Electron., 2007

Enhancing Residential Gateways: OSGi Service Composition.
IEEE Trans. Consumer Electron., 2007

Exploiting OSGi capabilities from MHP applications.
J. Virtual Real. Broadcast., 2007

Avatar: Enhancing the Personalized Television by Semantic Inference.
Int. J. Pattern Recognit. Artif. Intell., 2007

<i>Entercation</i>: engaging viewers in education through TV.
Comput. Entertain., 2007

Downsizing Semantic Reasoning to Fixed and Mobile DTV Receivers.
Proceedings of the Second International Workshop on Semantic Media Adaptation and Personalization, 2007

Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV.
Proceedings of the SIGMAP 2007, 2007

How to Overcome Stumbling Blocks of Traditional Personalization Paradigms.
Proceedings of the Metadata and Semantics, 2007

The MiSPOT System: Personalized Publicity and Marketing over Interactive Digital TV.
Proceedings of the E-business and Telecommunications - 4th International Conference, 2007

KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

2006
Controlling the smart home from TV.
IEEE Trans. Consumer Electron., 2006

AVATAR: an improved solution for personalized TV based on semantic inference.
IEEE Trans. Consumer Electron., 2006

MHP-OSGi convergence: a new model for open residential gateways.
Softw. Pract. Exp., 2006

ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.
Softw. Pract. Exp., 2006

Guidelines for the incremental identification of aspects in requirements specifications.
Requir. Eng., 2006

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
J. Log. Comput., 2006

Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
J. Syst. Softw., 2006

Optimizing Web Services Performance Using Cache.
J. Adv. Comput. Intell. Intell. Informatics, 2006

Bringing the Agile Philosophy to Formal Specification Settings.
Int. J. Softw. Eng. Knowl. Eng., 2006

Providing SCORM with adaptivity.
Proceedings of the 15th international conference on World Wide Web, 2006

A Core of Standards to Support T-learning.
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

Extending SCORM to Create Adaptive Courses.
Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

An Agile Approach to Support Incremental Development of Requirements Specifications.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.
ACM SIGSOFT Softw. Eng. Notes, 2005

Locating crosscutting concerns in the formal specification of distributed reactive systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.
Int. J. Softw. Eng. Knowl. Eng., 2005

AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.
Proceedings of the 14th international conference on World Wide Web, 2005

Tracing Integration Analysis in Component-Based Formal Specifications.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

AVATAR: A Multi-Agent TV Recommender System using MHP Applications.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Multi-valued Model Checking in Dense-Time.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Merging Requirements Views with Incompleteness and Inconsistency.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004
Incremental specification with SCTL/MUS-T: a case study.
J. Syst. Softw., 2004

AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
Proceedings of the Web Information Systems, 2004

A technological framework for TV-supported collaborative learning.
Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

A multi-agent open architecture for a TV recommender system: a case study using a Bayesian strategy.
Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Technologies to Support Collaborative Learning over the Multimedia Home Platform.
Proceedings of the Advances in Web-Based Learning, 2004

Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
Proceedings of the Software Reuse: Methods, 2004

chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

High Availability with Clusters of Web Services.
Proceedings of the Advanced Web Technologies and Applications, 2004

An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.
Proceedings of the Web Engineering, International Conference, 2003

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Proceedings of the Perspectives of Systems Informatics, 2003

Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
ARIFS: an Environment for Incomplete and Formal Specifications.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

Uncertainty in Beliefs and Preferences: Conditions for Optimal Alternatives.
Ann. Math. Artif. Intell., 2002

An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Surfing the Web on TV: the MHP approach.
Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002

A MHP Receiver over RT-Linux for Digital TV.
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

Using XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

Exploring T-Learning in the MHP Context.
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Requirements Specifications Evolution in a Multi-Perspective Environment.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
Formal Aspects Comput., 2001

Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.
Proceedings of the 23rd International Conference on Software Engineering, 2001


  Loading...