dblp.uni-trier.dewww.uni-trier.de

Manuel Núñez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
93EELuis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for RTPA. Fundam. Inform. 90(3): 305-335 (2009)
92EERobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Testing from a stochastic timed system with a fault model. J. Log. Algebr. Program. 78(2): 98-115 (2009)
2008
91EERobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215
90EECésar Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427
89EEManuel Núñez, Luis Fernando Llana Díaz: A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282
88EECésar Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123
87EECésar Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234
86EEMercedes G. Merayo, Manuel Núñez: Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102
85EECé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
84EEMercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210
83EERobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215
82EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102
81EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal testing from timed finite state machines. Computer Networks 52(2): 432-460 (2008)
80EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008)
79EEIsmael Rodríguez, Mercedes G. Merayo, Manuel Núñez: HOTL: Hypotheses and observations testing logic. J. Log. Algebr. Program. 74(2): 57-93 (2008)
78EENatalia López, Manuel Núñez, Fernando L. Pelayo: A Comparative Study of STOPA and RTPA. Transactions on Computational Science 2: 224-245 (2008)
2007
77EEIsmael Rodríguez, Manuel Núñez: A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409
76EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510
75EENatalia López, Manuel Núñez, Ismael Rodríguez: SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79
74EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111
73EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174
72EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333
71EEMercedes G. Merayo, Manuel Núñez: Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236
70EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158
69EEIsmael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007)
68EENatalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007)
67EEMario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. UCS 13(13): 2035-2075 (2007)
2006
66 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 Springer 2006
65 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 Springer 2006
64EENatalia López, Manuel Núñez, Ismael Rodríguez: Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234
63EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137
62EEMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387
61EELuis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE 2006: 467-483
60EESviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866
59EENatalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
58EEIsmael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54
57EELuis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Customized Testing for Probabilistic Systems. TestCom 2006: 87-102
56EEMario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-barter Models to an Implementation Based on Web Services. Electr. Notes Theor. Comput. Sci. 159: 241-264 (2006)
55EENatalia López, Manuel Núñez, Ismael Rodríguez: Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353(1-3): 228-248 (2006)
2005
54EEManuel Núñez, Ismael Rodríguez: Conformance Testing Relations for Timed Systems. FATES 2005: 103-117
53EENatalia López, Manuel Núñez: Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC 2005: 454-468
52EEFernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247
51EESviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on e-commerce technologies. SAC 2005: 789-790
50EEEmmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi: A passive testing approach based on invariants: application to the WAP Computer Networks 48(2): 235-245 (2005)
49EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005)
48EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Specification and testing of autonomous agents in e-commerce systems. Softw. Test., Verif. Reliab. 15(4): 211-233 (2005)
2004
47 David de Frutos-Escrig, Manuel Núñez: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings Springer 2004
46 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 Springer 2004
45EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370
44EENatalia López, Manuel Núñez, Ismael Rodríguez: Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63
43EENatalia López, Manuel Núñez, Ismael Rodríguez: Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127
42EEIsmael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44
41EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336
40EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147
39EENatalia López, Manuel Núñez, Fernando L. Pelayo: STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI 2004: 64-73
38EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80
37EESviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on E-commerce technologies. SAC 2004: 757-758
36EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956
35EENatalia López, Manuel Núñez: An Overview of Probabilistic Process Algebras and their Equivalences. Validation of Stochastic Systems 2004: 89-123
34 Natalia López, Manuel Núñez, Fernando Rubio: Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19(6): (2004)
33EENatalia López, Manuel Núñez, Fernando Rubio: An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Asp. Comput. 16(3): 238-262 (2004)
32EEIsmael Rodríguez, Manuel Núñez, Fernando Rubio: A formal framework for analyzing reusability complexity in component-based systems. Information & Software Technology 46(12): 791-804 (2004)
31EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004)
2003
30EEManuel Núñez, Ismael Rodríguez: Towards Testing Stochastic Timed Systems. FORTE 2003: 335-350
29EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160
28EEIsmael Rodríguez, Manuel Núñez: Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science 2003: 658-667
27 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
26EEAna R. Cavalli, Edgardo Montes de Oca, Manuel Núñez: TestNet: Let's Test Together!. TestCom 2003: 258-264
25EEJosé Antonio Arnedo, Ana R. Cavalli, Manuel Núñez: Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310
24EEManuel Núñez: Algebraic theory of probabilistic processes. J. Log. Algebr. Program. 56(1-2): 117-177 (2003)
2002
23EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
22EEManuel Núñez, Ismael Rodríguez: Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16
21EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
20EENatalia López, Manuel Núñez, Fernando Rubio: Stochastic Process Algebras Meet Eden. IFM 2002: 29-48
19EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS 2002: 217-228
18EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems 2002: 51-60
2001
17EENatalia López, Manuel Núñez: A Testing Theory for Generally Distributed Stochastic Processes. CONCUR 2001: 321-335
16 Manuel Núñez, Ismael Rodríguez: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE 2001: 169-184
2000
15 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
1999
14EEManuel Núñez: An Axiomatization of Probabilistic Testing. ARTS 1999: 130-150
13 Manuel Núñez, David Rupérez: Fair Testing through Probabilistic Testing. FORTE 1999: 135-150
12 David de Frutos-Escrig, Natalia López, Manuel Núñez: Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
11EECarlos Gregorio-Rodríguez, Manuel Núñez: Denotational Semantics for Probabilistic Refusal Testing. Electr. Notes Theor. Comput. Sci. 22: (1999)
1997
10 Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza: Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367
9 Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for Unbounded Nondeterminism. Euro-Par 1997: 538-545
8 David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
1996
7 Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez: A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121
1995
6 Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz: Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
5 Manuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
4 Manuel Núñez, Pedro Palao, Ricardo Pena: A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84
3 Pedro Palao, Manuel Núñez: An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. GULP-PRODE 1995: 383-394
2 David de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. PSTV 1995: 237-250
1994
1 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

