Robert Clarisó

Affiliations:
  • Universitat Oberta de Catalunya, Barcelona, Spain


According to our database1, Robert Clarisó authored at least 47 papers between 2004 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Validating Feature Models With Respect to Textual Product Line Specifications.
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

An NLP-Based Architecture for the Autocompletion of Partial Domain Models.
Proceedings of the Advanced Information Systems Engineering, 2021

Testing challenges for NLP-intensive bots.
Proceedings of the 3rd IEEE/ACM International Workshop on Bots in Software Engineering, 2021

2020
Incremental Verification of UML/OCL Models.
J. Object Technol., 2020

Participation Inequality and the 90-9-1 Principle in Open Source.
Proceedings of the OpenSym 2020: 16th International Symposium on Open Collaboration, 2020

Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Smart Bound Selection for the Verification of UML/OCL Class Diagrams.
IEEE Trans. Software Eng., 2019

Towards a Framework for Assessing IT Strategy Execution.
Comput., 2019

Analyzing rich-club behavior in open source projects.
Proceedings of the 15th International Symposium on Open Collaboration, 2019

A Feasibility Study on Using Classifying Terms in Alloy.
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

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

A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019

2018
Extracting software product line feature models from natural language specifications.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Fixing Defects in Integrity Constraints via Constraint Mutation.
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Applying graph kernels to model-driven engineering problems.
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan.
Proceedings of the Information Systems, 2018

2017
ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification.
Int. J. Web Inf. Syst., 2017

Constraint programming for type inference in flexible model-driven engineering.
Comput. Lang. Syst. Struct., 2017

Cognifying Model-Driven Software Engineering.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Translating Target to Source Constraints in Model-to-Model Transformations.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
Backwards reasoning for model transformations: Method and applications.
J. Syst. Softw., 2016

Analysis of Feature Models Using Alloy: A Survey.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification.
Proceedings of the 2016 International Conference on Intelligent Networking and Collaborative Systems, 2016

Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification.
Proceedings of the 10th International Conference on Complex, 2016

Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms.
Proceedings of the 10th International Conference on Complex, 2016

Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

Evaluation of an eLearning Platform Featuring Learning Analytics and Gamification.
Proceedings of the Advances on P2P, 2016

2015
Towards Domain Refinement for UML/OCL Bounded Verification.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014
Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support.
IEEE Trans. Learn. Technol., 2014

On the verification of UML/OCL class diagrams using constraint programming.
J. Syst. Softw., 2014

Evaluating the Quality of Software Models using Light-weight Formal Methods.
ERCIM News, 2014

2013
A Study on Practices against Malware in Free Software Projects.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
EMFtoCSP: a tool for the lightweight verification of EMF models.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011
Preface (OCL 2011 Proceedings).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010
A UML/OCL framework for the analysis of graph transformation rules.
Softw. Syst. Model., 2010

Verification and validation of declarative model-to-model transformations through invariants.
J. Syst. Softw., 2010

Verification-driven slicing of UML/OCL models.
Proceedings of the ASE 2010, 2010

Synthesis of OCL Pre-conditions for Graph Transformation Rules.
Proceedings of the Theory and Practice of Model Transformations, 2010

2009
Verifying UML/OCL Operation Contracts.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Analysing Graph Transformation Rules through OCL.
Proceedings of the Theory and Practice of Model Transformations, 2008

2007
The octahedron abstract domain.
Sci. Comput. Program., 2007

Verification of Concurrent Systems with Parametric Delays Using Octahedra.
Fundam. Informaticae, 2007

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2005
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Verification of timed circuits with symbolic delays.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004


  Loading...