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 |