2009 | ||
---|---|---|
93 | EE | Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for RTPA. Fundam. Inform. 90(3): 305-335 (2009) |
92 | EE | Robert 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 | ||
91 | EE | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 |
90 | EE | César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427 |
89 | EE | Manuel Núñez, Luis Fernando Llana Díaz: A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282 |
88 | EE | César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123 |
87 | EE | César Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 |
86 | EE | Mercedes G. Merayo, Manuel Núñez: Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102 |
85 | EE | 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 |
84 | EE | Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 |
83 | EE | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 |
82 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 |
81 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal testing from timed finite state machines. Computer Networks 52(2): 432-460 (2008) |
80 | EE | Mercedes 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) |
79 | EE | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: HOTL: Hypotheses and observations testing logic. J. Log. Algebr. Program. 74(2): 57-93 (2008) |
78 | EE | Natalia López, Manuel Núñez, Fernando L. Pelayo: A Comparative Study of STOPA and RTPA. Transactions on Computational Science 2: 224-245 (2008) |
2007 | ||
77 | EE | Ismael Rodríguez, Manuel Núñez: A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409 |
76 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510 |
75 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez: SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79 |
74 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 |
73 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 |
72 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 |
71 | EE | Mercedes G. Merayo, Manuel Núñez: Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236 |
70 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 |
69 | EE | Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007) |
68 | EE | Natalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007) |
67 | EE | Mario 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 | |
64 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez: Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234 |
63 | EE | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 |
62 | EE | Mercedes 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 |
61 | EE | Luis 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 |
60 | EE | Sviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866 |
59 | EE | Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160 |
58 | EE | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54 |
57 | EE | Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Customized Testing for Probabilistic Systems. TestCom 2006: 87-102 |
56 | EE | Mario 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) |
55 | EE | Natalia 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 | ||
54 | EE | Manuel Núñez, Ismael Rodríguez: Conformance Testing Relations for Timed Systems. FATES 2005: 103-117 |
53 | EE | Natalia López, Manuel Núñez: Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC 2005: 454-468 |
52 | EE | Fernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247 |
51 | EE | Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on e-commerce technologies. SAC 2005: 789-790 |
50 | EE | Emmanuel 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) |
49 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005) |
48 | EE | Manuel 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 | |
45 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370 |
44 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez: Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63 |
43 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez: Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127 |
42 | EE | Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44 |
41 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336 |
40 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147 |
39 | EE | Natalia 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 |
38 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80 |
37 | EE | Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on E-commerce technologies. SAC 2004: 757-758 |
36 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956 |
35 | EE | Natalia 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) | |
33 | EE | Natalia 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) |
32 | EE | Ismael 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) |
31 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004) |
2003 | ||
30 | EE | Manuel Núñez, Ismael Rodríguez: Towards Testing Stochastic Timed Systems. FORTE 2003: 335-350 |
29 | EE | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160 |
28 | EE | Ismael 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 | |
26 | EE | Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez: TestNet: Let's Test Together!. TestCom 2003: 258-264 |
25 | EE | José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez: Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310 |
24 | EE | Manuel Núñez: Algebraic theory of probabilistic processes. J. Log. Algebr. Program. 56(1-2): 117-177 (2003) |
2002 | ||
23 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80 |
22 | EE | Manuel Núñez, Ismael Rodríguez: Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16 |
21 | EE | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212 |
20 | EE | Natalia López, Manuel Núñez, Fernando Rubio: Stochastic Process Algebras Meet Eden. IFM 2002: 29-48 |
19 | EE | Natalia 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 |
18 | EE | Natalia 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 | ||
17 | EE | Natalia 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 | ||
14 | EE | Manuel 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 | |
11 | EE | Carlos 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 |