default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCésar Andrés
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j5]Khalifa Toumi, César Andrés, Ana R. Cavalli
:
Formal framework for defining trust in multi-organisation environment. Int. J. Auton. Adapt. Commun. Syst. 9(1/2): 164-178 (2016)- [c37]Rui Abreu, César Andrés, Ana R. Cavalli:
A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. CRiSIS 2016: 169-182 - 2014
- [j4]Khalifa Toumi, Ana R. Cavalli, César Andrés:
Validation of a Trust Approach in Multi-Organization Environments. Int. J. Secur. Softw. Eng. 5(1): 1-18 (2014) - [c36]Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli:
How to Evaluate Trust Using MMT. NSS 2014: 484-492 - 2013
- [j3]César Andrés, Carlos Camacho, Luis Llana:
A formal framework for software product lines. Inf. Softw. Technol. 55(11): 1925-1947 (2013) - [c35]Khalifa Toumi, César Andrés, Ana R. Cavalli:
Security Properties in Virtual Organizations. HPCC/EUC 2013: 238-245 - [c34]Khalifa Toumi, César Andrés, Ana R. Cavalli:
Trust Ontology Based on Access Control Parameters in Multi-organization Environments. SITIS 2013: 285-292 - 2012
- [j2]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22(6): 365-405 (2012) - [c33]Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani:
A vector based model approach for defining trust in Multi-Organization Environments. CRiSIS 2012: 1-8 - [c32]César Andrés, Ana R. Cavalli:
How to Reduce the Cost of Passive Testing. HASE 2012: 209-216 - [c31]César Andrés, Rui Abreu, Alberto Nuñez:
OCE: An Online Colaborative Editor. ICCCI (2) 2012: 89-98 - [c30]Alberto Nuñez, César Andrés, Mercedes G. Merayo:
MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) 2012: 436-445 - [c29]César Andrés, Alberto Nuñez, Manuel Núñez:
Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) 2012: 505-514 - [c28]Khalifa Toumi, César Andrés, Ana R. Cavalli:
Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS 2012: 89-103 - [c27]Mazen El Maarabani, César Andrés, Ana R. Cavalli:
Testing Interoperability Security Policies. SEKE 2012: 464-469 - [c26]Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana:
CLAT: Collaborative Learning Adaptive Tutor. SEKE 2012: 747-752 - [c25]Alberto Nuñez, César Andrés, Mercedes G. Merayo:
Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS 2012: 498-507 - [e1]César Andrés, Luis Llana:
Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. EPTCS 86, 2012 [contents] - 2011
- [c24]César Andrés, Luis Llana, Manuel Núñez:
Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122 - [c23]César Andrés, Luis Llana:
Compression Strategies for Passive Testing. ICST Workshops 2011: 644-653 - 2010
- [c22]César Andrés, María-Emilia Cambronero, Manuel Núñez:
Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613 - [c21]César Andrés, Mercedes G. Merayo, Yaofeng Zhang:
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56 - [c20]César Andrés, Manuel Núñez, Yaofeng Zhang:
From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63 - [c19]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - [c18]César Andrés, María-Emilia Cambronero, Manuel Núñez:
Passive Testing of Web Services. WS-FM 2010: 56-70
2000 – 2009
- 2009
- [j1]César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez:
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. 78(6): 425-453 (2009) - [c17]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 - [c16]César Andrés, Carlos Molinero, Manuel Núñez:
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356 - [c15]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 - [c14]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 - [c13]César Andrés, Mercedes G. Merayo, Carlos Molinero:
Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops 2009: 230-239 - [c12]Carlos Molinero, Manuel Núñez, César Andrés:
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350 - [c11]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154 - [c10]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82 - [c9]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431 - [c8]César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang:
Formal Study of Prioritized Service Compositions. SITIS 2009: 355-362 - 2008
- [c7]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. ATVA 2008: 418-427 - [c6]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Development of a Complex Information System. ICONS 2008: 118-123 - [c5]César Andrés, Manuel Núñez:
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 - [c4]César Andrés, Luis Llana, Ismael Rodríguez:
Formally comparing user and implementer model-based testing methods. ICST Workshops 2008: 1-10 - [c3]César Andrés, Ismael Rodríguez, Fernando Rubio:
Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 - [c2]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 - [c1]César Andrés, Carlos Molinero, Manuel Núñez:
A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS 2008: 169-176
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
