Antonio Vallecillo

According to our database1, Antonio Vallecillo authored at least 153 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Contents for a Model-Based Software Engineering Body of Knowledge.
Software and Systems Modeling, 2019

On Softening OCL Invariants.
Journal of Object Technology, 2019

Trading Accuracy for Performance in Data Processing Applications.
Journal of Object Technology, 2019

Specifying quantities in software models.
Information & Software Technology, 2019

Managing Measurement and Occurrence Uncertainty in Complex Event Processing Systems.
IEEE Access, 2019

Belief uncertainty in software models.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

2018
Testing models and model transformations using classifying terms.
Software and Systems Modeling, 2018

Teaching UML and OCL models and their validation to software engineering students: an experience report.
Computer Science Education, 2018

Formalizing Complex Event Processing Systems in Maude.
IEEE Access, 2018

Model Finding and Model Completion with USE.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Static Analysis of Complex Event Processing Programs.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

How do we teach modelling and model-driven engineering?: a survey.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Expressing Confidence in Models and in Model Transformation Elements.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Extending Complex Event Processing to Graph-structured Information.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Managing Uncertain Complex Events in Web of Things Applications.
Proceedings of the Web Engineering - 18th International Conference, 2018

Using physical quantities in robot software models.
Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

Expressing Measurement Uncertainty in OCL/UML Datatypes.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013).
Software and Systems Modeling, 2017

(An Example for) Formally Modeling Robot Behavior with UML and OCL.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.
Proceedings of the Software Technologies: Applications and Foundations, 2017

The experiment model and validity frame in M&S.
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Employing Classifying Terms for Testing Model Transformations.
Proceedings of the Software Engineering 2017, 2017

Adding Random Operations to OCL.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Teaching Model Views with UML and OCL.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Testing Transformation Models Using Classifying Terms.
Proceedings of the Theory and Practice of Model Transformation, 2017

2016
A Linda-based platform for the parallel execution of out-place model transformations.
Information & Software Technology, 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Views on UML Interactions as Spreadsheet Queries.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Adding uncertainty and units to quantity types in software models.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Expressing Measurement Uncertainty in Software Models.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Generating effective test suites for model transformations using classifying terms.
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

2015
Static Fault Localization in Model Transformations.
IEEE Trans. Software Eng., 2015

Guest editorial to the special issue on "modelling-foundations and applications".
Software and Systems Modeling, 2015

Parallel In-place Model Transformations with LinTra.
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Iterative Development of Transformation Models by Using Classifying Terms.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Employing classifying terms for testing model transformations.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

2014
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture.
Sci. Comput. Program., 2014

Specification and simulation of queuing network models using Domain-Specific Languages.
Computer Standards & Interfaces, 2014

LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra.
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

Towards Approximate Model Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Globalized Domain Specific Language Engineering.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Guest Editorial to the Theme Section on Model-Driven Web Engineering.
Software and Systems Modeling, 2013

Model-driven performance analysis of rule-based domain specific visual models.
Information & Software Technology, 2013

The Reference Model of Open Distributed Processing: Foundations, experience and applications.
Computer Standards & Interfaces, 2013

A Tool for the Model-Based Specification of Open Distributed Systems.
Comput. J., 2013

On the concurrent execution of model transformations with Linda.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

TractsTool: Testing Model Transformations based on Contracts.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

2012
TOOLS Europe 2011 Special Section.
Journal of Object Technology, 2012

Language-Specific Model Versioning Based on Signifiers.
Journal of Object Technology, 2012

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Formal Specification and Testing of Model Transformations.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

On explaining modeling principles with modeling examples: a classification catalog.
Proceedings of the 8th edition of the Educators' Symposium, 2012

Towards tracking "guilty" transformation rules: a requirements perspective.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Systematic Evolution of WebML Models by Coupled Transformations.
Proceedings of the Web Engineering - 12th International Conference, 2012

Typing Model Transformations Using Tracts.
Proceedings of the Theory and Practice of Model Transformations, 2012

An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Obligations and Delegation in the ODP Enterprise Language.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

2011
A Rewriting Logic Semantics for ATL.
Journal of Object Technology, 2011

Performance analysis of domain specific visual models.
Proceedings of the ICPE'11, 2011

Lightweight Testing of Communication Networks with e-Motions.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

Improving Naming and Grouping in UML.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Tractable Model Transformation Testing.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing.
Chapman and Hall / CRC innovations in software engineering and software development, CRC Press, ISBN: 978-1-4398-6625-2, 2011

2010
Guest editorial to the special section on model transformation.
Software and Systems Modeling, 2010

On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Simulating domain specific visual models by observation.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Editorial to the Proceedings of the First International Workshop on Model-Driven Interoperability.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Model-Driven Interoperability: MDI 2010.
Proceedings of the Models in Software Engineering, 2010

