Manuel Núñez 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ana R. Cavalli

> Home > Persons > Manuel Núñez 0001

Publications

2015
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/adt/CavalliHN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adt/CavalliHN15
Ana R. Cavalli, Teruo Higashino, Manuel Núñez:
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]
- view
  authority control:
- export record
  dblp key:
  - journals/adt/CavalliHN15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adt/CavalliHN15a
Ana R. Cavalli, Teruo Higashino, Manuel Núñez:
A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications 70(3-4): 85-93 (2015)
2009
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/AndresMCMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/AndresMCMN09
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
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MerayoHNC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MerayoHNC09
Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli:
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205
2005
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/BayseCNZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/BayseCNZ05
Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi:
A passive testing approach based on invariants: application to the WAP. Comput. Networks 48(2): 235-245 (2005)
2003
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/CavalliON03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CavalliON03
Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez:
TestNet: Let's Test Together!. TestCom 2003: 258-264
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ArnedoCN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArnedoCN03
José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez:
Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310

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.