Publicaciones Google Scholar de
1980 a
2024
| Título |
Fuente |
Fecha |
| An Evolutionary Algorithm and a Clustering Technique to Select Good Subsets of Test for Finite State Machines |
International Conference on Computational Collective Intelligence, 168-182 , 2024 |
2024 |
| La lengua de las matemáticas y otros relatos exactos |
Los libros de la Catarata , 2024 |
2024 |
| Computational Collective Intelligence: 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II |
Springer Nature , 2024 |
2024 |
| Testing the Robustness of Machine Learning Models Through Mutations |
International Conference on Computational Collective Intelligence, 308-320 , 2024 |
2024 |
| Sistema de ayuda al desarrollo de modelos econométricos sobre lenguaje R |
Universidad Complutense de Madrid , 2024 |
2024 |
| Handling Null Values in SQL Queries on Relational Databases |
2024 10th International Conference on Engineering, Applied Sciences, and … , 2024 |
2024 |
| Advances in Computational Collective Intelligence: 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II |
Springer Nature , 2024 |
2024 |
| Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap |
IEEE Transactions on Reliability , 2024 |
2024 |
| Implementation relations and testing for cyclic systems: Adding probabilities |
Robotics and Autonomous Systems 165, 104426 , 2023 |
2023 |
| Advances in Computational Collective Intelligence: 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings |
Springer Nature , 2023 |
2023 |
| Squeeziness for non-deterministic systems |
Information and Software Technology 158, 107173 , 2023 |
2023 |
| Computing performance requirements for web service compositions |
Computer Standards & Interfaces 83, 103664 , 2023 |
2023 |
| Machine learning algorithms to forecast air quality: a survey |
Artificial Intelligence Review 56 (9), 10031-10066 , 2023 |
2023 |
| Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model |
Engineering Applications of Artificial Intelligence 121, 106041 , 2023 |
2023 |
| Metamorphic testing of chess engines |
Information and Software Technology 162, 107263 , 2023 |
2023 |
| Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks |
Asian Conference on Intelligent Information and Database Systems, 352-363 , 2023 |
2023 |
| Ejercicios creativos y recreativos en Python para primeros cursos de grado |
|
2023 |
| Implementation Relations for Distributed Testing |
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to … , 2023 |
2023 |
| Check for updates |
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to … , 2023 |
2023 |
| Consens d’escales i eines per a la valoració multidimensional de les persones a Catalunya |
Direcció General de Planificació i Recerca en Salut , 2023 |
2023 |
| Using metamorphic testing to improve the quality of tags in OpenStreetMap |
IEEE Transactions on Software Engineering 49 (2), 549-563 , 2023 |
2023 |
| MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information |
GRAZ UNIV TECHNOLGOY, , 2022 |
2022 |
| Using deep transformer based models to predict ozone levels |
Asian Conference on Intelligent Information and Database Systems, 169-182 , 2022 |
2022 |
| SINPA: SupportINg the automation of construction PlAnning |
Expert Systems with Applications 190, 116149 , 2022 |
2022 |
| Using deep learning to detect anomalies in traffic flow |
Asian Conference on Intelligent Information and Database Systems, 299-312 , 2022 |
2022 |
| Indoor wayfnding app for all |
|
2022 |
| Using metamorphic testing to improve the quality of tags in OpenStreetMap |
IEEE Transactions on Software Engineering 49 (2), 549-563 , 2022 |
2022 |
| SINPA: SupportINg the automation of construction PlAnning |
Elsevier , 2022 |
2022 |
| Metamorphic testing of OpenStreetMap |
Information and Software Technology 138, 106631 , 2021 |
2021 |
| Wodel-Test: a model-based framework for language-independent mutation testing |
Software and Systems Modeling 20, 767-793 , 2021 |
2021 |
| CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF |
Software and Systems Modeling 20, 867-895 , 2021 |
2021 |
| Mutation Testing for RoboChart |
Software Engineering for Robotics, 345-375 , 2021 |
2021 |
| An implementation of formal framework for collective systems in air pollution prediction system |
International Conference on Computational Collective Intelligence, 508-520 , 2021 |
2021 |
| Using mutual information to test from Finite State Machines: Test suite selection |
Information and Software Technology 132, 106498 , 2021 |
2021 |
| Cluster de Raspberry Pi para prácticas de Programación Paralela y Big Data |
|
2021 |
| Using ant colony optimisation to select features having associated costs |
Testing Software and Systems: 33rd IFIP WG 6.1 International Conference … , 2021 |
2021 |
| Tratamiento actual de lesiones traumáticas de plexo braquial y nervio periférico |
Anales de la Real Academia Nacional de Medicina 138 (03), 270 , 2021 |
2021 |
| SqSelect: Automatic assessment of failed error propagation in state-based systems |
Expert Systems with Applications 174, 114748 , 2021 |
2021 |
| Using genetic algorithms to select test cases for finite state machines with timeouts |
2021 IEEE Congress on Evolutionary Computation (CEC), 2403-2410 , 2021 |
2021 |
| Seed model synthesis for testing model-based mutation operators |
Advanced Information Systems Engineering: CAiSE Forum 2020, Grenoble, France … , 2020 |
2020 |
| Implementation relations and testing for cyclic systems with refusals and discrete time |
Journal of Systems and Software 170, 110738 , 2020 |
2020 |
| ColGrup-Método de aprendizaje de Gestión Colaborativa de múltiples Grupos de trabajo |
|
2020 |
| Systematic Engineering of Mutation Operators. |
J. Object Technol. 19 (3), 3:1-16 , 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 |
| A trading framework based on fuzzy Moore machines |
Asian Conference on Intelligent Information and Database Systems, 123-134 , 2020 |
2020 |
| Message from A-MOST 2020 Chairs |
|
2020 |
| An evolutionary algorithm for selection of test cases |
2020 IEEE Congress on Evolutionary Computation (CEC), 1-8 , 2020 |
2020 |
| Learning about the usability of mobile applications |
|
2020 |
| TEA- Cloud : A Formal Framework for Testing Cloud Computing Systems |
IEEE Transactions on Reliability 70 (1), 261-284 , 2020 |
2020 |
| Guest Editorial:: Special Section on ICTSS |
|
2020 |
| Using a swarm to detect hard-to-kill mutants |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2020 |
2020 |
| Grammar-based tree swarm optimization |
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), 76-81 , 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 |
| SQLab Extension: Laboratorio virtual lenguaje SQL |
|
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 |
| An implementation relation for cyclic systems with refusals and discrete time |
Software Engineering and Formal Methods: 17th International Conference, SEFM … , 2019 |
2019 |
| Toward evaluating the level of crowd wisdom using interval estimates |
Journal of Intelligent & Fuzzy Systems 37 (6), 7279-7289 , 2019 |
2019 |
| Evaluación de la realimentación semántica de SQL en DES |
|
2019 |
| Mobile applications for people with Parkinson's disease: a systematic search in app stores and content review |
Know-Center , 2019 |
2019 |
| Using Squeeziness to test component-based systems defined as Finite State Machines |
Information and Software Technology 112, 132-147 , 2019 |
2019 |
| GPTSG: a genetic programming test suite generator using information theory measures |
International Work-Conference on Artificial Neural Networks, 716-728 , 2019 |
2019 |
| Message from A-MOST 2019 Chairs |
2019 IEEE International Conference on Software Testing, Verification and … , 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 |
| MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation |
MoDeVVa 2018 15 th workshop on model-driven engineering, verification and … , 2018 |
2018 |
| A tool-supported framework for work planning on construction sites based on constraint programming |
Automation in Construction 86, 190-198 , 2018 |
2018 |
| SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools |
Software Technologies: Applications and Foundations: STAF 2017 Collocated … , 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 |
| 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 |
| Enhancing set constraint solvers with bound consistency |
Expert Systems with Applications 92, 485-494 , 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 |
| An improved and tool-supported fuzzy automata framework to analyze heart data |
Intelligent Information and Database Systems: 10th Asian Conference, ACIIDS … , 2018 |
2018 |
| Enhancing set constraint solvers with bound consistency |
Elsevier , 2018 |
2018 |
| Testing Software and Systems |
Springer International Publishing: , 2018 |
2018 |
| Mutomvo: Mutation testing framework for simulated cloud and HPC environments |
Journal of Systems and Software 143, 187-207 , 2018 |
2018 |
| Passive testing with asynchronous communications and timestamps |
Distributed Computing 31, 327-342 , 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 |
Computational Collective Intelligence: 10th International Conference, ICCCI … , 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 |
| LAnt: Model driven approach for ant colony optimization |
Journal of Intelligent & Fuzzy Systems 32 (2), 1343-1354 , 2017 |
2017 |
| Heuristics for ROSA’s LTS Searching |
International Work-Conference on Artificial Neural Networks, 427-437 , 2017 |
2017 |
| Intelligent collective: The role of diversity and collective cardinality |
Computational Collective Intelligence: 9th International Conference, ICCCI … , 2017 |
2017 |
| Using evolutionary mutation testing to improve the quality of test suites |
2017 IEEE Congress on Evolutionary Computation (CEC), 596-603 , 2017 |
2017 |
| Intelligent collective: some issues with collective cardinality |
Journal of Information and Telecommunication 1 (2), 127-140 , 2017 |
2017 |
| Introduction to the Software Engineering and Formal Methods 2013 special issue |
Software & Systems Modeling 16, 5-6 , 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 |
| 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 |
| Using fuzzy automata to diagnose and predict heart problems |
2017 IEEE Congress on Evolutionary Computation (CEC), 846-853 , 2017 |
2017 |
| Preface: Special issue on software verification and testing |
Journal of Systems and Software 132, 317-318 , 2017 |
2017 |
| Collective intelligence and databases in eHealth: A survey |
Journal of Intelligent & Fuzzy Systems 32 (2), 1485-1496 , 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 |
| Analysis of temporal complex events in sensor networks |
Journal of Information and Telecommunication 1 (3), 273-289 , 2017 |
2017 |
| Using evolutionary computation to improve mutation testing |
Advances in Computational Intelligence: 14th International Work-Conference … , 2017 |
2017 |
| Collective intelligent information and database systems |
Journal of Intelligent & Fuzzy Systems 32 (2), 1157-1160 , 2017 |
2017 |
| An extended framework for passive asynchronous testing |
Journal of Logical and Algebraic Methods in Programming 86 (1), 408-424 , 2017 |
2017 |
| Bounded reordering in the distributed test architecture |
|
2017 |
| Using Ants to Fight Wildfire |
Advances in Computational Intelligence: 14th International Work-Conference … , 2017 |
2017 |
| Intelligent Secure Communications Between Systems |
Recent Developments in Intelligent Information and Database Systems, 183-193 , 2016 |
2016 |
| Testing Semantics for Probabilistic |
Formal Description Techniques VIII, 367 , 2016 |
2016 |
| FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts |
Intelligent Information and Database Systems: 8th Asian Conference, ACIIDS … , 2016 |
2016 |
| Eminent: Embarrassingly parallel mutation testing |
Procedia Computer Science 80, 63-73 , 2016 |
2016 |
| EMINENT |
Procedia Computer Science 80 (C), 63-73 , 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 |
| Special track on software verification and testing |
Special track on software verification and testing 4, 1619 , 2016 |
2016 |
| Controllability through nondeterminism in distributed testing |
Testing Software and Systems: 28th IFIP WG 6.1 International Conference … , 2016 |
2016 |
| Special issue on formal active and passive testing of distributed and networked systems |
annals of telecommunications-annales des télécommunications 70, 83-84 , 2015 |
2015 |
| Introduction to the special issue on Mutation Testing |
Software Testing, Verification and Reliability 25 (5-7), 461-463 , 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 |
| Computational collective intelligence |
|
2015 |
| A survey on formal active and passive testing with applications to the cloud |
annals of telecommunications-annales des télécommunications 70, 85-93 , 2015 |
2015 |
| Passive testing of communicating systems with timeouts |
Information and Software Technology 64, 19-35 , 2015 |
2015 |
| FLOP: A User-Friendly System for Automated Program Assessment. |
J. Univers. Comput. Sci. 20 (9), 1304-1326 , 2014 |
2014 |
| Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings |
Springer , 2014 |
2014 |
| FLOP: a user-friendly system for automated program assessment |
Graz University of Technology (IICM) , 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 |
| Modelling and Analyzing Parallel Applications in Highly Distributed Systems |
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFTWARE ENGINEERING … , 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 |
| Timed implementation relations for the distributed test architecture |
Distributed Computing 27 (3), 181-201 , 2014 |
2014 |
| Software Engineering and Formal Methods |
Springer , 2014 |
2014 |
| Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems-Volume 8763 |
Springer-Verlag , 2014 |
2014 |
| Testing Software and Systems |
Springer , 2014 |
2014 |
| Una evaluación de usabilidad de FLOP |
|
2013 |
| Proceedings of the 11th International Conference on Software Engineering and Formal Methods-Volume 8137 |
Springer-Verlag , 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 |
| Using genetic algorithms to generate test sequences for complex timed systems |
Soft Computing 17, 301-315 , 2013 |
2013 |
| Passive testing with asynchronous communications |
International Conference on Formal Methods for Open Object-Based Distributed … , 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 |
| Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings |
Springer , 2013 |
2013 |
| Passive testing of timed systems with timeouts |
2012 12th International Conference on Quality Software, 69-78 , 2012 |
2012 |
| Interactive experimentation with algorithms |
Computers in Education 2, 47-70 , 2012 |
2012 |
| Formal passive testing of timed systems: Theory and tools |
Software Testing, Verification and Reliability 22 (6), 365-405 , 2012 |
2012 |
| Implementation relations and test generation for systems with distributed interfaces. |
Springer Verlag , 2012 |
2012 |
| Lessons learned from using the automated assessment tool “mooshak” |
2012 International Symposium on Computers in Education (SIIE), 1-6 , 2012 |
2012 |
| FLOP, a free laboratory of programming |
|
2012 |
| A formal framework to test soft and hard deadlines in timed systems |
Software Testing, Verification and Reliability 22 (8), 583-608 , 2012 |
2012 |
| Using schedulers to test probabilistic distributed systems |
Formal Aspects of Computing 24 (4), 679-699 , 2012 |
2012 |
| Preventing attacks by classifying user models in a collaborative scenario |
International Conference on Computational Collective Intelligence, 505-514 , 2012 |
2012 |
| Formal passive testing of timed systems: theory and tools |
Wiley-Blackwell , 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 |
| Manual de Educación Patrimonial |
Gijón: Ediciones Trea , 2012 |
2012 |
| TOY: a CFLP language and system |
The Association for Logic Programming , 2012 |
2012 |
| A formal framework to test soft and hard deadlines in timed systems |
Wiley-Blackwell , 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 |
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August … , 2012 |
2012 |
| Extending the System with the ECL i PS e Solver over Sets of Integers |
International Symposium on Functional and Logic Programming, 120-135 , 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 |
| Planning of work schedules through the use of a hierarchical multi-agent system |
Automation in Construction 20 (8), 1227-1241 , 2011 |
2011 |
| Testing timed systems modeled by stream X-machines |
Software & Systems Modeling 10, 201-217 , 2011 |
2011 |
| Testing timed systems modeled by Stream X-machines. |
Springer Verlag , 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 |
| Message from QSIC 2011 General Chair |
Message from the QSIC 2011 general chair , 2011 |
2011 |
| Passive testing of web services |
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 … , 2011 |
2011 |
| Scenarios-based testing of systems with distributed ports |
John Wiley and Sons , 2011 |
2011 |
| Experimental comparison of different techniques to generate adaptive sequences |
International Work-Conference on Artificial Neural Networks, 404-411 , 2011 |
2011 |
| Scenarios‐based testing of systems with distributed ports |
Software: Practice and Experience 41 (10), 999-1026 , 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 |
| MACRO-SYS: an interactive macroeconomics simulator for advanced learning |
Asian Conference on Intelligent Information and Database Systems, 47-56 , 2010 |
2010 |
| Testing probabilistic distributed systems |
International Conference on Formal Methods for Open Object-Based Distributed … , 2010 |
2010 |
| From data mining to user models in evolutionary databases |
Asian Conference on Intelligent Information and Database Systems, 54-63 , 2010 |
2010 |
| A formal methodology to specify hierarchical agent-based systems |
Web-Based Information Technologies and Distributed Systems, 93-114 , 2010 |
2010 |
| Testing activo y pasivo de sistemas con información temporal y probabilística |
Universidad Complutense de Madrid , 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 , 2010 |
2010 |
| Pedagogical use of automatic graders |
Advances in Learning Processes, InTech , 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 |
International Conference on Formal Methods for Open Object-Based Distributed … , 2010 |
2010 |
| Retos del trabajo autónomo para afrontar la crisis económico-financiera |
Economistas 28 (124), 99-113 , 2010 |
2010 |
| MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. |
SPRINGER-VERLAG BERLIN , 2010 |
2010 |
| Mutation Testing. |
Encyclopedia of Software Engineering, 594-602 , 2010 |
2010 |
| Mutation testing from probabilistic and stochastic finite state machines. |
Elsevier , 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 |
| Marcos temporales y probabilísticos para testing formal |
Universidad Complutense de Madrid , 2009 |
2009 |
| A hierarchical methodology to specify and simulate complex computational systems |
Computational Science–ICCS 2009: 9th International Conference Baton Rouge … , 2009 |
2009 |
| Passive testing of stochastic timed systems |
2009 International Conference on Software Testing Verification and … , 2009 |
2009 |
| Analysis of the OLSR protocol by using formal passive testing |
2009 16th Asia-Pacific Software Engineering Conference, 152-159 , 2009 |
2009 |
| Testing of Software and Communication Systems |
|
2009 |
| Aiding test case generation in temporally constrained state based systems using genetic algorithms |
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th … , 2009 |
2009 |
| Reconstrucción |
Novática: Revista de la Asociación de Técnicos de Informática 35 (198), 76-76 , 2009 |
2009 |
| Web-Based Algorithm and Program Visualization for Education |
Encyclopedia of Information Science and Technology, Second Edition, 4093-4098 , 2009 |
2009 |
| 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 Science & Business Media , 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 |
| Advantages of mutation in passive testing: An empirical study |
IEEE COMPUTER SOC , 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 |
| Combining genetic algorithms and mutation testing to generate test sequences |
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th … , 2009 |
2009 |
| A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. |
Elsevier , 2009 |
2009 |
| Testing of Software and Communication Systems |
Lecture Notes in Computer Science 5826 , 2009 |
2009 |
| Analysis of the OLSR Protocol by Using Formal Passive Testing |
IEEE Computer Society , 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 |
| A novel formalism to represent collective intelligence in multi-agent systems |
New Challenges in Computational Collective Intelligence, 193-204 , 2009 |
2009 |
| Reconstrucción (CUPCAM 2007, problema G, solución) |
Novática: Revista de la Asociación de Técnicos de Informática 199, 75-76 , 2009 |
2009 |
| Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications |
arXiv preprint arXiv:0912.2128 , 2009 |
2009 |
| 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 … , 2009 |
2009 |
| Cognitive Processes by using Finite State Machines |
Novel Approaches in Cognitive Informatics and Natural Intelligence, 52-64 , 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 |
| 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 |
| 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 |
| Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol |
IEEE Computer Soc , 2009 |
2009 |
| TOY: a system for experimenting with cooperation of constraint domains |
Electronic Notes in Theoretical Computer Science 258 (1), 79-91 , 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 |
| Derivation of tests from timed specifications according to different coverage criteria |
Third International Conference on Systems (icons 2008), 97-102 , 2008 |
2008 |
| THOTL: A timed extension of HOTL |
SPRINGER-VERLAG BERLIN , 2008 |
2008 |
| A Comparative Study of STOPA and RTPA |
Transactions on Computational Science II, 224-245 , 2008 |
2008 |
| Extending EFSMs to specify and test timed systems with action duration and time-outs |
Institute of Electrical and Electronics Engineers , 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 |
| 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 |
| Implementation relations for the distributed test architecture |
International Workshop on Formal Approaches to Software Testing, 200-215 , 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 |
| An instructor’s guide to design web-based algorithm animations |
Advances in Web Based Learning–ICWL 2007: 6th International Conference … , 2008 |
2008 |
| Formal testing from timed finite state machines |
Elsevier , 2008 |
2008 |
| Playing with: Constraints and Domain Cooperation |
European Symposium on Programming, 112-115 , 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 |
| Laboratorio de programación: manual de Mooshak para el alumno |
Cuadernos de Trabajo de la Facultad de Estudios Estadísticos, 1 , 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 |
| Las sociedades laborales |
La Economía Social en España en el año, 335-404 , 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 |
| HOTL: Hypotheses and observations testing logic |
The Journal of Logic and Algebraic Programming 74 (2), 57-93 , 2008 |
2008 |
| Passive testing of timed systems |
Automated Technology for Verification and Analysis: 6th International … , 2008 |
2008 |
| Cooperation of constraint domains in the TOY system |
Proceedings of the 10th international ACM SIGPLAN conference on Principles … , 2008 |
2008 |
| Extending Stream X-Machines to specify and test systems with timeouts |
IEEE Computer Soc , 2008 |
2008 |
| : A Timed Extension of |
International Workshop on Formal Approaches to Software Testing, 86-102 , 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 |
| Formal specification of multi-agent systems by using EUSMs |
SPRINGER-VERLAG BERLIN , 2007 |
2007 |
| Testing finite state machines presenting stochastic time and timeouts |
European Performance Engineering Workshop, 97-111 , 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 |
| The “in vitro” percutaneous penetration of three antioxidant compounds |
International journal of pharmaceutics 331 (1), 139-144 , 2007 |
2007 |
| SPAMR : Extending PAMR with Stochastic Time |
European Performance Engineering Workshop, 63-79 , 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 |
| A brief introduction to THOTL |
SPRINGER-VERLAG BERLIN , 2007 |
2007 |
| Formal specification of multi-agent systems by using EUSMs |
International Symposium on Fundamentals of Software Engineering … , 2007 |
2007 |
| Formal testing of systems presenting soft and hard deadlines |
International Symposium on Fundamentals of Software Engineering … , 2007 |
2007 |
| HOTL: Hypotheses and observations testing logic |
Elsevier , 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 |
| From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. |
J. Univers. Comput. Sci. 13 (13), 2035-2075 , 2007 |
2007 |
| Testing conformance on stochastic stream X-machines |
Fifth IEEE International Conference on Software Engineering and Formal … , 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 conformance on stochastic stream X-machines |
IEEE COMPUTER SOC , 2007 |
2007 |
| Testing Semantics for Urgent Timed Process Algebras |
Real-Time Systems: Modeling, Design, and Applications, 221-235 , 2007 |
2007 |
| Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification |
Springer-Verlag , 2006 |
2006 |
| 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 |
| 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 |
| Secure electronic markets for private information |
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and … , 2006 |
2006 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligents and Lecture Notes in Bioinformatics): Preface |
Lecture Notes in Computer Science (including subseries Lecture Notes in … , 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 |
| Implementation relations for stochastic finite state machines |
European Performance Engineering Workshop, 123-137 , 2006 |
2006 |
| Cuadrados (CUPCAM 2005, problema fase local UCM, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática 182, 74 , 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 |
| 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-Verlag GmbH. , 2006 |
2006 |
| Web Services and Formal Methods |
|
2006 |
| Implementation relations for stochastic finite state machines |
Springer Verlag , 2006 |
2006 |
| Especies forestales para uso en sistemas agroforestales con cacao: una alternativa para el occidente de Boyacá |
CORPOICA, Bucaramanga, Santander, Colombia , 2006 |
2006 |
| Market-Based Adaptive Discussion Forums |
International Conference on Signal-Image Technology and Internet-Based … , 2006 |
2006 |
| A logic for assessing sets of heterogeneous testing hypotheses |
Springer Verlag , 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 |
| Programas equivalentes (CUPCAM 2005, problema F, solución) |
Novática: Revista de la Asociación de Técnicos de Informática 180, 74 , 2006 |
2006 |
| Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings |
Springer Science & Business Media , 2006 |
2006 |
| A formal framework to reduce communications in communication systems |
Innovative Internet Community Systems: 4th International Workshop, IICS 2004 … , 2006 |
2006 |
| 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 |
| Weak stochastic bisimulation for non-Markovian processes |
International Colloquium on Theoretical Aspects of Computing, 454-468 , 2005 |
2005 |
| Specification-Based Testing of Real-Time Embedded Systems. |
IESS, 115-124 , 2005 |
2005 |
| Editorial message: special track on e-commerce technologies |
Proceedings of the 2005 ACM symposium on Applied computing, 789-790 , 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 |
| How does the memory work? by timed-arc Petri nets |
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 128-135 , 2005 |
2005 |
| A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. |
IESS, 125-136 , 2005 |
2005 |
| A passive testing approach based on invariants: application to the WAP |
Computer networks 48 (2), 247-266 , 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 |
| 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 |
| Empirical Evaluation of Usability of Animations in a Functional Programming Environment |
Universidad Complutense de Madrid, Technical Report 141 (04) , 2004 |
2004 |
| Formal specification of symbolic-probabilistic systems |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| 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 |
| A formal e-barter system including transactions and shipping cost |
Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas … , 2004 |
2004 |
| Reconstrucción de árboles inclinados a partir de dos de sus recorridos (CUPCAM 2003, problema B, solución |
Novática: Revista de la Asociación de Técnicos de Informática, 74-75 , 2004 |
2004 |
| Testing of autonomous agents described as utility state machines |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| Erratum to: Formal Techniques for Networked and Distributed Systems–FORTE 2004 |
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th … , 2004 |
2004 |
| An overview of probabilistic process algebras and their equivalences |
Validation of Stochastic Systems: A Guide to Current Research, 89-123 , 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 |
| Improving privacy in Vickrey auctions |
ACM SIGEcom Exchanges 5 (1), 1-12 , 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 Science & Business Media , 2004 |
2004 |
| An integrated framework for the performance analysis of asynchronous communicating stochastic processes |
Formal Aspects of Computing 16 (3), 238-262 , 2004 |
2004 |
| Research supported by the MCyT project MASTER (TIC2003-07848-C02-01), the Junta de Castilla-La Mancha project DISMEF (PAC-03-001) and the Marie Curie RTN TAROT (MCRTN 505121). |
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 … , 2004 |
2004 |
| Predicting performance in the presence of stochastic information |
International Journal of Computer Systems Science & Engineering 19 (6), 347-353 , 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 |
| Electronic commerce technologies(ECT) |
Symposium on Applied Computing: Proceedings of the 2004 ACM symposium on … , 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 |
| Applying Occam's razor to FSMs |
Proceedings of the Third IEEE International Conference on Cognitive … , 2004 |
2004 |
| El libro del Huevo |
Instituto del Huevo. Madrid, España , 2003 |
2003 |
| Microeconomic Theory and Process Algebras” |
Innovative Internet Computing Systems: Second International Workshop, IICS … , 2003 |
2003 |
| Towards the identification of living agents in complex computational environments |
The Second IEEE International Conference on Cognitive Informatics, 2003 … , 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 |
| Intoducing CEES: Complex Economic Environments Simulator |
Computational Science—ICCS 2003: International Conference Melbourne … , 2003 |
2003 |
| Fast testing of critical properties through passive testing |
IFIP International Conference on Testing of Software and Communicating … , 2003 |
2003 |
| TestNet: Let’s Test Together! |
Testing of Communicating Systems: 15th IFIP International Conference … , 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 |
| Towards testing stochastic timed systems |
Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd … , 2003 |
2003 |
| Algebraic theory of probabilistic processes |
The Journal of Logic and Algebraic Programming 56 (1-2), 117-177 , 2003 |
2003 |
| Stochastic process algebras meet Eden |
International Conference on Integrated Formal Methods, 29-48 , 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 |
| Including malicious agents into a collaborative learning environment |
International Conference on Intelligent Tutoring Systems, 51-60 , 2002 |
2002 |
| Ejercicios de programación creativos y recreativos en C++ |
Prentice-Hall , 2002 |
2002 |
| EXercita |
Computers and Education, 187-197 , 2002 |
2002 |
| Redesigning the animation capabilities of a functional programming environment under an educational framework |
Second Program Visualization Workshop, 59-68 , 2002 |
2002 |
| Ejercicios de programación: creativos y recreativos con C++ |
Ejercicios de programación: creativos y recreativos con C++ , 2002 |
2002 |
| Introducing the golden section to computer science |
Proceedings first IEEE international conference on cognitive informatics … , 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 |
| A system to generate electronic books on programming exercises |
The Electronic Library 20 (4), 314-321 , 2002 |
2002 |
| Approaches to comprehension-preserving graphical reduction of program visualizations |
Proceedings of the 2002 ACM symposium on Applied computing, 771-777 , 2002 |
2002 |
| W hat : Web-Based Haskell Adaptive Tutor |
Artificial Intelligence: Methodology, Systems, and Applications: 10th … , 2002 |
2002 |
| Encoding PAMR into (timed) EFSMs |
Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd … , 2002 |
2002 |
| PAMR: A process algebra for the management of resources in concurrent systems |
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 … , 2001 |
2001 |
| A testing theory for generally distributed stochastic processes |
International Conference on Concurrency Theory, 321-335 , 2001 |
2001 |
| Valoración de la eficacia de las animaciones de algoritmos en el aprendizaje de la programación funcional |
Working paper , 2001 |
2001 |
| Foundations for the automatic construction of animations and their application to functional programs |
Proc. First Program Visualization Workshop, 29-40 , 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 150, 43 , 2001 |
2001 |
| Automatic Web publishing of algorithm animations |
Informatik/Informatique 2, 41-45 , 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 |
| EXERCITA: una base de datos de material para prácticas de programación |
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 … , 2000 |
2000 |
| 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 |
| 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 |
| EXERCITA: una base de datos de material para prácticas de programación |
Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2000 |
2000 |
| An axiomatization of probabilistic testing |
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent … , 1999 |
1999 |
| Fair testing through probabilistic testing |
International Conference on Protocol Specification, Testing and Verification … , 1999 |
1999 |
| Global timed bisimulation: An introduction |
International Conference on Protocol Specification, Testing and Verification … , 1999 |
1999 |
| Denotational semantics for probabilistic refusal testing |
Electronic Notes in Theoretical Computer Science 22, 111-137 , 1999 |
1999 |
| Calculating encoding and decoding functions for prefix codes |
ACM SIGPLAN Notices 34 (4), 54-60 , 1999 |
1999 |
| Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales |
IV Congreso Argentina de Ciencias de la Computación , 1998 |
1998 |
| An invitation to friendly testing |
Journal of Computer Science and Technology 13, 531-545 , 1998 |
1998 |
| Desarrollo de Algoritmos y Técnicas de programación en Pascal |
Desarrollo de algoritmos y técnicas de programación en Pascal , 1997 |
1997 |
| Testing semantics for a probabilistic-timed process algebra |
Transformation-Based Reactive Systems Development: 4th International AMAST … , 1997 |
1997 |
| Introducing friendly testing |
Technical Report DIA 53/97, Dept. Informática y Automática, Universidad … , 1997 |
1997 |
| The locker metaphor to teach dynamic memory |
Proceedings of the twenty-eighth SIGCSE technical symposium on Computer … , 1997 |
1997 |
| A propósito de Huffman |
Novática: Revista de la Asociación de Técnicos de Informática 130, 13 , 1997 |
1997 |
| Friendly testing as a conformance relation |
Formal Description Techniques and Protocol Specification, Testing and … , 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 |
| 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 |
| Testing semantics for unbounded nondeterminism |
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference … , 1997 |
1997 |
| Graphical visualization of the evaluation of functional programs |
ACM SIGCUE Outlook 24 (1-3), 36-38 , 1996 |
1996 |
| Characterizing termination in LOTOS via testing |
Protocol Specification, Testing and Verification XV: Proceedings of the … , 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 |
| Testing semantics for probabilistic LOTOS |
Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth … , 1996 |
1996 |
| Acceptance trees for probabilistic processes |
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA … , 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 |
| A tabulation transformation tactic using Haskell arrays |
Fuji International Workshop on Functional and Logic Programming. World … , 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 |
| Non Homomorphic Reductions of Data Structures. |
GULP-PRODE (2), 393-407 , 1994 |
1994 |
| Introducción a la informática |
Introducción a la informática , 1994 |
1994 |
| Optimización y análisis de especificaciones funcionales: un enfoque hacia la automatización |
Optimización y análisis de especificaciones funcionales: un enfoque hacia la … , 1993 |
1993 |
| Optimización y análisis de especificaciones funcionales: un enfoque hacia la automatización |
Universidad de Málaga , 1993 |
1993 |
| Respiratory Distress Syndrome: A Suggestive Pattern of Shunt Effect Detected by Means of Macroparticles |
Clinical nuclear medicine 18 (1), 19-21 , 1993 |
1993 |
| Estudio para la ordenación de la actividad extractiva del tramo bajo del Río Jarama |
Agencia de Medioambiente (Comunidad de Madrid). Servicio de Estudios y … , 1990 |
1990 |
| Algoritmos, modos de expresarlos, técnicas de programación |
Universidad , 1990 |
1990 |
| Ordenación mediante arboles binarios |
Boletín de la Sociedad Puig Adam de profesores de matemáticas, 53-70 , 1989 |
1989 |
| Traductor automático logo inglés-logo español |
Universidad Complutense de Madrid , 1989 |
1989 |
| Editor de archivos y de lineas para reduce: o como hacer el trabajo mas cómodo a los matemáticos usuarios de este lenguaje |
Boletín de la Sociedad Puig Adam de profesores de matemáticas 22, 39-44 , 1989 |
1989 |
