| | |
Antonio Vallecillo Moreno
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 90 |       | Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo: Lightweight Testing of Communication Networks with e-Motions. TAP 2011: 187-204 |
| 89 | | Javier Troya, Antonio Vallecillo: A Rewriting Logic Semantics for ATL. Journal of Object Technology 10: 5: 1-29 (2011) |
| 86 | | Javier Troya, Antonio Vallecillo: Towards a Rewriting Logic Semantics for ATL. ICMT 2010: 230-244 |
| 83 | | Javier Troya, José Eduardo Rivera, Antonio Vallecillo: Simulating domain specific visual models by observation. SpringSim 2010: 128 |
| 77 | | Javier Troya, José Eduardo Rivera, Antonio Vallecillo: On the Specification of Non-functional Properties of Systems by Observation. MoDELS Workshops 2009: 296-309 |
Selection of 5 from 100 records - Antonio Vallecillo has 91 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page