On the Addition of Properties to Components. - José M. Troya; Antonio Vallecillo (ECOOP Workshops, 1997)

A Reflective Component Model for Open Systems. - José M. Troya; Antonio Vallecillo (ECOOP Workshops, 1998)

Extending IDLs with pi-calculus for Protocol Compatibility. - Carlos Canal; Lidia Fuentes; Antonio Vallecillo (ECOOP Workshops, 1999)

Object Interoperability. - Antonio Vallecillo; Juan Hernández Núñez; José M. Troya (ECOOP Workshops, 1999)

Specifying Reusable Controllers for Software Components (Short Paper). - José M. Troya; Antonio Vallecillo (FMOODS, 1999)

New Issues in Object Interoperability. - Antonio Vallecillo; Juan Hernández Núñez; José M. Troya (ECOOP Workshops, 2000)

Sobre la búsqueda y emparejamiento de componentes COTS con múltiples interfaces. - Luis Iribarne; Antonio Vallecillo (JISBD, 2000)

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. - Carlos Canal; Lidia Fuentes; José M. Troya; Antonio Vallecillo (TOOLS (33), 2000)

Trading for COTS Components in Open Environments. - Luis Iribarne; José M. Troya; Antonio Vallecillo (EUROMICRO, 2001)

From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. - Antonio Albarrán; Francisco Durán 001; Antonio Vallecillo (JISBD, 2001)

A Non-Functional Approach for COTS Components Trading. - Luis Iribarne; Antonio Vallecillo; Carina Frota Alves; Jaelson Castro (WER, 2001)

Writing ODP Enterprise Specifications in Maude. - Francisco Durán 001; Antonio Vallecillo (WOODPECKER, 2001)

Extending CORBA Interfaces with Protocols. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (Comput. J., 2001)

Controllers: reusable wrappers to adapt software components. - José M. Troya; Antonio Vallecillo (Inf. Softw. Technol., 2001)

Selecting Software Components with Multiple Interfaces. - Luis Iribarne; José M. Troya; Antonio Vallecillo (EUROMICRO, 2002)

Construcción de aplicaciones software a partir de componentes COTS. - Luis Iribarne; Antonio Vallecillo (JISBD, 2002)

Un Marco Conceptual para la Definición y Explotación de Métricas de Calidad. - Luis Olsina; Manuel F. Bertoa; Guillermo Lafuente; M. A. Martín; Miguel Matrib; Antonio Vallecillo (JISBD, 2002)

Using UML Profiles for Documenting Web-Based Application Frameworks. - Lidia Fuentes; José M. Troya; Antonio Vallecillo (Ann. Softw. Eng., 2002)

Typing the Behavior of Objects and Component Using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (FOCLASA, 2002)

Assessing Component-Based Systems. - Alejandra Cechich; Mario Piattini; Antonio Vallecillo (Component-Based Software Quality, 2003)

How MDA Can Help Designing Component- and Aspect-based Applications. - Lidia Fuentes; Mónica Pinto; Antonio Vallecillo (EDOC, 2003)

Desarrollo software basado en componentes y aspectos: una visión integrada. - Pedro J. Clemente; Juan Hernández Núñez; Antonio Vallecillo (JISBD, 2003)

Using UML and Maude for Writing and Reasoning about ODP Policies. - Francisco Durán 001; Javier Herrador; Antonio Vallecillo (POLICY, 2003)

Formalizing ODP enterprise specifications in Maude. - Francisco Durán 001; Antonio Vallecillo (Comput. Stand. Interfaces, 2003)

Adding Roles to CORBA Objects. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2003)

Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA. - Mercedes Amor; Lidia Fuentes; Antonio Vallecillo (AOSE, 2004)

Formalizing ODP Computational Viewpoint Specifications in Maude. - José Raúl Romero; Antonio Vallecillo (EDOC, 2004)

