Artículo | 2024 | A Gamification Method for Improving the Onboarding Process of Software Engineers | IT Professional |
Artículo | 2024 | COTriage: Applying a Model-Driven Proposal for Improving the Development of Health Information Systems with Chatbots | IT Professional |
Artículo | 2024 | eFFT: An Event-based Method for the Efficient Computation of Exact Fourier Transforms | IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE |
Artículo | 2024 | Mutation Testing in Practice: Insights from Open-Source Software Developers | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Artículo | 2023 | A survey of vectorization methods in topological data analysis | IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE |
Artículo | 2023 | ARTE: Automated Generation of Realistic Test Inputs for Web APIs | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2023 | Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification | Proceedings - 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering, Q-SE 2023 |
Ponencia | 2023 | Evaluation of cinematic volume rendering open-source and commercial solutions for the exploration of congenital heart data | 2023 IEEE VISUALIZATION AND VISUAL ANALYTICS, VIS |
Artículo | 2023 | FIDES: A Proposal for Federated Accountability in the Compute Continuum | IEEE INTERNET COMPUTING |
Ponencia | 2023 | On the Impact and Lessons Learned from Mindfulness Practice in a Real-World Software Company | International Symposium on Empirical Software Engineering and Measurement |
Ponencia | 2023 | Performance comparison of DVS data spatial downscaling methods using Spiking Neural Networks | Proceedings - 2023 IEEE Winter Conference on Applications of Computer Vision, WACV 2023 |
Artículo | 2023 | Tissue P systems with states in cells | IEEE TRANSACTIONS ON COMPUTERS |
Artículo | 2022 | A mashup-based framework for business process compliance checking | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2022 | Effects of mindfulness on conceptual modeling performance: a series of experiments | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Artículo | 2022 | Elastic data analytics for the cloud-to-things continuum | IEEE INTERNET COMPUTING |
Ponencia | 2022 | OTE: Optimal Trustworthy EdgeAI solutions for smart cities | Proceedings - 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2022 |
Artículo | 2022 | Specification and automated analysis of inter-parameter dependencies in Web APIs | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2022 | Were not gonna break it! Consistency-preserving operators for efficient product line configuration | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2021 | An elasticity framework for smart contracts | Proceedings - 2021 IEEE International Conference on Smart Data Services, SMDS 2021 |
Artículo | 2021 | Automated validation of compensable SLAs | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2021 | Bluejay: a cross-tooling audit framework for agile software teams | Proceedings - International Conference on Software Engineering |
Ponencia | 2021 | DIRECTDEBUG: automated testing and debugging of feature models | 2021 IEEE/ACM 43rd International Conference on Software Engineering: new ideas and emerging results (ICSE-NIER) |
Ponencia | 2021 | Generalization of an Active Set Newton Algorithm with Alpha-Beta divergences for audio separation | European Signal Processing Conference |
Ponencia | 2020 | AI-driven web API testing | Proceedings - International Conference on Software Engineering |
Ponencia | 2020 | An SLR-tool: search process in practice a tool to conduct and manage systematic literature review (SLR) | Proceedings - International Conference on Software Engineering |
Ponencia | 2020 | Automated analysis of inter-parameter dependencies in web APIs | Proceedings - International Conference on Software Engineering |
Artículo | 2020 | Metamorphic testing: testing the untestable | IEEE Software |
Artículo | 2020 | Recommender systems and scratch: an integrated approach for enhancing computer programming learning | IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES |
Ponencia | 2019 | An extended abstract of "metamorphic testing: Testing the untestable" | 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1 |
Ponencia | 2019 | Min-max coalitional model predictive control algorithm | 2019 22ND INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS) |
Artículo | 2018 | Metamorphic testing of RESTful Web APIs | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2018 | Numerical stability of spline-based Gabor-like systems | 2018 26TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO) |
Artículo | 2018 | Predictive Monitoring of Business Processes: A Survey | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Revisión | 2018 | The Importance of Academic Mobility: The Erasmus+ Program | IT Professional |
Artículo | 2017 | Edge and Cloud Pricing for the Sharing Economy | IEEE INTERNET COMPUTING |
Artículo | 2017 | Model transformation modularization as a many-objective optimization problem | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Artículo | 2017 | Modeling Service Level Agreements with Linked USDL Agreement | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2017 | On the Link Between L1-PCA and ICA | IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE |
Artículo | 2016 | A survey on metamorphic testing | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2016 | An Elasticity-aware Governance Platform for Cloud Service Delivery | PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016) |
Artículo | 2016 | Extending Amdahl's law for the cloud computing era | COMPUTER |
Editorial | 2016 | Message from the Workshop Chairs MET 2016 | Proceedings of the 1st International Workshop on Metamorphic Testing |
Ponencia | 2016 | Persistent homology-based gait recognition robust to upper body variations | 2016 23RD INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR) |
Ponencia | 2015 | A multilayer control for multirotor UAVs equipped with a servo robot arm | 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Artículo | 2015 | Building Transcriptional Association Networks in Cytoscape with RegNetC | IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS |
Artículo | 2015 | Competitive Live Evaluations of Activity-Recognition Systems | IEEE PERVASIVE COMPUTING |
Ponencia | 2015 | Decentralized target tracking based on multi-robot cooperative triangulation | 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Artículo | 2015 | Efficient Cluster-Based Tracking Mechanisms for Camera-Based Wireless Sensor Networks | IEEE TRANSACTIONS ON MOBILE COMPUTING |
Ponencia | 2015 | EvercodeML: A formal language for SoC integration | Proceedings of the electronic system level synthesis conference |
Ponencia | 2015 | Integral action in first-order Closed-Loop Inverse Kinematics. Application to aerial manipulators | 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Artículo | 2015 | Programming Elasticity and Commitment in Dynamic Processes | IEEE INTERNET COMPUTING |
Ponencia | 2015 | Safe Trajectory Planning for Multiple Aerial Vehicles with Segmentation-Adaptive Pseudospectral Collocation | 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Artículo | 2015 | Static fault localization in model transformations | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2015 | The synchronization problem for information exchange between aerial robots under communication constraints | 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Ponencia | 2014 | A controlled experiment to evaluate the effects of mindfulness in software engineering | International Symposium on Empirical Software Engineering and Measurement |
Artículo | 2014 | Automated Analysis of Conflicts in WS-Agreement | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2014 | Comprehensive Explanation of SLA Violations at Runtime | IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2014 | Computing homological information based on directed graphs within discrete objects | 16TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2014) |
Artículo | 2014 | Trinity: On Using Trinary Trees for Unsupervised Web Data Extraction | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2013 | A Survey on Region Extractors from Web Documents | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2013 | Benchmarking Data Exchange among Semantic-Web Ontologies | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2013 | Mapping from Frame-Driven to Frame-Free Event-Driven Vision Systems by Low-Rate Rate Coding and Coincidence Processing-Application to Feedforward ConvNets | IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE |
Ponencia | 2012 | A Methodological Framework for Evaluating Software Testing Techniques and Tools | 2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC) |
Ponencia | 2012 | An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures | 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) |
Ponencia | 2012 | Backstepping stabilization of an underactuated 3 × 3 linear hyperbolic system of fluid flow equations | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Ponencia | 2012 | Collocated output-feedback stabilization of a 2 × 2 quasilinear hyperbolic system using backstepping | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Artículo | 2012 | Compiler-Directed Soft Error Mitigation for Embedded Systems | IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING |
Ponencia | 2012 | Distributed Tree-Based Model Predictive Control on an Open Water System | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Artículo | 2012 | Efficient Feedforward Categorization of Objects and Human Postures with Address-Event Image Sensors | IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE |
Ponencia | 2012 | Linearization and EVM Enhancement of an Efficient Class J Amplifier for 3G and 4G Mobile Communication Signals | 2012 WORKSHOP ON INTEGRATED NONLINEAR MICROWAVE AND MILLIMETRE-WAVE CIRCUITS (INMMIC) |
Ponencia | 2012 | Modeling Role Interactions in a Social Organization for the Simulation of the Social Production and Management of Urban Ecosystems: the case of San Jeronimo Vegetable Garden of Seville, Spain | 2012 BRAZILIAN WORKSHOP ON SOCIAL SIMULATION (BWSS 2012): ADVANCES IN SOCIAL SIMULATION II |
Ponencia | 2012 | ORACLE BASED APPROACH TO ADMISSIBLE INVARIANT SETS | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Ponencia | 2012 | Randomized control design through probabilistic validation | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Ponencia | 2012 | Real-time Remote Reporting of Motion Analysis with Wi-FLIP | 2012 13TH INTERNATIONAL WORKSHOP ON CELLULAR NANOSCALE NETWORKS AND THEIR APPLICATIONS (CNNA) |
Ponencia | 2012 | Zonotopic Set-Membership Estimation for Interval Dynamic Systems | 2012 AMERICAN CONTROL CONFERENCE (ACC) |
Artículo | 2011 | Energy Time Series Forecasting Based on Pattern Sequence Similarity | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2011 | Enhancing the shopping experience | IEEE PERVASIVE COMPUTING |
Ponencia | 2011 | Improving the accuracy of RF alternate test using multi-V-DD conditions: application to envelope-based test of LNAs | 2011 20TH ASIAN TEST SYMPOSIUM (ATS) |
Editorial | 2011 | Preface | IEEE International Conference on Data Mining |
Ponencia | 2010 | A Low Power Low Voltage Mixer for 2.4GHz Applications in CMOS-90nm Technology | PROCEEDINGS OF THE 13TH IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS |
Ponencia | 2010 | A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs | 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA) |
Ponencia | 2010 | Application of Genetic Algorithms to the Identification of Website Link Structure | 2010 INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2010) |
Ponencia | 2010 | Evaluation of RTD-CMOS logic gates | 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS |
Artículo | 2010 | Reforming ICT Graduate Programs to Meet Professional Needs | COMPUTER |
Ponencia | 2009 | A BIST Solution for the Functional Characterization of RF Systems Based on Envelope Response Analysis | 2009 ASIAN TEST SYMPOSIUM, PROCEEDINGS |
Ponencia | 2009 | A CMOS Bio-Impedance Measurement System | PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS |
Editorial | 2009 | AUTOMATING SMART-ENVIRONMENT SYSTEMS | IEEE PERVASIVE COMPUTING |
Artículo | 2009 | Demystifying Cluster-Based Fault-Tolerant Firewalls | IEEE INTERNET COMPUTING |
Artículo | 2009 | Embedded Multimedia Processors for Road-Traffic Parameter Estimation | COMPUTER |
Ponencia | 2009 | Experimentally Testable State-independent Violation of Bell-type Inequalities for Quantum Contextuality | ICQNM 2009: THIRD INTERNATIONAL CONFERENCE ON QUANTUM, NANO AND MICRO TECHNOLOGIES: PROCEEDINGS |
Ponencia | 2009 | Searching for Rules to find Defective Modules in Unbalanced Data Sets | 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS |
Ponencia | 2009 | Simulation of P Systems with Active Membranes on CUDA | 2009 INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTATIONAL SYSTEMS BIOLOGY, PROCEEDINGS |
Ponencia | 2009 | Techniques for the Design of Low Voltage Power Efficient Analog and Mixed Signal Circuits | 22ND INTERNATIONAL CONFERENCE ON VLSI DESIGN HELD JOINTLY WITH 8TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, PROCEEDINGS |
Ponencia | 2008 | An input stage for the imptementation of low-voltage rail to rail offset compensated CMOS comparators | 21ST INTERNATIONAL CONFERENCE ON VLSI DESIGN: HELD JOINTLY WITH THE 7TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, PROCEEDINGS |
Ponencia | 2008 | Delivery improvement for transport companies | SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS |
Ponencia | 2008 | Design of a remote monitoring platform for Telemedicine systems using new generation mobile services | CISIS 2008: THE SECOND INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS |
Ponencia | 2008 | Distributing OSGi services: The OSIRIS Domain Connector | NCM 2008 : 4TH INTERNATIONAL CONFERENCE ON NETWORKED COMPUTING AND ADVANCED INFORMATION MANAGEMENT, VOL 1, PROCEEDINGS |
Ponencia | 2008 | FAMA Framework | SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS |
Ponencia | 2008 | Fast algorithms for consistency-based diagnosis of firewall rule sets | ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY |
Ponencia | 2008 | From Feature Models to Business Processes | 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2 |
Ponencia | 2008 | FT-FW: Efficient connection failover in cluster-based stateful firewall | PROCEEDINGS OF THE 16TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING |
Ponencia | 2008 | hFT-FW: hybrid fault-tolerance for cluster-based Stateful Firewalls | PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS |
Ponencia | 2008 | LBF: A Labeled-Based Forecasting Algorithm and its Application to Electricity Price Time Series | ICDM 2008: EIGHTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS |
Artículo | 2008 | NDT. A model-driven approach for Web requirements | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2008 | Oscillation-based test in data converters: On-line monitoring | DELTA 2008: FOURTH IEEE INTERNATIONAL SYMPOSIUM ON ELECTRONIC DESIGN, TEST AND APPLICATIONS, PROCEEDINGS |
Ponencia | 2008 | QoS-Aware Semantic Service Selection: An Optimization Problem | IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
Ponencia | 2008 | Representing Runtime Variability in Business-Driven Development Systems | SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS |
Ponencia | 2008 | SLAWs: Towards a conceptual architecture for SLA enforcement | IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
Ponencia | 2008 | Towards a dependable architecture for highly available Internet services | ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY |
Ponencia | 2007 | A method for the access to the contents in a set of knowledge using a fuzzy logic based intelligent agent | FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 4, PROCEEDINGS |
Ponencia | 2007 | CSP-Based firewall rule set diagnosis using security policies | ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS |
Ponencia | 2007 | Detection of Microcalcifications in Mammographies Based on Linear Pixel Prediction and Support-Vector Machines | TWENTIETH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS |
Artículo | 2007 | From wrapping to knowledge | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Ponencia | 2006 | A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems | DASC 2006: 2ND IEEE INTERNATIONAL SYMPOSIUM ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS |
Ponencia | 2006 | Design guides for a correct DC operation in RTD-based threshold gates | DSD 2006: 9TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS |
Ponencia | 2006 | Distributed model-based diagnosis using object-relational constraint databases | 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS |
Artículo | 2006 | Foundational challenges in automated Semantic Web data and ontology cleaning | IEEE INTELLIGENT SYSTEMS |
Ponencia | 2006 | High Availability support for the design of stateful networking equipments | FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS |
Ponencia | 2006 | Performance analysis of a parallel discrete model for the simulation of laser dynamics | 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS |
Ponencia | 2006 | Towards modeling, specifying and deploying policies in autonomous and autonomic systems using an AOSE methodology | THIRD IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2006), PROCEEDINGS |
Ponencia | 2005 | A wireless monitoring system for pulse-oximetry sensors | 2005 SYSTEMS COMMUNICATIONS, PROCEEDINGS |
Ponencia | 2005 | Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform | Second IEEE International Workshop on Mobile Commerce and Services, Proceedings |
Ponencia | 2005 | Characterizing tractability with membrane creation | Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2005 | Improving VoIP quality through path switching | IEEE INFOCOM 2005: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-4, PROCEEDINGS |
Ponencia | 2005 | Logic models supporting the design of MOBILE-based RTD circuits | 16TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURE AND PROCESSORS, PROCEEDINGS |
Ponencia | 2005 | On P systems with bounded parallelism | Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2005 | One and two polarizations, membrane creation and objects complexity in P systems | Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2004 | A biobjective model to select features with good classification quality and low cost | FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS |
Ponencia | 2004 | A controlled experiment for evaluating a metric-based reading technique for requirements inspection | 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS |
Ponencia | 2004 | A framework for classifying and comparing web services procurement platforms | FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS |
Ponencia | 2004 | A threshold logic synthesis tool for RTD circuits | PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN |
Ponencia | 2004 | Digital background gain error correction in pipeline ADCs | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS |
Ponencia | 2004 | Method for parameter extraction of analog sine-wave signals for mixed-signal built-in-self-test applications | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS |
Artículo | 2004 | Monte Carlo simulation of complex radiotherapy treatments | COMPUTING IN SCIENCE & ENGINEERING |
Ponencia | 2004 | Ontology cleaning by mereotopological reasoning | 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
Ponencia | 2004 | Parallelization of time series forecasting model | 12TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS |
Ponencia | 2004 | Supporting usability and reusability based on eLearning standards | IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS |
Ponencia | 2004 | Techniques for very low-voltage operation of continuous-time analog CMOS circuits | 17TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS |
Ponencia | 2003 | A charge correction cell for FGMOS-based circuits | 16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS |
Ponencia | 2003 | Digital background calibration technique for pipeline ADCs with multi-bit stages | 16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS |
Ponencia | 2003 | Internode: internal node logic computational model | 36TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS |
Ponencia | 2003 | Visualization techniques of management rules for software development projects | THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS |
Ponencia | 2002 | A continuous-time incremental analog to digital converter | 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS |
Ponencia | 2002 | A mixed-signal design reuse methodology based on parametric behavioural models with non-ideal effects | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS |
Ponencia | 2002 | A new cumulant-based criterion for iterative blind source separation. | European Signal Processing Conference |
Ponencia | 2002 | An encoding technique for low power CMOS implementations of controllers | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS |
Ponencia | 2002 | Bio-inspired analog VLSI design realizes programmable complex spatio-temporal dynamics on a single chip | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS |
Ponencia | 2002 | On the suitability of the E-model to VoIP networks | ISCC 2002: SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS |
Ponencia | 2002 | Practical oscillation-based test in analog integrated filters: Experimental results | FIRST IEEE INTERNATION WORKSHOP ON ELECTRONIC DESIGN, TEST AND APPLICATIONS, PROCEEDINGS |
Artículo | 2002 | Practical oscillation-based test of integrated filters | IEEE DESIGN & TEST OF COMPUTERS |
Ponencia | 2002 | Practical solutions for the application of the oscillation-based-test: Start-up and on-chip evaluation | 20TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS |
Ponencia | 2002 | Prototyping of fuzzy logic-based controllers using standard FPGA development boards | 13TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS |
Ponencia | 2002 | Separating the navigational aspect | 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS |
Ponencia | 2002 | Supporting requirements verification using XSLT | IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
Artículo | 2002 | Testing mixed-signal cores: A practical oscillation-based test in an analog macrocell | IEEE DESIGN & TEST OF COMPUTERS |
Ponencia | 2001 | Analog/mixed-signal IP modeling for design reuse | DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS |
Ponencia | 2001 | Automated support for quality requirements in Web-service-based systems | EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Ponencia | 2001 | Fault Tolerance as an aspect using JReplica | EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Ponencia | 2001 | HALOTIS: High Accuracy LOgic TIming Simulator with inertial and degradation delay model | DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS |
Ponencia | 2001 | Retargeting of mixed-signal blocks for SoCs | DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS |
Ponencia | 2001 | Self-testable pipelined ADC with low hardware overhead | 19TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS |
Ponencia | 2001 | Top-down design of a xDSL 14-bit 4MS/s Sigma Delta modulator in digital CMOS technology | DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS |
Ponencia | 2001 | Two-criterial constraint-driven FSM state encoding for low power | EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS |
Artículo | 2000 | An intelligent system for false alarm reduction in infrared forest-fire detection | IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS |
Ponencia | 2000 | nu MOS-based compressor designs | ICM 2000: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS |
Ponencia | 2000 | Programmable kernel analog VLSI convolution chip for real time vision processing | IJCNN 2000: PROCEEDINGS OF THE IEEE-INNS-ENNS INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOL IV |
Ponencia | 2000 | Testing mixed-signal cores | 13TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS |
Ponencia | 2000 | Testing mixed-signal cores: Practical Oscillation-based Test in an analog macrocell | PROCEEDINGS OF THE NINTH ASIAN TEST SYMPOSIUM (ATS 2000) |
Ponencia | 1999 | A 2D image filtering architecture for real-time vision processing systems | PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99 |
Ponencia | 1999 | An accurate error control mechanism for simplification before generation algorithms | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS |
Ponencia | 1999 | An algorithm for face-constrained encoding of symbols using minimum code length | DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS |
Ponencia | 1999 | Circuits for on-chip learning in neuro-fuzzy controllers | PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99 |
Ponencia | 1999 | CNNUC3: A mixed-signal 64 x 64 CNN Universal Chip | PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99 |
Ponencia | 1998 | A dynamic model for the state assignment problem | DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS |
Ponencia | 1998 | Clock switching: A new Design for current Testability (DcT) method for dynamic logic circuits | 1998 IEEE INTERNATIONAL WORKSHOP ON IDDQ TESTING, PROCEEDINGS |
Ponencia | 1998 | Self-timed boundary-scan cells for multi-chip module test | 16TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS |
Ponencia | 1998 | Switch-level fault coverage analysis for switched-capacitor systems | DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS |
Ponencia | 1998 | XFVHDL: a tool for the synthesis of fuzzy logic controllers | DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS |
Artículo | 1997 | AFAN: Tool for optimizing fuzzy controllers | IEEE MICRO |
Artículo | 1996 | A PWM fuzzy logic controller | IEEE MICRO |
Artículo | 1996 | Fuzzy-logic-based analog design tools | IEEE MICRO |
Nota | 1995 | Modular asynchronous arbiter insensitive to metastability | IEEE TRANSACTIONS ON COMPUTERS |
Artículo | 1995 | Using building-blocks to design analog neuro-fuzzy controllers | IEEE MICRO |