%\newcommand{\calH}{{\cal H}}
%\newcommand{\calO}{{\cal O}}
%\newcommand{\calT}{{\cal T}}
%\newcommand{\calL}{{\cal L}}

%\newcommand{\HOTL}{$\calH \calO \calT\! \calL$}
%\newcommand{\THOTL}{$\calT\! \calH \calO \calT\! \calL$}

%%%%%2021

@article{inh21,
  author = "A. Ibias and M. {N}{\'u}{\~n}ez and R. M. Hierons",
  title     = {Using mutual information to test from {Finite State Machines}: Test suite selection},
  journal   = {Information \& Software Technology},
  volume    = {132},
  pages     = {106498},
  year      = {2021}}


@ARTICLE{in21,
author = {A. Ibias and M. N\'u{\~n}ez},
journal={Expert Systems with Applications},
title={\texttt{SqSelect}: Automatic assessment of Failed Error Propagation in state-based systems},
year={2021},
volume={174},
pages={114748}}

@article{abmn21,
  author    = {J. M.  Almendros{-}Jim{\'{e}}nez and A. Becerra{-}Ter{\'{o}}n and M. G. Merayo and M. {N}{\'u}{\~n}ez},
  title     = {Metamorphic testing of  {OpenStreetMap}},
  journal   = {Information \& Software Technology},
  volume    = {138},
  pages     = {106631 },
  year={2021}
}

@ARTICLE{ncnh21,
author={A. N{\'u}{\~n}ez and P. C. Ca{\~n}izares and M. N{\'u}{\~n}ez and R. M. Hierons},
journal={IEEE Transactions on Reliability},
title={{TEA-Cloud}: A formal framework for testing cloud computing systems},
year={2021},
volume={70},
number={1},
pages={261 - 284}}

%%%%%2020


@article{lhn20,
title = "Implementation relations and testing for cyclic systems with refusals and discrete time",
journal = "Journal of Systems and Software",
volume = "170",
pages = "110738:1-110738:20",
year = "2020",
author = "R. Lefticaru and R. M. Hierons and M. N{\'{u}}{\~{n}}ez"}

@INPROCEEDINGS{cmn20,
  title={A trading framework based on fuzzy Moore machines},
  author={I. Calvo and M. G. Merayo and M. N{\'u}{\~n}ez},
 booktitle = {12th Asian Conference on Intelligent Information and Database Systems, ACIIDS'20, LNAI 12033},
  pages={123-134},
  year={2020},
  publisher={Springer}
}

@inproceedings{in20,
    author = "A. Ibias and M. {N}{\'u}{\~n}ez",
    title = "Estimating Fault Masking using {S}queeziness based on {R}{\'e}nyi's Entropy",
    booktitle = "35th ACM Symposium on Applied Computing, SAC'20",
    pages = "1936--1943",
    year = "2020",
    publisher="ACM Press"}

@inproceedings{in20b,
  author    = {A. Ibias and
               M. N{\'{u}}{\~{n}}ez},
  title     = {Using a swarm to detect hard-to-kill mutants},
  booktitle = {2020 {IEEE} Int. Conf. on Systems, Man and Cybernetics,
               SMC'20},
  pages     = {2190-2195},
  year      = {2020},
publisher = {IEEE Computer Society}}


@inproceedings{bmn20,
  author    = {M. Benito-Parejo and M. G. Merayo and M. N{\'{u}}{\~{n}}ez},
  title     = {An evolutionary technique for supporting the consensus process of group decision making},
  booktitle = {2020 {IEEE} Int. Conf. on Systems, Man and Cybernetics,
               SMC'20},
  pages     = {2201-2206},
  year      = {2020},
publisher = {IEEE Computer Society}}


%%%%%2019

@article{cmn19,
  title={A methodology to analyze heart data using fuzzy automata},
  author={I. Calvo and M. G. Merayo and M. N{\'u}{\~n}ez},
   journal={Journal of Intelligent \& Fuzzy Systems},
  volume={37},
  number={6},
  pages={7389-7399},
  year={2019}

@article{ihn19,
  author = "A. Ibias and R. M. Hierons and M. {N}{\'u}{\~n}ez",
  title     = {Using Squeeziness to test component-based systems defined as Finite State Machines},
  journal   = {Information \& Software Technology},
  volume    = {112},
  pages     = {132-147},
  year      = {2019}}

@inproceedings{gin19,
  author    = {D. Gri{\~{n}}{\'{a}}n and
               A. Ibias and
               M. N{\'{u}}{\~{n}}ez},
  title     = {Grammar-based Tree Swarm Optimization},
  booktitle = {2019 {IEEE} Int. Conf. on Systems, Man and Cybernetics,
               {SMC}'19},
  pages     = {76--81},
  year      = {2019},
  publisher = {IEEE Press}
}


@inproceedings{lhn19,
  author    = {R. Lefticaru and R. M. Hierons and M. N{\'u}{\~n}ez},
  title     = {An implementation relation for cyclic systems that uses refusals and discrete time},
  booktitle = {17th Int. Conf. on Software Engineering and Formal Methods, SEFM'19, LNCS 11724},
  pages     = {393-409},
  year      = {2019},
  publisher = {Springer}
}

@inproceedings{ign19,
  title={{GPTSG: a Genetic Programming Test Suite Generator using Information Theory measures}},
  author={A. Ibias and D. Gri{\~n}{\'a}n and M. N{\'u}{\~n}ez},
  booktitle={15th Int. Work-Conf. on Artificial Neural Networks, IWANN'19, LNCS 11506},
  pages={716-728},
  publisher={Springer},
  year={2019}
}

@inproceedings{bmmn19,
  title={Using Genetic Algorithms to Generate Test Suites for {FSMs}},
  author={M. Benito-Parejo and I. Medina-Bulo and M. G. Merayo and M. N{\'u}{\~n}ez},
  booktitle={15th Int. Work-Conf. on Artificial Neural Networks, IWANN'19, LNCS 11506},
  pages={741-752},
  publisher={Springer},
  year={2019}
}


@inproceedings{cmnp19,
  title={Conformance Relations for Fuzzy Automata},
  author={I. Calvo and M. G. Merayo and M. N{\'u}{\~n}ez and F. Palomo-Lozano},
  booktitle={15th Int. Work-Conf. on Artificial Neural Networks, IWANN'19, LNCS 11506},
  pages={753-765},
  publisher={Springer},
  year={2019}
}


%%%%%2018
@inproceedings{pemn18,
author="F. Palomo-Lozano and A. Estero-Botaro and I. Medina-Bulo and M. Núñez",
title="Test suite minimization for mutation testing of {WS-BPEL} compositions",
booktitle="20th Annual Conf. on Genetic and Evolutionary Computation, GECCO'18",
pages="1427-1434",
year="2018",
publisher="ACM Press"
}


@INPROCEEDINGS{cmn18a,
  title={An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data},
  author={I. Calvo and M. G. Merayo and M. N{\'u}{\~n}ez},
 booktitle = {10th Asian Conference on Intelligent Information and Database Systems, ACIIDS'18, LNAI 10751},
  pages={694-704},
  year={2018},
  publisher={Springer}
}

@article{hmn18a,
  author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title     = {Bounded reordering in the distributed test architecture},
  journal   = {IEEE Transactions on Reliability (in press)},
  volume    = {67},
  number    = {2},
  pages     = {522-537},
  year      = {2018}}

@article{ccen18,
AUTHOR = "A. Camacho and P. C. Ca{\~n}izares and S. Est{\'e}vez and M. {N}{\'u}{\~n}ez",
TITLE = "A tool-supported framework for work planning on construction
sites based on constraint programming",
journal="Automation in Construction",
YEAR = "2018",
volume="86",
pages="190-198"}


@article{mhn18,
  author = "M. G. Merayo and R. M. Hierons and M. {N}{\'u}{\~n}ez",
  title     = {Passive Testing with Asynchronous Communications and Timestamps},
  journal   = {Distributed Computing)},
  volume    = {31},
  number    = {5},
  pages     = {327-342},
  year      = {2018}}


%%%%%2017

@article{hn17,
  author = "R. M. Hierons and M. {N}{\'u}{\~n}ez",
  title     = {Implementation relations and probabilistic schedulers in the distributed test architecture},
  journal   = {Journal of Systems and Software},
  volume    = {132},
  pages     = {319-335},
  year      = {2017}
}

@article{hmn17,
  author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title     = {An extended framework for passive asynchronous testing},
  journal   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {86},
  number    = {1},
  pages     = {408–424},
  year      = {2017},
}

@article{cmn17,
  title={Collective intelligence and databases in {eHealth}: A survey},
  author={A. Camacho and M. G. Merayo and M. N{\'u}{\~n}ez},
  journal={Journal of Intelligent \& Fuzzy Systems},
  volume={32},
  number={2},
  pages={1485-1496},
  year={2017}
}

@article{nnt17,
  title={Collective intelligent information and database systems},
  author={N.-T. Nguyen and M. N{\'u}{\~n}ez and B. Trawi{\'n}ski},
  journal={Journal of Intelligent \& Fuzzy Systems},
  volume={32},
  number={2},
  pages={1157-1160},
  year={2017}
}

@inproceedings{dmn17,
  publisher={IEEE Computer Society},
  title={Using Evolutionary Mutation Testing to improve the quality of test suites},
  author={P. Delgado-P{\'e}rez and I. Medina-Bulo and M. N{\'u}{\~n}ez},
  booktitle={19th IEEE Congress on Evolutionary Computation, CEC'17},
  pages={596--603},
  year={2017}
}


@inproceedings{cmn17b,
  publisher={IEEE Computer Society},
  title={Using fuzzy automata to diagnose and predict heart problems},
  author={A. Camacho and M. G. Merayo and M. N{\'u}{\~n}ez},
  booktitle={19th IEEE Congress on Evolutionary Computation, CEC'17},
  pages={846--853},
  year={2017}
}

@inproceedings{bcln17,
  title={A formal framework to specify and test systems with fuzzy-time information},
  author={J. Boubeta-Puig and A. Camacho and L. Llana and M. N{\'u}{\~n}ez},
  booktitle={14th Int. Work-Conf. on Artificial Neural Networks, IWANN'17, LNCS 10306},
  pages={403--414},
  publisher={Springer},
  year={2017}
}


%%%%%2016
@inproceedings{hmn16,
  author    = {R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez},
  title     = {Controllability Through Nondeterminism in Distributed Testing},
  booktitle = {28th IFIP WG 6.1 Int. Conf. on Testing Software and Systems, ICTSS'16, LNCS 9976},
  year      = {2016},
  pages     = {89-105},
  publisher = {Springer}}

@INCOLLECTION{cmn16c,
  title={A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth
  Systems},
  author={A. Camacho and M. G. Merayo and M. N{\'u}{\~n}ez},
 booktitle = {Recent Developments in Intelligent Information and Database Systems},
  editor= "D. Kr{\'o}l and L. Madeyski and N. T. Nguyen",
  series = {Studies in Computational Intelligence},
  volume = {642},
  pages={221-232},
  year={2016},
  publisher={Springer}
}

%%%%%2015


@article{chn15,
title = {A survey on formal active and passive testing with applications to the cloud},
author = {A. R. Cavalli and T. Higashino and M. {N\'u\~{n}ez}},
journal = {Annales of Telecommunications},
year = "2015",
volume    = "70",
number    = "3-4",
pages="85-93"
}


@inproceedings{cnnp15,
author = {P. C. Ca{\~n}izares and A. N\'u{\~n}ez and M. N\'u{\~n}ez and J. J. Pardo},
title = {A Methodology for Designing Energy-aware Systems for Computational Science},
booktitle = {15th Int. Conf. on Computational Science, ICCS'15, Procedia Computer Science 51},
publisher="Elsevier",
pages = {2804 - 2808},
year = {2015},
}

%%%%%2014

@article{hmn14,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Timed Implementation Relations for the Distributed Test Architecture",
journal="Distributed Computing",
year = "2014",
volume    = "27",
number    = "3",
pages="181-201"
}

@inproceedings{ncn14,
author="A. N\'u{\~n}ez and P. C. Ca{\~n}izares and M. N\'u{\~n}ez",
title="A Methodology for Aiding Users to Design and Model Cloud Computing Architectures",
booktitle="10th Int. Conf. on Signal-Image Technology \& Internet-Based Systems, SITIS'14",
pages="215-222",
year="2014",
publisher="IEEE Computer Society"
}


%%%%%2013

@article{nmhn13,
author = "A. {N}{\'u}{\~n}ez and M. G. Merayo and R. M. Hierons and M. {N}{\'u}{\~n}ez",
title = "Using genetic algorithms to generate test sequences for complex timed systems",
journal="Soft Computing",
 volume    = "17",
 number    = "2",
 pages="301-315",
year = "2013"}


@inproceedings{hmn13b,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Passive Testing with Asynchronous Communications",
year = "2013",
booktitle="IFIP 33rd Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE'13, LNCS 7892",
pages="99-113",
publisher="Springer"
}


%%%%%2012

@article{hmn12,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Implementation relations and test generation for systems with distributed interfaces",
journal="Distributed Computing",
pages = "35-62",
volume = "25",
number = "1",
year = "2012"}

@article{hn12,
author = "R. M. Hierons and M. {N}{\'u}{\~n}ez",
title = "Using schedulers to test probabilistic distributed systems",
journal="Formal Aspects of Computing",
volume    = "24",
number    = "4-6",
pages="679-699",
year = "2012"}

@article{amn12,
  author = "C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "Formal Passive Testing of Timed Systems: Theory and Tools",
  journal="Software Testing, Verification and Reliability",
  volume = "22",
  number = "6",
  pages = "365-405",
  year = "2012"}

@article{mnr12,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "A formal framework to test soft and hard deadlines in
  timed systems",
  journal="Software Testing, Verification and Reliability",
 pages = "583--608",
 volume = "22",
 number = "8",
  year = "2012"}

@inproceedings{hmn12b,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Using Time to Add Order to Distributed Testing",
year = "2012",
booktitle="18th Symposium on Formal Methods, FM'12, LNCS 7436",
pages="232-246",
publisher="Springer"
}

@inproceedings{ann12,
author="C. Andr{\'e}s and A. N\'u{\~n}ez and M. N\'u{\~n}ez",
title="Preventing Attacks by Classifying User Models in a Collaborative Scenario",
booktitle="4th Int. Conf. on Computational Collective Intelligence: Technologies and Applications, LNAI 7653",
pages="505-514",
year="2012",
publisher="Springer"
}


%%%%%2011

@article{mnh11,
  author="M. G. Merayo and M. {N}{\'u}{\~n}ez and R. M. Hierons",
  title = "Testing timed systems modeled by Stream {X}-Machines",
  journal = "Software and Systems Modeling",
  pages="201-217",
  volume = "10",
  number="2",
  year = "2011"}


@article{hmn11,
  author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "Scenarios-based testing of systems with distributed ports",
  journal="Software - Practice and Experience",
  year = "2011",
  pages="999-1026",
  volume = "41",
  number="10"}

@article{mn11,
AUTHOR = "C. Molinero and M. {N}{\'u}{\~n}ez",
TITLE = "Planning of work schedules through the use of a hierarchical multi-agent system",
journal="Automation in Construction",
YEAR = "2011",
volume="20",
number="8",
pages="1227-1241"}

@inproceedings{aln11,
AUTHOR = "C. Andr{\'e}s and L. Llana and M. {N}{\'u}{\~n}ez",
TITLE = "Self-adaptive fuzzy-timed systems",
booktitle="13th IEEE Congress on Evolutionary Computation, CEC'11",
publisher="IEEE Computer Society",
pages="115-122",
YEAR = "2011"}

@inproceedings{mnh11a,
AUTHOR = "C. Molinero and M. {N}{\'u}{\~n}ez and R. M. Hierons",
TITLE = "Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic {FSM}",
booktitle="IEEE Symposium on Artificial Life, ALIFE'11",
publisher="IEEE Computer Society",
pages="22-29",
YEAR = "2011"}



@inproceedings{dmhn11,
AUTHOR = "K. Derderian and M. G. Merayo and R. M. Hierons and M. {N}{\'u}{\~n}ez",
TITLE = "A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems",
booktitle="11th Int. Conf. on Artificial Neural Networks, IWANN'11, LNCS 6692",
pages="396-403",
publisher="Springer",
YEAR = "2011"}

@inproceedings{mnh11b,
AUTHOR = "C. Molinero and M. {N}{\'u}{\~n}ez and R. M. Hierons",
TITLE = "Experimental Comparison of Different Techniques to Generate Adaptive Sequences",
booktitle="11th Int. Conf. on Artificial Neural Networks, IWANN'11, LNCS 6692",
pages="404-411",
publisher="Springer",
YEAR = "2011"}

@inproceedings{nun11,
author = "M. {N}{\'u}{\~n}ez",
title = "Formal Testing of Timed and Probabilistic Systems",
booktitle = "23rd Int. Conf. on Testing Software and Systems, ICTSS'11, LNCS 7019",
year =  "2011",
pages = "9-14",
publisher = "Springer"
}



%%%%%2010




@inproceedings{acn10,
author="C. Andr{\'e}s and M.E. Cambronero and M. {N}{\'u}{\~n}ez",
TITLE = "Formal Passive Testing of Service-Oriented Systems",
booktitle = "7th IEEE Int. Conf. on Services Computing, SCC'10",
publisher = "IEEE Computer Society",
pages     = "610-613",
YEAR = "2010"}

@inproceedings{amz10,
author="C. Andr{\'e}s and M. {N}{\'u}{\~n}ez and Y. Zhang",
title="From Data Mining to User Models in Evolutionary Databases",
booktitle="2nd Int. Conf. on Intelligent Information and Database Systems, ACIIDS'10, LNCS 5990",
pages="54--63",
year="2010",
publisher="Springer"
}

@inproceedings{hn10,
AUTHOR = "R. M. Hierons and M. {N}{\'u}{\~n}ez",
TITLE = "Testing probabilistic distributed systems",
booktitle = {IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE'10, LNCS 6117},
publisher = {Springer},
pages     = {63-77},
YEAR = "2010"}

@inproceedings{pnr10,
AUTHOR = "J.J. Pardo and M. {N}{\'u}{\~n}ez and M.C. Ruiz",
TITLE = "Specification and Testing of E-Commerce Agents Described by Using {UIOLTSs}",
booktitle = {IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems FMOODS/FORTE'10, LNCS 6117},
publisher = {Springer},
pages     = {78-86},
YEAR = "2010"}

@inproceedings{hmn10,
author="R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
TITLE = "Scenarios-based Testing of Systems with Distributed Ports",
booktitle="10th Int. Conf. on Quality Software, QSIC'10",
pages="52-61",
publisher="IEEE Computer Society",
YEAR = "2010"}


@inproceedings{amn10,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties",
  booktitle ="22nd Int. Conf. on Software Engineering \& Knowledge Engineering, SEKE'10",
  publisher = "Knowledge Systems Institute",
  pages= "405-410",
  year= "2010"
}

@inproceedings{acn10b,
AUTHOR = "C. Andr{\'e}s and M.E. Cambronero and {M.} {N}{\'u}{\~n}ez",
TITLE = "Passive Testing of web services",
booktitle ="7th Int. Workshop on Web Services and Formal Methods, WS-FM'10, LNCS 6551",
publisher="Springer",
pages= "56--70",
year= "2011"}


@incollection{hmn10b,
title="Mutation Testing",
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
year="2010",
pages= "594-602",
booktitle="Encyclopedia of Software Engineering",
editor="Phillip A. Laplante",
publisher="Taylor \& Francis"
}

%%%%%2009

@article{ln09,
author="L. Llana and M. {N}{\'u}{\~n}ez",
title="Testing Semantics for {RTPA}",
journal="Fundamenta Informaticae",
volume="90",
number="3",
pages="305--335",
year="2009"
}


@article{fmn09,
author = "L. Frantzen and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "A brief history of {A-MOST}",
  journal="Journal of Logic and Algebraic Programming",
  volume ="78",
  number ="6",
  pages = "417-424",
  year = "2009"}

@article{hmn09,
  author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "Testing from a stochastic timed system with a fault model",
  journal="Journal of Logic and Algebraic Programming",
  volume ="78",
  number ="2",
  pages = "98-115",
  year = "2009"}


@inproceedings{amcmn09,
author="C. Andr{\'e}s and S. Maag and A. Cavalli and M. G. Merayo and M. {N}{\'u}{\~n}ez",
TITLE = "Analysis of the {OLSR} Protocol by using formal passive testing",
booktitle="16th Asia-Pacific Software Engineering Conference, APSEC'09",
pages="152-159",
publisher="IEEE Computer Society",
YEAR = "2009"}


@inproceedings{amn09a,
AUTHOR = "C. Andr{\'e}s and C. Molinero and M. {N}{\'u}{\~n}ez",
TITLE = "A Hierarchical Methodology to Specify and simulate complex computational Systems",
booktitle="9th Int. Conf. on Computational Science, ICCS'09, LNCS 5544",
pages="347-356",
publisher="Springer",
YEAR = "2009"}

@inproceedings{mhnc09,
author="M. G. Merayo and I. Hwang and M. {N}{\'u}{\~n}ez and A. Cavalli",
TITLE = "A statistical approach to test stochastic and probabilistic systems",
booktitle="11th Int. Conf. on Formal Engineering Methods, ICFEM'09, LNCS 5885",
pages="186-205",
publisher="Springer",
YEAR = "2009"}

@inproceedings{amn09b,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Formal correctness of a passive testing approach for timed systems",
  booktitle ="5th Workshop on Advances in Model Based Testing, A-MOST'09",
  publisher = {IEEE Computer Society},
  pages= "67-76",
  year      = {2009}
}


@inproceedings{amn09,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Passive testing of Stochastic Timed Systems",
  booktitle = "2nd Int. Conf. on Software Testing, Verification, and Validation, ICST'09",
  year      = {2009},
  pages     = "71-80",
  publisher="IEEE Computer Society"
}

@inproceedings{dmhn09,
AUTHOR = "K. Derderian and M. G. Merayo and R. M. Hierons and M. {N}{\'u}{\~n}ez",
TITLE = "Aiding test case generation in temporally constrained state based systems using genetic algorithms",
booktitle="10th Int. Conf. on Artificial Neural Networks, IWANN'09, LNCS 5517",
pages="327-334",
publisher="Springer",
YEAR = "2009"}

@inproceedings{mna09,
AUTHOR = "C. Molinero and M. {N}{\'u}{\~n}ez and C. Andr{\'e}s",
TITLE = "Combining Genetic Algorithms and Mutation Testing to generate test sequences",
booktitle="10th Int. Conf. on Artificial Neural Networks, IWANN'09, LNCS 5517",
pages="343-350",
publisher="Springer",
YEAR = "2009"}


@inproceedings{amn09d,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Supporting the extraction of timed properties for passive testing by using probabilistic user models",
  booktitle ="9th Int. Conf. on Quality Software, QSIC'09",
  publisher = {IEEE Computer Society},
  pages= "145-154",
  year      = {2009}
}

@inproceedings{hn09,
  author="R. M. Hierons and M. {N}{\'u}{\~n}ez",
  title="Simulation relations for systems with distributed interfaces",
  booktitle="7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'09",
  publisher = {IEEE Computer Society},
  pages= "41-50",
  year      = {2009}
}

@inproceedings{amn09e,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Applying formal passive testing to study temporal properties of the Stream
         Control Transmission Protocol",
  booktitle="7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'09",
  publisher = {IEEE Computer Society},
  pages= "73-82",
  year      = {2009}
}


@inproceedings{amn09c,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Using a mining frequency patterns model to automate passive testing of real-time systems",
  booktitle ="21st Int. Conf. on Software Engineering \& Knowledge Engineering, SEKE'09",
  publisher = {Knowledge Systems Institute},
  pages= "426-431",
  year      = {2009}
}

@INCOLLECTION{pnr09,
  AUTHOR =       {J.J. Pardo and M. {N}{\'u}{\~n}ez and M.C. Ruiz},
  TITLE =        {A novel formalism to represent collective intelligence in multi-agent systems},
  BOOKTITLE =    {New Challenges in Computational Collective Intelligence},
  PUBLISHER =    {Springer},
  YEAR =         {2009},
  volume =       {244},
  series =       {Studies in Computational Intelligence},
  pages =        {193-204}}




%%%%%2008




@article{mnr08,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Formal Testing from Timed Finite State Machines",
  journal = "Computer Networks",
  volume ="52",
  number ="2",
  pages = "432-460",
  year = "2008"}

@article{rmn08,
  author = "I. Rodr{\'\i}guez and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "{\HOTL}: Hypotheses and Observations Testing Logic",
  journal = "Journal of Logic and Algebraic Programming",
  pages="57-93",
  volume = "74",
  number="2",
  year = "2008"}


@article{mnr08a,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Extending {EFSMs} to specify and test timed systems with action durations and timeouts",
  journal = "IEEE Transactions on Computers",
  volume ="57",
  number ="6",
  pages = "835-848",
  year = "2008"}

@inproceedings{hmn08b,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Controllable test cases for the distributed test architecture",
booktitle = {6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, LNCS 5311},
publisher = {Springer},
pages= "201-215",
year = "2008"}

@inproceedings{amn08b,
  author="C. Andr{\'e}s and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title="Passive testing of timed systems",
  booktitle = "6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, LNCS 5311",
  year      = {2008},
  pages     = "418-427",
  publisher = {Springer}}

@inproceedings{nl08,
author="M. {N}{\'u}{\~n}ez and L. Llana",
title="A Hierarchy of Equivalences for Probabilistic Processes",
booktitle="28th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE'08, LNCS 5048",
pages="267--282",
year="2008",
publisher="Springer"
}

@inproceedings{mnr08b,
author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
title = "{\THOTL}: A timed extension of {\HOTL}",
booktitle = {Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08,
             and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08, LNCS 5047},
publisher = {Springer},
pages= "86-102",
year = "2008"}

@inproceedings{hmn08,
author = "R. M. Hierons and M. G. Merayo and M. {N}{\'u}{\~n}ez",
title = "Implementation relations for the distributed test architecture",
booktitle = {Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08,
             and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08, LNCS 5047},
publisher = {Springer},
pages= "200-215",
year = "2008"}

@inproceedings{mhn08,
author = "M. G. Merayo and R. M. Hierons and M. {N}{\'u}{\~n}ez",
title = "Extending stream {X}-machines to specify and test systems with timeouts",
booktitle="6th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'08",
YEAR = "2008",
publisher="IEEE Computer Society",
pages= "201-210"}


@inproceedings{amn08c,
AUTHOR = "C. Andr{\'e}s and C. Molinero and M. {N}{\'u}{\~n}ez",
TITLE = "A Formal Methodology to Specify Hierarchical Agent-Based Systems",
booktitle="4th Int. Conf. on Signal-Image Technology \& Internet-based Systems, SITIS'08",
YEAR = "2008",
publisher="IEEE Computer Society",
pages="169-176"}


%%%%%2007

@article{bcnr07,
author="M. Bravetti and A. Casalboni and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
title="From theoretical e-barter Models to two alternative Implementations based on Web Services",
journal="Journal of Universal Computer Science",
volume="13",
number="13",
pages="2035--2075",
year="2007"
}



@inproceedings{rn07,
author="I. Rodr{\'\i}guez and M. {N}{\'u}{\~n}ez",
title="A formal methodology to test complex heterogeneous systems",
booktitle="5th Int. Symp. on Automated Technology for verification and Analysis, ATVA'07, LNCS 4762",
pages="394--409",
year="2007",
publisher="Springer"
}

@inproceedings{mnr07f,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "A Brief Introduction to {\THOTL}",
  booktitle = "5th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'07, LNCS 4762",
  year = "2007",
  publisher = "Springer",
  pages = "501--510"}


@inproceedings{lnr07,
author="N. L{\'o}pez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
title="Extending {PAMR} with stochastic Time",
booktitle="4th European Performance Engineering Workshop, EPEW'07, LNCS 4748",
pages="63--79",
year="2007",
publisher="Springer"
}


@inproceedings{mnr07d,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Testing Finite State Machines Presenting Stochastic Time and Timeouts",
  booktitle = "4th European Performance Engineering Workshop, EPEW'07, LNCS 4748",
  year = "2007",
  publisher = "Springer",
  pages = "97--111"}


@inproceedings{mnr07e,
AUTHOR = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
TITLE = "Formal Testing of Systems Presenting Soft and Hard Deadlines",
booktitle="2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN'07, LNCS 4767",
YEAR = "2007",
publisher="Springer",
pages="160--174"}


@inproceedings{mnr07a,
AUTHOR = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
TITLE = "Formal Specification of multi-agent systems by using {EUSMs}",
booktitle="2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN'07, LNCS 4767",
YEAR = "2007",
publisher="Springer",
pages="318-333"}

@inproceedings{mn07,
AUTHOR = "M. G. Merayo and M. {N}{\'u}{\~n}ez",
TITLE = "Testing conformance on stochastic stream {X}-machines",
booktitle="5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'07",
YEAR = "2007",
publisher="IEEE Computer Society",
pages="227--236"}

@inproceedings{mnr07b,
AUTHOR = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
TITLE = "Generation of optimal finite test suites for timed systems",
booktitle="1st IEEE \& IFIP Int. Symposium on Theoretical Aspects of Software Engineering, TASE'07",
pages="149--158",
publisher="IEEE Computer Society",
YEAR = "2007"}


%%%%%2006


@article{lnr06,
author="N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
title="Specification, testing and implementation relations for symbolic-probabilistic systems",
journal="Theoretical Computer Science",
pages="228-248",
volume="353",
number="1--3",
year="2006"}

@inproceedings{lnr06b,
  author = "N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Assessing the Expressivity of Formal Specification Languages",
  booktitle = "11th Int. Conf. on Algebraic Methodology and Software
    Technology, AMAST'06, LNCS 4019",
  year = "2006",
  pages = "220--234",
  publisher = "Springer"}

@inproceedings{mnr06a,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Implementation Relations for Stochastic Finite State Machines",
  booktitle = "3rd European Performance Engineering Workshop, EPEW'06, LNCS 3964",
  year = "2006",
  publisher = "Springer",
  pages = "123--137"}

@inproceedings{mnr06b,
  author = "M. G. Merayo and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Extending {EFSMs} to specify and test timed systems with action durations and timeouts",
  booktitle = "26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems,
  FORTE'06, LNCS 4229",
  pages="372-387",
  year = "2006",
  publisher = "Springer"}

@inproceedings{lnr06c,
  author = "L.F. Llana and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Derivation of a suitable finite test suite for customized Probabilistic Systems",
  booktitle = "26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems,
               FORTE'06, LNCS 4229",
  year = "2006",
  publisher = "Springer",
  pages = "467--483"}

@inproceedings{rmn06a,
author="I. Rodr{\'\i}guez and M. G. Merayo and M. {N}{\'u}{\~n}ez",
  title = "A Logic for Assessing Sets of Heterogeneous Testing Hypotheses",
  booktitle = "18th Int. Conf. on Testing Communicating Systems, TestCom'06, LNCS 3964",
  year = "2006",
  publisher = "Springer",
  pages = "39--54"}


@inproceedings{lnr06a,
  author = "L.F. Llana and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Customized Testing for Probabilistic Systems",
  booktitle = "18th Int. Conf. on Testing Communicating Systems, TestCom'06, LNCS 3964",
  year = "2006",
  publisher = "Springer",
  pages = "87--102"}

@inproceedings{lnrrr06,
author="N. L{\'o}pez and M. {N}{\'u}{\~n}ez and P. Rabanal and I. Rodr{\'\i}guez and F. Rubio",
TITLE = "Market-Based Adaptive Discussion Forums",
booktitle="2nd Int. Conf. on Signal-Image Technology \& Internet-based Systems, SITIS'06, LNCS 4897",
YEAR = "2006",
publisher="Springer",
pages="149-160"}

%%%%%2005

@article{bcnz05,
  author = "E. Bayse and A. Cavalli and M. {N}{\'u}{\~n}ez and F. Za{\"\i}di",
  title = "A Passive Testing Approach based on Invariants: Application to the {WAP}",
  journal = "Computer Networks",
  year = "2005",
  volume = "48",
  number = "2",
  pages = "247--266"
  }

@article{nrr05b,
AUTHOR = "M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
TITLE = "Formal Specification of multi-agent e-barter systems",
journal="Science of Computer Programming",
YEAR = "2005",
volume="57",
number="2",
pages="187--216"}

@article{nrr05a,
AUTHOR = "M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
TITLE = "Specification and Testing of Autonomous Agents in e-commerce systems",
journal="Software Testing, Verification and Reliability",
YEAR = "2005",
volume="15",
number="4",
pages="211-233"}

@inproceedings{pnl05,
  author ="F.L. Pelayo and M. {N}{\'u}{\~n}ez  and N. L{\'o}pez",
  title = "Specifying the memorization process with {STOPA}",
  year = "2005",
  pages="238--247",
  publisher ="IEEE Computer Society",
  booktitle ="4th IEEE Int. Conf. on Cognitive Informatics, ICCI'05"
}

@inproceedings{nr05b,
  author = "M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Conformance Testing Relations for Timed Systems",
  booktitle = "5th Int. Workshop on Formal Approaches to Software Testing, FATES'05, LNCS 3997",
  year = "2006",
  pages="103--117",
  publisher="Springer"}

@inproceedings{ln05,
author="N. L\'opez and M. {N}{\'u}{\~n}ez",
title="Weak Stochastic Bisimulation for Non-markovian Processes",
booktitle="2nd Int. Conf. on Theoretical Aspects of Computing, ICTAC'05, LNCS 3722",
pages="454-468",
publisher="Springer",
year="2005"}

@inproceedings{nr05a,
  author = "M. {N}{\'u}{\~n}ez  and I. Rodr{\'\i}guez",
  title = "Specification-based testing of real-time embedded systems",
  booktitle = "IFIP TC10 Working Conf.: International Embedded Systems Symposium",
  year = "2005",
  publisher="Springer",
  pages="115--124"}


@inproceedings{npr05,
  author = "M. {N}{\'u}{\~n}ez and F.L. Pelayo and I. Rodr{\'\i}guez",
  title = "A formal methodology to test complex embedded
systems: Application to Interactive Driving System",
  booktitle = "IFIP TC10 Working Conf.: International Embedded Systems Symposium, IESS'05",
  year = "2005",
  publisher="Springer",
  pages="125--136"}

@inproceedings{bcnr05,
  author = "M. Bravetti and A. Casalboni and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "From theoretical e-barter models to an implementation based on web services",
  booktitle = "1st IPM Int. Workshop on Foundations of Software Engineering, FSEN'05",
  pages="241--264",
  year = "2006",
  publisher="Electronic Notes in Theoretical Computer Science vol. 159, Elsevier"}



%%%%%2004

@article{lnr04c,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and F. Rubio",
  title = "Predicting performance in the presence of stochastic information",
  year = "2004",
  journal="Computer Systems: Science \& Engineering",
  pages="347--353",
  volume="19",
  number="6"}

@article{lnr04,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and F. Rubio",
  title = "An Integrated Framework for the Analysis of Asynchronous Communicating
  Stochastic Processes",
  year = "2004",
  journal="Formal Aspects of Computing",
  pages="238--262",
  volume="16",
  number="3"}

@article{rnr04b,
author="I. Rodr{\'\i}guez and M. {N}{\'u}{\~n}ez and F. Rubio",
title="A formal framework for analyzing reusability complexity in component-based systems",
journal="Information \& Software Technology",
year="2004",
pages="791-804",
volume="46",
number="12"}


@article{lnrr04,
author="N. L{\'o}pez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
title="Improving Privacy in {V}ickrey Auctions",
journal="ACM SIGEcom Exchanges",
year="2004",
pages="1-12",
volume="5",
number="1"}


@inproceedings{lnp04,
  author ="N. L{\'o}pez and M. {N}{\'u}{\~n}ez and F.L. Pelayo",
  title = "{STOPA: A STOchastic Process Algebra for the formal
representation of cognitive systems}",
  year = "2004",
  pages="64--73",
  publisher ="IEEE Computer Society",
  booktitle ="3rd IEEE Int. Conf. on Cognitive Informatics, ICCI'04"
}

@inproceedings{nrr04a,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "{Applying Occam's razor to FSMs}",
  year = "2004",
  pages="138--147",
  publisher ="IEEE Computer Society",
  booktitle ="3rd IEEE Int. Conf. on Cognitive Informatics, ICCI'04"
}


@inproceedings{nrr04b,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments",
  year = "2004",
  pages="361-370",
  publisher ="Springer",
  booktitle ="11th Int. Conf. on Artificial Intelligence: Methodologies, Systems,
              and Applications, AIMSA'04, LNAI 3192"
}


@inproceedings{lnr04b,
  author = "N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Testing of Symbolic-Probabilistic Systems",
  booktitle = "4th Int. Workshop on Formal Approaches to Testing of Software, FATES'04, LNCS 3395",
  year = "2005",
  publisher="Springer",
  pages="49--63"}


@inproceedings{rnr04,
  author = "I. Rodr{\'\i}guez and M. {N}{\'u}{\~n}ez and F. Rubio",
  title = "Specification of Autonomous Agents in e-commerce systems",
  booktitle = "Workshop on Theory Building and Formal Methods
               in Electronic/Mobile Commerce, TheFormEMC'04, LNCS  3236",
  year = "2004",
  publisher="Springer",
  pages="30--43"}

@inproceedings{lnr04a,
  author = "N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Formal Specification of Symbolic-Probabilistic Systems",
  booktitle = "European Performance Engineering Workshop, EPEW'04, LNCS 3236",
  year = "2004",
  publisher="Springer",
  pages="114-127"}

@inproceedings{nrr04,
  author = "M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "Testing of Autonomous Agents described as utility state machines",
  booktitle = "Workshop on Integration of Testing
  Methodologies, ITM'04, LNCS 3236",
  year = "2004",
  pages="322--336",
  publisher="Springer"}


@inproceedings{nrr04c,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "A Formal Framework to Reduce Communications in Communication Systems",
  year = "2004",
  pages="69-80",
  publisher ="Springer",
  booktitle ="4th Int. Workshop on Innovative Internet Community Systems, IICS'04, LNCS 3473"
}

@inproceedings{lnrr04a,
  author="N. L{\'o}pez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "Encouraging knowledge exchange in discussion forums by market-oriented mechanisms",
  booktitle = "19th ACM Symposium on Applied Computing, SAC'04",
  year = "2004",
  publisher="ACM Press",
  pages="952-956"}


@InProceedings{ln04,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez",
  title = "An overview of probabilistic process algebras and their equivalences",
  booktitle = "Validation of Stochastic Systems, LNCS 2925",
  publisher =    "Springer",
  year =         "2004",
  pages=         "89-123"
}


%%%%%2003


@article{nun03,
author="M. {N}{\'u}{\~n}ez",
title="Algebraic Theory of Probabilistic Processes",
journal="Journal of Logic and Algebraic Programming",
pages= "117--177",
volume="56",
number="1--2",
year="2003"}


@inproceedings{nrr03,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "Towards the Identification of Living Agents in Complex Computational Environments",
  year = "2003",
  pages="151--160",
  publisher ="IEEE Computer Society",
  booktitle ="2nd IEEE Int. Conf. on Cognitive Informatics"
}

@InProceedings{nr03a,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Towards Testing Stochastic timed Systems",
  booktitle = "23rd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems,
  FORTE'03, LNCS 2767",
  publisher =    "Springer",
  year =         "2003",
  pages=         "335-350"
}

@inproceedings{rn03,
  author ="I. Rodr{\'\i}guez and M. {N}{\'u}{\~n}ez",
  title = "{CEES: Complex Economic Environments Simulator}",
  year = "2003",
  pages="658--667",
  publisher ="Springer",
  booktitle = "3rd Int. Conf. on Computational Science, ICCS'03, LNCS 2658"
}

@inproceedings{cmn03,
AUTHOR = "A. Cavalli and E. {Montes de Oca} and M. N{\'u}{\~n}ez",
title="{TestNet}: Let's Test Together!",
BOOKTITLE = "15th Int. Conf. on Testing Communicating Systems, TestCom'03, LNCS 2644",
YEAR = "2003",
publisher="Springer",
PAGES= "258--264"}

@inproceedings{acn03,
AUTHOR = "J.A. Arnedo and A. Cavalli and M. N{\'u}{\~n}ez",
title="Fast Testing of Critical Properties through Passive Testing",
BOOKTITLE = "15th Int. Conf. on Testing Communicating Systems, TestCom'03, LNCS 2644",
YEAR = "2003",
publisher="Springer",
PAGES= "295--310"}

@inproceedings{lnrr03a,
  author = "N. L{\'o}pez and M. N{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "A Multi-Agent System for e-barter including Transaction
and Shipping Costs",
  booktitle = "18th ACM Symposium on Applied Computing, SAC'03",
  pages="587--594",
  year = "2003",
  publisher="ACM Press"}


%%%%%2002


@inproceedings{lnrr02d,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "Introducing the Golden Section to Computer Science",
  year = "2002",
  pages="203--212",
  publisher ="IEEE Computer Society",
  booktitle ="1st IEEE Int. Conf. on Cognitive Informatics"
}

@inproceedings{lnrr02c,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "{WHAT: Web-based Haskell Adaptive Tutor}",
  year = "2002",
  pages="71--80",
  publisher ="Springer",
  booktitle ="10th Int. Conf. on Artificial Intelligence: Methodologies, Systems,
              and Applications, AIMSA'02, LNAI 2443"
}

@InProceedings{nr02,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "Encoding {{\tt PAMR}} into (timed) {{\tt EFSMs}}",
  booktitle = "22nd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems,
  FORTE'02, LNCS 2529",
  publisher =    "Springer",
  year =         "2002",
  pages=         "1-16"
}

@inproceedings{lnr02,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and F. Rubio",
  title = "Stochastic Process Algebras meet {Eden}",
  year = "2002",
  PAGES= "29--48",
  booktitle="3rd Int. Conf. on Integrated Formal Methods, IFM'02, LNCS 2335",
  publisher="Springer"
}

@inproceedings{lnrr02a,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "A Formal Framework for e-barter based on Microeconomic
           Theory and Process Algebras",
  year = "2002",
  booktitle ="2nd Int. Workshop on Innovative Internet Computing Systems, LNCS 2346",
  pages="217--228",
  publisher ="Springer"
}

@inproceedings{lnrr02b,
  author ="N. L\'opez and M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez and F. Rubio",
  title = "Including Malicious Agents into a Collaborative Learning Environment",
  year = "2002",
  pages="51--60",
  publisher ="Springer",
  booktitle ="8th Int. Conf. on Intelligent Tutoring Systems, ITS'02, LNCS 2363"
}


%%%%%2001

@inproceedings{ln01,
author = "N. {L{\'o}pez} and M. {{N}{\'u}{\~n}ez}",
TITLE = "A testing theory for generally distributed stochastic processes",
YEAR = "2001",
booktitle="12th Int. Conf. on Concurrency Theory, CONCUR'01, LNCS 2154",
publisher="Springer",
pages="321--335"}


@InProceedings{nr01,
  author ="M. {N}{\'u}{\~n}ez and I. Rodr{\'\i}guez",
  title = "{\tt PAMR}: A Process Algebra for the Management
          of Resources in Concurrent Systems",
  booktitle = "21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE'01",
  publisher =    "Kluwer Academic Publishers",
  year =         "2001",
  pages=         "169--184"
}


%%%%%2000



@inproceedings{ln00,
  author = "N. {L{\'o}pez} and M. {{N}{\'u}{\~n}ez}",
  title = "{\tt NMSPA}: A Non-Markovian Model for
           Stochastic Processes",
  booktitle= "International Workshop on Distributed
             System Validation and Verification, DSVV'00",
  pages="33--40",
  year = "2000"
}


%%%%%1999





@inproceedings{nun99,
author="M. {N}{\'u}{\~n}ez",
title="An Axiomatization of Probabilistic Testing",
booktitle="5th AMAST Workshop on Real-Time and
Probabilistic Systems, ARTS'99, LNCS 1601",
pages="130--150",
publisher="Springer",
year="1999"}

@InProceedings{nr99,
  author ="M. N{\'u}{\~n}ez and D. Rup{\'e}rez",
  title = "Fair Testing through Probabilistic Testing",
  booktitle = "19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and
  Formal Description Techniques, FORTE/PSTV'99",
  publisher =    "Kluwer Academic Publishers",
  year =         "1999",
  pages=         "135--150"}


@InProceedings{fln99,
  author ="D. {de} {Frutos-Escrig} and N. L{\'o}pez and
           M. N{\'u}{\~n}ez",
  title = "Global Timed Bisimulation: An Introduction",
  booktitle = "19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and
  Formal Description Techniques, FORTE/PSTV'99",
  publisher =    "Kluwer Academic Publishers",
  year =         "1999",
  pages=         "401--416"}


%%%%%1998

@article{fln98,
    author = "D. de {Frutos-Escrig} and L.F. {Llana-D{\'\i}az}
          and M. {N}{\'u}{\~n}ez",
    title = "An Invitation to Friendly Testing",
    journal="Journal of Computer Science and Technology",
    volume="13",
        number="6",
        pages="531--545",
        year="1998"}


@inproceedings{gn98,
author="C. Gregorio and M. {N}{\'u}{\~n}ez",
title="Denotational Semantics for Probabilistic Refusal Testing",
booktitle="1st Int. Workshop on Probabilistic Methods in Verification, PROBMIV'98, ENTCS 22",
publisher="Elsevier",
pages="111-137",
year="1999"}



%%%%%1997


@inproceedings{glnp97,
author="C. Gregorio and L. Llana and M. {N}{\'u}{\~n}ez and P. Palao",
title="Testing Semantics for a Probabilistic-Timed Process Algebra",
booktitle="4th International AMAST Workshop on Real-Time Systems, Concurrent,
           and Distributed Software, ARTS'97, LNCS 1231",
pages="353--367",
publisher="Springer",
year="1997"}

@inproceedings{ln97,
     AUTHOR="L.F. {Llana-D{\'\i}az} and M. {{N}\'u\~nez}",
     TITLE="Testing Semantics for Unbounded Nondeterminism",
     BOOKTITLE="3rd European Conf. on Parallel Processing, Europar'97, LNCS 1300",
     pages="538--545",
     publisher="Springer",
     YEAR=1997
     }

@InProceedings{fln97,
  author =       "D. de {Frutos-Escrig} and L.F. {Llana-D{\'\i}az} and
                  M. {{N}{\'u}{\~n}ez}",
  title =        "Friendly Testing as a Conformance Relation",
 booktitle = "17th Joint Int. Conf. on Protocol Specification, Testing, and Verification and
  Formal Description Techniques, FORTE/PSTV'97",
  publisher =    "Chapman \& Hall",
  year =         1997,
  pages=         "283--298"
}



%%%%%1996

@inproceedings{gn96,
author="C. Gregorio and M. {N}{\'u}{\~n}ez",
title="Specifying and Verifying the {A}lternating {B}it {P}rotocol with
       {P}robabilistic-{T}imed {LOTOS}",
booktitle="COST 247 International Workshop on Applied Formal Methods in
System Design",
pages="38--50",
year="1996"}

@inproceedings{ppn96,
  AUTHOR = "P. Palao-Gostanza and R. Pe{\~n}a and M. N{\'u}{\~n}ez",
  TITLE = "A new look at pattern matching in abstract data types",
  booktitle = "{1st ACM SIGPLAN Int. Conf. on Functional
                Programming,  ICFP'96}",
  YEAR = "1996",
  pages="110--121",
  publisher =    "ACM Press"
}

%%%%%1995


@inproceedings{pn95,
  AUTHOR = "P. Palao and M. N{\'u}{\~n}ez",
  TITLE = "An effective algorithm for compiling pattern matching keeping
           laziness",
  booktitle= "Joint Conference on Declarative Programming. GULP-PRODE'95",
  pages="383--394",
  YEAR = "1995"}

@inproceedings{nfl95,
AUTHOR = "M. {N}\'u{\~n}ez and D. {de} Frutos and  L. Llana",
TITLE = "Acceptance Trees for Probabilistic Processes",
booktitle="6th Int. Conf. on Concurrency Theory, CONCUR'95, LNCS 962",
YEAR = "1995",
publisher="Springer",
pages="249--263"}


@inproceedings{nf95,
AUTHOR = "M. {N}\'u{\~n}ez and D. de Frutos",
TITLE = "Testing Semantics for Probabilistic {LOTOS}",
booktitle="8th IFIP WG6.1 Int. Conf. on Formal Description Techniques, FORTE'95",
YEAR = "1995",
pages="367--382",
publisher="Chapman \& Hall"}


@inproceedings{npp95,
  author = "N{\'u}{\~n}ez, M. and
            Palao, P. and
            Pe{\~n}a, R.",
  title = "A second year course on data structures based on functional
           programming",
  booktitle = {Functional Programming Languages in Education, LNCS 1022},
  pages="65--84",
  year = "1995"
}

@inproceedings{fnq95,
AUTHOR = "D. {de} Frutos and M. {N}\'u{\~n}ez and J. Quemada",
TITLE = "Characterizing Termination in {LOTOS} via Testing",
booktitle="15th WG6.1 Int. Conf. on Protocol Specification, Testing, and Verification, PSTV'95",
pages="237--250",
YEAR = "1995",
publisher="Chapman \& Hall"}