A Trading Service for COTS Components. - Luis Iribarne; José M. Troya; Antonio Vallecillo (Comput. J., 2004)

Formalizing Web Service Choreographies. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001; Antonio Vallecillo (WSFM, 2004)

Invariant-Driven Strategies for Maude. - Francisco Durán 001; Manuel Roldán; Antonio Vallecillo (WRS, 2004)

Modeling Interactions between Web Applications and Third Party Systems. - Nathalie Moreno; Antonio Vallecillo (IWWOST@CAiSE, 2005)

Modeling the ODP Computational Viewpoint with UML 2.0. - José Raúl Romero; Antonio Vallecillo (EDOC, 2005)

A Model-Based Approach for Integrating Third Party Systems with Web Applications. - Nathalie Moreno; Antonio Vallecillo (ICWE, 2005)

Medidas de Usabilidad de Componentes Software. - Manuel F. Bertoa; Antonio Vallecillo (JISBD, 2005)

Transformaciones MDA sobre especificaciones computacionales de UML 2.0 a Maude. - José Raúl Romero; Nathalie Moreno; Antonio Vallecillo (JISBD, 2005)

Using Maude to write and execute ODP information viewpoint specifications. - Francisco Durán 001; Manuel Roldán; Antonio Vallecillo (Comput. Stand. Interfaces, 2005)

Formalizing WSBPEL Business Processes Using Process Algebra. - Javier Cámara 001; Carlos Canal; Javier Cubo; Antonio Vallecillo (FOCLASA, 2005)

An Ontology for Software Measurement. - Manuel F. Bertoa; Antonio Vallecillo; Félix García 001 (Ontologies for Software Engineering and Software Technology, 2006)

On the Execution of ODP Computational Specifications. - José Raúl Romero; Antonio Vallecillo (EDOC Workshops, 2006)

Preface to MDWE'06. - Geert-Jan Houben; Gustavo Rossi; Antonio Vallecillo (ICWE Workshops, 2006)

A UML 2.0 profile for WebML modeling. - Nathalie Moreno; Piero Fraternali; Antonio Vallecillo (ICWE Workshops, 2006)

Modeling ODP Correspondences using QVT. - José Raúl Romero; Nathalie Moreno; Antonio Vallecillo (MDEIS, 2006)

Special track on model transformation (MT 2006). - Jean Bézivin; Alfonso Pierantonio; Antonio Vallecillo (SAC, 2006)

Typing the Behavior of Software Components using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (Fundam. Informaticae, 2006)

Towards a consistent terminology for software measurement. - Félix García 001; Manuel F. Bertoa; Coral Calero; Antonio Vallecillo; Francisco Ruiz 001; Mario Piattini; Marcela Genero (Inf. Softw. Technol., 2006)

Measuring the usability of software components. - Manuel F. Bertoa; José M. Troya; Antonio Vallecillo (J. Syst. Softw., 2006)

Adding Behavior to Models. - José Eduardo Rivera; Antonio Vallecillo (EDOC, 2007)

Requirements for ODP Enterprise Architecture Tools. - José Raúl Romero; Antonio Vallecillo (EDOCW, 2007)

MDWE2007 Foreword. - Nora Koch; Antonio Vallecillo; Geert-Jan Houben (MDWE, 2007)

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. - Antonio Vallecillo; Nora Koch; Cristina Cachero; Sara Comai; Piero Fraternali; Irene Garrigós; Jaime Gómez; Gerti Kappel; Alexander Knapp; Maristella Matera; Santiago Meliá; Nathalie Moreno; et al. (MDWE, 2007)

Maudeling: Herramienta de gestión de modelos usando Maude. - José Eduardo Rivera; Francisco Durán 001; Antonio Vallecillo; José Raúl Romero (JISBD, 2007)

Writing and executing ODP computational viewpoint specifications using Maude. - José Raúl Romero; Antonio Vallecillo; Francisco Durán 001 (Comput. Stand. Interfaces, 2007)

