Travelled to:1 × Austria
1 × Brazil
1 × Cyprus
1 × Finland
1 × Japan
1 × South Africa
1 × The Netherlands
1 × Vietnam
2 × United Kingdom
3 × France
6 × USA
Collaborated with:M.G.Merayo I.Rodríguez C.Andrés R.M.Hierons N.López F.Rubio A.R.Cavalli R.Peña ∅ R.G.Aranda L.F.L.Díaz J.A.Arnedo E.M.d.Oca P.Palao-Gostanza P.Palao
Talks about:test (17) system (10) time (6) passiv (5) probabilist (3) distribut (3) stochast (3) properti (3) stream (3) formal (3)
Person: Manuel Núñez
DBLP: N=uacute==ntilde=ez:Manuel
Facilitated 4 volumes:
EdEd
PrCoSCoContributed to:
2012
2011
2010
2009
20092009
2008200820082007200620052004200420032003
2002
1996
1995Wrote 23 papers:
- FM-2012-HieronsMN #distributed #order #testing #using
- Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
- ICTSS-2011-Nunez #probability #testing
- Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.
- SEKE-2010-AndresMN #algorithm #multi #search-based #testing
- Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
- ICST-2009-AndresMN #probability #testing
- Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.
- SEFM-2009-AndresMN #protocol #testing
- Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.
- SEFM-2009-HieronsN #distributed #interface #simulation
- Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
- SEKE-2009-AndresMN #mining #realtime #testing #using
- Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
- SAC-2008-AndresAN #experience #formal method #information management #using
- Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.
- SEFM-2008-MerayoHN
- Extending Stream X-Machines to Specify and Test Systems with Timeouts (MGM, RMH, MN), pp. 201–210.
- TestCom-FATES-2008-HieronsMN #architecture #distributed #implementation
- Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.
- TestCom-FATES-2008-MerayoNR #named
- THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.
- SEFM-2007-MerayoN #consistency #probability #testing
- Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.
- TestCom-2006-DiazNR #probability #testing
- Customized Testing for Probabilistic Systems (LFLD, MN, IR), pp. 87–102.
- TestCom-2006-RodriguezMN #logic #testing
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.
- FATES-2005-NunezR #consistency #testing
- Conformance Testing Relations for Timed Systems (MN, IR), pp. 103–117.
- FATES-2004-LopezNR #testing
- Testing of Symbolic-Probabilistic Systems (NL, MN, IR), pp. 49–63.
- SAC-2004-LopezNRR #information management
- Encouraging knowledge exchange in discussion forums by market-oriented mechanisms (NL, MN, IR, FR), pp. 952–956.
- SAC-2003-LopezNRR #multi #transaction
- A Multi-Agent System for E-Barter Including Transaction and Shipping Costs (NL, MN, IR, FR), pp. 587–594.
- TestCom-2003-ArnedoCN #performance #testing
- Fast Testing of Critical Properties through Passive Testing (JAA, ARC, MN), pp. 295–310.
- TestCom-2003-CavalliON #exclamation #named
- TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.
- IFM-2002-LopezNR #algebra #probability #process
- Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.
- ICFP-1996-GostanzaPN #data type #pattern matching
- A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.
- FPLE-1995-NunezPP #data type #functional #programming
- A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.