Research in computer science
.................................................................................................................................................................................................................................................................
 

External links

 

A formal approach to the specification of hierarchical multi-agent systems.
[MASTER THESIS]
C. Molinero

A formal methodology to specify hierarchical agent-based systems
[SITIS 2008]
C. Andrés/C. Molinero/M. Núñez

A hierarchical methodology to specify and simulate complex computational systems
[ICCS 2009]
C. Andrés/C. Molinero/M. Núñez

Advantages of mutation in passive testing: An empirical study
[ICSTW 2009]
C. Andrés/M.G. Merayo/C. Molinero

Combining genetic algorithms and mutation testing to generate test sequences.
[IWANN 2009]
C. Molinero/C. Andrés/M. Núñez

A formal methodology to specify hierarchical agent-based systems [BOOK CHAPTER]
[Web-Based Information Technologies and Distributed Systems]
C. Molinero/C. Andrés/M. Núñez

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM
[ALIFE 2011]
C. Molinero/M. Núñez/R.M. Hierons

Experimental Comparison of Different Techniques to Generate Adaptive Sequences
[IWANN 2011]
C. Molinero/M. Núñez/R.M. Hierons


PhD Thesis. Two Applications of Formal Methods for the Development and Testing of Complex Systems
[UCM - Universidad Complutense de Madrid]
C. Molinero

.................................................................................................................................................................................................................................................................

Carlos Molinero. Architect + PhD. in computer science. Contact: mail@carlosmolinero.com