Model-driven component adaptation in the context of Web Engineering. - Nathalie Moreno Vergara; José María Troya Linero; Antonio Vallecillo Moreno (Eur. J. Inf. Syst., 2007)

WebML modelling in UML. - Nathalie Moreno; Piero Fraternali; Antonio Vallecillo (IET Softw., 2007)

Formal and Tool Support for Model Driven Engineering with Maude. - José Raúl Romero; José Eduardo Rivera; Francisco Durán 001; Antonio Vallecillo (J. Object Technol., 2007)

Special issue on model transformation. - Alfonso Pierantonio; Antonio Vallecillo; Bran Selic; Jeff Gray 001 (Sci. Comput. Program., 2007)

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

Change Management in Multi-Viewpoint System Using ASP. - Romina Eramo; Alfonso Pierantonio; José Raúl Romero; Antonio Vallecillo (EDOCW, 2008)

Well-formed Rules for Viewpoint Correspondences Specification. - José Raúl Romero; Antonio Vallecillo (EDOCW, 2008)

From programming to modeling: our experience with a distributed software engineering course. - Jordi Cabot; Francisco Durán 001; Nathalie Moreno; Antonio Vallecillo; José Raúl Romero (ICSE, 2008)

Model-Driven Web Engineering (MDWE 2008). - Geert-Jan Houben; Nora Koch; Antonio Vallecillo (MoDELS (Workshops), 2008)

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE. - José Eduardo Rivera; José Raúl Romero; Antonio Vallecillo (MoDELS (Workshops), 2008)

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. - José Eduardo Rivera; Esther Guerra; Juan de Lara; Antonio Vallecillo (SLE, 2008)

Representing and Operating with Model Differences. - José Eduardo Rivera; Antonio Vallecillo (TOOLS (46), 2008)

Addressing New Concerns in Model-Driven Web Engineering Approaches. - Nathalie Moreno; Santiago Meliá; Nora Koch; Antonio Vallecillo (WISE, 2008)

Modeling ODP Computational Specifications Using UML. - José Raúl Romero; José M. Troya; Antonio Vallecillo (Comput. J., 2008)

A survey on web modeling approaches for ubiquitous web applications. - Wieland Schwinger; Werner Retschitzegger; Andrea Schauerhuber; Gerti Kappel; Manuel Wimmer; Birgit Pröll; Cristina Cachero; Sven Casteleyn; Olga De Troyer; Piero Fraternali; Irene Garrigós; Franca Garzotto; et al. (Int. J. Web Inf. Syst., 2008)

Towards interoperable Web engineering methods. - Nathalie Moreno; Antonio Vallecillo (J. Assoc. Inf. Sci. Technol., 2008)

An Overview Of Model-Driven Web Engineering and the Mda. - Nathalie Moreno; José Raúl Romero; Antonio Vallecillo (Web Engineering, 2008)

Extending Visual Modeling Languages with Timed Behavior Specifications. - José Eduardo Rivera; Cristina Vicente-Chicote; Antonio Vallecillo (CIbSE, 2009)

Realizing Correspondences in Multi-viewpoint Specifications. - José Raúl Romero; Juan Ignacio Jaen; Antonio Vallecillo (EDOC, 2009)

On the Specification of Non-functional Properties of Systems by Observation. - Javier Troya; José Eduardo Rivera; Antonio Vallecillo (MoDELS (Workshops), 2009)

A graphical approach for modeling time-dependent behavior of DSLs. - José Eduardo Rivera; Francisco Durán 001; Antonio Vallecillo (VL/HCC, 2009)

Effective use of ontologies in software measurement. - Félix García 001; Francisco Ruiz 001; Coral Calero; Manuel F. Bertoa; Antonio Vallecillo; Beatriz Mora; Mario Piattini (Knowl. Eng. Rev., 2009)