1César Andrés [85] [87] [88] [90]
2Rafael G. Aranda [85]
3José Antonio Arnedo [25]
4Emmanuel Bayse [50]
5Mario Bravetti [56] [66] [67]
6Sviatoslav Braynov (Sviatoslav Brainov) [37] [51] [60]
7Adalberto Casalboni [56] [67]
8Ana R. Cavalli [25] [26] [50]
9Luis Fernando Llana Díaz [6] [8] [9] [10] [57] [61] [89] [93]
10David de Frutos-Escrig [2] [5] [6] [8] [12] [47]
11Luis A. Galán [1]
12Carlos Gregorio-Rodríguez [10] [11]
13Klaus Havelund [65]
14Robert M. Hierons [83] [84] [91] [92]
15Natalia López [12] [15] [17] [18] [19] [20] [21] [23] [27] [31] [33] [34] [35] [36] [39] [43] [44] [52] [53] [55] [59] [64] [68] [75] [78]
16Zakaria Maamar [46]
17Mercedes G. Merayo [58] [62] [63] [70] [71] [72] [73] [74] [76] [79] [80] [81] [82] [83] [84] [86] [88] [90] [91] [92]
18Edgardo Montes de Oca [26]
19Pedro Palao [3] [4]
20Pedro Palao-Gostanza [7] [10]
21Cristóbal Pareja [1]
22Fernando L. Pelayo [39] [46] [52] [68] [78]
23Ricardo Peña-Marí (Ricardo Pena) [1] [4] [7]
24Key Pousttchi [46]
25Juan Quemada [2]
26Pablo Rabanal [59]
27Ismael Rodríguez [16] [18] [19] [21] [22] [23] [27] [28] [29] [30] [31] [32] [36] [38] [40] [41] [42] [43] [44] [45] [48] [49] [54] [55] [56] [57] [58] [59] [61] [62] [63] [64] [67] [69] [70] [72] [73] [74] [75] [76] [77] [79] [80] [81] [82]
28Grigore Rosu [65]
29Fernando Rubio [18] [19] [20] [21] [23] [27] [29] [31] [32] [33] [34] [36] [38] [40] [41] [42] [45] [46] [48] [49] [59] [60] [69]
30David Rupérez [13]
31Burkhart Wolff [65]
32Peter R. Wurman [37] [51]
33Fatiha Zaïdi [50]
34Gianluigi Zavattaro [66]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)