Publicaciones Google Scholar de
1980 a
2021
| Título |
Fuente |
Fecha |
| Using mutual information to test from Finite State Machines: Test suite selection |
Information and Software Technology 132, 106498 , 2021 |
2021 |
| SqSelect: Automatic assessment of Failed Error Propagation in state-based systems |
Expert Systems with Applications 174, 114748 , 2021 |
2021 |
| CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF |
Software and Systems Modeling, 1-29 , 2020 |
2020 |
| ColGrup-Método de aprendizaje de Gestión Colaborativa de múltiples Grupos de trabajo |
|
2020 |
| Implementation relations and testing for cyclic systems with refusals and discrete time |
Journal of Systems and Software 170, 110738 , 2020 |
2020 |
| Guest Editorial: Special Section on ICTSS |
Information and software technology, 1-1 , 2020 |
2020 |
| Mutation Operators for Google Query Language |
Asian Conference on Intelligent Information and Database Systems, 354-365 , 2020 |
2020 |
| An evolutionary technique for supporting the consensus process of group decision making |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2020 |
2020 |
| Estimating fault masking using squeeziness based on Rényi's entropy |
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1936-1943 , 2020 |
2020 |
| MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems |
Journal of Systems and Software 163, 110522 , 2020 |
2020 |
| TEA-Cloud: A formal framework for testing cloud computing systems |
IEEE Transactions on Reliability , 2020 |
2020 |
| Wodel-Test: a model-based framework for language-independent mutation testing |
Software and Systems Modeling, 1-27 , 2020 |
2020 |
| Seed Model Synthesis for Testing Model-Based Mutation Operators |
International Conference on Advanced Information Systems Engineering, 64-76 , 2020 |
2020 |
| An evolutionary algorithm for selection of test cases |
2020 IEEE Congress on Evolutionary Computation (CEC), 1-8 , 2020 |
2020 |
| Using mutual information in a black-box framework: test suite selection |
Information and Software Technology , 2020 |
2020 |
| Using a swarm to detect hard-to-kill mutants |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2020 |
2020 |
| Guest Editorial: Special Section on ICTSS |
Information and Software Technology 118, 106222 , 2020 |
2020 |
| A Trading Framework Based on Fuzzy Moore Machines |
Asian Conference on Intelligent Information and Database Systems, 123-134 , 2020 |
2020 |
| Adaptación y ejecución de aplicaciones MPI en entornos de simulación para analizar el rendimiento de arquitecturas distribuidas |
|
2019 |
| Grammar-based tree swarm optimization |
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), 76-81 , 2019 |
2019 |
| SIMCAN: A simulator to improve the learning of distributed and high‐performance computing systems in engineering degrees |
Computer Applications in Engineering Education 27 (5), 1126-1138 , 2019 |
2019 |
| GPTSG: a Genetic Programming Test Suite Generator using Information Theory measures |
International Work-Conference on Artificial Neural Networks, 716-728 , 2019 |
2019 |
| Conformance relations for fuzzy automata |
International Work-Conference on Artificial Neural Networks, 753-765 , 2019 |
2019 |
| Mutation testing for DSLs (tool demo) |
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain … , 2019 |
2019 |
| Probabilistic Software product lines |
Journal of Logical and Algebraic Methods in Programming 107, 54-78 , 2019 |
2019 |
| Improving cloud architectures using UML profiles and M2T transformation techniques |
The Journal of Supercomputing 75 (12), 8012-8058 , 2019 |
2019 |
| SQLab Extension: Laboratorio virtual lenguaje SQL |
|
2019 |
| Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review |
Journal of Universal Computer Science 25 (7), 740-763 , 2019 |
2019 |
| An overview on consensus‐based approaches to processing collective inconsistency and knowledge integration |
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 9 (4 … , 2019 |
2019 |
| A methodology to analyze heart data using fuzzy automata |
Journal of Intelligent & Fuzzy Systems 37 (6), 7389-7399 , 2019 |
2019 |
| Using genetic algorithms to generate test suites for FSMs |
International Work-Conference on Artificial Neural Networks, 741-752 , 2019 |
2019 |
| Toward evaluating the level of crowd wisdom using interval estimates |
Journal of Intelligent & Fuzzy Systems 37 (6), 7279-7289 , 2019 |
2019 |
| An Implementation Relation for Cyclic Systems with Refusals and Discrete Time |
International Conference on Software Engineering and Formal Methods, 393-409 , 2019 |
2019 |
| Evaluación de la realimentación semántica de SQL en DES |
|
2019 |
| Logical characterisations, rule formats and compositionality for input-output conformance simulation |
Journal of Logical and Algebraic Methods in Programming 106, 78-106 , 2019 |
2019 |
| An expert system for checking the correctness of memory systems using simulation and metamorphic testing |
Expert Systems with Applications 132, 44-62 , 2019 |
2019 |
| Using Squeeziness to test component-based systems defined as Finite State Machines |
Information and Software Technology 112, 132-147 , 2019 |
2019 |
| A framework for modeling cloud infrastructures and user interactions |
IEEE Access 7, 43269-43285 , 2019 |
2019 |
| Caracterización Espectral de Pinturas Rupestres: Cueva Pintada (Gáldar, Gran Canaria) |
Teledetección [Recurso electrónico]: hacia una visión global del cambio … , 2019 |
2019 |
| Modern approaches for intelligent information and database systems |
Springer , 2018 |
2018 |
| Bounded reordering in the distributed test architecture |
IEEE Transactions on Reliability 67 (2), 522-537 , 2018 |
2018 |
| An improved and tool-supported fuzzy automata framework to analyze heart data |
Asian Conference on Intelligent Information and Database Systems, 694-704 , 2018 |
2018 |
| A tool-supported framework for work planning on construction sites based on constraint programming |
Automation in Construction 86, 190-198 , 2018 |
2018 |
| A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates |
Proceedings of the 8th International Conference on Web Intelligence, Mining … , 2018 |
2018 |
| Enhancing set constraint solvers with bound consistency |
Expert Systems with Applications 92, 485-494 , 2018 |
2018 |
| An axiomatic semantics for iocos_ conformance relation |
Journal of Logical and Algebraic Methods in Programming 100, 152-184 , 2018 |
2018 |
| AUNTY: a tool to automatically analyze data using fuzzy automata |
2018 3rd International Conference on Computational Intelligence and … , 2018 |
2018 |
| The best fit for the observed galaxy Counts-in-Cell distribution function |
Astronomy & Astrophysics 601 , 2018 |
2018 |
| A tool for domain-independent model mutation |
Science of Computer Programming 163, 85-92 , 2018 |
2018 |
| Test suite minimization for mutation testing of WS-BPEL compositions |
Proceedings of the Genetic and Evolutionary Computation Conference, 1427-1434 , 2018 |
2018 |
| FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage |
Journal of Information and Telecommunication 2 (1), 2-18 , 2018 |
2018 |
| Testing Software and Systems |
Springer International Publishing: , 2018 |
2018 |
| Passive testing with asynchronous communications and timestamps |
Distributed Computing 31 (5), 327-342 , 2018 |
2018 |
| Mutomvo: Mutation testing framework for simulated cloud and HPC environments |
Journal of Systems and Software 143, 187-207 , 2018 |
2018 |
| A tool supported methodology to passively test asynchronous systems with multiple users |
Information and Software Technology 104, 162-178 , 2018 |
2018 |
| Intelligent collectives: Impact of diversity on susceptibility to consensus and collective performance |
International Conference on Computational Collective Intelligence, 13-22 , 2018 |
2018 |
| Towards a model-driven engineering solution for language independent mutation testing |
Jornadas de Ingeniería del Software y Bases de Datos (JISBD), 4 , 2018 |
2018 |
| MAGICIAN: Model-based design for optimizing the configuration of data-centers. |
SEKE, 602-607 , 2017 |
2017 |
| Aplicando técnicas inspiradas en MOOCs en una asignatura de introducción a la programación |
Las TIC en la Enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de … , 2017 |
2017 |
| Using Evolutionary Mutation Testing to improve the quality of test suites |
2017 IEEE Congress on Evolutionary Computation (CEC), 596-603 , 2017 |
2017 |
| SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools |
Federation of International Conferences on Software Technologies … , 2017 |
2017 |
| Intelligent collective: some issues with collective cardinality |
Journal of Information and Telecommunication 1 (2), 127-140 , 2017 |
2017 |
| Using Ants to Fight Wildfire |
International Work-Conference on Artificial Neural Networks, 371-380 , 2017 |
2017 |
| A formal framework to specify and test systems with fuzzy-time information |
International Work-Conference on Artificial Neural Networks, 403-414 , 2017 |
2017 |
| Implementation relations and probabilistic schedulers in the distributed test architecture |
Journal of Systems and Software 132, 319-335 , 2017 |
2017 |
| Preface of the special issue on formal methods in industrial critical systems |
International Journal on Software Tools for Technology Transfer 19 (4), 391-393 , 2017 |
2017 |
| Heuristics for ROSA’s LTS Searching |
International Work-Conference on Artificial Neural Networks, 427-437 , 2017 |
2017 |
| The best fit for the observed galaxy counts-in-cell distribution function |
Astronomy & Astrophysics 601 , 2017 |
2017 |
| SQLab: Laboratorio virtual lenguaje SQL |
|
2017 |
| A multi-agent system architecture for statistics managing and soccer forecasting |
2017 2nd IEEE International Conference on Computational Intelligence and … , 2017 |
2017 |
| Collective intelligence and databases in eHealth: A survey 1 |
Journal of Intelligent & Fuzzy Systems 32 (2), 1485-1496 , 2017 |
2017 |
| Using fuzzy automata to diagnose and predict heart problems |
2017 IEEE Congress on Evolutionary Computation (CEC), 846-853 , 2017 |
2017 |
| OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments |
Procedia Computer Science 108, 505-514 , 2017 |
2017 |
| LAnt: Model driven approach for ant colony optimization 1 |
Journal of Intelligent & Fuzzy Systems 32 (2), 1343-1354 , 2017 |
2017 |
| Preface: Special issue on software verification and testing |
Journal of Systems and Software 132, 317-318 , 2017 |
2017 |
| A hybrid ant colony based system for assist the prevention and mitigation of wildfires in forests |
2017 2nd IEEE International Conference on Computational Intelligence and … , 2017 |
2017 |
| Passive Testing with Asynchronous Communications and Timestamps |
Springer , 2017 |
2017 |
| Analysis of temporal complex events in sensor networks |
Journal of Information and Telecommunication 1 (3), 273-289 , 2017 |
2017 |
| Collective intelligent information and database systems |
Journal of Intelligent & Fuzzy Systems 32 (2), 1157-1160 , 2017 |
2017 |
| Introduction to the Software Engineering and Formal Methods 2013 special issue |
Software & Systems Modeling 16 (1), 5-6 , 2017 |
2017 |
| An extended framework for passive asynchronous testing |
Journal of Logical and Algebraic Methods in Programming 86 (1), 408-424 , 2017 |
2017 |
| Intelligent collective: The role of diversity and collective cardinality |
International Conference on Computational Collective Intelligence, 83-92 , 2017 |
2017 |
| Using evolutionary computation to improve mutation testing |
International Work-Conference on Artificial Neural Networks, 381-391 , 2017 |
2017 |
| Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos |
|
2017 |
| Bounded reordering in the distributed test architecture |
|
2017 |
| Intelligent Secure Communications Between Systems |
Recent Developments in Intelligent Information and Database Systems, 183-193 , 2016 |
2016 |
| Controllability through nondeterminism in distributed testing |
IFIP International Conference on Testing Software and Systems, 89-105 , 2016 |
2016 |
| HTTP Communications: A Case Study of Online Captures with PTTAC |
DEStech Transactions on Environment, Energy and Earth Sciences , 2016 |
2016 |
| Testing Semantics for Probabilistic |
Formal Description Techniques VIII, 367 , 2016 |
2016 |
| A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth Systems |
Recent Developments in Intelligent Information and Database Systems, 221-231 , 2016 |
2016 |
| Eminent: Embarrassingly parallel mutation testing |
Procedia Computer Science 80, 63-73 , 2016 |
2016 |
| FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts |
Asian Conference on Intelligent Information and Database Systems, 770-779 , 2016 |
2016 |
| EMINENT |
Procedia Computer Science 80 (C), 63-73 , 2016 |
2016 |
| A Methodology for Testing Simulated Environments |
DEStech Transactions on Environment, Energy and Earth Sciences , 2016 |
2016 |
| Cost-related interface for software product lines |
Journal of Logical and Algebraic Methods in Programming 85 (1), 227-244 , 2016 |
2016 |
| Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad |
|
2016 |
| Implementación y puesta en práctica de técnicas de evaluación masiva, evaluación por pares y autoevaluación para MOOCs. |
|
2015 |
| Introduction to the special issue on Mutation Testing |
Software Testing, Verification and Reliability 25 (5-7), 461-463 , 2015 |
2015 |
| Extending mCRL2 with ready simulation and iocos input-output conformance simulation |
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1781-1788 , 2015 |
2015 |
| Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings |
Springer , 2015 |
2015 |
| Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP |
Universidad Complutense de Madrid , 2015 |
2015 |
| A Methodology for Designing Energy-aware Systems for Computational Science |
Procedia Computer Science 51, 2804-2808 , 2015 |
2015 |
| A methodology for designing energy-aware systems for computational science |
Procedia Computer Science 51, 2804-2808 , 2015 |
2015 |
| Journal of Logical and Algebraic Methods in Programming |
|
2015 |
| Computational collective intelligence |
|
2015 |
| Special issue on formal active and passive testing of distributed and networked systems |
annals of telecommunications-annales des télécommunications 70 (3), 83-84 , 2015 |
2015 |
| A methodology for validating cloud models using metamorphic testing |
annals of telecommunications-annales des télécommunications 70 (3), 127-135 , 2015 |
2015 |
| A survey on formal active and passive testing with applications to the cloud |
annals of telecommunications-annales des télécommunications 70 (3), 85-93 , 2015 |
2015 |
| Passive testing of communicating systems with timeouts |
Information and Software Technology 64, 19-35 , 2015 |
2015 |
| Testing Software and Systems |
International Conference, ictss 2014, 23-25 , 2014 |
2014 |
| Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised … |
Springer , 2014 |
2014 |
| A formal framework to analyze cost and performance in map-reduce based applications |
Journal of Computational Science 5 (2), 106-118 , 2014 |
2014 |
| A Methodology for Aiding Users to Design and Model Cloud Computing Architectures |
2014 Tenth International Conference on Signal-Image Technology and Internet … , 2014 |
2014 |
| PTTAC: passive testing tool for asynchronous systems |
2014 Tenth International Conference on Signal-Image Technology and Internet … , 2014 |
2014 |
| Student perception and usage of an automated programming assessment tool |
Computers in Human Behavior 31, 453-460 , 2014 |
2014 |
| A formal framework to analyze cost and performance in map-reduce based applications |
Journal of Computational Science 5 (2), 106-118 , 2014 |
2014 |
| Modelo origen destino para estimar el flujo de tráfico usando algoritmos genéticos |
Maskana 5 , 2014 |
2014 |
| Axiomatizing weak simulation semantics over BCCSP |
Theoretical Computer Science 537, 42-71 , 2014 |
2014 |
| Timed implementation relations for the distributed test architecture |
Distributed Computing 27 (3), 181-201 , 2014 |
2014 |
| Effectiveness for input output conformance simulation iocos |
International Conference on Formal Techniques for Distributed Objects … , 2014 |
2014 |
| A Methodology for Aiding Users to Design and Model Cloud Computing Architectures |
Signal-Image Technology and Internet-Based Systems (SITIS), 2014 Tenth … , 2014 |
2014 |
| FLOP: A User-Friendly System for Automated Program Assessment. |
J. UCS 20 (9), 1304-1326 , 2014 |
2014 |
| Unifying the Linear Time-Branching Time Spectrum of Process Semantics |
arXiv preprint arXiv:1304.6574 , 2013 |
2013 |
| Passive testing with asynchronous communications |
Formal Techniques for Distributed Systems, 99-113 , 2013 |
2013 |
| SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications |
Procedia Computer Science 18, 230-239 , 2013 |
2013 |
| Una evaluación de usabilidad de FLOP |
|
2013 |
| Cuantificación del riesgo operacional mediante modelos de pérdidas agregadas y simulación Monte Carlo Operational Risk Quanti |
Analíti ak, 37 , 2013 |
2013 |
| Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011) |
Information and Software Technology 55 (5), 865 , 2013 |
2013 |
| SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications |
Procedia Computer Science 18, 230-239 , 2013 |
2013 |
| Transactions on Large-Scale Data-and Knowledge-Centered Systems VIII: Special Issue on Advances in Data Warehousing and Knowledge Discovery |
Springer , 2013 |
2013 |
| Unifying the linear time-branching time spectrum of strong process semantics |
Logical methods in computer science 9 (2) , 2013 |
2013 |
| PROBABILISTIC TESTING |
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII … , 2013 |
2013 |
| Friendly Testing as a Conformance |
Formal Description Techniques and Protocol Specification, Testing and … , 2013 |
2013 |
| Unifying the Linear Time-Branching Time Spectrum of Process Semantics |
Logical Methods in Computer Science 9 , 2013 |
2013 |
| Using genetic algorithms to generate test sequences for complex timed systems |
Soft Computing 17 (2), 301-315 , 2013 |
2013 |
| Cuantificación del riesgo operacional mediante modelos de pérdidas agregadas y simulación Monte Carlo |
Analítika: revista de análisis estadístico, 39-50 , 2013 |
2013 |
| Priorización de casos de prueba. Avances y retos |
Novática: Revista de la Asociación de Técnicos de Informática, 224, 27-32 , 2013 |
2013 |
| E-mc 2: A formal framework for energy modelling in cloud computing |
Simulation Modelling Practice and Theory 39, 56-75 , 2013 |
2013 |
| Input-Output Conformance Simulation ( iocos ) for Model Based Testing |
Formal Techniques for Distributed Systems, 114-129 , 2013 |
2013 |
| Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings |
Springer , 2013 |
2013 |
| iCanCloud: A flexible and scalable cloud infrastructure simulator |
Journal of Grid Computing 10 (1), 185-209 , 2012 |
2012 |
| Passive testing of timed systems with timeouts |
2012 12th International Conference on Quality Software, 69-78 , 2012 |
2012 |
| Lessons learned from using the automated assessment tool “Mooshak” |
2012 International Symposium on Computers in Education (SIIE), 1-6 , 2012 |
2012 |
| Interactive experimentation with algorithms |
Computers in Education 2, 47-70 , 2012 |
2012 |
| An adaptive, scalable, and portable technique for speeding up MPI-based applications |
European Conference on Parallel Processing, 729-740 , 2012 |
2012 |
| Extending the System with the ECLiPSe Solver over Sets of Integers |
International Symposium on Functional and Logic Programming, 120-135 , 2012 |
2012 |
| OCE: an online colaborative editor |
International Conference on Computational Collective Intelligence, 89-98 , 2012 |
2012 |
| A formal framework to test soft and hard deadlines in timed systems |
Software Testing, Verification and Reliability 22 (8), 583-608 , 2012 |
2012 |
| iCanCloud: A brief architecture overview |
2012 IEEE 10th International Symposium on Parallel and Distributed … , 2012 |
2012 |
| Using schedulers to test probabilistic distributed systems |
Formal Aspects of Computing 24 (4), 679-699 , 2012 |
2012 |
| Dynamic-CoMPI: dynamic optimization techniques for MPI parallel applications |
The Journal of Supercomputing 59 (1), 361-391 , 2012 |
2012 |
| Preventing attacks by classifying user models in a collaborative scenario |
International Conference on Computational Collective Intelligence, 505-514 , 2012 |
2012 |
| FLOP, a free laboratory of programming |
Proceedings of the 12th Koli Calling International Conference on Computing … , 2012 |
2012 |
| Preface: Special Issue QFM 2009 |
The Journal of Logic and Algebraic Programming 81, 1 , 2012 |
2012 |
| Optimizing the Trade-offs Between Cost and Performance in Scientific Computing |
Procedia Computer Science 9, 498-507 , 2012 |
2012 |
| Formal passive testing of timed systems: theory and tools |
Software Testing, Verification and Reliability 22 (6), 365-405 , 2012 |
2012 |
| SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications |
Simulation Modelling Practice and Theory 20 (1), 12-32 , 2012 |
2012 |
| The equational theory of weak complete simulation semantics over BCCSP |
SOFSEM 2012: Theory and Practice of Comp, 141-152 , 2012 |
2012 |
| Implementation relations and test generation for systems with distributed interfaces |
Distributed Computing 25 (1), 35-62 , 2012 |
2012 |
| Mascloud: a framework based on multi-agent systems for optimizing cost in cloud computing |
International Conference on Computational Collective Intelligence, 436-445 , 2012 |
2012 |
| Using time to add order to distributed testing |
International Symposium on Formal Methods, 232-246 , 2012 |
2012 |
| Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM |
2011 IEEE Symposium on Artificial Life (ALIFE), 22-29 , 2011 |
2011 |
| Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet |
Information processing letters 111 (9), 408-413 , 2011 |
2011 |
| Design of a flexible and scalable hypervisor module for simulating cloud computing environments |
2011 International Symposium on Performance Evaluation of Computer … , 2011 |
2011 |
| Planning of work schedules through the use of a hierarchical multi-agent system |
Automation in Construction 20 (8), 1227-1241 , 2011 |
2011 |
| A case study on the use of genetic algorithms to generate test cases for temporal systems |
International Work-Conference on Artificial Neural Networks, 396-403 , 2011 |
2011 |
| Design of a new cloud computing simulation platform |
International Conference on Computational Science and Its Applications, 582-593 , 2011 |
2011 |
| Experimental comparison of different techniques to generate adaptive sequences |
International Work-Conference on Artificial Neural Networks, 404-411 , 2011 |
2011 |
| Axiomatizing weak ready simulation semantics over BCCSP |
International Colloquium on Theoretical Aspects of Computing, 7-24 , 2011 |
2011 |
| A Power-Aware Based Storage Architecture for High Performance Computing |
High Performance Computing and Communications (HPCC), 2011 IEEE 13th … , 2011 |
2011 |
| Scenarios‐based testing of systems with distributed ports |
Software: Practice and Experience 41 (10), 999-1026 , 2011 |
2011 |
| Testing timed systems modeled by stream X-machines |
Software & Systems Modeling 10 (2), 201-217 , 2011 |
2011 |
| Optimizing distributed architectures to improve performance on checkpointing applications |
High Performance Computing and Communications (HPCC), 2011 IEEE 13th … , 2011 |
2011 |
| Self-adaptive fuzzy-timed systems |
2011 IEEE Congress of Evolutionary Computation (CEC), 115-122 , 2011 |
2011 |
| Formal testing of timed and probabilistic systems |
IFIP International Conference on Testing Software and Systems, 9-14 , 2011 |
2011 |
| A Formal Methodology to Specify Hierarchical Agent-Based Systems |
Web-Based Information Technologies and Distributed Systems, 93-114 , 2010 |
2010 |
| SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMSResearch partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project … |
IFIP International Federation for Information Processing 184 (1) , 2010 |
2010 |
| MACRO-SYS: an interactive macroeconomics simulator for advanced learning |
Asian Conference on Intelligent Information and Database Systems, 47-56 , 2010 |
2010 |
| From data mining to user models in evolutionary databases |
Asian Conference on Intelligent Information and Database Systems, 54-63 , 2010 |
2010 |
| M-PLAT: Multi-programming language adaptive tutor |
Advances in Learning Processes, 125-138 , 2010 |
2010 |
| Pedagogical use of automatic graders |
Advances in Learning Processes, 265 , 2010 |
2010 |
| New techniques for simulating high performance MPI applications on large storage networks |
The Journal of Supercomputing 51 (1), 40-57 , 2010 |
2010 |
| New contributions for simulating large distributed systems |
Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM … , 2010 |
2010 |
| Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. |
SEKE, 405-410 , 2010 |
2010 |
| Pedagogical use of automatic graders |
Advances in Learning Processes, InTech , 2010 |
2010 |
| A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEMResearch partially supported by the Spanish MCYT project TIC2003-07848-C02, the … |
IFIP International Federation for Information Processing 184 (1) , 2010 |
2010 |
| Formal passive testing of service-oriented systems |
2010 IEEE International Conference on Services Computing, 610-613 , 2010 |
2010 |
| Specification and testing of e-commerce agents described by using uioltss |
Formal Techniques for Distributed Systems, 78-86 , 2010 |
2010 |
| Passive testing of web services |
International Workshop on Web Services and Formal Methods, 56-70 , 2010 |
2010 |
| Mutation Testing. |
Encyclopedia of Software Engineering, 594-602 , 2010 |
2010 |
| Testing probabilistic distributed systems |
Formal Techniques for Distributed Systems, 63-77 , 2010 |
2010 |
| Testing activo y pasivo de sistemas con información temporal y probabilística |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2010 |
2010 |
| Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands … |
Springer , 2009 |
2009 |
| Testing from a stochastic timed system with a fault model |
The Journal of Logic and Algebraic Programming 78 (2), 98-115 , 2009 |
2009 |
| Analysis of the OLSR protocol by using formal passive testing |
2009 16th Asia-Pacific Software Engineering Conference, 152-159 , 2009 |
2009 |
| Marcos temporales y probabilísticos para testing formal |
Universidad Complutense de Madrid , 2009 |
2009 |
| Passive testing of stochastic timed systems |
2009 International Conference on Software Testing Verification and … , 2009 |
2009 |
| Testing of Software and Communication Systems |
|
2009 |
| Web-Based Algorithm and Program Visualization for Education |
Encyclopedia of Information Science and Technology, Second Edition, 4093-4098 , 2009 |
2009 |
| Mutation testing from probabilistic and stochastic finite state machines |
Journal of Systems and Software 82 (11), 1804-1818 , 2009 |
2009 |
| Formal correctness of a passive testing approach for timed systems |
IEEE Comp Soc , 2009 |
2009 |
| Advantages of mutation in passive testing: An empirical study |
2009 International Conference on Software Testing, Verification, and … , 2009 |
2009 |
| EPTCS 13 |
arXiv preprint arXiv:0912.2128 , 2009 |
2009 |
| On the unification of process semantics: Observational semantics |
International Conference on Current Trends in Theory and Practice of … , 2009 |
2009 |
| Formal correctness of a passive testing approach for timed systems |
2009 International Conference on Software Testing, Verification, and … , 2009 |
2009 |
| Proceedings First Workshop on Quantitative Formal Methods: theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009) |
|
2009 |
| Internet: libertad, identidad y seguridad |
Crítica 59 (959), 52-58 , 2009 |
2009 |
| Testing of Software and Communication Systems |
Lecture Notes in Computer Science 5826 , 2009 |
2009 |
| Aiding test case generation in temporally constrained state based systems using genetic algorithms |
International Work-Conference on Artificial Neural Networks, 327-334 , 2009 |
2009 |
| A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008 |
The Journal of Logic and Algebraic Programming 78 (6), 417-424 , 2009 |
2009 |
| On the Cooperation of the Constraint Domains H, R and FD in CFLP |
Arxiv preprint arXiv:0904.2136 , 2009 |
2009 |
| Combining genetic algorithms and mutation testing to generate test sequences |
International Work-Conference on Artificial Neural Networks, 343-350 , 2009 |
2009 |
| A novel formalism to represent collective intelligence in multi-agent systems |
New Challenges in Computational Collective Intelligence, 193-204 , 2009 |
2009 |
| TOY: A System for Experimenting with Cooperation of Constraint Domains |
Electronic Notes in Theoretical Computer Science 258 (1), 79-91 , 2009 |
2009 |
| A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. |
Journal of Logic and Algebraic Programming 78 (6), 417-424 , 2009 |
2009 |
| (Bi) simulations up-to characterise process semantics |
Information and computation 207 (2), 146-170 , 2009 |
2009 |
| Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications |
arXiv preprint arXiv:0912.2128 , 2009 |
2009 |
| A hierarchical methodology to specify and simulate complex computational systems |
International Conference on Computational Science, 347-356 , 2009 |
2009 |
| Reconstrucción (CUPCAM 2007, problema G, solución) |
Novática: Revista de la Asociación de Técnicos de Informática, 75-76 , 2009 |
2009 |
| On the unification of process semantics: Equational semantics |
Electronic Notes in Theoretical Computer Science 249, 243-267 , 2009 |
2009 |
| Cooperation of the finite domain and set solvers in TOY |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. |
SEKE, 426-431 , 2009 |
2009 |
| A statistical approach to test stochastic and probabilistic systems |
International Conference on Formal Engineering Methods, 186-205 , 2009 |
2009 |
| Ready to preorder: an algebraic and general proof |
The Journal of Logic and Algebraic Programming 78 (7), 539-551 , 2009 |
2009 |
| Applying formal passive testing to study temporal properties of the stream control transmission protocol |
2009 Seventh IEEE International Conference on Software Engineering and … , 2009 |
2009 |
| Entendiendo las semánticas de procesos |
Universidad Complutense de Madrid , 2009 |
2009 |
| Supporting the extraction of timed properties for passive testing by using probabilistic user models |
2009 Ninth International Conference on Quality Software, 145-154 , 2009 |
2009 |
| Simulation relations for systems with distributed interfaces |
2009 Seventh IEEE International Conference on Software Engineering and … , 2009 |
2009 |
| Using architectural simulation models to aid the design of data intensive application |
2009 Third International Conference on Advanced Engineering Computing and … , 2009 |
2009 |
| Using formal methods to develop a complex information system: a practical/theoretical experience |
Proceedings of the 2008 ACM symposium on Applied computing, 848-849 , 2008 |
2008 |
| A comparative study of STOPA and RTPA |
Transactions on Computational Science II, 224-245 , 2008 |
2008 |
| Derivation of tests from timed specifications according to different coverage criteria |
Third International Conference on Systems (icons 2008), 97-102 , 2008 |
2008 |
| Constrained simulations, nested simulation semantics and counting bisimulations |
Electronic Notes in Theoretical Computer Science 206, 41-58 , 2008 |
2008 |
| Universal coinductive characterisations of process semantics |
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 … , 2008 |
2008 |
| M-PLAT: Multi-programming language adaptive tutor |
2008 Eighth IEEE International Conference on Advanced Learning Technologies … , 2008 |
2008 |
| Analyzing Scalable High-Performance I/O Architectures. |
PDPTA 8, 631-637 , 2008 |
2008 |
| Laboratorio de Programación. Manual de Mooshak para el alumno |
Cuadernos de Trabajo de la Facultad de Estudios Estadísticos, 1 , 2008 |
2008 |
| Extending EFSMs to specify and test timed systems with action durations and time-outs |
IEEE Transactions on Computers 57 (6), 835-844 , 2008 |
2008 |
| Simcan: a simulator framework for computer architectures and storage networks |
Proceedings of the 1st international conference on Simulation tools and … , 2008 |
2008 |
| Distributed Data Mining for Learning Predictive Knowledge |
|
2008 |
| ACABARASE: An Anti-spam CAse-BAsed ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm |
Third International Conference on Systems (icons 2008), 230-234 , 2008 |
2008 |
| Controllable test cases for the distributed test architecture |
International Symposium on Automated Technology for Verification and … , 2008 |
2008 |
| A hierarchy of equivalences for probabilistic processes |
International Conference on Formal Techniques for Networked and Distributed … , 2008 |
2008 |
| New Techniques for Modeling File Data Distribution on Storage Nodes |
41st Annual Simulation Symposium (anss-41 2008), 175-182 , 2008 |
2008 |
| Extending stream X-machines to specify and test systems with timeouts |
2008 Sixth IEEE International Conference on Software Engineering and Formal … , 2008 |
2008 |
| Correctores automáticos de programas: Implantación realista en la docencia universitaria |
Actas del II Seminario de Investigación en Tecnologías de la Información … , 2008 |
2008 |
| A formal methodology to specify hierarchical agent-based systems |
2008 IEEE International Conference on Signal Image Technology and Internet … , 2008 |
2008 |
| Passive testing of timed systems |
International Symposium on Automated Technology for Verification and … , 2008 |
2008 |
| Testing from a Stochastic Timed System with a Fault Model |
|
2008 |
| Playing with : Constraints and Domain Cooperation |
European Symposium on Programming, 112-115 , 2008 |
2008 |
| Las sociedades laborales |
MONZÓN, J. L (Director)(2010). La Economía Social en España en el año , 2008 |
2008 |
| New techniques for simulating high performance MPI applications on large storage networks |
Cluster Computing, 2008 IEEE International Conference on, 444-452 , 2008 |
2008 |
| La interpretación alegórica en los comentarios de El Brocense y de Diego López a los" Emblemas" de Alciato |
Imagen y cultura: la interpretación de las imágenes como historia cultural … , 2008 |
2008 |
| A gentle introduction to mutual recursion |
Proceedings of the 13th annual conference on Innovation and technology in … , 2008 |
2008 |
| Testing-Based Automatic Grading: a proposal from Bloom's taxonomy |
2008 Eighth IEEE International Conference on Advanced Learning Technologies … , 2008 |
2008 |
| 2008 IEEE International Conference on Cluster Computing |
2008 IEEE International Conference on Cluster Computing (CLUSTER), 444-452 , 2008 |
2008 |
| : A Timed Extension of |
Testing of Software and Communicating Systems, 86-102 , 2008 |
2008 |
| An approach to effortless construction of program animations |
Computers & Education 50 (1), 179-192 , 2008 |
2008 |
| Implementation relations for the distributed test architecture |
Testing of software and communicating systems, 200-215 , 2008 |
2008 |
| THOTL: A timed extension of HOTL |
Lecture Notes in Computer Science 5047, 86-102 , 2008 |
2008 |
| Formal development of a complex information system |
Third International Conference on Systems (icons 2008), 118-123 , 2008 |
2008 |
| Laboratorio de programación: Manual de Mooshak para el alumno |
EU Estadística , 2008 |
2008 |
| HOTL: Hypotheses and observations testing logic |
The Journal of Logic and Algebraic Programming 74 (2), 57-93 , 2008 |
2008 |
| Coinductive characterisations reveal nice relations between preorders and equivalences |
Electronic Notes in Theoretical Computer Science 212, 149-162 , 2008 |
2008 |
| Cooperation of constraint domains in the TOY system |
Proceedings of the 10th international ACM SIGPLAN conference on Principles … , 2008 |
2008 |
| Using black-box modeling techniques for modern disk drives service time simulation |
41st Annual Simulation Symposium (anss-41 2008), 139-145 , 2008 |
2008 |
| Passive Testing of Timed Systems |
SPRINGER-VERLAG BERLIN , 2008 |
2008 |
| Formal testing from timed finite state machines |
Computer networks 52 (2), 432-460 , 2008 |
2008 |
| A proposal for the cooperation of solvers in constraint functional logic programming |
Electronic Notes in Theoretical Computer Science 188, 37-51 , 2007 |
2007 |
| Aproximación al Pentecontarchos de Lorenzo Ramírez de Prado: gramática, retórica y filosofía |
Studia philologica valentina, 379-409 , 2007 |
2007 |
| SPAMR: Extending PAMR with stochastic time |
European Performance Engineering Workshop, 63-79 , 2007 |
2007 |
| Testing finite state machines presenting stochastic time and timeouts |
European Performance Engineering Workshop, 97-111 , 2007 |
2007 |
| From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. |
J. UCS 13 (13), 2035-2075 , 2007 |
2007 |
| Plataformas en código abierto o en código cerrado para la UCM |
Editorial Complutense , 2007 |
2007 |
| Papiroflexia (CUPCAM 2006, problema E, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática, 74 , 2007 |
2007 |
| WinHIPE: An IDE for functional programming based on rewriting and visualization |
ACM SIGPLAN Notices 42 (3), 14-23 , 2007 |
2007 |
| Isomorfismos entre estructura y cardinalidad de los montıculos. Aspectos constructivos |
Tecnolog¡ as del software: Seminario de investigación e innovación en … , 2007 |
2007 |
| Papiroflexia (CUPCAM 2006, problema E, solución) |
Novática: Revista de la Asociación de Técnicos de Informática, 73 , 2007 |
2007 |
| HOTL: Hypotheses and observations testing logic |
Journal of Logic and Algebraic Programming 74 (2), 57-93 , 2007 |
2007 |
| Un area productiva en un edificio del foro de Valentia en el bajo imperio (S. IV-V) |
BAR INTERNATIONAL SERIES 1686, 327 , 2007 |
2007 |
| ¿ Debemos superar WebCT?: hacia un modelo basado en objetos de aprendizaje |
Editorial Complutense , 2007 |
2007 |
| Mutation testing from probabilistic finite state machines |
Testing: Academic and Industrial Conference Practice and Research Techniques … , 2007 |
2007 |
| Simulations up-to and canonical preorders |
Electronic Notes in Theoretical Computer Science 192 (1), 13-28 , 2007 |
2007 |
| Formal testing of systems presenting soft and hard deadlines |
International Conference on Fundamentals of Software Engineering, 160-174 , 2007 |
2007 |
| A Brief Introduction to |
International Symposium on Automated Technology for Verification and … , 2007 |
2007 |
| Generation of optimal finite test suites for timed systems |
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software … , 2007 |
2007 |
| Cognitive processes by using finite state machines |
International Journal of Cognitive Informatics and Natural Intelligence … , 2007 |
2007 |
| A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme |
Electronic Notes in Theoretical Computer Science 177, 235-252 , 2007 |
2007 |
| Formal specification of multi-agent systems by using EUSMs |
International Conference on Fundamentals of Software Engineering, 318-333 , 2007 |
2007 |
| Testing conformance on stochastic stream X-machines |
Fifth IEEE International Conference on Software Engineering and Formal … , 2007 |
2007 |
| New bisimulation semantics for distributed systems |
International Conference on Formal Techniques for Networked and Distributed … , 2007 |
2007 |
| Datos para la gestión pesquera de Lixus (Larache, Marruecos) |
BAR INTERNATIONAL SERIES 1686, 205 , 2007 |
2007 |
| An instructor’s guide to design web-based algorithm animations |
International Conference on Web-Based Learning, 440-451 , 2007 |
2007 |
| A formal specification of the memorization process |
International Journal of Cognitive Informatics and Natural Intelligence … , 2007 |
2007 |
| A formal methodology to test complex heterogeneous systems |
International Symposium on Automated Technology for Verification and … , 2007 |
2007 |
| Testing Semantics for Urgent Timed Process Algebras |
Real-Time Systems: Modeling, Design, and Applications, 221-235 , 2007 |
2007 |
| PAMR: A PROCESS ALGEBRA FOR THE MANAGEMENT CONCURRENT SYSTEMS* OF RESOURCES IN |
Formal Techniques for Networked and Distributed Systems: FORTE 2001 69, 169 , 2006 |
2006 |
| Extreme value dependence in problems with a changing causation structure |
International Conference on Advanced Data Mining and Applications, 899-910 , 2006 |
2006 |
| Customized testing for probabilistic systems |
IFIP International Conference on Testing of Communicating Systems, 87-102 , 2006 |
2006 |
| Cuadrados (CUPCAM 2005, problema fase local UCM, solución) |
Novática: Revista de la Asociación de Técnicos de Informática, 75-76 , 2006 |
2006 |
| Assessing the expressivity of formal specification languages |
International Conference on Algebraic Methodology and Software Technology … , 2006 |
2006 |
| A logic for assessing sets of heterogeneous testing hypotheses |
IFIP International Conference on Testing of Communicating Systems, 39-54 , 2006 |
2006 |
| Specification, testing and implementation relations for symbolic-probabilistic systems |
Theoretical Computer Science 353 (1-3), 228-248 , 2006 |
2006 |
| Los recursos marítimos y el registro arqueológico de Lixus (Larache, Marruecos) |
Historia de la pesca en el ámbito del Estrecho. i Conferencia internacional 5 , 2006 |
2006 |
| Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised … |
Springer , 2006 |
2006 |
| Extending EFSMs to specify and test timed systems with action durations and timeouts |
International Conference on Formal Techniques for Networked and Distributed … , 2006 |
2006 |
| Implementation relations for stochastic finite state machines |
European Performance Engineering Workshop, 123-137 , 2006 |
2006 |
| Process equivalences as global bisimulations |
Journal of universal computer science 12 (11), 1521-1550 , 2006 |
2006 |
| From theoretical e-barter models to an implementation based on Web Services |
Electronic Notes in Theoretical Computer Science 159, 241-264 , 2006 |
2006 |
| Estrellas diabólicas (CUPCAM 2005, problema F, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática, 73 , 2006 |
2006 |
| Web Services and Formal Methods |
|
2006 |
| Semantics equivalences defined with global bisimulations |
Annual meeting of the IFIP Working Group 2 , 2006 |
2006 |
| Market-Based Adaptive Discussion Forums |
International Conference on Signal-Image Technology and Internet-Based … , 2006 |
2006 |
| Programas equivalentes (CUPCAM 2005, problema F, solución) |
Novática: Revista de la Asociación de Técnicos de Informática, 74 , 2006 |
2006 |
| Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings |
Springer , 2006 |
2006 |
| Derivation of a suitable finite test suite for customized probabilistic systems |
International Conference on Formal Techniques for Networked and Distributed … , 2006 |
2006 |
| An integrated framework for the study of conformance relations in timed systems |
Master's thesis, Universidad Complutense de Madrid , 2006 |
2006 |
| La realidad de la virtualidad> 02 |
novática, 6 , 2006 |
2006 |
| Successful therapeutic use of rituximab in refractory membranous glomerulonephritis. |
Clinical nephrology 66 (1) , 2006 |
2006 |
| Cuadrados (CUPCAM 2005, problema fase local UCM, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática, 74 , 2006 |
2006 |
| Bisimulations up-to for the linear time branching time spectrum |
International Conference on Concurrency Theory, 278-292 , 2005 |
2005 |
| Weak stochastic bisimulation for non-Markovian processes |
International Colloquium on Theoretical Aspects of Computing, 454-468 , 2005 |
2005 |
| Creación de un curso sobre Metodología y Tecnología de la Información para su uso en un Campus Virtual |
Editorial Complutense , 2005 |
2005 |
| Un Campus Virtual Alternativo |
Cómo integrar investigación y docencia en el CV-UCM, 222 , 2005 |
2005 |
| A FORMAL METHODOLOGY TO TEST COM-PLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM |
From Specification to Embedded Systems Application 184, 125 , 2005 |
2005 |
| Specification-Based Testing of Real-Time Embedded Systems. |
IESS, 115-124 , 2005 |
2005 |
| Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal … |
Taylor & Francis , 2005 |
2005 |
| Conformance testing relations for timed systems |
International Workshop on Formal Approaches to Software Testing, 103-117 , 2005 |
2005 |
| Designing an efficient computation strategy in CFLP(FD) using definitional trees |
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic … , 2005 |
2005 |
| Un campus virtual alternativo |
Editorial Complutense , 2005 |
2005 |
| How does the memory work? by timed-arc Petri nets |
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 128-135 , 2005 |
2005 |
| A passive testing approach based on invariants: application to the WAP |
Computer networks 48 (2), 247-266 , 2005 |
2005 |
| Formal specification of multi-agent e-barter systems |
Science of Computer Programming 57 (2), 187-216 , 2005 |
2005 |
| Specifying the memorization process with STOPA |
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 238-247 , 2005 |
2005 |
| Specification and testing of autonomous agents in e‐commerce systems |
Software Testing, Verification and Reliability 15 (4), 211-233 , 2005 |
2005 |
| Testing of symbolic-probabilistic systems |
International Workshop on Formal Approaches to Software Testing, 49-63 , 2004 |
2004 |
| Stopa: A stochastic process algebra for the formal representation of cognitive systems |
Proceedings of the Third IEEE International Conference on Cognitive … , 2004 |
2004 |
| Genotypical profile of infection by HCV |
Clinical Microbiology & Infection Supplement 10 , 2004 |
2004 |
| Erratum to: Formal Techniques for Networked and Distributed Systems–FORTE 2004 |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 |
Springer , 2004 |
2004 |
| Improving privacy in Vickrey auctions |
ACM SIGEcom Exchanges 5 (1), 1-12 , 2004 |
2004 |
| Applying Occam's razor to FSMs |
Proceedings of the Third IEEE International Conference on Cognitive … , 2004 |
2004 |
| Editorial message: special track on E-commerce technologies |
Proceedings of the 2004 ACM symposium on Applied computing, 757-758 , 2004 |
2004 |
| A formal framework for analyzing reusability complexity in component-based systems |
Information and Software Technology 46 (12), 791-804 , 2004 |
2004 |
| Encouraging knowledge exchange in discussion forums by market-oriented mechanisms |
Proceedings of the 2004 ACM symposium on Applied computing, 952-956 , 2004 |
2004 |
| Specification of autonomous agents in e-commerce systems |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| An integrated framework for the performance analysis of asynchronous communicating stochastic processes |
Formal Aspects of Computing 16 (3), 238-262 , 2004 |
2004 |
| Testing of autonomous agents described as utility state machines |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| A formal framework to reduce communications in communication systems |
International Workshop on Innovative Internet Community Systems, 69-80 , 2004 |
2004 |
| Incorporating prediction facilities to autonomous systems |
Proceedings of the Third International Joint Conference on Autonomous Agents … , 2004 |
2004 |
| Predicting performance in the presence of stochastic information |
International Journal of Computer Systems Science & Engineering 19 (6), 347-353 , 2004 |
2004 |
| An overview of probabilistic process algebras and their equivalences |
Validation of Stochastic Systems, 89-123 , 2004 |
2004 |
| Formal specification of symbolic-probabilistic systems |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| A tutoring system supporting experimentation with virtual macroeconomic environments |
International Conference on Artificial Intelligence: Methodology, Systems … , 2004 |
2004 |
| Formal Techniques for Networked and Distributed Systems-FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings |
Springer , 2004 |
2004 |
| Los epigramas latinos de Juan de Salas Calderón incluidos en el programa festivo para recibir a Carlos IV y María Luisa de Parma: Badajoz, 1796 |
Florilegio de estudios de Emblemática= A Florilegium of Studies on … , 2004 |
2004 |
| Electronic commerce technologies(ECT) |
Symposium on Applied Computing: Proceedings of the 2004 ACM symposium on … , 2004 |
2004 |
| Symbolic Test Generation |
Formal Approaches to Software Testing:... International Workshop on Formal … , 2004 |
2004 |
| Empirical evaluation of usability of animations in a functional programming environment |
Departamento de Sistemas Informáticos y Programación-Universidad Complutense … , 2004 |
2004 |
| Plinio," Lettres. Livres I à X" |
Revista de estudios latinos: RELat, 228-233 , 2003 |
2003 |
| Towards testing stochastic timed systems |
International Conference on Formal Techniques for Networked and Distributed … , 2003 |
2003 |
| Towards the identification of living agents in complex computational environments |
The Second IEEE International Conference on Cognitive Informatics, 2003 … , 2003 |
2003 |
| [Impact factor and translation to English: apropos of hyperphosphatasemia [corrected]]. |
Anales De Pediatria (Barcelona, Spain: 2003) 59 (1), 124-125 , 2003 |
2003 |
| Program execution and visualization on the Web |
Web-based education: learning from experience, 236-259 , 2003 |
2003 |
| CUPCAM 2003: I Concurso Universitario de Programación de la Comunidad Autónoma de Madrid |
Novática: Revista de la Asociación de Técnicos de Informática, 75 , 2003 |
2003 |
| Fast testing of critical properties through passive testing |
IFIP International Conference on Testing of Software and Communicating … , 2003 |
2003 |
| Intoducing CEES: Complex Economic Environments Simulator |
International Conference on Computational Science, 658-667 , 2003 |
2003 |
| TestNet: Let’s Test Together! |
IFIP International Conference on Testing of Software and Communicating … , 2003 |
2003 |
| A multi-agent system for e-barter including transaction and shipping costs |
Proceedings of the 2003 ACM symposium on Applied computing, 587-594 , 2003 |
2003 |
| Reconstrucción de árboles inclinados a partir de dos de sus recorridos (CUCAM 2003, problema B) |
Novática: Revista de la Asociación de Técnicos de Informática, 71 , 2003 |
2003 |
| Algebraic theory of probabilistic processes |
The Journal of Logic and Algebraic Programming 56 (1-2), 117-177 , 2003 |
2003 |
| Lógica escolástica y dialéctica humanística en Vives |
La Universitat de València i l'humanisme:" Studia Humanitatis" i renovació … , 2003 |
2003 |
| Stochastic process algebras meet Eden |
International Conference on Integrated Formal Methods, 29-48 , 2002 |
2002 |
| W hat : Web-Based Haskell Adaptive Tutor |
International Conference on Artificial Intelligence: Methodology, Systems … , 2002 |
2002 |
| Redesigning the animation capabilities of a functional programming environment under an educational framework |
Proceedings of the Second Program Visualization Workshop, 60-69 , 2002 |
2002 |
| Ergotracer: An Internet user behaviour tracer |
International Workshop on Innovative Internet Community Systems, 121-132 , 2002 |
2002 |
| A formal framework for e-barter based on microeconomic theory and process algebras |
International Workshop on Innovative Internet Community Systems, 217-228 , 2002 |
2002 |
| Semánticas de pruebas para álgebras de procesos probabilísticos |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2002 |
2002 |
| Including malicious agents into a collaborative learning environment |
International Conference on Intelligent Tutoring Systems, 51-60 , 2002 |
2002 |
| Introducing the golden section to computer science |
Proceedings First IEEE International Conference on Cognitive Informatics … , 2002 |
2002 |
| Computing Curricula 2001 |
Novática: Revista de la Asociación de Técnicos de Informática, 47 , 2002 |
2002 |
| Encoding PAMR into (timed) EFSMs |
International Conference on Formal Techniques for Networked and Distributed … , 2002 |
2002 |
| EXercita |
Computers and Education, 187-197 , 2002 |
2002 |
| El proyecto Parque Arqueológico Cueva Pintada (Gáldar). Consideraciones museológicas |
Aguayro 230, 110-112 , 2002 |
2002 |
| Estimadores de mínima divergencia de Rao: comportamiento asintótico y aplicación a contrastes de hipótesis |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2002 |
2002 |
| Horacio y su poesía de la muerte: la naturaleza y el hombre |
Actas de las III Jornadas de Humanidades Clásicas, 169-184 , 2002 |
2002 |
| Electronic books for programming education: A review and future prospects |
Proceedings of the 7th annual conference on Innovation and technology in … , 2002 |
2002 |
| Ejercicios de programación creativos y recreativos en C++ |
Pearson Educación , 2002 |
2002 |
| A system to generate electronic books on programming exercises |
The Electronic Library , 2002 |
2002 |
| Approaches to comprehension-preserving graphical reduction of program visualizations |
Proceedings of the 2002 ACM symposium on Applied computing, 771-777 , 2002 |
2002 |
| Valoración de la eficacia de las animaciones de algoritmos en el aprendizaje de la programación funcional |
Unpublished report , 2002 |
2002 |
| PAMR: A process algebra for the management of resources in concurrent systems |
International Conference on Formal Techniques for Networked and Distributed … , 2001 |
2001 |
| Consideraciones sobre la enseñanza de la Programacion en estudios Universitarios de Estadistica e Investigacoon Operativa |
Novática: Revista de la Asociación de Técnicos de Informática, 44 , 2001 |
2001 |
| EXercita. A System for Archiving and Publishing Programming Exercises. |
Computers and Education. Towards an Interconnected Society, 187-197 , 2001 |
2001 |
| La ley orgánica 15/1999 de 13 de diciembre, de protección de datos de carácter personal |
Universidad de Murcia , 2001 |
2001 |
| Pascal and Francis Bibliographic Databases |
Scandinavian journal of urology and nephrology. Supplementum 208, 38 , 2001 |
2001 |
| Foundations for the automatic construction of animations and their application to functional programs |
Proc. First Program Visualization Workshop, 29-40 , 2001 |
2001 |
| Statistical evaluation in Medicina (Buenos Aires) |
Medicina 61 (2), 247-248 , 2001 |
2001 |
| Automatic Web publishing of algorithm animations |
Informatik/Informatique 2, 41-45 , 2001 |
2001 |
| Publicación automática de animaciones de algoritmos en la Web |
Novática: Revista de la Asociación de Técnicos de Informática, 43 , 2001 |
2001 |
| EXercita |
Computers and Education, 187-197 , 2001 |
2001 |
| Two reflected analyses of lights out |
Mathematics Magazine 74 (4), 295-304 , 2001 |
2001 |
| Representing abstractions |
UPGRADE 2 (2), 2-3 , 2001 |
2001 |
| ÈÅÊ: A process algebra for the management of resources in concurrent system |
Available at: ØØÔ»» ÐÐº× ÔºÙ Ñº×» ÑÒÓÐÓ» Ô ÔÖ×» ÔÑÖºÔ× ºÞ , 2001 |
2001 |
| A testing theory for generally distributed stochastic processes |
International Conference on Concurrency Theory, 321-335 , 2001 |
2001 |
| NMSPA: A Non-Markovian Model for Stochastic Processes. |
ICDCS Workshop on Distributed System Validation and Verification, E33-E40 , 2000 |
2000 |
| Automatic in A Programming Environment |
30th ASEE/IEEE, S2C-6, 1-3 , 2000 |
2000 |
| Automatic generation of algorithm animations in a programming environment |
30th Annual Frontiers in Education Conference. Building on A Century of … , 2000 |
2000 |
| Local versus comprehensive assignments: two complementary approaches |
ACM SIGCSE Bulletin 32 (4), 48-51 , 2000 |
2000 |
| El platonismo de" El Brocense" |
El humanismo extremeño: estudios presentados a las 4. ª Jornadas organizadas … , 2000 |
2000 |
| New technologies in computer science education |
Computer Science education in the 21st century, 113-136 , 2000 |
2000 |
| Towards truly educational programming environments |
Computer science education in the 21st century, 81-111 , 2000 |
2000 |
| Aproximación al" De bello germanico" de Albinovano Pedón |
Anuario de estudios filológicos, 271-286 , 2000 |
2000 |
| An axiomatization of probabilistic testing |
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent … , 1999 |
1999 |
| Las" Elegantiae" de Lorenzo Valla y el" Mercurius" de Agustín Saturnio |
La filología latina hoy: Actualización y perspectivas, 1063-1074 , 1999 |
1999 |
| Fair testing through probabilistic testing |
Formal Methods for Protocol Engineering and Distributed Systems, 135-150 , 1999 |
1999 |
| Denotational semantics for probabilistic refusal testing |
Electronic Notes in Theoretical Computer Science 22, 111-137 , 1999 |
1999 |
| Parque arqueológico Cueva Pintada (Gáldar, Gran Canaria) |
Programa de intervenciones e investigaciones arqueologicas. Avance de los … , 1999 |
1999 |
| Global timed bisimulation: An introduction |
Formal Methods for Protocol Engineering and Distributed Systems, 401-416 , 1999 |
1999 |
| Calculating encoding and decoding functions for prefix codes |
ACM SIGPLAN Notices 34 (4), 54-60 , 1999 |
1999 |
| Agustín Saturnio y Francisco Sánchez de las Brozas: Mercurio y Minerva |
Congreso internacional sobre Humanismo y Renacimiento, 477-487 , 1998 |
1998 |
| An invitation to friendly testing |
Journal of computer science and technology 13 (6), 531-545 , 1998 |
1998 |
| Las Annotationes in Ibin Ovidii de Francisco Sánchez de las Brozas |
El humanismo extremeño II: estudios presentados a las 2. as Jornadas … , 1998 |
1998 |
| Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales |
IV Congreso Argentina de Ciencias de la Computación , 1998 |
1998 |
| Testing semantics for a probabilistic-timed process algebra |
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent … , 1997 |
1997 |
| The locker metaphor to teach dynamic memory |
Proceedings of the twenty-eighth SIGCSE technical symposium on Computer … , 1997 |
1997 |
| Retórica y dialéctica en Lorenzo Valla |
Anuario de estudios filológicos, 231-235 , 1997 |
1997 |
| La potencia expresiva de los catamorsmos |
|
1997 |
| Synthesis of functions by transformations and constraints (poster) |
Proceedings of the second ACM SIGPLAN international conference on Functional … , 1997 |
1997 |
| Friendly testing as a conformance relation |
Formal Description Techniques and Protocol Specification, Testing and … , 1997 |
1997 |
| Visual HIPE: a prototype for the graphical visualization of functional expressions |
The supplemental proceedings of the conference on Integrating technology … , 1997 |
1997 |
| Introducing friendly testing |
Univ. Vigo , 1997 |
1997 |
| Introducing friendly testing |
|
1997 |
| Progressive dyspnea in a patient with a preceding carcinoma of the breast |
Revista clinica espanola 197 (5), 371-372 , 1997 |
1997 |
| cpareja@ eucmax. sim. ucm. es and |
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional … , 1997 |
1997 |
| Testing semantics for unbounded nondeterminism |
European Conference on Parallel Processing, 538-545 , 1997 |
1997 |
| A propósito de Huffman |
Novática: Revista de la Asociación de Técnicos de Informática, 13 , 1997 |
1997 |
| Graphical visualization of the evaluation of functional programs |
ACM SIGCUE Outlook 24 (1-3), 36-38 , 1996 |
1996 |
| Characterizing Termination in |
Protocol Specification, Testing and Verification XV, 237 , 1996 |
1996 |
| Specifying and Verifying the Alternating Bit Protocol with Probabilistic-Timed LOTOS |
|
1996 |
| Los límites entre la retórica y la dialéctica: La doctrina de la inuentio en Juan Costa |
De Roma al siglo XX, 781-788 , 1996 |
1996 |
| Semánticas de pruebas para álgebras de procesos probabilísticos |
Universidad Complutense de Madrid , 1996 |
1996 |
| A new look at pattern matching in abstract data types |
ACM SIGPLAN Notices 31 (6), 110-121 , 1996 |
1996 |
| Acceptance trees for probabilistic processes |
International Conference on Concurrency Theory, 249-263 , 1995 |
1995 |
| Testing semantics for probabilistic LOTOS |
International Conference on Formal Techniques for Distributed Objects … , 1995 |
1995 |
| La" Paradoja V" de Francisco Sánchez de las Brozas: edición y traducción |
Anuario de estudios filológicos, 251-274 , 1995 |
1995 |
| A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci |
ACM SIGCSE Bulletin 27 (2), 49-56 , 1995 |
1995 |
| An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. |
GULP-PRODE, 383-394 , 1995 |
1995 |
| Characterizing termination in LOTOS via testing |
International Conference on Protocol Specification, Testing and Verification … , 1995 |
1995 |
| A tabulation transformation tactic using Haskell arrays |
Fuji International Workshop on Functional and Logic Programming. World … , 1995 |
1995 |
| Horacio (Oda 4 16) en Francisco de Medrano (Oda XXIV)’ |
Cuadernos de filología clásica: Estudios latinos, 129-142 , 1995 |
1995 |
| Introducción, edición crítica, traducción y notas de la obra"" de nonnullis porphyrii aliorumque in dialectica erroribus scholae dialecticae"" de Francisco Sánchez de las … |
Universidad de Extremadura , 1995 |
1995 |
| A second year course on data structures based on functional programming |
International Symposium on Functional Programming Languages in Education, 65-84 , 1995 |
1995 |
| La importancia de los tópicos ciceronianos en el Humanismo Renacentista |
Actas Primer Encuentro Interdisciplinar sobre Retórica, texto y Comunicación … , 1994 |
1994 |
| Los Dialectices libri quatuor de Juan Luis Vives: una obra desconocida |
Cuadernos de filología clásica: Estudios latinos, 207-226 , 1994 |
1994 |
| Non homomorphic reductions of data structures |
GULP-PRODE , 1994 |
1994 |
| Las críticas de tres humanistas españoles (Vives, Vallés y el Broncense) a la teoría aristotélica de las virtudes éticas |
Excerpta philologica: Revista de filología griega y latina de la Universidad … , 1994 |
1994 |
| El papel de los medios de comunicación en la construcción de la categoría P. de delincuentes |
Psicología social aplicada en los procesos jurídicos y políticos, 209-220 , 1993 |
1993 |
| Ideas éticas del Brocense |
Alcántara: revista del Seminario de Estudios Cacereños, 163-180 , 1993 |
1993 |
| Un caso de luxación subastragalina izquierda en un guanche del Sur de Tenerife (Islas Canarias) |
Munibe. Suplemento, 125-128 , 1992 |
1992 |
| Pascal and Francis Bibliographic Databases |
Physica. A 185 (1-4) , 1992 |
1992 |
| TELEFONICA I+ D |
Current Trends in Knowledge Acquisition 8, 276 , 1990 |
1990 |
| Algoritmos, modos de expresarlos, técnicas de programación |
Universidad , 1990 |
1990 |