Invariant-driven specifications in Maude. - Manuel Roldán; Francisco Durán 001; Antonio Vallecillo (Sci. Comput. Program., 2009)

Formal Specification and Analysis of Domain Specific Models Using Maude. - José Eduardo Rivera; Francisco Durán 001; Antonio Vallecillo (Simul., 2009)

Guest editorial to the special section on model transformation. - Jean Bézivin; Alfonso Pierantonio; Antonio Vallecillo; Jeff Gray 001 (Softw. Syst. Model., 2009)

On the Combination of Domain Specific Modeling Languages. - Antonio Vallecillo (ECMFA, 2010)

On the Synchronization of ODP Textual and Graphical Specifications. - Daniel Ruiz-González; Antonio Vallecillo; José Raúl Romero (EDOCW, 2010)

Towards a Rewriting Logic Semantics for ATL. - Javier Troya; Antonio Vallecillo (ICMT@TOOLS, 2010)

Desarrollo de Software Dirigido por Modelos (DSDM, 7ª ed.). - Orlando Avila-García; Jordi Cabot; Javier Muñoz; José Raúl Romero; Antonio Vallecillo (JISBD, 2010)

Model-Driven Interoperability: MDI 2010. - Jean Bézivin; Richard Mark Soley; Antonio Vallecillo (MoDELS (Workshops), 2010)

Editorial to the Proceedings of the First International Workshop on Model-Driven Interoperability. - Jean Bézivin; Richard Mark Soley; Antonio Vallecillo (MDI@MoDELS, 2010)

Simulating domain specific visual models by observation. - Javier Troya; José Eduardo Rivera; Antonio Vallecillo (SpringSim, 2010)

On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. - José Eduardo Rivera; Francisco Durán 001; Antonio Vallecillo (WRLA, 2010)

Guest editorial to the special section on model transformation. - Jeff Gray 001; Alfonso Pierantonio; Antonio Vallecillo (Softw. Syst. Model., 2010)

Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing. - Peter F. Linington; Zoran Milosevic; Akira Tanaka; Antonio Vallecillo (CRC Press, 2011)

Tractable Model Transformation Testing. - Martin Gogolla; Antonio Vallecillo (ECMFA, 2011)

Improving Naming and Grouping in UML. - Antonio Vallecillo (ECMFA, 2011)

Lightweight Testing of Communication Networks with e-Motions. - Javier Troya; José María Bautista; Fernando López-Romero; Antonio Vallecillo (TAP@TOOLS, 2011)

Performance analysis of domain specific visual models. - Antonio Vallecillo (ICPE, 2011)

A Rewriting Logic Semantics for ATL. - Javier Troya; Antonio Vallecillo (J. Object Technol., 2011)

Obligations and Delegation in the ODP Enterprise Language. - Peter F. Linington; Hiroshi Miyazaki; Antonio Vallecillo (EDOC Workshops, 2012)

An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. - Javier Criado; Luis Iribarne; Nicolás Padilla; Javier Troya; Antonio Vallecillo (EUROMICRO-SEAA, 2012)

Typing Model Transformations Using Tracts. - Antonio Vallecillo; Martin Gogolla (ICMT@TOOLS, 2012)

Systematic Evolution of WebML Models by Coupled Transformations. - Manuel Wimmer; Nathalie Moreno; Antonio Vallecillo (ICWE, 2012)

Towards tracking "guilty" transformation rules: a requirements perspective. - Loli Burgueño; Manuel Wimmer; Antonio Vallecillo (AMT@MoDELS, 2012)

On explaining modeling principles with modeling examples: a classification catalog. - Martin Gogolla; Antonio Vallecillo (EduSym@MoDELS, 2012)

A domain specific visual language for modeling power-aware reliability in wireless sensor networks. - Javier Troya; Antonio Vallecillo (NFPinDSML@MoDELS, 2012)

