BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Cyprus
1 × Denmark
1 × Italy
1 × Japan
1 × New Zealand
1 × United Kingdom
2 × Czech Republic
2 × Germany
2 × Spain
2 × Switzerland
2 × The Netherlands
2 × USA
5 × France
Collaborated with:
∅ L.Burgueño M.Gogolla J.Troya J.E.Rivera J.R.Romero M.Wimmer N.Moreno F.Durán F.Hilken L.Fuentes M.F.Bertoa G.Barquero J.I.Jaen J.Bézivin A.Pierantonio M.Pinto T.Mayerhofer L.Burgeño J.M.Bautista F.López-Romero E.Guerra J.d.Lara C.Canal J.M.Troya L.Hamann J.Cabot
Talks about:
model (19) transform (12) specif (6) viewpoint (5) test (5) semant (4) classifi (3) behavior (3) languag (3) toward (3)

♂ Person: Antonio Vallecillo

DBLP DBLP: Vallecillo:Antonio

Facilitated 28 volumes:

GTTSE 2015SciCo
ICMT 2015SCo
MoDELS 2015PrBoard
ICMT 2014PrCo
ICMT 2014SCo
MoDELS 2014PrCo
ICMT 2013SCo
MoDELS 2013Ed
MoDELS 2013GCh
ECMFA 2012Ed
ECMFA 2012Ed
ICMT 2012SCo
MoDELS 2012PrCo
MoDELS 2012TuCh
QoSA 2012Ed
ICMT 2011SCo
TOOLS Europe 2011Ed
TOOLS Europe 2011Ed
ICMT 2010SCo
ICMT 2009SCo
ICMT 2008Ed
ICMT 2008PrCh
ICMT 2008SCo
SAC 2006Ed
MoDELS 2016PrBoard

Contributed to:

AMT 20152015
MoDELS 20152015
AMT 20142014
AMT 20122012
ICMT 20122012
SFM 20122012
TOOLS Europe 20122012
ECMFA 20112011
TAP 20112011
ECMFA 20102010
ICMT 20102010
ICMT 20102011
WRLA 20102010
EDOC 20092009
BX 20082008
ICSE 20082008
SLE 20082008
TOOLS Europe 20082008
EDOC 20072007
TOOLS Europe 20072007
SAC 20062006
EDOC 20052005
EDOC 20042004
EDOC 20032003
TOOLS Europe 20002000
ICMT 20172017
ECMFA 20182018
MoDELS 20182018
SLE 20162016

Wrote 32 papers:

AMT-2015-HilkenBGV #development #modelling #using
Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.
MoDELS-2015-GogollaVBH #model transformation #testing
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
AMT-2014-TroyaWBV #approximate #model transformation #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
AMT-2012-BurguenoWV #perspective #requirements #towards
Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.
ICMT-2012-VallecilloG #model transformation #type system #using
Typing Model Transformations Using Tracts (AV, MG), pp. 56–71.
SFM-2012-VallecilloGBWH #model transformation #specification #testing
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
TOOLS-EUROPE-2012-WimmerMV #co-evolution
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations (MW, NM, AV), pp. 336–352.
ECMFA-2011-GogollaV #model transformation #testing
Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ECMFA-2011-Vallecillo #uml
Improving Naming and Grouping in UML (AV), pp. 345–360.
TAP-2011-TroyaBLV #communication #lightweight #network #testing
Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
ECMFA-2010-Vallecillo #modelling #on the
On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
ICMT-2010-TroyaV #atl #logic #semantics #towards
Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
ICMT-J-2010-TroyaV11 #atl #logic #semantics
A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.
WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
EDOC-2009-RomeroJV #multi #specification
Realizing Correspondences in Multi-viewpoint Specifications (JRR, JIJ, AV), pp. 163–172.
BX-2008-Vallecillo #modelling
Models and Transformations Short Talk 3 (AV), p. 24.
BX-2008-Vallecillo1 #multi #specification
Realizing Correspondences in Multi-viewpoint Specifications (AV), p. 33.
ICSE-2008-CabotDMVR #distributed #experience #modelling #programming #re-engineering
From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.
SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
TOOLS-EUROPE-2008-RiveraV #difference #representation
Representing and Operating with Model Differences (JER, AV), pp. 141–160.
EDOC-2007-RiveraV #behaviour #modelling
Adding Behavior to Models (JER, AV), pp. 169–180.
TOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support
Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
SAC-2006-BezivinPV #model transformation
Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
EDOC-2005-RomeroV #modelling #uml
Modeling the ODP Computational Viewpoint with UML 2.0 (JRR, AV), pp. 169–180.
EDOC-2004-RomeroV #formal method #maude #specification
Formalizing ODP Computational Viewpoint Specifications in Maude (JRR, AV), pp. 212–223.
EDOC-2003-FuentesPV #component #design #how
How MDA Can Help Designing Component- and Aspect-based Applications (LF, MP, AV), pp. 124–135.
TOOLS-EUROPE-2000-CanalFTV #calculus #corba #interface #protocol
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility (CC, LF, JMT, AV), pp. 208–225.
ICMT-2017-BurguenoHVG #modelling #testing #using
Testing Transformation Models Using Classifying Terms (LB, FH, AV, MG), pp. 69–85.
ECMFA-2018-BertoaMBBTV #data type #metric #nondeterminism #ocl #uml
Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
MoDELS-2018-BarqueroBTV
Extending Complex Event Processing to Graph-structured Information (GB, LB, JT, AV), pp. 166–175.
MoDELS-2018-BurguenoBMV #model transformation #modelling
Expressing Confidence in Models and in Model Transformation Elements (LB, MFB, NM, AV), pp. 57–66.
SLE-2016-MayerhoferWV #modelling #nondeterminism
Adding uncertainty and units to quantity types in software models (TM, MW, AV), pp. 118–131.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.