{"id":44,"date":"2019-12-03T17:45:21","date_gmt":"2019-12-03T16:45:21","guid":{"rendered":"http:\/\/antares.sip.ucm.es\/manolo2\/?page_id=44"},"modified":"2026-04-22T10:57:42","modified_gmt":"2026-04-22T09:57:42","slug":"publications","status":"publish","type":"page","link":"https:\/\/antares.sip.ucm.es\/manolo\/publications\/","title":{"rendered":"Manuel N\u00fa\u00f1ez&#8217;s publications"},"content":{"rendered":"\n<p>The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author&#8217;s copyright. These works may not be reposted without the explicit permission of the copyright holder.<\/p>\n\n\n\n<h2>Journal Publications<\/h2>\n\n\n\n<h4>2026<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Gregorio D\u00edaz, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S156849462600709X\">Combining a novel metric and categorical boosting to better estimate rare event likelihood: Use in traffic accidents<\/a>. Applied Soft Computing 198: 115261.<\/li><li>Alfredo Ibias, Manuel M\u00e9ndez, Manuel N\u00fa\u00f1ez, Francisco Palomo-Lozano. <a href=\"https:\/\/link.springer.com\/article\/10.1007\/s10489-025-07066-0\">Using transformers to learn system models<\/a>. Applied Intelligence 56(3): 71. <\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220825000586\">Combining sequential test cases into an equivalent set of adaptive test cases<\/a>. Journal of Logical and Algebraic Methods in Programming 148: 101092.<\/li><\/ul>\n\n\n\n<h4>2025<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/24751839.2025.2472503\">Design of hybrid machine learning and TF-IDF models to discard irrelevant reviews on public transport stations<\/a>. Journal of Information and Telecommunication 9(4): 481-504.<\/li><\/ul>\n\n\n\n<h4>2024<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Antonio Becerra-Ter\u00f3n, Jes\u00fas M. Almendros-Jim\u00e9nez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/ieeexplore.ieee.org\/document\/10490297\">Combining metamorphic testing and machine learning to enhance OpenStreetMap<\/a>. IEEE Transactions on Reliability 73(4): 1834-1848.<\/li><\/ul>\n\n\n\n<h4>2023<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/link.springer.com\/article\/10.1007\/s10462-023-10424-4\">Machine Learning algorithms to forecast airquality: a survey.<\/a> Artificial Intelligence Review 56(9): 10031-10066.<\/li><li>Manuel M\u00e9ndez, Miguel Benito, Alfredo Ibias, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"https:\/\/doi.org\/10.1016\/j.infsof.2023.107263\">Metamorphic Testing of Chess Engines<\/a>. Information &amp; Software Technology 162: 107263.<\/li><li>Manuel N\u00fa\u00f1ez, Robert M. Hierons, Raluca Lefticaru. <a href=\"https:\/\/doi.org\/10.1016\/j.robot.2023.104426\">Implementation relations and testing for cyclic systems: adding probabilities<\/a>. Robotics and Autonomous Systems 165: 104426.<\/li><li>Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0952197623002257\">Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model<\/a>. Engineering Applications of Artificial Intelligence 121: 106041.<\/li><li>Jes\u00fas M. Almendros-Jim\u00e9nez, Antonio Becerra-Ter\u00f3n, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2023-TSE.pdf\">Using metamorphic testing to improve the quality of tags in OpenStreetMap<\/a>. IEEE Transactions on Software Engineering 49(2): 549 &#8211; 563.<\/li><li>Alfredo Ibias, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"https:\/\/doi.org\/10.1016\/j.infsof.2023.107173\">Squeeziness for Non-Deterministic Systems<\/a>. Information &amp; Software Technology 158: 107173.<\/li><li>Antonio Garc\u00eda-Dom\u00ednguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/doi.org\/10.1016\/j.csi.2022.103664\">Computing performance requirements for web service compositions<\/a>. Computer Standards &amp; Interfaces 83: 103664.<\/li><\/ul>\n\n\n\n<h4>2022<\/h4>\n\n\n\n<ul><li>Pablo C. Ca\u00f1izares, Sonia Est\u00e9vez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2022-ESWA.pdf\">SINPA: SupportINg the automation of construction PlAnning<\/a>. Expert Systems With Applications 190: 116149. <\/li><\/ul>\n\n\n\n<h4>2021<\/h4>\n\n\n\n<ul><li>Alfredo Ibias, Manuel N\u00fa\u00f1ez, Robert M. Hierons.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2021-IST.pdf\">Using mutual information to test from Finite State Machines: test suite selection<\/a>. Information &amp; Software Technology 132: 106498. <\/li><li>Alberto N\u00fa\u00f1ez, Pablo C. Ca\u00f1izares, Manuel N\u00fa\u00f1ez, Robert M. Hierons. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2021-TRel.pdf\">TEA-<em>Cloud<\/em>: A formal framework for testing cloud computing systems<\/a>.  IEEE Transactions on Reliability  70(1):  261 &#8211; 284.<\/li><li> Alfredo Ibias, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2021-ESWA.pdf\">SqSelect: Automatic assessment of Failed Error Propagation in state-based systems<\/a>. Expert Systems With Applications 174: 114748. <\/li><li>Jes\u00fas M. Almendros-Jim\u00e9nez, Antonio Becerra-Ter\u00f3n, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"https:\/\/doi.org\/10.1016\/j.infsof.2021.106631\">Metamorphic testing of OpenStreetMap<\/a>. Information &amp; Software Technology 138: 106631.  <\/li><\/ul>\n\n\n\n<h4>2020<\/h4>\n\n\n\n<ul><li>Raluca Lefticaru, Robert M. Hierons, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2020-JSS.pdf\">Implementation relations and testing for cyclic systems with refusals and discrete time<\/a>. Journal of Systems and Software 170: 110738.<\/li><\/ul>\n\n\n\n<h4>2019<\/h4>\n\n\n\n<ul><li>Alfredo Ibias, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-IST.pdf\">Using Squeeziness to test component-based systems defined as Finite State Machines<\/a>. Information &amp; Software Technology 112: 132-147.<\/li><li>Iv\u00e1n Calvo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-JIFS.pdf\">A methodology to analyze heart data using fuzzy automata<\/a>. Journal of Intelligent &amp; Fuzzy Systems 37(6): 7389-7399.<\/li><\/ul>\n\n\n\n<h4>2018<\/h4>\n\n\n\n<ul><li>Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-IST.pdf\">A tool supported methodology to passively test asynchronous systems with multiple users<\/a>. Information &amp; Software Technology 104: 162-178.<\/li><li>Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-DC.pdf\">Passive testing with asynchronous communications and timestamps<\/a>. Distributed Computing 31(5): 327-342.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-Trel.pdf\">Bounded reordering in the distributed test architecture<\/a>. IEEE Transactions on Reliability 67(2): 522-537.<\/li><li>Azahara Camacho, Pablo C. Ca\u00f1izares, Sonia Est\u00e9vez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-AUTCON.pdf\">A tool-supported framework for work planning on construction sites based on constraint programming<\/a>. Automation in Construction 86: 190-198.<\/li><\/ul>\n\n\n\n<h4>2017<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-JSS.pdf\">Implementation relations and probabilistic schedulers in the distributed test architecture<\/a>. Journal of Systems and Software 132: 319-335.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-JLAMP.pdf\">An extended framework for passive asynchronous testing<\/a>. Journal of Logical and Algebraic Methods in Programming 86(1): 408-424.<\/li><li>Azahara Camacho, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-JIFSa.pdf\">Collective intelligence and databases in eHealth: A survey<\/a>. Journal of Intelligent &amp; Fuzzy Systems 32(2): 1485-1496.<\/li><li>Ngoc-Thanh Nguyen, Manuel N\u00fa\u00f1ez, Bogdan Trawinski.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-JIFSb.pdf\">Collective intelligent information and database systems<\/a>. Journal of Intelligent &amp; Fuzzy Systems 32(2): 1157-1160.<\/li><\/ul>\n\n\n\n<h4>2015<\/h4>\n\n\n\n<ul><li>Ana R. Cavalli, Teruo Higashino, Manuel N\u00fa\u00f1ez&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2015-annals.pdf\">A survey on formal active and passive testing with applications to the cloud<\/a>. Annals of Telecommunications 70(3-4): 85-93.<\/li><\/ul>\n\n\n\n<h4>2014<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2014-DC.pdf\">Timed implementation relations for the distributed test architecture<\/a>. Distributed Computing 27(3): 181-201 (2014)<\/li><\/ul>\n\n\n\n<h4>2013<\/h4>\n\n\n\n<ul><li>Alberto N\u00fa\u00f1ez, Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2013-SC.pdf\">Using genetic algorithms to generate test sequences for complex timed systems<\/a>. Soft Computing 17(2): 301-315.<\/li><\/ul>\n\n\n\n<h4>2012<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-DC.pdf\">Implementation relations and test generation for systems with distributed interfaces<\/a>. Distributed Computing 25(1): 35-62.<\/li><li>Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-FAC.pdf\">Using schedulers to test probabilistic distributed systems<\/a>. Formal Aspects of Computing 24(4-6): 679-699.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-STVRa.pdf\">Formal passive testing of timed systems: theory and tools<\/a>. Software Testing, Verification and Reliability 22(6): 365-405.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-STVRb.pdf\">A formal framework to test soft and hard deadlines in timed systems<\/a>. Software Testing, Verification and Reliability 22(8): 583-608.<\/li><\/ul>\n\n\n\n<h4>2011<\/h4>\n\n\n\n<ul><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Robert M. Hierons.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-SoSyM.pdf\">Testing timed systems modeled by Stream X-machines<\/a>. Software and System Modeling 10(2): 201-217.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-SPE.pdf\">Scenarios-based testing of systems with distributed ports<\/a>. Software &#8211; Practice and Experience 41(10): 999-1026.<\/li><li>Carlos Molinero, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-AiC.pdf\">Planning of work schedules through the use of a hierarchical multi-agent system<\/a>. Automation in Construction 20(8): 1227-1241.<\/li><\/ul>\n\n\n\n<h4>2009<\/h4>\n\n\n\n<ul><li>Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-FI.pdf\">Testing Semantics for RTPA<\/a>. Fundamenta Informatica 90(3): 305-335.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-JLAPa.pdf\">Testing from a stochastic timed system with a fault model<\/a>. Journal of Logic and Algebraic Programming 78(2): 98-115.<\/li><li>Lars Frantzen, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-JLAPb.pdf\">A brief history of A-MOST<\/a>. Journal of Logic and Algebraic Programming 78(6): 417-424.<\/li><\/ul>\n\n\n\n<h4>2008<\/h4>\n\n\n\n<ul><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-CN.pdf\">Formal testing from timed finite state machines<\/a>. Computer Networks 52(2): 432-460.<\/li><li>Ismael Rodr\u00edguez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-JLAP.pdf\">HOTL: Hypotheses and observations testing logic<\/a>. Journal of Logic and Algebraic Programming 74(2): 57-93.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-ToC.pdf\">Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs<\/a>. IEEE Transactions on Computers 57(6): 835-844.<\/li><\/ul>\n\n\n\n<h4>2007<\/h4>\n\n\n\n<ul><li>Mario Bravetti, Adalberto Casalboni, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/www.jucs.org\/jucs_13_13\/from_theoretical_ebarter_models\/jucs_13_13_2035_2075_bravetti.pdf\">From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices<\/a>. Journal of Universal Computer Science 13(13): 2035-2075.<\/li><\/ul>\n\n\n\n<h4>2006<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-TCS.pdf\">Specification, testing and implementation relations for symbolic-probabilistic systems<\/a>. Theoretical Computer Science 353(1-3): 228-248.<\/li><\/ul>\n\n\n\n<h4>2005<\/h4>\n\n\n\n<ul><li>Emmanuel Bayse, Ana R. Cavalli, Manuel N\u00fa\u00f1ez, Fatiha Za\u00efdi.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-CN.pdf\">A passive testing approach based on invariants: application to the WAP<\/a>. Computer Networks 48(2): 235-245.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-SCP.pdf\">Formal specification of multi-agent e-barter systems<\/a>. Science of Computer Programming 57(2): 187-216.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-STVR.pdf\">Specification and testing of autonomous agents in e-commerce systems<\/a>. Software Testing, Verification and Reliability 15(4): 211-233.<\/li><\/ul>\n\n\n\n<h4>2004<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-CSSE.pdf\">Predicting performance in the presence of stochastic information<\/a>. Computer Systems: Science &amp; Engineering 19(6): 347-353.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-FAC.pdf\">An integrated framework for the performance analysis of asynchronous communicating stochastic processes<\/a>. Formal Aspects of Computing 16(3): 238-262.<\/li><li>Ismael Rodr\u00edguez, Manuel N\u00fa\u00f1ez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-IST.pdf\">A formal framework for analyzing reusability complexity in component-based systems<\/a>. Information &amp; Software Technology 46(12): 791-804.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-SIGECOM.pdf\">Improving privacy in Vickrey auctions<\/a>. SIGecom Exchanges 5(1): 1-12.<\/li><\/ul>\n\n\n\n<h4>2003<\/h4>\n\n\n\n<ul><li>Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-JLAP.pdf\">Algebraic theory of probabilistic processes<\/a>. Journal of Logic and Algebraic Programming 56(1-2): 117-177.<\/li><\/ul>\n\n\n\n<h4>1998<\/h4>\n\n\n\n<ul><li>David de Frutos-Escrig, Luis Llana, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1998-JCST.pdf\">An invitation to friendly testing<\/a>. Journal of Computer Science and Technology 13(6): 531-545.<\/li><\/ul>\n\n\n\n<h2><strong>Publications in refereed conferences and workshops<\/strong><\/h2>\n\n\n\n<h4>2023<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Carlos Montero, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2023-ACIIDS.pdf\">Improving the Expected Goal value in football using Multilayer Perceptron Networks<\/a>. 15th Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;23: Recent Challenges in Intelligent Information and Database Systems, pages: 352-536, Springer. <\/li><\/ul>\n\n\n\n<p><\/p>\n\n\n\n<h4>2022<\/h4>\n\n\n\n<ul><li>Manuel M\u00e9ndez, Alfredo Ibias, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2022-ACIIDSa.pdf\">Using deep learning to detect anomalies in traffic flow<\/a>. 14th Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;22, LNCS 13757, pages: 299-312, Springer. <\/li><li>Manuel M\u00e9ndez, Carlos Montero, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2022-ACIIDSb.pdf\">Using deep Transformer based models to predict ozone levels<\/a>. 14th Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;22, LNCS 13757, pages: 169-182, Springer. <\/li><\/ul>\n\n\n<p><!--StartFragment--><\/p>\n<h4>2021<\/h4>\n\n\n<ul><li>Alfredo Ibias, Luis Llana, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2021-ictss.pdf\">Using Ant Colony Optimisation to select features having associated costs<\/a>. 33rd IFIP WG 6.1 Int. Conf. on Testing Software and Systems, ICTSS&#8217;21, LNCS 13045, pages: 106-122, Springer. <\/li><\/ul>\n\n\n\n<h4>2020<\/h4>\n\n\n\n<ul><li> Miguel Benito-Parejo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2020-SMCa.pdf\">An evolutionary technique for supporting the consensus process of group decision making<\/a>. 2020 IEEE Int. Conf. on Systems, Man, and Cybernetics, SCM&#8217;20,  pages: 2201-2206, IEEE Computer Society.  <\/li><li>Alfredo Ibias, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2020-SMCb.pdf\">Using a swarm to detect hard-to-kill mutants<\/a>. 2020 IEEE Int. Conf. on Systems, Man, and Cybernetics, SCM&#8217;20,  pages: 2190-2195, IEEE Computer Society.  <\/li><li>Alfredo Ibias, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2020-SAC.pdf\">Estimating fault masking using Squeeziness based on R\u00e9nyi\u2019s entropy<\/a>.  35th ACM Symposium on Applied Computing, SAC&#8217;20, pages: 1936-1943, ACM Press.<\/li><li>Iv\u00e1n Calvo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2020-ACIIDS.pdf\">A trading framework based on fuzzy Moore machines<\/a>. 12th Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;20, LNAI 12033, pages: 123-134, Springer. <\/li><\/ul>\n\n\n\n<h4>2019<\/h4>\n\n\n\n<ul><li>David Gri\u00f1\u00e1n, Alfredo Ibias, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-SMC.pdf\">Grammar-based Tree Swarm Optimization<\/a>. 2019 IEEE Int. Conf. on Systems, Man, and Cybernetics, SCM&#8217;19, pages: 76-81, IEEE Computer Society.<\/li><li>Raluca Lefticaru, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-SEFM.pdf\">An implementation relation for cyclic systems with refusals and discrete time<\/a>. 17th Int. Conf. on Software Engineering and Formal Methods, SEFM&#8217;19, LNCS 11724, pages: 393-409, Springer.<\/li><li>Alfredo Ibias, David Gri\u00f1\u00e1n, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-IWANN-GPTSG.pdf\">GPTSG: A Genetic Programming test suite generator using Information Theory measures<\/a>. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;19, LNCS 11506, pages: 716-728, Springer.<\/li><li>Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-IWANN-GAsTesting.pdf\">Using genetic algorithms to generate test suites for FSMs<\/a>. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;19, LNCS 11506, pages: 741-752, Springer.<\/li><li>Iv\u00e1n Calvo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Francisco Palomo-Lozano.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2019-IWANN-FA.pdf\">Conformance relations for fuzzy automata<\/a>. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;19, LNCS 11506, pages: 753-765, Springer.<\/li><\/ul>\n\n\n\n<h4>2018<\/h4>\n\n\n\n<ul><li>Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-GECCO.pdf\">Test suite minimization for mutation testing of WS-BPEL compositions<\/a>. 20th Annual Conf. on Genetic and Evolutionary Computation, GECCO&#8217;18, pages: 1427-1434, ACM Press.<\/li><li>Iv\u00e1n Calvo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2018-ACIIDS.pdf\">An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data<\/a>. 10th Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;18, LNAI 10751, pages: 694-704, Springer.<\/li><\/ul>\n\n\n\n<h4>2017<\/h4>\n\n\n\n<ul><li>Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-IWANN.pdf\">A formal framework to specify and test systems with fuzzy-time information<\/a>. 14th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;17, LNCS 10306, pages: 403-414, Springer.<\/li><li>Azahara Camacho, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-CECa.pdf\">Using fuzzy automata to diagnose and predict heart problems<\/a>. 19th IEEE Congress on Evolutionary Computation, CEC&#8217;17, pages: 846-853, IEEE Computer Society.<\/li><li>Pedro Delgado-P\u00e9rez, Inmaculada Medina-Bulo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2017-CECb.pdf\">Using Evolutionary Mutation Testing to improve the quality of test suites<\/a>. 19th IEEE Congress on Evolutionary Computation, CEC&#8217;17, pages: 596-603, IEEE Computer Society.<\/li><\/ul>\n\n\n\n<h4>2016<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2016-ICTSS.pdf\">Controllability Through Nondeterminism in Distributed Testing<\/a>. 28th IFIP WG 6.1 Int. Conf. on Testing Software and Systems, ICTSS&#8217;16, LNCS 9976, pages: 89-105, Springer.<\/li><\/ul>\n\n\n\n<h4>2015<\/h4>\n\n\n\n<ul><li>Pablo C. Ca\u00f1izares, Alberto N\u00fa\u00f1ez, Manuel N\u00fa\u00f1ez, Juan Jos\u00e9 Pardo.&nbsp;<a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1877050915012466\/pdf?md5=41d202b1c81895f08cfcf8509ac742fc&amp;pid=1-s2.0-S1877050915012466-main.pdf\">A Methodology for Designing Energy-aware Systems for Computational Science<\/a>. 15th Int. Conf. on Computational Science, ICCS&#8217;15, Procedia Computer Science 51, pages: 2804-2808, Elsevier.<\/li><\/ul>\n\n\n\n<h4>2014<\/h4>\n\n\n\n<ul><li>Alberto N\u00fa\u00f1ez, Pablo C. Ca\u00f1izares, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2014-SITIS.pdf\">A Methodology for Aiding Users to Design and Model Cloud Computing Architectures<\/a>. 10th Int. Conf. on Signal-Image Technology &amp; Internet-Based Systems, SITIS&#8217;14, pages: 215-222, IEEE Computer Society.<\/li><\/ul>\n\n\n\n<h4>2013<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2013-FORTE.pdf\">Passive Testing with Asynchronous Communications<\/a>. IFIP 33rd Int. Conf. on Formal Techniques for Distributed Systems, FMOODS\/FORTE&#8217;13, LNCS 7892, pages: 99-113, Springer.<\/li><\/ul>\n\n\n\n<h4>2012<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-FM.pdf\">Using Time to Add Order to Distributed Testing<\/a>. 18th Symposium on Formal Methods, FM&#8217;12, LNCS 7436, pages: 232-246, Springer.<\/li><li>C\u00e9sar Andr\u00e9s, Alberto N\u00fa\u00f1ez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2012-ICCCI.pdf\">Preventing Attacks by Classifying User Models in a Collaborative Scenario<\/a>. 4th Int. Conf. on Computational Collective Intelligence: Technologies and Applications, LNAI 7653, pages: 505-514, Springer.<\/li><\/ul>\n\n\n\n<h4>2011<\/h4>\n\n\n\n<ul><li>C\u00e9sar Andr\u00e9s, Luis Llana, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-CEE.pdf\">Self-adaptive fuzzy-timed systems<\/a>. 13th IEEE Congress on Evolutionary Computation, CEC&#8217;11, pages: 115-122, IEEE Computer Society.<\/li><li>Carlos Molinero, Manuel N\u00fa\u00f1ez, Robert M. Hierons.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-ALIFE.pdf\">Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM<\/a>. IEEE Symposium on Artificial Life, ALIFE&#8217;11, pages: 22-29, IEEE Computer Society.<\/li><li>Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-IWANNa.pdf\">A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems<\/a>. 11th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;11, LNCS 6692, pages: 396-403, Springer.<\/li><li>Carlos Molinero, Manuel N\u00fa\u00f1ez, Robert M. Hierons:&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-IWANNb.pdf\">Experimental Comparison of Different Techniques to Generate Adaptive Sequences<\/a>. 11th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;11, LNCS 6692, pages: 404-411, Springer.<\/li><li>Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2011-ICTSS.pdf\">Formal Testing of Timed and Probabilistic Systems<\/a>. 23rd Int. Conf. on Testing Software and Systems, ICTSS&#8217;11, LNCS 7019, pages: 9-14, Springer.<\/li><\/ul>\n\n\n\n<h4>2010<\/h4>\n\n\n\n<ul><li>C\u00e9sar Andr\u00e9s, Mar\u00eda-Emilia Cambronero, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-SCC.pdf\">Formal Passive Testing of Service-Oriented Systems<\/a>. 7th IEEE Int. Conf. on Services Computing, SCC&#8217;10, pages: 610-613, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Manuel N\u00fa\u00f1ez, Yaofeng Zhang.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-ACIIDS.pdf\">From Data Mining to User Models in Evolutionary Databases<\/a>. 2nd Int. Conf. on Intelligent Information and Database Systems, ACIIDS&#8217;10, LNCS 5990, pages: 54-63, Springer.<\/li><li>Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-FORTEa.pdf\">Testing Probabilistic Distributed Systems<\/a>. IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS\/FORTE&#8217;10, LNCS 6117, pages: 63-77, Springer.<\/li><li>Juan Jos\u00e9 Pardo, Manuel N\u00fa\u00f1ez, M. Carmen Ruiz.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-FORTEb.pdf\">Specification and Testing of E-Commerce Agents Described by Using UIOLTSs<\/a>. IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS\/FORTE&#8217;10, LNCS 6117, pages: 78-86, Springer.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-QSIC.pdf\">Scenarios-Based Testing of Systems with Distributed Ports<\/a>. 10th Int. Conf. on Quality Software, QSIC&#8217;10, pages: 52-61, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-SEKE.pdf\">Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties<\/a>. 22nd Int. Conf. on Software Engineering &amp; Knowledge Engineering, SEKE&#8217;10, pages: 405-410, Knowledge Systems Institute.<\/li><li>C\u00e9sar Andr\u00e9s, Mar\u00eda-Emilia Cambronero, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-WSFM.pdf\">Passive Testing of Web Services<\/a>. 7th Int. Workshop on Web Services and Formal Methods, WS-FM&#8217;10, LNCS 6551, pages: 56-70, Springer.<\/li><\/ul>\n\n\n\n<h4>2009<\/h4>\n\n\n\n<ul><li>C\u00e9sar Andr\u00e9s, St\u00e9phane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-APSEC.pdf\">Analysis of the OLSR Protocol by Using Formal Passive Testing<\/a>. 16th Asia-Pacific Software Engineering Conference, APSEC&#8217;09, pages: 152-159, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Carlos Molinero, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-ICCS.pdf\">A Hierarchical Methodology to Specify and Simulate Complex Computational Systems<\/a>. 9th Int. Conf. on Computational Science, ICCS&#8217;09, LNCS 5544, pages: 347-356, Springer.<\/li><li>Mercedes G. Merayo, Iksoon Hwang, Manuel N\u00fa\u00f1ez, Ana R. Cavalli:&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-ICFEM.pdf\">A Statistical Approach to Test Stochastic and Probabilistic Systems<\/a>. 11th Int. Conf. on Formal Engineering Methods, ICFEM&#8217;09, LNCS 5885, pages: 186-205, Springer.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-AMOST.pdf\">Formal Correctness of a Passive Testing Approach for Timed Systems<\/a>. 5th Workshop on Advances in Model Based Testing, A-MOST&#8217;09 (ICST Workshops), pages: 67-76, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-ICST.pdf\">Passive Testing of Stochastic Timed Systems<\/a>. 2nd Int. Conf. on Software Testing, Verification, and Validation, ICST&#8217;09, pages: 71-80, IEEE Computer Society.<\/li><li>Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-IWANNa.pdf\">Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms<\/a>. 10th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;09, LNCS 5517, pages: 327-334, Springer.<\/li><li>Carlos Molinero, Manuel N\u00fa\u00f1ez, C\u00e9sar Andr\u00e9s.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-IWANNb.pdf\">Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences<\/a>. 10th Int. Work-Conf. on Artificial Neural Networks, IWANN&#8217;09, LNCS 5517, pages: 343-350, Springer.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-QSIC.pdf\">Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models<\/a>. 9th Int. Conf. on Quality Software, QSIC&#8217;09, pages: 145-154, IEEE Computer Society.<\/li><li>Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-SEFMa.pdf\">Simulation Relations for Systems with Distributed Interfaces<\/a>. 7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM&#8217;09, pages: 41-50, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-SEFMb.pdf\">Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol<\/a>. 7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM&#8217;09, pages: 73-82, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-SEKE.pdf\">Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems<\/a>. 21st Int. Conf. on Software Engineering &amp; Knowledge Engineering, SEKE&#8217;09, pages: 426-431, Knowledge Systems Institute.<\/li><\/ul>\n\n\n\n<h4>2008<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-ATVAa.pdf\">Controllable Test Cases for the Distributed Test Architecture<\/a>. 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA&#8217;08, LNCS 5311, pages: 201-215, Springer.<\/li><li>C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-ATVAb.pdf\">Passive Testing of Timed Systems<\/a>. 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA&#8217;08, LNCS 5311, pages: 418-427, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Luis Llana.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-FORTE.pdf\">A Hierarchy of Equivalences for Probabilistic Processes<\/a>. 28th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;08, LNCS 5048, pages: 267-282, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-TESTCOMa.pdf\">THOTL: A Timed Extension of HOTL<\/a>. Joint 20th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom&#8217;08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES&#8217;08, LNCS 5047, pages: 86-102, Springer.<\/li><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-TESTCOMb.pdf\">Implementation relations for the distributed test architecture<\/a>. Joint 20th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom&#8217;08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES&#8217;08, LNCS 5047, pages: 200-215, Springer.<\/li><li>Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-SEFM.pdf\">Extending Stream X-Machines to Specify and Test Systems with Timeouts<\/a>. 6th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM&#8217;08, pages: 201-210, IEEE Computer Society.<\/li><li>C\u00e9sar Andr\u00e9s, Carlos Molinero, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2008-SITIS.pdf\">A Formal Methodology to Specify Hierarchical Agent-Based Systems<\/a>. 4th Int. Conf. on Signal-Image Technology &amp; Internet-based Systems, SITIS&#8217;08, pages: 169-176, IEEE Computer Society.<\/li><\/ul>\n\n\n\n<h4>2007<\/h4>\n\n\n\n<ul><li>Ismael Rodr\u00edguez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-ATVAa.pdf\">A Formal Methodology to Test Complex Heterogeneous Systems<\/a>. 5th Int. Symp. on Automated Technology for verification and Analysis, ATVA&#8217;07, LNCS 4762, pages: 394-409, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-ATVAb.pdf\">A Brief Introduction to THOTL<\/a>. 5th Int. Symp. on Automated Technology for verification and Analysis, ATVA&#8217;07, LNCS 4762, pages: 501-510, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-EPEWa.pdf\">SPAMR: Extending PAMR with stochastic time<\/a>. 4th European Performance Engineering Workshop, EPEW&#8217;07, LNCS 4748, pages: 63-79, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-EPEWb.pdf\">Testing Finite State Machines Presenting Stochastic Time and Timeouts<\/a>. 4th European Performance Engineering Workshop, EPEW&#8217;07, LNCS 4748, pages: 97-111, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-FSENa.pdf\">Formal Testing of Systems Presenting Soft and Hard Deadlines<\/a>. 2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN&#8217;07, LNCS 4767, pages: 160-174, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-FSENb.pdf\">Formal Specification of Multi-agent Systems by Using EUSMs<\/a>. 2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN&#8217;07, LNCS 4767, pages: 318-333, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-SEFM.pdf\">Testing conformance on Stochastic Stream X-Machines<\/a>. 5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM&#8217;07, pages: 227-236, IEEE Computer Society.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2007-TASE.pdf\">Generation of optimal finite test suites for timed systems<\/a>. 1st IEEE &amp; IFIP Int. Symposium on Theoretical Aspects of Software Engineering, TASE&#8217;07, pages: 149-158, IEEE Computer Society.<\/li><\/ul>\n\n\n\n<h4>2006<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-AMAST.pdf\">Assessing the Expressivity of Formal Specification Languages<\/a>. 11th Int. Conf. on Algebraic Methodology and Software Technology, AMAST&#8217;06, LNCS 4019, pages: 220-234, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-EPEW.pdf\">Implementation Relations for Stochastic Finite State Machines<\/a>. 3rd European Performance Engineering Workshop, EPEW&#8217;06, LNCS 3964, pages: 123-137, Springer.<\/li><li>Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-FORTEa.pdf\">Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts<\/a>. 26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;06, LNCS 4229, pages: 372-387, Springer.<\/li><li>Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-FORTEb.pdf\">Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems<\/a>. 26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;06, LNCS 4229, pages: 467-483, Springer.<\/li><li>Ismael Rodr\u00edguez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-TESTCOMa.pdf\">A Logic for Assessing Sets of Heterogeneous Testing Hypotheses<\/a>. 18th Int. Conf. on Testing Communicating Systems, TestCom&#8217;06, LNCS 3964, pages: 39-54, Springer.<\/li><li>Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-TESTCOMb.pdf\">Customized Testing for Probabilistic Systems<\/a>. 18th Int. Conf. on Testing Communicating Systems, TestCom&#8217;06, LNCS 3964, pages: 87-102, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2006-SITIS.pdf\">Market-Based Adaptive Discussion Forums<\/a>. 2nd Int. Conf. on Signal-Image Technology &amp; Internet-based Systems, SITIS&#8217;06, LNCS 4897, pages: 149-160, Springer.<\/li><\/ul>\n\n\n\n<h4>2005<\/h4>\n\n\n\n<ul><li>Fernando L. Pelayo, Manuel N\u00fa\u00f1ez, Natalia L\u00f3pez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-ICCI.pdf\">Specifying the memorization process with STOPA<\/a>. 4th IEEE Int. Conf. on Cognitive Informatics, ICCI&#8217;05, pages: 238-247, IEEE Computer Society.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-FATES.pdf\">Conformance Testing Relations for Timed Systems<\/a>. 5th Int. Workshop on Formal Approaches to Software Testing, FATES&#8217;05, LNCS 3997, pages: 103-117, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-ICTAC.pdf\">Weak Stochastic Bisimulation for Non-markovian Processes<\/a>. 2nd Int. Conf. on Theoretical Aspects of Computing, ICTAC&#8217;05, LNCS 3722, pages: 454-468, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-IESSa.pdf\">Specification-Based Testing of Real-Time Embedded Systems<\/a>. IFIP TC10 Working Conf.: International Embedded Systems Symposium, IESS&#8217;05 pages: 115-124, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Fernando L. Pelayo, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2005-IESSb.pdf\">A Formal Methodology to Test Complex Embedded Systems<\/a>. IFIP TC10 Working Conf.: International Embedded Systems Symposium, IESS&#8217;05 pages: 125-136, Springer.<\/li><li>Mario Bravetti, Adalberto Casalboni, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066106002842\/pdf?md5=34f5740b0c7153602957ff4b51fc6d95&amp;pid=1-s2.0-S1571066106002842-main.pdf\">From Theoretical e-barter Models to an Implementation Based on Web Services<\/a>. 1st IPM International Workshop on Foundations of Software Engineering, FSEN&#8217;05, Electronic Notes in Theoretical Computer Science 159, pages: 241\u2013264, Elsevier.<\/li><\/ul>\n\n\n\n<h4>2004<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Fernando L. Pelayo.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-ICCIa.pdf\">STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems<\/a>. 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI&#8217;04, pages: 64-73, IEEE Computer Society.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-ICCIb.pdf\">Applying Occam&#8217;s Razor to FSMs<\/a>. 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI&#8217;04, pages: 138-147, IEEE Computer Society.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-AIMSA.pdf\">A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments<\/a>. 11th Int. Conf. on Artificial Intelligence: Methodologies, Systems, and Applications, AIMSA&#8217;04, LNAI 3192, pages: 361-370, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-FATES.pdf\">Testing of Symbolic-Probabilistic Systems<\/a>. 4th Int. Workshop on Formal Approaches to Software Testing, FATES&#8217;04, LNCS 3395, pages: 49-63, Springer.<\/li><li>Ismael Rodr\u00edguez, Manuel N\u00fa\u00f1ez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-TheFormEMC.pdf\">Specification of Autonomous Agents in E-commerce Systems<\/a>. Workshop on Theory Building and Formal Methods in Electronic\/Mobile Commerce, TheFormEMC&#8217;04, LNCS 3236, pages: 30-43, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-EPEW.pdf\">Formal Specification of Symbolic-Probabilistic Systems<\/a>. European Performance Engineering Workshop, EPEW&#8217;04, LNCS 3236, pages: 114-127, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-ITM.pdf\">Testing of Autonomous Agents Described as Utility State Machines<\/a>. Workshop on Integration of Testing Methodologies, ITM&#8217;04, LNCS 3236, pages: 322-336, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-IICS.pdf\">A Formal Framework to Reduce Communications in Communication Systems<\/a>. 4th Int. Workshop on Innovative Internet Community Systems, IICS&#8217;04, LNCS 3473, pages: 69-80, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-SAC.pdf\">Encouraging Knowledge Exchange in Discussion Forums by Market-oriented Mechanisms<\/a>. 19th ACM Symposium on Applied Computing, SAC&#8217;04, pages: 952-956, ACM Press.<\/li><\/ul>\n\n\n\n<h4>2003<\/h4>\n\n\n\n<ul><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-ICCI.pdf\">Towards the Identification of Living Agents in Complex Computational Environments<\/a>. 2nd IEEE Int. Conf. on Cognitive Informatics, ICCI&#8217;03, pages: 151-160, IEEE Computer Society.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-FORTE.pdf\">Towards Testing Stochastic Timed Systems<\/a>. 23rd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;03, LNCS 2767, pages: 335-350, Springer.<\/li><li>Ismael Rodr\u00edguez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-ICCS.pdf\">Introducing CEES: Complex Economic Environments Simulator<\/a>. 3rd Int. Conf. on Computational Science, ICCS&#8217;03, LNCS 2658, pages: 658-667, Springer.<\/li><li>Ana R. Cavalli, Edgardo Montes de Oca, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-TESTCOMa.pdf\">TestNet: Let&#8217;s Test Together!<\/a>. 15th Int. Conf. on Testing Communicating Systems, TestCom&#8217;03, LNCS 2644, pages: 258-264, Springer.<\/li><li>Jos\u00e9 Antonio Arnedo, Ana R. Cavalli, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-TESTCOMb.pdf\">Fast Testing of Critical Properties through Passive Testing<\/a>. 15th Int. Conf. on Testing Communicating Systems, TestCom&#8217;03, LNCS 2644, pages: 295-310, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2003-SAC.pdf\">A Multi-Agent System for E-Barter Including Transaction and Shipping Costs<\/a>. 18th ACM Symposium on Applied Computing, SAC&#8217;03, pages: 587-594, ACM Press.<\/li><\/ul>\n\n\n\n<h4>2002<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-ICCI.pdf\">Introducing the Golden Section to Computer Science<\/a>. 1st IEEE Int. Conf. on Cognitive Informatics, ICCI&#8217;02, pages: 203-212, IEEE Computer Society.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-AIMSA.pdf\">WHAT: Web-Based Haskell Adaptive Tutor<\/a>. 10th Int. Conf. on Artificial Intelligence: Methodologies, Systems, and Applications, AIMSA&#8217;02, LNAI 2443, pages: 71-80, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-FORTE.pdf\">Encoding PAMR into (Timed) EFSMs<\/a>. 22nd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;02, LNCS 2529, pages: 1-16, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-IFM.pdf\">Stochastic Process Algebras Meet Eden<\/a>. 3rd Int. Conf. on Integrated Formal Methods, IFM&#8217;02, LNCS 2335, pages: 29-48, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-IICS.pdf\">A Formal Framework for E-Barter based on Microeconomic Theory and Process Algebras<\/a>. 2nd Int. Workshop on Innovative Internet Computing Systems, LNCS 2346, pages: 217-228, Springer.<\/li><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez, Fernando Rubio.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2002-ITS.pdf\">Including Malicious Agents into a Collaborative Learning Environment<\/a>. 8th Int. Conf. on Intelligent Tutoring Systems, ITS&#8217;02, LNCS 2363, pages: 217-228, Springer.<\/li><\/ul>\n\n\n\n<h4>2001<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2001-CONCUR.pdf\">A Testing Theory for Generally Distributed Stochastic Processes<\/a>. 12th Int. Conf. on Concurrency Theory, CONCUR&#8217;01, LNCS 2154, pages: 321-335, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2001-FORTE.pdf\">PAMR: A Process Algebra for the Management of Resources in Concurrent Systems<\/a>. 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE&#8217;01, pages: 169-184, Kluwer Academic Publishers.<\/li><\/ul>\n\n\n\n<h4>2000<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2000-DSVV.pdf\">NMSPA: A Non-Markovian Model for Stochastic Processes<\/a>. Int. Workshop on Distributed System Validation and Verification, DSVV&#8217;00, pages: E33-E40.<\/li><\/ul>\n\n\n\n<h4>1999<\/h4>\n\n\n\n<ul><li>Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1999-ARTS.pdf\">An Axiomatization of Probabilistic Testing<\/a>. 5th AMAST Workshop on Real-Time and Probabilistic Systems, ARTS&#8217;99, LNCS 1601, pages: 130-150, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, David Rup\u00e9rez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1999-FORTEa.pdf\">Fair Testing through Probabilistic Testing<\/a>. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE\/PSTV&#8217;99, pages: 135-150, Kluwer Academic Publishers.<\/li><li>David de Frutos-Escrig, Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1999-FORTEb.pdf\">Global Timed Bisimulation: An Introduction<\/a>. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE\/PSTV&#8217;99, pages: 401-416, Kluwer Academic Publishers.<\/li><\/ul>\n\n\n\n<h4>1998<\/h4>\n\n\n\n<ul><li>Carlos Gregorio-Rodr\u00edguez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066105805997\/pdf?md5=796a25cbaf0c756aab464cc8b11fcaa0&amp;pid=1-s2.0-S1571066105805997-main.pdf\">Denotational Semantics for Probabilistic Refusal Testing<\/a>. 1st Int. Workshop on Probabilistic Methods in Verification, PROBMIV&#8217;98, Electronic Notes in Theoretical Computer Science 22, pages: 111-137, Elsevier.<\/li><\/ul>\n\n\n\n<h4>1997<\/h4>\n\n\n\n<ul><li>Carlos Gregorio-Rodr\u00edguez, Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez, Pedro Palao-Gostanza.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1997-ARTS.pdf\">Testing Semantics for a Probabilistic-Timed Process Algebra<\/a>. 4th International AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, ARTS&#8217;97, LNCS 1231, pages: 353-367, Springer.<\/li><li>Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1997-EUROPAR.pdf\">Testing Semantics for Unbounded Nondeterminism<\/a>. 3rd European Conf. on Parallel Processing, Europar&#8217;97, LNCS 1300, pages: 538-545, Springer.<\/li><li>David de Frutos-Escrig, Luis Fernando Llana D\u00edaz, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1997-FORTE.pdf\">Friendly Testing as a Conformance Relation<\/a>. 17th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE\/PSTV&#8217;97, pages: 283-298, Chapman &amp; Hall.<\/li><\/ul>\n\n\n\n<h4>1996<\/h4>\n\n\n\n<ul><li>Carlos Gregorio, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1996-COST.pdf\">Specifying and verifying the Alternating Bit Protocol with probabilistic-timed LOTOS<\/a>. COST 247 Workshop on Applied Formal Methods in System Design, pages: 38-50.<\/li><li>Pedro Palao-Gostanza, Ricardo Pena, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1996-ICFP.pdf\">A New Look to Pattern Matching in Abstract Data Types<\/a>. 1st ACM SIGPLAN Int. Conf. on Functional Programming, ICFP&#8217;96, pages: 110-121, ACM Press.<\/li><\/ul>\n\n\n\n<h4>1995<\/h4>\n\n\n\n<ul><li>Pedro Palao, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1995-PRODE.pdf\">An Effective Algorithm for Compiling Pattern Matching Keeping Laziness<\/a>. 3rd Joint Conf. on Declarative Programming, GULP-PRODE&#8217;95, pages: 383-394.<\/li><li>Manuel N\u00fa\u00f1ez, David de Frutos-Escrig, Luis Fernando Llana D\u00edaz.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1995-CONCUR.pdf\">Acceptance Trees for Probabilistic Processes<\/a>. 6th Int. Conf. on Concurrency Theory, CONCUR&#8217;95, LNCS 962, pages: 249-263, Springer.<\/li><li>Manuel N\u00fa\u00f1ez, Pedro Palao, Ricardo Pe\u00f1a.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1995-FPLE.pdf\">A second year course on data structures based on functional programming<\/a>. Functional Programming Languages in Education, LNCS 1022, pages: 65-84, Springer.<\/li><li>David de Frutos-Escrig, Manuel N\u00fa\u00f1ez, Juan Quemada.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1995-PSTV.pdf\">Characterizing Termination in LOTOS via Testing<\/a>. 15th WG6.1 Int. Conf. on Protocol Specification, Testing, and Verification, PSTV&#8217;95, pages: 237-250, Chapman &amp; Hall.<\/li><li>Manuel N\u00fa\u00f1ez, David de Frutos-Escrig.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/1995-FORTE.pdf\">Testing Semantics for Probabilistic LOTOS<\/a>. 8th IFIP WG6.1 Int. Conf. on Formal Description Techniques, FORTE&#8217;95, pages: 367-382, Chapman &amp; Hall.<\/li><\/ul>\n\n\n\n<h2>Chapters<\/h2>\n\n\n\n<h4>2023<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. <a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2023-Festschrift.pdf\">Implementation Relations for&nbsp;Distributed Testing<\/a>. Applicable Formal Methods for Safe Industrial Products. Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, LNCS 14165, pages: 34-48, Springer.<\/li><\/ul>\n\n\n\n<h4>2016<\/h4>\n\n\n\n<ul><li>Azahara Camacho, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2016-SCI.pdf\">A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth Systems<\/a>. Recent Developments in Intelligent Information and Database Systems, Studies in Computational Intelligence 642, pages: 221-232, Springer.<\/li><\/ul>\n\n\n\n<h4>2010<\/h4>\n\n\n\n<ul><li>Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2010-ESE.pdf\">Mutation Testing<\/a>. Encyclopedia of Software Engineering, pages: 594-602, Taylor &amp; Francis.<\/li><\/ul>\n\n\n\n<h4>2009<\/h4>\n\n\n\n<ul><li>Juan Jos\u00e9 Pardo, M. Carmen Ruiz, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2009-SCI.pdf\">A novel formalism to represent collective intelligence in multi-agent systems<\/a>. New Challenges in Computational Collective Intelligence, Studies in Computational Intelligence 244, pages: 193-204, Springer.<\/li><\/ul>\n\n\n\n<h4>2004<\/h4>\n\n\n\n<ul><li>Natalia L\u00f3pez, Manuel N\u00fa\u00f1ez.&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/~manolo\/publications_web_page\/2004-VSS.pdf\">An overview of probabilistic process algebras and their equivalences<\/a>. Validation of Stochastic Systems, LNCS 2925, pages: 89-123, Springer.<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is <a class=\"read-more\" href=\"https:\/\/antares.sip.ucm.es\/manolo\/publications\/\">Read More<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/44"}],"collection":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/comments?post=44"}],"version-history":[{"count":62,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/44\/revisions"}],"predecessor-version":[{"id":459,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/44\/revisions\/459"}],"wp:attachment":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/media?parent=44"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}