Formal Specification and Testing of Model Transformations. - Antonio Vallecillo; Martin Gogolla; Loli Burgueño; Manuel Wimmer; Lars Hamann (SFM, 2012)

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations. - Manuel Wimmer; Nathalie Moreno; Antonio Vallecillo (TOOLS (50), 2012)

Language-Specific Model Versioning Based on Signifiers. - Philip Langer; Manuel Wimmer; Jeff Gray 001; Gerti Kappel; Antonio Vallecillo (J. Object Technol., 2012)

TOOLS Europe 2011 Special Section. - Antonio Vallecillo; Judith Bishop (J. Object Technol., 2012)

TractsTool: Testing Model Transformations based on Contracts. - Loli Burgueño; Manuel Wimmer; Javier Troya; Antonio Vallecillo (MoDELS (Demos/Posters/StudentResearch), 2013)

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. - Javier Troya; Javier Cubo; José Antonio Martín; Ernesto Pimentel 001; Antonio Vallecillo (MODELSWARD, 2013)

On the concurrent execution of model transformations with Linda. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (BigMDE@STAF, 2013)

Representing ODP enterprise language deontic tokens in UML. - Peter F. Linington; Tom Rutt; Hiroshi Miyazaki; Antonio Vallecillo (VAO, 2013)

A Tool for the Model-Based Specification of Open Distributed Systems. - José Raúl Romero; Juan Ignacio Jaen; Antonio Vallecillo (Comput. J., 2013)

The Reference Model of Open Distributed Processing: Foundations, experience and applications. - Haim Kilov; Peter F. Linington; José Raúl Romero; Akira Tanaka; Antonio Vallecillo (Comput. Stand. Interfaces, 2013)

Model-driven performance analysis of rule-based domain specific visual models. - Javier Troya; Antonio Vallecillo; Francisco Durán 001; Steffen Zschaler (Inf. Softw. Technol., 2013)

Guest Editorial to the Theme Section on Model-Driven Web Engineering. - Geert-Jan Houben; Nora Koch; Gustavo Rossi; Antonio Vallecillo (Softw. Syst. Model., 2013)

Globalized Domain Specific Language Engineering. - Barrett R. Bryant; Jean-Marc Jézéquel; Ralf Lämmel; Marjan Mernik; Martin Schindler; Friedrich Steimann; Juha-Pekka Tolvanen; Antonio Vallecillo; Markus Völter (Globalizing Domain-Specific Languages, 2014)

Towards Approximate Model Transformations. - Javier Troya; Manuel Wimmer; Loli Burgueño; Antonio Vallecillo (AMT@MoDELS, 2014)

LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra. - Loli Burgueño; Eugene Syriani; Manuel Wimmer; Jeffrey G. Gray; Antonio Vallecillo (BigMDE@STAF, 2014)

Specification and simulation of queuing network models using Domain-Specific Languages. - Javier Troya; Antonio Vallecillo (Comput. Stand. Interfaces, 2014)

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture. - Barbora Buhnova; Antonio Vallecillo; Nenad Medvidovic; Magnus Larsson; Javier López 001; Jorge Cuéllar (Sci. Comput. Program., 2014)

Iterative Development of Transformation Models by Using Classifying Terms. - Frank Hilken; Loli Burgueño; Martin Gogolla; Antonio Vallecillo (AMT@MoDELS, 2015)

Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey. - David Ameller; Xavier Franch; Cristina Gómez 001; João Araújo 001; Richard Berntsson-Svensson; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Maya Daneva; Daniel Méndez Fernández; Ana Moreira 001; Henry Muccini; et al. (RE, 2015)

Parallel In-place Model Transformations with LinTra. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (BigMDE@STAF, 2015)

Guest editorial to the special issue on "modelling-foundations and applications". - Antonio Vallecillo; Juha-Pekka Tolvanen (Softw. Syst. Model., 2015)

Static Fault Localization in Model Transformations. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (IEEE Trans. Software Eng., 2015)

Generating effective test suites for model transformations using classifying terms. - Loli Burgueño; Frank Hilken; Antonio Vallecillo; Martin Gogolla (PAME/VOLT@MoDELS, 2016)

Expressing Measurement Uncertainty in Software Models. - Antonio Vallecillo; Carmen Morcillo; Priscill Orue (QUATIC, 2016)

Adding uncertainty and units to quantity types in software models. - Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (SLE, 2016)

Views on UML Interactions as Spreadsheet Queries. - Martin Gogolla; Antonio Vallecillo (STAF Workshops, 2016)

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. - Hans Vangheluwe; Vasco Amaral 001; Holger Giese; Jan F. Broenink; Bernhard Schätz; Alexander Norta; Paulo Carreira 001; Ivan Lukovic; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (STAF Doctoral Symposium / Showcase, 2016)

A Linda-based platform for the parallel execution of out-place model transformations. - Loli Burgueño; Manuel Wimmer; Antonio Vallecillo (Inf. Softw. Technol., 2016)

Testing Transformation Models Using Classifying Terms. - Loli Burgueño; Frank Hilken; Antonio Vallecillo; Martin Gogolla (ICMT, 2017)

Teaching Model Views with UML and OCL. - Loli Burgueño; Antonio Vallecillo; Martin Gogolla (MoDELS (Satellite Events), 2017)

Adding Random Operations to OCL. - Antonio Vallecillo; Martin Gogolla (MoDELS (Satellite Events), 2017)

Employing Classifying Terms for Testing Model Transformations. - Martin Gogolla; Antonio Vallecillo; Loli Burgueño; Frank Hilken (Software Engineering, 2017)

The experiment model and validity frame in M&S. - Joachim Denil; Stefan Klikovits; Pieter J. Mosterman; Antonio Vallecillo; Hans Vangheluwe (SpringSim (TMS), 2017)

Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. - Robert Bill; Achim D. Brucker; Jordi Cabot; Martin Gogolla; Antonio Vallecillo; Edward D. Willink (STAF Workshops, 2017)

(An Example for) Formally Modeling Robot Behavior with UML and OCL. - Martin Gogolla; Antonio Vallecillo (STAF Workshops, 2017)

Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013). - Ana Moreira 001; Bernhard Schätz; Peter J. Clarke; Antonio Vallecillo (Softw. Syst. Model., 2017)

Expressing Measurement Uncertainty in OCL/UML Datatypes. - Manuel F. Bertoa; Nathalie Moreno; Gala Barquero; Loli Burgueño; Javier Troya; Antonio Vallecillo (ECMFA, 2018)

Using physical quantities in robot software models. - Loli Burgueño; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (RoSE@ICSE, 2018)

Managing Uncertain Complex Events in Web of Things Applications. - Nathalie Moreno; Manuel F. Bertoa; Gala Barquero; Loli Burgueño; Javier Troya; Adrián García-López; Antonio Vallecillo (ICWE, 2018)

Extending Complex Event Processing to Graph-structured Information. - Gala Barquero; Loli Burgueño; Javier Troya; Antonio Vallecillo (MoDELS, 2018)

Expressing Confidence in Models and in Model Transformation Elements. - Loli Burgueño; Manuel F. Bertoa; Nathalie Moreno; Antonio Vallecillo (MoDELS, 2018)

Towards a body of knowledge for model-based software engineering. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

How do we teach modelling and model-driven engineering?: a survey. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

Static Analysis of Complex Event Processing Programs. - Adrián García-López; Loli Burgueño; Antonio Vallecillo (MoDELS (Workshops), 2018)

Model Finding and Model Completion with USE. - Martin Gogolla; Loli Burgueño; Antonio Vallecillo (MoDELS (Workshops), 2018)

Formalizing Complex Event Processing Systems in Maude. - Loli Burgueño; Juan Boubeta-Puig; Antonio Vallecillo (IEEE Access, 2018)

Teaching UML and OCL models and their validation to software engineering students: an experience report. - Loli Burgueño; Antonio Vallecillo; Martin Gogolla (Comput. Sci. Educ., 2018)

Testing models and model transformations using classifying terms. - Frank Hilken; Martin Gogolla; Loli Burgueño; Antonio Vallecillo (Softw. Syst. Model., 2018)

Belief uncertainty in software models. - Loli Burgueño; Robert Clarisó; Jordi Cabot; Sébastien Gérard; Antonio Vallecillo (MiSE@ICSE, 2019)

An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now". - Martin Gogolla; Antonio Vallecillo (MoDELS (Companion), 2019)

Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. - Paula Muñoz 001; Loli Burgueño; Martin Gogolla; Antonio Vallecillo (OCL@MoDELS, 2019)

Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. - Victor Ortiz; Loli Burgueño; Antonio Vallecillo; Martin Gogolla (OCL@MoDELS, 2019)

Managing Measurement and Occurrence Uncertainty in Complex Event Processing Systems. - Nathalie Moreno; Manuel F. Bertoa; Loli Burgueño; Antonio Vallecillo (IEEE Access, 2019)

Specifying quantities in software models. - Loli Burgueño; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (Inf. Softw. Technol., 2019)

Trading Accuracy for Performance in Data Processing Applications. - Gala Barquero; Javier Troya; Antonio Vallecillo (J. Object Technol., 2019)

On Softening OCL Invariants. - Martin Gogolla; Antonio Vallecillo (J. Object Technol., 2019)

Contents for a Model-Based Software Engineering Body of Knowledge. - Loli Burgueño; Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabriele Taentzer; Antonio Vallecillo; et al. (Softw. Syst. Model., 2019)

Modeling Behavioral Deontic Constraints Using UML and OCL. - Antonio Vallecillo; Martin Gogolla (ER, 2020)

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. - Lars Hamann; Richard F. Paige; Alfonso Pierantonio; Bernhard Rumpe; Antonio Vallecillo (J. Object Technol., 2020)

Extending OCL with Subjective Logic. - Paula Muñoz 001; Loli Burgueño; Victor Ortiz; Antonio Vallecillo (J. Object Technol., 2020)

Preface to the JOT special issue containing the ECMFA 2020 selected papers. - Richard F. Paige; Antonio Vallecillo (J. Object Technol., 2020)

Incorporating measurement uncertainty into OCL/UML primitive datatypes. - Manuel F. Bertoa; Loli Burgueño; Nathalie Moreno; Antonio Vallecillo (Softw. Syst. Model., 2020)

Incorporating Trust into Collaborative Social Computing Applications. - Paula Muñoz 001; Alejandro Pérez-Vereda; Nathalie Moreno; Javier Troya; Antonio Vallecillo (EDOC, 2021)

Introducing Subjective Knowledge Graphs. - Francisco J. Navarrete; Antonio Vallecillo (EDOC, 2021)

Using UML and OCL Models to Realize High-Level Digital Twins. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2021)

A SWOT Analysis of the Object Constraint Language. - Jordi Cabot; Daniel Calegari; Robert Clarisó; Martin Gogolla; Antonio Vallecillo; Edward D. Willink (STAF Workshops, 2021)

Refactoring Collections in OCL. - Martin Gogolla; Loli Burgueño; Antonio Vallecillo (STAF Workshops, 2021)

Rule-based preprocessing for data stream mining using complex event processing. - Aurora Ramírez 001; Nathalie Moreno; Antonio Vallecillo (Expert Syst. J. Knowl. Eng., 2021)

Modeling Objects with Uncertain Behaviors. - Paula Muñoz 001; Priyanka Karkhanis; Mark van den Brand; Antonio Vallecillo (J. Object Technol., 2021)

