%\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$}
%%%%%2020
@ARTICLE{ncnh20,
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 (in press)},
title={{TEA-Cloud}: A formal framework for testing cloud computing systems},
year={2020},
volume={},
number={},
pages={}}
@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"}
%%%%%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"}