Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(60)
Ismael Bouassida Rodriguez
47
Mercedes G. Merayo
41
Natalia Martina Lopez Celani Zapata (Natalia Martina López Celani Zapata)
25
Fernando Rubio
23
Cesar Andres (César Andrés)
16
Conferences
(35)
FORTE
18
TestCom
7
SAC
6
ICCI(ieee)
5
SEFM
4
Journals
(19)
JLP
5
ENTCS
3
COMPUT NETW
3
IJCINI
2
TC
1
Keywords
(184)
Embed
Subscribe
Academic
Authors
Manuel Nunez
Manuel Nunez (Manuel Núñez),Universidad Complutense de Madrid,Software Engineering,Networks & Communications,Distributed & Parallel Computing
Edit
Manuel Nunez (Manuel Núñez)
Universidad Complutense de Madrid
Publications:
132
|
Citations:
412
Fields:
Software Engineering
,
Networks & Communications
,
Distributed & Parallel Computing
View FAQ about top research areas and Fields of study
Collaborated with
60 co-authors
from 1994 to 2011
|
Cited by
296 authors
Cumulative
Annual
Sort by:
Publications
(132)
BibTeX
|
RIS
|
RefWorks
Download
Testing timed systems modeled by Stream X-machines
Mercedes G. Merayo
,
Manuel Núñez
,
Robert M. Hierons
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 201-217, 2011
Self-adaptive fuzzy-timed systems
Cesar Andres
,
Luis Liana
,
Manuel Nunez
Published in 2011.
Planning of work schedules through the use of a hierarchical multi-agent system
Carlos Molinero
,
Manuel Núñez
Journal:
Automation in Construction - AUTOM CONSTR
, vol. 20, no. 8, pp. 1227-1241, 2011
Scenarios-Based Testing of Systems with Distributed Ports
Robert M. Hierons
,
Mercedes G. Merayo
,
Manuel Núñez
Conference:
International Conference on Quality Software - QSIC
, pp. 52-61, 2010
Passive Testing of Web Services
César Andrés
,
María-Emilia Cambronero
,
Manuel Núñez
Conference:
Web Services and Formal Methods - WSFM
, pp. 56-70, 2010
Sort by:
Citations
(412 times by 234 publications)
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language
Huibiao Zhu
,
Fan Yang
,
Jifeng He
,
Jonathan P. Bowen
,
Jeff W. Sanders
,
Shengchao Qin
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 81, no. 1, 2012
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
(
Citations: 2
)
Robert M. Hierons
Journal:
IEEE Transactions on Computers - TC
, vol. 60, no. 12, pp. 1818-1822, 2011
Mutation-Based Test Generation from Security Protocols in HLPSL
(
Citations: 1
)
Frédéric Dadeau
,
Pierre-Cyrille Héam
,
Rafik Kheddam
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 240-248, 2011
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches
(
Citations: 1
)
Aline Carneiro Viana
,
Stephane Maag
,
Fatiha Zaidi
Journal:
ACM Computing Surveys - CSUR
, vol. 43, no. 2, pp. 1-36, 2011
Development of an agent based e-barter system
Sebla Demirkol
,
Sinem Getir
,
Moharram Challenger
,
Geylani Kardas
Conference:
International Symposium on Innovations in Intelligent Systems and Applications - INISTA
, 2011
Comments