Improving query performance on dynamic graphs. - Gala Barquero; Javier Troya; Antonio Vallecillo (Softw. Syst. Model., 2021)

Uncertainty representation in software models: a survey. - Javier Troya; Nathalie Moreno; Manuel F. Bertoa; Antonio Vallecillo (Softw. Syst. Model., 2021)

Dealing with Non-Functional Requirements in Model-Driven Development: A Survey. - David Ameller; Xavier Franch; Cristina Gómez 001; Silverio Martínez-Fernández; João Araújo 001; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Daniel Méndez Fernández; Ana Moreira 001; Henry Muccini; Antonio Vallecillo; et al. (IEEE Trans. Software Eng., 2021)

Using trace alignments for measuring the similarity between a physical and its digital twin. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2022)

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. - Javier Cámara 001; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl; Javier Troya; Antonio Vallecillo (MoDELS, 2022)

Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster). - Daniel Pérez-Porras; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (STAF Workshops, 2022)

Managing Reputation in Collaborative Social Computing Applications. - Nathalie Moreno; Alejandro Pérez-Vereda; Antonio Vallecillo (J. Object Technol., 2022)

Modeling should be an independent scientific discipline. - Jordi Cabot; Antonio Vallecillo (Softw. Syst. Model., 2022)

The uncertainty interaction problem in self-adaptive systems. - Javier Cámara 001; Javier Troya; Antonio Vallecillo; Nelly Bencomo; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl (Softw. Syst. Model., 2022)

Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism. - Jesús Sánchez Cuadrado; Loli Burgueño; Manuel Wimmer; Antonio Vallecillo (IEEE Trans. Software Eng., 2022)

Modeling and Synchronizing Digital Twin Environments. - Juan Alberto Llopis; Javier Criado; Luis Iribarne; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (ANNSIM, 2023)

Uncertainty-aware consistency checking in industrial settings. - Robbert Jongeling; Antonio Vallecillo (MODELS, 2023)

A Conceptual Architecture for Building Digital Twins. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (Agile MDE/MeSS/TTC@STAF, 2023)

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. - Javier Cámara 001; Javier Troya; Lola Burgueño; Antonio Vallecillo (Softw. Syst. Model., 2023)

Dealing with Belief Uncertainty in Domain Models. - Lola Burgueño; Paula Muñoz 001; Robert Clarisó; Jordi Cabot; Sébastien Gérard; Antonio Vallecillo (ACM Trans. Softw. Eng. Methodol., 2023)

Uncertainty-aware Simulation of Adaptive Systems. - Jean-Marc Jézéquel; Antonio Vallecillo (ACM Trans. Model. Comput. Simul., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (Zenodo, 2023)

Towards Measuring Digital Twins Fidelity at Runtime. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2024)

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. - Javier Cámara 001; Sebastian Hahner; Diego Perez-Palacin; Antonio Vallecillo; Maribel Acosta; Nelly Bencomo; Radu Calinescu; Simos Gerasimou (SEAMS@ICSE, 2024)

UTypes: A library for uncertain datatypes in Python. - Carlos Javier Fernández Candel; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (SoftwareX, 2024)

Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024]. - Carlos Javier Fernández Candel; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (SoftwareX, 2024)

Guest editorial: special issue on "IT quality challenges in a digital society". - Antonio Vallecillo; Ricardo Pérez-Castillo; Joost Visser 001 (Softw. Qual. J., 2024)

SWEL: A Domain-Specific Language for Modeling Data-Intensive Workflows. - Rubén Salado-Cid; Antonio Vallecillo; Kamram Munir; José Raúl Romero (Bus. Inf. Syst. Eng., 2024)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (Zenodo, 2024)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. - Julien Deantoni; Paula Muñoz 001; Cláudio Gomes 001; Clark Verbrugge; Rakshit Mittal; Robert Heinrich; Stijn Bellis; Antonio Vallecillo (Autom., 2025)