BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: N=uacute==ntilde=ez:Manuel

Facilitated 4 volumes:

TestCom/FATES 2009Ed
FATES/RV 2006Ed
A-MOST 2019PrCo
A-MOST 2019SCo

Contributed to:

FM 20122012
ICTSS 20112011
SEKE 20102010
ICST 20092009
SEFM 20092009
SEKE 20092009
SAC 20082008
SEFM 20082008
TestCom/FATES 20082008
SEFM 20072007
TestCom 20062006
FATES 20052005
FATES 20042004
SAC 20042004
SAC 20032003
TestCom 20032003
IFM 20022002
ICFP 19961996
FPLE 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.