Desarrollo de Software Dirigido por Modelos (DSDM, 7ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Towards a Rewriting Logic Semantics for ATL.
Proceedings of the Theory and Practice of Model Transformations, 2010

On the Synchronization of ODP Textual and Graphical Specifications.
Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

On the Combination of Domain Specific Modeling Languages.
Proceedings of the Modelling Foundations and Applications, 6th European Conference, 2010

2009
Guest editorial to the special section on model transformation.
Software and Systems Modeling, 2009

Formal Specification and Analysis of Domain Specific Models Using Maude.
Simulation, 2009

Invariant-driven specifications in Maude.
Sci. Comput. Program., 2009

Effective use of ontologies in software measurement.
Knowledge Eng. Review, 2009

A graphical approach for modeling time-dependent behavior of DSLs.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

On the Specification of Non-Functional Properties of Systems by Observation.
Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

On the Specification of Non-functional Properties of Systems by Observation.
Proceedings of the Models in Software Engineering, 2009

Realizing Correspondences in Multi-viewpoint Specifications.
Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, 2009

Extending Visual Modeling Languages with Timed Behavior Specifications.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
An Overview Of Model-Driven Web Engineering and the Mda.
Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008

Towards interoperable Web engineering methods.
JASIST, 2008

A survey on web modeling approaches for ubiquitous web applications.
IJWIS, 2008

Modeling ODP Computational Specifications Using UML.
Comput. J., 2008

Addressing New Concerns in Model-Driven Web Engineering Approaches.
Proceedings of the Web Information Systems Engineering, 2008

Representing and Operating with Model Differences.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
Proceedings of the Software Language Engineering, First International Conference, 2008

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Model-Driven Web Engineering (MDWE 2008).
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

From programming to modeling: our experience with a distributed software engineering course.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Well-formed Rules for Viewpoint Correspondences Specification.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Change Management in Multi-Viewpoint System Using ASP.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Journey through the Secret Life of Models.
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008

2007
Special issue on model transformation.
Sci. Comput. Program., 2007

Formal and Tool Support for Model Driven Engineering with Maude.
Journal of Object Technology, 2007

WebML modelling in UML.
IET Software, 2007

Model-driven component adaptation in the context of Web Engineering.
EJIS, 2007

Writing and executing ODP computational viewpoint specifications using Maude.
Computer Standards & Interfaces, 2007

Maudeling: Herramienta de gestión de modelos usando Maude.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

MDWE2007 Foreword.
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Requirements for ODP Enterprise Architecture Tools.
Proceedings of the Workshops Proceedings of the 11th International IEEE Enterprise Distributed Object Computing Conference, 2007

Adding Behavior to Models.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
Measuring the usability of software components.
Journal of Systems and Software, 2006

Towards a consistent terminology for software measurement.
Information & Software Technology, 2006

Typing the Behavior of Software Components using Session Types.
Fundam. Inform., 2006

Formalizing WSBPEL Business Processes Using Process Algebra.
Electr. Notes Theor. Comput. Sci., 2006

Special track on model transformation (MT 2006).
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Modeling ODP Correspondences using QVT.
Proceedings of the Model-Driven Enterprise Information Systems, 2006

A UML 2.0 profile for WebML modeling.
Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006

Preface to MDWE'06.
Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006

On the Execution of ODP Computational Specifications.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

An Ontology for Software Measurement.
Proceedings of the Ontologies for Software Engineering and Software Technology, 2006

2005
Invariant-Driven Strategies for Maude.
Electr. Notes Theor. Comput. Sci., 2005

Using Maude to write and execute ODP information viewpoint specifications.
Computer Standards & Interfaces, 2005

Transformaciones MDA sobre especificaciones computacionales de UML 2.0 a Maude.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Medidas de Usabilidad de Componentes Software.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

A Model-Based Approach for Integrating Third Party Systems with Web Applications.
Proceedings of the Web Engineering, 5th International Conference, 2005

Modeling the ODP Computational Viewpoint with UML 2.0.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

Modeling Interactions between Web Applications and Third Party Systems.
Proceedings of the CAISE*05 Workshop on Web Oriented Software Technologies, 2005

2004
Formalizing Web Service Choreographies.
Electr. Notes Theor. Comput. Sci., 2004

A Trading Service for COTS Components.
Comput. J., 2004

Formalizing ODP Computational Viewpoint Specifications in Maude.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA.
Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

2003
Adding Roles to CORBA Objects.
IEEE Trans. Software Eng., 2003

Typing the Behavior of Objects and Component Using Session Types.
Electr. Notes Theor. Comput. Sci., 2003

Formalizing ODP enterprise specifications in Maude.
Computer Standards & Interfaces, 2003

Using UML and Maude for Writing and Reasoning about ODP Policies.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Desarrollo software basado en componentes y aspectos: una visión integrada.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

How MDA Can Help Designing Component- and Aspect-based Applications.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Assessing Component-Based Systems.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
Using UML Profiles for Documenting Web-Based Application Frameworks.
Ann. Software Eng., 2002

Un Marco Conceptual para la Definición y Explotación de Métricas de Calidad.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Construcción de aplicaciones software a partir de componentes COTS.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Selecting Software Components with Multiple Interfaces.
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

2001
Controllers: reusable wrappers to adapt software components.
Information & Software Technology, 2001

Extending CORBA Interfaces with Protocols.
Comput. J., 2001

Writing ODP Enterprise Specifications in Maude.
Proceedings of the Open Distribute Processing: Enterprise, 2001

A Non-Functional Approach for COTS Components Trading.
Proceedings of the Anais do WER01, 2001

From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Trading for COTS Components in Open Environments.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

2000
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Sobre la búsqueda y emparejamiento de componentes COTS con múltiples interfaces.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

New Issues in Object Interoperability.
Proceedings of the Object-Oriented Technology, 2000

1999
Specifying Reusable Controllers for Software Components (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Object Interoperability.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Extending IDLs with pi-calculus for Protocol Compatibility.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
A Reflective Component Model for Open Systems.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
On the Addition of Properties to Components.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997


  Loading...