A formal methodology to specify hierarchical agent-based systems

[SITIS 2008]

C. Andres/C. Molinero/M. Núñez

 

A formal approach to the specification of hierarchical multi-agent systems.

[MASTER THESIS]

C. Molinero

A hierarchical methodology to specify and simulate complex computational systems

[ICCS 2009]

C. Andres/C. Molinero/M. Núñez

Combining genetic algorithms and mutation testing to generate test sequences.

[IWANN 2009]

C. Molinero/C. Andres/M. Núñez

 
   
 

Advantages of mutation in passive testing: An empirical study

[ICSTW 2009]

C. Ándres/M.G. Merayo/C. Molinero

 

A formal methodology to specify hierarchical agent-based systems [BOOK CHAPTER]

[Web-Based Information Technologies and Distributed Systems]

C. Molinero/C. Ándres/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

    [under construccion]      
 

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 + Ph.d. Computer Science // mail@carlosmolinero.com // CV //