Antonio Vallecillo

Orcid: 0000-0002-8139-9986

Affiliations:
  • University of Málaga, Spain


According to our database1, Antonio Vallecillo authored at least 191 papers between 1997 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SWEL: A Domain-Specific Language for Modeling Data-Intensive Workflows.
Bus. Inf. Syst. Eng., April, 2024

Guest editorial: special issue on "IT quality challenges in a digital society".
Softw. Qual. J., March, 2024

Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024].
SoftwareX, 2024

UTypes: A library for uncertain datatypes in Python.
SoftwareX, 2024

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.
CoRR, 2024

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Towards Measuring Digital Twins Fidelity at Runtime.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository.
Dataset, December, 2023

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes, October, 2023

Uncertainty-aware Simulation of Adaptive Systems.
ACM Trans. Model. Comput. Simul., July, 2023

Dealing with Belief Uncertainty in Domain Models.
ACM Trans. Softw. Eng. Methodol., April, 2023

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
Softw. Syst. Model., 2023

A Conceptual Architecture for Building Digital Twins.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Uncertainty-aware consistency checking in industrial settings.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Modeling and Synchronizing Digital Twin Environments.
Proceedings of the Annual Modeling and Simulation Conference, 2023

2022
Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism.
IEEE Trans. Software Eng., 2022

The uncertainty interaction problem in self-adaptive systems.
Softw. Syst. Model., 2022

Modeling should be an independent scientific discipline.
Softw. Syst. Model., 2022

Managing Reputation in Collaborative Social Computing Applications.
J. Object Technol., 2022

Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster).
Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Using trace alignments for measuring the similarity between a physical and its digital twin.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey.
IEEE Trans. Software Eng., 2021

Uncertainty representation in software models: a survey.
Softw. Syst. Model., 2021

Improving query performance on dynamic graphs.
Softw. Syst. Model., 2021

Rule-based preprocessing for data stream mining using complex event processing.
Expert Syst. J. Knowl. Eng., 2021

Refactoring Collections in OCL.
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

A SWOT Analysis of the Object Constraint Language.
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Using UML and OCL Models to Realize High-Level Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Introducing Subjective Knowledge Graphs.
Proceedings of the 25th IEEE International Enterprise Distributed Object Computing Conference, 2021

Incorporating Trust into Collaborative Social Computing Applications.
Proceedings of the 25th IEEE International Enterprise Distributed Object Computing Conference, 2021

2020
Incorporating measurement uncertainty into OCL/UML primitive datatypes.
Softw. Syst. Model., 2020

Preface to the JOT special issue containing the ECMFA 2020 selected papers.
J. Object Technol., 2020

Extending OCL with Subjective Logic.
J. Object Technol., 2020

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.
J. Object Technol., 2020

Modeling Behavioral Deontic Constraints Using UML and OCL.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2019
Contents for a Model-Based Software Engineering Body of Knowledge.
Softw. Syst. Model., 2019

On Softening OCL Invariants.
J. Object Technol., 2019

Trading Accuracy for Performance in Data Processing Applications.
J. Object Technol., 2019

Specifying quantities in software models.
Inf. Softw. Technol., 2019

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

Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE.
Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.
Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now".
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 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.
Softw. Syst. Model., 2018

Teaching UML and OCL models and their validation to software engineering students: an experience report.
Comput. Sci. Educ., 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).
Softw. Syst. Model., 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.
Inf. Softw. Technol., 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".
Softw. Syst. Model., 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

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.
Comput. Stand. 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.
Softw. Syst. Model., 2013

Model-driven performance analysis of rule-based domain specific visual models.
Inf. Softw. Technol., 2013

The Reference Model of Open Distributed Processing: Foundations, experience and applications.
Comput. Stand. 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.
J. Object Technol., 2012

Language-Specific Model Versioning Based on Signifiers.
J. Object Technol., 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

A domain specific visual language for modeling power-aware reliability in wireless sensor networks.
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 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.
J. Object Technol., 2011

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

Lightweight Testing of Communication Networks with <i>e-Motions</i>.
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

<i>Tract</i>able 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.
Softw. Syst. Model., 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.
Softw. Syst. Model., 2009

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

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

Effective use of ontologies in software measurement.
Knowl. Eng. Rev., 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 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.
J. Assoc. Inf. Sci. Technol., 2008

A survey on web modeling approaches for ubiquitous web applications.
Int. J. Web Inf. Syst., 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.
J. Object Technol., 2007

WebML modelling in UML.
IET Softw., 2007

Model-driven component adaptation in the context of Web Engineering.
Eur. J. Inf. Syst., 2007

Writing and executing ODP computational viewpoint specifications using Maude.
Comput. Stand. 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.
J. Syst. Softw., 2006

Towards a consistent terminology for software measurement.
Inf. Softw. Technol., 2006

Typing the Behavior of Software Components using Session Types.
Fundam. Informaticae, 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
Formalizing WSBPEL Business Processes Using Process Algebra.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Using Maude to write and execute ODP information viewpoint specifications.
Comput. Stand. 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
Invariant-Driven Strategies for Maude.
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

Formalizing Web Service Choreographies.
Proceedings of the First International Workshop on Web Services and Formal Methods, 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

Formalizing ODP enterprise specifications in Maude.
Comput. Stand. 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
Typing the Behavior of Objects and Component Using Session Types.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Using UML Profiles for Documenting Web-Based Application Frameworks.
Ann. Softw. 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.
Inf. Softw. Technol., 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...