default search action
Manuel Núñez 0001
Person information
- affiliation: Complutense University of Madrid (UCM), Department of Information Systems and Computation, Spain
Other persons with the same name
- Manuel Núñez 0002 — Universidad de Valladolid, Spain
- Manuel Núñez 0003 — University of Connecticut, Storrs, USA
- Manuel Núñez 0004
— Polish-Japanese Academy of Information Technology, Warsaw, Poland
- Manuel Núñez 0005
- Manuel Núñez 0006 — University of Córdoba, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [e18]Ngoc-Thanh Nguyen
Advances in Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I. Communications in Computer and Information Science 2165, Springer 2024, ISBN 978-3-031-70247-1 [contents] - [e17]Ngoc-Thanh Nguyen
Advances in Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II. Communications in Computer and Information Science 2166, Springer 2024, ISBN 978-3-031-70258-7 [contents] - [e16]Ngoc Thanh Nguyen
Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14810, Springer 2024, ISBN 978-3-031-70815-2 [contents] - [e15]Ngoc Thanh Nguyen
Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14811, Springer 2024, ISBN 978-3-031-70818-3 [contents] - 2023
- [j56]Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
Machine learning algorithms to forecast air quality: a survey. Artif. Intell. Rev. 56(9): 10031-10066 (2023) - [j55]Antonio García-Domínguez
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83: 103664 (2023) - [j54]Manuel Méndez, Mercedes G. Merayo
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Eng. Appl. Artif. Intell. 121: 106041 (2023) - [j53]Alfredo Ibias
Squeeziness for non-deterministic systems. Inf. Softw. Technol. 158: 107173 (2023) - [j52]Manuel Méndez, Miguel Benito-Parejo, Alfredo Ibias
Metamorphic testing of chess engines. Inf. Softw. Technol. 162: 107263 (2023) - [j51]Manuel Núñez, Robert M. Hierons
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165: 104426 (2023) - [j50]Jesús Manuel Almendros-Jiménez
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49(2): 549-563 (2023) - [c124]Manuel Méndez, Carlos Montero, Manuel Núñez:
Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks. ACIIDS (Companion) 2023: 352-363 - [c123]Robert M. Hierons
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - [e14]Ngoc Thanh Nguyen
Advances in Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings. Communications in Computer and Information Science 1864, Springer 2023, ISBN 978-3-031-41773-3 [contents] - [e13]Ngoc Thanh Nguyen
Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14162, Springer 2023, ISBN 978-3-031-41455-8 [contents] - 2022
- [j49]Pablo C. Cañizares
SINPA: SupportINg the automation of construction PlAnning. Expert Syst. Appl. 190: 116149 (2022) - [c122]Manuel Méndez, Carlos Montero, Manuel Núñez:
Using Deep Transformer Based Models to Predict Ozone Levels. ACIIDS (1) 2022: 169-182 - [c121]Manuel Méndez, Alfredo Ibias, Manuel Núñez:
Using Deep Learning to Detect Anomalies in Traffic Flow. ACIIDS (1) 2022: 299-312 - 2021
- [j48]Alfredo Ibias
SqSelect: Automatic assessment of Failed Error Propagation in state-based systems. Expert Syst. Appl. 174: 114748 (2021) - [j47]Alfredo Ibias
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132: 106498 (2021) - [j46]Jesús Manuel Almendros-Jiménez
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138: 106631 (2021) - [j45]Alberto Núñez
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab. 70(1): 261-284 (2021) - [c120]Alfredo Ibias
Using Ant Colony Optimisation to Select Features Having Associated Costs. ICTSS 2021: 106-122 - 2020
- [j44]Raluca Lefticaru
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170: 110738 (2020) - [c119]Iván Calvo, Mercedes G. Merayo
A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) 2020: 123-134 - [c118]Alfredo Ibias
Estimating fault masking using squeeziness based on Rényi's entropy. SAC 2020: 1936-1943 - [c117]Alfredo Ibias
Using a swarm to detect hard-to-kill mutants. SMC 2020: 2190-2195 - [c116]Miguel Benito-Parejo
An evolutionary technique for supporting the consensus process of group decision making. SMC 2020: 2201-2206
2010 – 2019
- 2019
- [j43]Alfredo Ibias
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112: 132-147 (2019) - [j42]Iván Calvo, Mercedes G. Merayo, Manuel Núñez
A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37(6): 7389-7399 (2019) - [c115]Alfredo Ibias
GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. IWANN (1) 2019: 716-728 - [c114]Miguel Benito-Parejo
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) 2019: 741-752 - [c113]Iván Calvo, Mercedes G. Merayo
Conformance Relations for Fuzzy Automata. IWANN (1) 2019: 753-765 - [c112]Raluca Lefticaru
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM 2019: 393-409 - [c111]David Griñán, Alfredo Ibias
Grammar-based Tree Swarm Optimization. SMC 2019: 76-81 - 2018
- [j41]Mercedes G. Merayo, Robert M. Hierons
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j40]Mercedes G. Merayo
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104: 162-178 (2018) - [j39]Robert M. Hierons
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c110]Iván Calvo, Mercedes G. Merayo, Manuel Núñez
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) 2018: 694-704 - [c109]Francisco Palomo-Lozano
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO 2018: 1427-1434 - [e12]Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Núñez, Quang-Thuy Ha:
Modern Approaches for Intelligent Information and Database Systems, - 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Extended Posters. Studies in Computational Intelligence 769, Springer 2018, ISBN 978-3-319-76080-3 [contents] - 2017
- [j38]Ngoc Thanh Nguyen
Collective intelligent information and database systems. J. Intell. Fuzzy Syst. 32(2): 1157-1160 (2017) - [j37]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. 32(2): 1485-1496 (2017) - [j36]Robert M. Hierons
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j35]Robert M. Hierons
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132: 319-335 (2017) - [j34]Matthias Güdemann
Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transf. 19(4): 391-393 (2017) - [c108]Pedro Delgado-Pérez
Using Evolutionary Mutation Testing to improve the quality of test suites. CEC 2017: 596-603 - [c107]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Using fuzzy automata to diagnose and predict heart problems. CEC 2017: 846-853 - [c106]Juan Boubeta-Puig
A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. IWANN (2) 2017: 403-414 - [c105]Elvira Albert, Pablo C. Cañizares
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops 2017: 367-374 - 2016
- [c104]Robert M. Hierons
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - 2015
- [j33]Ana R. Cavalli
Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications 70(3-4): 83-84 (2015) - [j32]Ana R. Cavalli
A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications 70(3-4): 85-93 (2015) - [c103]Pablo C. Cañizares
A Methodology for Designing Energy-aware Systems for Computational Science. ICCS 2015: 2804-2808 - [e11]Manuel Núñez
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Lecture Notes in Computer Science 9128, Springer 2015, ISBN 978-3-319-19457-8 [contents] - [e10]Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski:
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015. Proceedings, Part I. Lecture Notes in Computer Science 9329, Springer 2015, ISBN 978-3-319-24068-8 [contents] - [e9]Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski:
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9330, Springer 2015, ISBN 978-3-319-24305-4 [contents] - 2014
- [j31]Robert M. Hierons
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [c102]Alberto Nuñez
A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. SITIS 2014: 215-222 - [e8]Steve Counsell, Manuel Núñez:
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7 [contents] - 2013
- [j30]Alberto Nuñez
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [c101]Robert M. Hierons
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - 2012
- [j29]Robert M. Hierons
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [j28]Robert M. Hierons
Using schedulers to test probabilistic distributed systems. Formal Aspects Comput. 24(4-6): 679-699 (2012) - [j27]Suzana Andover, Annabelle McIver
Preface: Special Issue QFM 2009. J. Log. Algebraic Methods Program. 81(1): 1 (2012) - [j26]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22(6): 365-405 (2012) - [j25]Mercedes G. Merayo, Manuel Núñez
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22(8): 583-608 (2012) - [c100]Robert M. Hierons
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - [c99]César Andrés, Alberto Nuñez
Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) 2012: 505-514 - 2011
- [j24]Mercedes G. Merayo, Manuel Núñez
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j23]Robert M. Hierons
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10): 999-1026 (2011) - [c98]César Andrés, Luis Llana, Manuel Núñez
Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122 - [c97]Carlos Molinero, Manuel Núñez
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. ALIFE 2011: 22-29 - [c96]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403 - [c95]Carlos Molinero, Manuel Núñez
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) 2011: 404-411 - [c94]Manuel Núñez
Formal Testing of Timed and Probabilistic Systems. ICTSS 2011: 9-14 - [e7]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011 [contents] - 2010
- [c93]César Andrés, María-Emilia Cambronero, Manuel Núñez
Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613 - [c92]César Andrés, Manuel Núñez
From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63 - [c91]Robert M. Hierons
Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77 - [c90]Juan José Pardo, Manuel Núñez
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE 2010: 78-86 - [c89]Robert M. Hierons
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [c88]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - [c87]César Andrés, María-Emilia Cambronero, Manuel Núñez
Passive Testing of Web Services. WS-FM 2010: 56-70 - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
2000 – 2009
- 2009
- [j22]Luis Fernando Llana Díaz
Testing Semantics for RTPA. Fundam. Informaticae 90(3): 305-335 (2009) - [j21]Robert M. Hierons
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78(2): 98-115 (2009) - [j20]Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. 78(6): 417-424 (2009) - [c86]César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159 - [c85]César Andrés, Carlos Molinero, Manuel Núñez
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356 - [c84]Juan José Pardo, Manuel Núñez
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) 2009: 193-204 - [c83]Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205 - [c82]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 - [c81]César Andrés, Mercedes G. Merayo, Manuel Núñez
Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 - [c80]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 - [c79]Carlos Molinero, Manuel Núñez
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350 - [c78]César Andrés, Mercedes G. Merayo, Manuel Núñez
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154 - [c77]Robert M. Hierons
Simulation Relations for Systems with Distributed Interfaces. SEFM 2009: 41-50 - [c76]César Andrés, Mercedes G. Merayo, Manuel Núñez
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82 - [c75]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431 - [e6]Manuel Núñez, Paul Baker, Mercedes G. Merayo:
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5 [contents] - [e5]Suzana Andova, Annabelle McIver
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - 2008
- [j19]Mercedes G. Merayo, Manuel Núñez
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j18]Ismael Rodríguez
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j17]Mercedes G. Merayo, Manuel Núñez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008) - [j16]Natalia López
A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. 2: 224-245 (2008) - [c74]Robert M. Hierons
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c73]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. ATVA 2008: 418-427 - [c72]Manuel Núñez
A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282 - [c71]Mercedes G. Merayo, Manuel Núñez
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102 - [c70]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Development of a Complex Information System. ICONS 2008: 118-123 - [c69]César Andrés, Manuel Núñez
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 - [c68]Mercedes G. Merayo, Manuel Núñez
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - [c67]Robert M. Hierons
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c66]César Andrés, Rafael G. Aranda, Manuel Núñez
Using formal methods to develop a complex information system: a practical/theoretical experience. SAC 2008: 848-849 - [c65]Mercedes G. Merayo, Robert M. Hierons
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - [c64]César Andrés, Carlos Molinero, Manuel Núñez
A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS 2008: 169-176 - 2007
- [j15]Ismael Rodríguez
Cognitive Processes by Using Finite State Machines. Int. J. Cogn. Informatics Nat. Intell. 1(3): 52-65 (2007) - [j14]Natalia López
A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. 1(4): 47-60 (2007) - [j13]Mario Bravetti, Adalberto Casalboni, Manuel Núñez
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13(13): 2035-2075 (2007) - [c63]Ismael Rodríguez, Manuel Núñez
A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409 - [c62]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A Brief Introduction to THOTL. ATVA 2007: 501-510 - [c61]Natalia López, Manuel Núñez
SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79 - [c60]Mercedes G. Merayo, Manuel Núñez
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c59]Mercedes G. Merayo, Manuel Núñez
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c58]Mercedes G. Merayo, Manuel Núñez
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c57]Mercedes G. Merayo, Manuel Núñez
Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236 - [c56]Mercedes G. Merayo, Manuel Núñez
Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 - 2006
- [j12]Natalia López
Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353(1-3): 228-248 (2006) - [c55]Natalia López, Manuel Núñez
Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234 - [c54]Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 - [c53]Mercedes G. Merayo, Manuel Núñez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387 - [c52]Luis Fernando Llana Díaz, Manuel Núñez
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE 2006: 467-483 - [c51]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54 - [c50]Luis Fernando Llana Díaz, Manuel Núñez
Customized Testing for Probabilistic Systems. TestCom 2006: 87-102 - [c49]Sviatoslav B. Braynov, Manuel Núñez, Fernando Rubio
Editorial message: special track on e-commerce technologies. SAC 2006: 865-866 - [c48]Natalia López
Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160 - [e4]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - [e3]Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro:
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Lecture Notes in Computer Science 4184, Springer 2006, ISBN 3-540-38862-1 [contents] - 2005
- [j11]Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez
A passive testing approach based on invariants: application to the WAP. Comput. Networks 48(2): 235-245 (2005) - [j10]Manuel Núñez
Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005) - [j9]Manuel Núñez
Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. 15(4): 211-233 (2005) - [c47]Fernando L. Pelayo
Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247 - [c46]Manuel Núñez
Conformance Testing Relations for Timed Systems. FATES 2005: 103-117 - [c45]Natalia López, Manuel Núñez
Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC 2005: 454-468 - [c44]Manuel Núñez, Ismael Rodríguez:
Specification-Based Testing of Real-Time Embedded Systems. IESS 2005: 115-124 - [c43]Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez:
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS 2005: 125-136 - [c42]Sviatoslav B. Braynov, Manuel Núñez
Editorial message: special track on e-commerce technologies. SAC 2005: 789-790 - [c41]Mario Bravetti, Adalberto Casalboni, Manuel Núñez
From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN 2005: 241-264 - 2004
- [j8]Natalia López, Manuel Núñez, Fernando Rubio:
Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19(6) (2004) - [j7]Natalia López
An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Aspects Comput. 16(3): 238-262 (2004) - [j6]Ismael Rodríguez
A formal framework for analyzing reusability complexity in component-based systems. Inf. Softw. Technol. 46(12): 791-804 (2004) - [j5]Natalia López, Manuel Núñez, Ismael Rodríguez
Improving privacy in Vickrey auctions. SIGecom Exch. 5(1): 1-12 (2004) - [c40]Natalia López, Manuel Núñez
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI 2004: 64-73 - [c39]Manuel Núñez
Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147 - [c38]Manuel Núñez, Ismael Rodríguez, Fernando Rubio
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370 - [c37]Natalia López, Manuel Núñez
Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63 - [c36]Ismael Rodríguez, Manuel Núñez
Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44 - [c35]Natalia López, Manuel Núñez
Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127 - [c34]Manuel Núñez
Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336 - [c33]Manuel Núñez
A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80 - [c32]Sviatoslav B. Braynov, Manuel Núñez, Peter R. Wurman:
Editorial message: special track on E-commerce technologies. SAC 2004: 757-758 - [c31]Natalia López, Manuel Núñez
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956 - [c30]Natalia López, Manuel Núñez
An Overview of Probabilistic Process Algebras and their Equivalences. Validation of Stochastic Systems 2004: 89-123 - [e2]David de Frutos-Escrig
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3235, Springer 2004, ISBN 3-540-23252-4 [contents] - [e1]Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, ISBN 3-540-23169-2 [contents] - 2003
- [j4]Manuel Núñez
Algebraic theory of probabilistic processes. J. Log. Algebraic Methods Program. 56(1-2): 117-177 (2003) - [c29]Manuel Núñez
Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160 - [c28]Manuel Núñez
Towards Testing Stochastic Timed Systems. FORTE 2003: 335-350 - [c27]Ismael Rodríguez, Manuel Núñez:
Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science 2003: 658-667 - [c26]Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez:
TestNet: Let's Test Together!. TestCom 2003: 258-264 - [c25]José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez
Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310 - [c24]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. SAC 2003: 587-594 - 2002
- [c23]Natalia López
Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212 - [c22]Natalia López, Manuel Núñez
WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80 - [c21]Manuel Núñez, Ismael Rodríguez:
Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16 - [c20]Natalia López, Manuel Núñez
Stochastic Process Algebras Meet Eden. IFM 2002: 29-48 - [c19]Natalia López, Manuel Núñez
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS 2002: 217-228 - [c18]Natalia López, Manuel Núñez
Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems 2002: 51-60 - 2001
- [j3]Manuel Núñez, Robert M. Freund:
Condition-Measure Bounds on the Behavior of the Central Trajectory of a Semidefinite Program. SIAM J. Optim. 11(3): 818-836 (2001) - [c17]Natalia López, Manuel Núñez
A Testing Theory for Generally Distributed Stochastic Processes. CONCUR 2001: 321-335 - [c16]Manuel Núñez, Ismael Rodríguez:
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE 2001: 169-184 - 2000
- [c15]Natalia López, Manuel Núñez:
NMSPA: A Non-Markovian Model for Stochastic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E33-E40
1990 – 1999
- 1999
- [c14]Manuel Núñez
An Axiomatization of Probabilistic Testing. ARTS 1999: 130-150 - [c13]Manuel Núñez, David Rupérez:
Fair Testing through Probabilistic Testing. FORTE 1999: 135-150 - [c12]David de Frutos-Escrig, Natalia López, Manuel Núñez:
Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416 - 1998
- [j2]David de Frutos-Escrig
An invitation to friendly testing. J. Comput. Sci. Technol. 13(6): 531-545 (1998) - [j1]Manuel Núñez
Condition measures and properties of the central trajectory of a linear program. Math. Program. 83: 1-28 (1998) - [c11]Carlos Gregorio-Rodríguez
Denotational Semantics for Probabilistic Refusal Testing. PROBMIV 1998: 111-137 - 1997
- [c10]Carlos Gregorio-Rodríguez
Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367 - [c9]Luis Fernando Llana Díaz, Manuel Núñez
Testing Semantics for Unbounded Nondeterminism. Euro-Par 1997: 538-545 - [c8]David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
Friendly Testing as a Conformance Relation. FORTE 1997: 283-298 - 1996
- [c7]Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121 - 1995
- [c6]Pedro Palao, Manuel Núñez:
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. GULP-PRODE 1995: 383-394 - [c5]Manuel Núñez
Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263 - [c4]Manuel Núñez, David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382 - [c3]Manuel Núñez
A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84 - [c2]David de Frutos-Escrig, Manuel Núñez, Juan Quemada:
Characterizing termination in LOTOS via testing. PSTV 1995: 237-250 - 1994
- [c1]Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena:
Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407
Coauthor Index
Adrianna Kozierkiewicz-Hetmanska
aka: Adrianna Kozierkiewicz
aka: Adrianna Kozierkiewicz
Luis Llana
aka: Luis Fernando Llana Díaz
aka: Luis Fernando Llana Díaz
[j56] [j54] [j50] [c123] [j46] [c119] [c116] [j42] [c114] [c113] [j41] [j40] [j39] [c110] [j37] [j36] [c107] [c104] [j31] [j30] [c101] [j29] [j26] [j25] [c100] [j24] [j23] [c96] [e7] [c89] [c88] [r1] [j21] [j20] [c86] [c83] [c82] [c81] [c80] [c78] [c76] [c75] [e6] [j19] [j18] [j17] [c74] [c73] [c71] [c70] [c68] [c67] [c65] [c62] [c60] [c59] [c58] [c57] [c56] [c54] [c53] [c51]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: