Search Results - Clariso, Robert

Refine Results
  1. 1
    User-driven diverse scenario exploration in model finders

    User-driven diverse scenario exploration in model finders by Clarisó, Robert, Cabot, Jordi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Low Code for Smart Software Development

    Low Code for Smart Software Development by Cabot, Jordi, Clariso, Robert, Menzies, Tim

    Published in IEEE software
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Dealing with Belief Uncertainty in Domain Models

    Dealing with Belief Uncertainty in Domain Models by Burgueño, Lola, Muñoz, Paula, Clarisó, Robert, Cabot, Jordi, Gérard, Sébastien, Vallecillo, Antonio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Automating Bias Testing of LLMs

    Automating Bias Testing of LLMs by Morales, Sergio, Clariso, Robert, Cabot, Jordi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Verification and validation of declarative model-to-model transformations through invariants

    Verification and validation of declarative model-to-model transformations through invariants by Cabot, Jordi, Clarisó, Robert, Guerra, Esther, de Lara, Juan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Backwards reasoning for model transformations: Method and applications

    Backwards reasoning for model transformations: Method and applications by Clarisó, Robert, Cabot, Jordi, Guerra, Esther, de Lara, Juan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Smart Bound Selection for the Verification of UML/OCL Class Diagrams

    Smart Bound Selection for the Verification of UML/OCL Class Diagrams by Clariso, Robert, Gonzalez, Carlos A., Cabot, Jordi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support

    Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support by Bañeres, David, Clariso, Robert, Jorba, Josep, Serra, Montse

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Analysis of Feature Models Using Alloy: A Survey

    Analysis of Feature Models Using Alloy: A Survey by Sree-Kumar, Anjali, Planas, Elena, Clarisó, Robert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    The octahedron abstract domain

    The octahedron abstract domain by Clarisó, Robert, Cortadella, Jordi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Constraint programming for type inference in flexible model-driven engineering

    Constraint programming for type inference in flexible model-driven engineering by Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    On the verification of UML/OCL class diagrams using constraint programming

    On the verification of UML/OCL class diagrams using constraint programming by Cabot, J., Clarisó, R., Riera, D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification

    ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification by Gañán, David, Caballé, Santi, Clarisó, Robert, Conesa, Jordi, Bañeres, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Towards a Framework for Assessing IT Strategy Execution

    Towards a Framework for Assessing IT Strategy Execution by Rodríguez, José-Ramón, Clarisó, Robert, Marco-Simó, Josep Maria

    Published in Computers (Basel)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    A UML/OCL framework for the analysis of graph transformation rules

    A UML/OCL framework for the analysis of graph transformation rules by Cabot, Jordi, Clarisó, Robert, Guerra, Esther, de Lara, Juan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Verification of UML/OCL Class Diagrams using Constraint Programming

    Verification of UML/OCL Class Diagrams using Constraint Programming by Cabot, Jordi, Clariso, Robert, Riera, Daniel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Verification of concurrent systems with parametric delays using octahedra

    Verification of concurrent systems with parametric delays using octahedra by Clariso, R., Cortadella, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Automatic Generation of Conversational Interfaces for Tabular Data Analysis

    Automatic Generation of Conversational Interfaces for Tabular Data Analysis by Gomez-Vazquez, Marcos, Cabot, Jordi, Clarisó, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Student projects empowering mobile learning in higher education

    Student projects empowering mobile learning in higher education by Rius, Àngels, Masip, David, Clarisó, Robert

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    A Study on Practices against Malware in Free Software Projects

    A Study on Practices against Malware in Free Software Projects by Colomina, I., Arnedo-Moreno, J., Clariso, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: