Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Clarisó
@article{DBLP:journals/ercim/MoralesCC24,
author = {Sergio Morales and
Robert Claris{\'{o}} and
Jordi Cabot},
title = {Unveiling Ethical Biases in Generative {AI}},
journal = {{ERCIM} News},
volume = {2024},
number = {136},
year = {2024},
url = {https://ercim-news.ercim.eu/en136/special/unveiling-ethical-biases-in-generative-ai},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ercim/MoralesCC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CabotC23,
author = {Jordi Cabot and
Robert Claris{\'{o}}},
title = {Low Code for Smart Software Development},
journal = {{IEEE} Softw.},
volume = {40},
number = {1},
pages = {89--93},
year = {2023},
url = {https://doi.org/10.1109/MS.2022.3211352},
doi = {10.1109/MS.2022.3211352},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CabotC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BurguenoMCCGV23,
author = {Lola Burgue{\~{n}}o and
Paula Mu{\~{n}}oz and
Robert Claris{\'{o}} and
Jordi Cabot and
S{\'{e}}bastien G{\'{e}}rard and
Antonio Vallecillo},
title = {Dealing with Belief Uncertainty in Domain Models},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {2},
pages = {31:1--31:34},
year = {2023},
url = {https://doi.org/10.1145/3542947},
doi = {10.1145/3542947},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BurguenoMCCGV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MoralesCC23,
author = {Sergio Morales and
Robert Claris{\'{o}} and
Jordi Cabot},
title = {Automating Bias Testing of LLMs},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1705--1707},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00018},
doi = {10.1109/ASE56229.2023.00018},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MoralesCC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClarisoC23,
author = {Robert Claris{\'{o}} and
Jordi Cabot},
title = {Model-Driven Prompt Engineering},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {47--54},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00020},
doi = {10.1109/MODELS58315.2023.00020},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/ClarisoC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MoralesPCG23,
author = {Sergio Morales and
Elena Planas and
Robert Claris{\'{o}} and
Martin Gogolla},
title = {Generative {AI} in Model-Driven Software Engineering Education: Friend
or Foe?},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {110--113},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00034},
doi = {10.1109/MODELS-C59198.2023.00034},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/MoralesPCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SteimannCG23,
author = {Friedrich Steimann and
Robert Claris{\'{o}} and
Martin Gogolla},
title = {{OCL} Rebuilt, From the Ground Up},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {194--205},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00010},
doi = {10.1109/MODELS58315.2023.00010},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SteimannCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClarisoH23,
author = {Robert Claris{\'{o}} and
Lars Hamann},
title = {International Workshop on {OCL} and Textual Modeling {(OCL} 2023)},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {391--392},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00070},
doi = {10.1109/MODELS-C59198.2023.00070},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ClarisoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11326,
author = {Marcos Gomez and
Jordi Cabot and
Robert Claris{\'{o}}},
title = {Towards the Automatic Generation of Conversational Interfaces to Facilitate
the Exploration of Tabular Data},
journal = {CoRR},
volume = {abs/2305.11326},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11326},
doi = {10.48550/ARXIV.2305.11326},
eprinttype = {arXiv},
eprint = {2305.11326},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/ClarisoBC22,
author = {Robert Claris{\'{o}} and
Lola Burgue{\~{n}}o and
Jordi Cabot},
title = {Managing Design-time Uncertainty in {OCL} Expressions},
journal = {J. Object Technol.},
volume = {21},
number = {4},
pages = {4:1--10},
year = {2022},
url = {https://doi.org/10.5381/jot.2022.21.4.a8},
doi = {10.5381/JOT.2022.21.4.A8},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/ClarisoBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarisoC22,
author = {Robert Claris{\'{o}} and
Jordi Cabot},
title = {User-driven diverse scenario exploration in model finders},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102745},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102745},
doi = {10.1016/J.SCICO.2021.102745},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarisoC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpmds/Gomez-Gutierrez22,
author = {Juan Antonio G{\'{o}}mez{-}Guti{\'{e}}rrez and
Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Adriano Augusto and
Asif Gill and
Dominik Bork and
Selmin Nurcan and
Iris Reinhartz{-}Berger and
Rainer Schmidt},
title = {A Tool for Debugging Unsatisfiable Integrity Constraints in {UML/OCL}
Class Diagrams},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 23rd
International Conference, {BPMDS} 2022 and 27th International Conference,
{EMMSAD} 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {450},
pages = {267--275},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07475-2\_18},
doi = {10.1007/978-3-031-07475-2\_18},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpmds/Gomez-Gutierrez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/MoralesCC22,
author = {Sergio Morales and
Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Davide Taibi and
Marco Kuhrmann and
Tommi Mikkonen and
Jil Kl{\"{u}}nder and
Pekka Abrahamsson},
title = {Towards a {DSL} for {AI} Engineering Process Modeling},
booktitle = {Product-Focused Software Process Improvement - 23rd International
Conference, {PROFES} 2022, Jyv{\"{a}}skyl{\"{a}}, Finland,
November 21-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13709},
pages = {53--60},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21388-5\_4},
doi = {10.1007/978-3-031-21388-5\_4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/MoralesCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/botse-ws/CabotBCDPR21,
author = {Jordi Cabot and
Loli Burgue{\~{n}}o and
Robert Claris{\'{o}} and
Gwendal Daniel and
Jorge Perianez{-}Pascual and
Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a},
title = {Testing challenges for NLP-intensive bots},
booktitle = {3rd {IEEE/ACM} International Workshop on Bots in Software Engineering,
BotSE@ICSE 2021, Madrid, Spain, June 4, 2021},
pages = {31--34},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BotSE52550.2021.00014},
doi = {10.1109/BOTSE52550.2021.00014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/botse-ws/CabotBCDPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BurguenoCGLC21,
author = {Loli Burgue{\~{n}}o and
Robert Claris{\'{o}} and
S{\'{e}}bastien G{\'{e}}rard and
Shuai Li and
Jordi Cabot},
editor = {Marcello La Rosa and
Shazia W. Sadiq and
Ernest Teniente},
title = {An NLP-Based Architecture for the Autocompletion of Partial Domain
Models},
booktitle = {Advanced Information Systems Engineering - 33rd International Conference,
CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12751},
pages = {91--106},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79382-1\_6},
doi = {10.1007/978-3-030-79382-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BurguenoCGLC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GogollaCSC21,
author = {Martin Gogolla and
Robert Claris{\'{o}} and
Bran Selic and
Jordi Cabot},
title = {Towards Facilitating the Exploration of Informal Concepts in Formal
Modeling Tools},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {244--248},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00044},
doi = {10.1109/MODELS-C53483.2021.00044},
timestamp = {Wed, 23 Feb 2022 12:16:54 +0100},
biburl = {https://dblp.org/rec/conf/models/GogollaCSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CabotCCGVW21,
author = {Jordi Cabot and
Daniel Calegari and
Robert Claris{\'{o}} and
Martin Gogolla and
Antonio Vallecillo and
Edward D. Willink},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {A {SWOT} Analysis of the Object Constraint Language},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {178--184},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/oclpaper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/CabotCCGVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/Sree-KumarPC21,
author = {Anjali Sree{-}Kumar and
Elena Planas and
Robert Claris{\'{o}}},
editor = {Paul Gr{\"{u}}nbacher and
Christoph Seidl and
Deepak Dhungana and
Helena Lovasz{-}Bukvova},
title = {Validating Feature Models With Respect to Textual Product Line Specifications},
booktitle = {VaMoS'21: 15th International Working Conference on Variability Modelling
of Software-Intensive Systems, Virtual Event / Krems, Austria, February
9-11, 2021},
pages = {15:1--15:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3442391.3442407},
doi = {10.1145/3442391.3442407},
timestamp = {Mon, 26 Jun 2023 20:49:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/Sree-KumarPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/ClarisoGC20,
author = {Robert Claris{\'{o}} and
Carlos A. Gonz{\'{a}}lez and
Jordi Cabot},
title = {Incremental Verification of {UML/OCL} Models},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {3:1--16},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.a7},
doi = {10.5381/JOT.2020.19.3.A7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/ClarisoGC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ClarisoC20,
author = {Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Diverse Scenario Exploration in Model Finders Using Graph Kernels
and Clustering},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {27--43},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_3},
doi = {10.1007/978-3-030-48077-6\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ClarisoC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/GaspariniC0C20,
author = {Mattia Gasparini and
Robert Claris{\'{o}} and
Marco Brambilla and
Jordi Cabot},
editor = {Gregorio Robles and
Klaas{-}Jan Stol and
Xiaofeng Wang},
title = {Participation Inequality and the 90-9-1 Principle in Open Source},
booktitle = {OpenSym 2020: 16th International Symposium on Open Collaboration,
Virtual Conference, Spain, August 26-27, 2020},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3412569.3412582},
doi = {10.1145/3412569.3412582},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wikis/GaspariniC0C20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/RodriguezCM19,
author = {Jos{\'{e}}{-}Ram{\'{o}}n Rodr{\'{\i}}guez and
Robert Claris{\'{o}} and
Josep Maria Marco{-}Sim{\'{o}}},
title = {Towards a Framework for Assessing {IT} Strategy Execution},
journal = {Comput.},
volume = {8},
number = {3},
pages = {69},
year = {2019},
url = {https://doi.org/10.3390/computers8030069},
doi = {10.3390/COMPUTERS8030069},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/RodriguezCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ClarisoGC19,
author = {Robert Claris{\'{o}} and
Carlos A. Gonz{\'{a}}lez and
Jordi Cabot},
title = {Smart Bound Selection for the Verification of {UML/OCL} Class Diagrams},
journal = {{IEEE} Trans. Software Eng.},
volume = {45},
number = {4},
pages = {412--426},
year = {2019},
url = {https://doi.org/10.1109/TSE.2017.2777830},
doi = {10.1109/TSE.2017.2777830},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ClarisoGC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BurguenoCCG19,
author = {Loli Burgue{\~{n}}o and
Jordi Cabot and
Robert Claris{\'{o}} and
Martin Gogolla},
editor = {Alberto H. F. Laender and
Barbara Pernici and
Ee{-}Peng Lim and
Jos{\'{e}} Palazzo M. de Oliveira},
title = {A Systematic Approach to Generate Diverse Instantiations for Conceptual
Schemas},
booktitle = {Conceptual Modeling - 38th International Conference, {ER} 2019, Salvador,
Brazil, November 4-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11788},
pages = {513--521},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33223-5\_42},
doi = {10.1007/978-3-030-33223-5\_42},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/BurguenoCCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BurguenoCCGV19,
author = {Loli Burgue{\~{n}}o and
Robert Claris{\'{o}} and
Jordi Cabot and
S{\'{e}}bastien G{\'{e}}rard and
Antonio Vallecillo},
editor = {Marsha Chechik and
Daniel Str{\"{u}}ber and
D{\'{a}}niel Varr{\'{o}}},
title = {Belief uncertainty in software models},
booktitle = {Proceedings of the 11th International Workshop on Modelling in Software
Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019},
pages = {19--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/MiSE.2019.00011},
doi = {10.1109/MISE.2019.00011},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BurguenoCCGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClarisoG19,
author = {Robert Claris{\'{o}} and
Martin Gogolla},
editor = {Achim D. Brucker and
Gwendal Daniel and
Fr{\'{e}}d{\'{e}}ric Jouault},
title = {A Feasibility Study on Using Classifying Terms in Alloy},
booktitle = {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), Munich,
Germany, September 16, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2513},
pages = {45--58},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2513/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ClarisoG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/GaspariniIC0C19,
author = {Mattia Gasparini and
Javier Luis C{\'{a}}novas Izquierdo and
Robert Claris{\'{o}} and
Marco Brambilla and
Jordi Cabot},
editor = {Bj{\"{o}}rn Lundell and
Jonas Gamalielsson and
Lorraine Morgan and
Gregorio Robles},
title = {Analyzing rich-club behavior in open source projects},
booktitle = {Proceedings of the 15th International Symposium on Open Collaboration,
OpenSym 2019, Sk{\"{o}}vde, Sweden, August 20-22, 2019},
pages = {6:1--6:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3306446.3340825},
doi = {10.1145/3306446.3340825},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wikis/GaspariniIC0C19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emcis/RodriguezCM18,
author = {Jos{\'{e}}{-}Ram{\'{o}}n Rodr{\'{\i}}guez and
Robert Claris{\'{o}} and
Josep Maria Marco{-}Sim{\'{o}}},
editor = {Marinos Themistocleous and
Paulo Rupino da Cunha},
title = {Strategy in the Making: Assessing the Execution of a Strategic Information
Systems Plan},
booktitle = {Information Systems - 15th European, Mediterranean, and Middle Eastern
Conference, {EMCIS} 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {341},
pages = {475--488},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11395-7\_37},
doi = {10.1007/978-3-030-11395-7\_37},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emcis/RodriguezCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ClarisoC18,
author = {Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Gilles Perrouin and
Mathieu Acher and
Maxime Cordy and
Xavier Devroey},
title = {Applying graph kernels to model-driven engineering problems},
booktitle = {Proceedings of the 1st International Workshop on Machine Learning
and Software Engineering in Symbiosis, MASES@ASE 2018, Montpellier,
France, September 3, 2018},
pages = {1--5},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243127.3243128},
doi = {10.1145/3243127.3243128},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ClarisoC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/ClarisoC18,
author = {Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Antonia Bertolino and
Vasco Amaral and
Paulo Rupino and
Marco Vieira},
title = {Fixing Defects in Integrity Constraints via Constraint Mutation},
booktitle = {11th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2018, Coimbra, Portugal, September 4-7, 2018},
pages = {74--82},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/QUATIC.2018.00020},
doi = {10.1109/QUATIC.2018.00020},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/ClarisoC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Sree-KumarPC18,
author = {Anjali Sree{-}Kumar and
Elena Planas and
Robert Claris{\'{o}}},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {Extracting software product line feature models from natural language
specifications},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {43--53},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233029},
doi = {10.1145/3233027.3233029},
timestamp = {Sat, 09 Apr 2022 12:37:33 +0200},
biburl = {https://dblp.org/rec/conf/splc/Sree-KumarPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ZolotasCMKP17,
author = {Athanasios Zolotas and
Robert Claris{\'{o}} and
Nicholas Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Constraint programming for type inference in flexible model-driven
engineering},
journal = {Comput. Lang. Syst. Struct.},
volume = {49},
pages = {216--230},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.12.002},
doi = {10.1016/J.CL.2016.12.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/ZolotasCMKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwis/GananCCCB17,
author = {David Ga{\~{n}}{\'{a}}n and
Santi Caball{\'{e}} and
Robert Claris{\'{o}} and
Jordi Conesa and
David Ba{\~{n}}eres},
title = {{ICT-FLAG:} a web-based e-assessment platform featuring learning analytics
and gamification},
journal = {Int. J. Web Inf. Syst.},
volume = {13},
number = {1},
pages = {25--54},
year = {2017},
url = {https://doi.org/10.1108/IJWIS-12-2016-0074},
doi = {10.1108/IJWIS-12-2016-0074},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwis/GananCCCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CuadradoGLCC17,
author = {Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Esther Guerra and
Juan de Lara and
Robert Claris{\'{o}} and
Jordi Cabot},
title = {Translating Target to Source Constraints in Model-to-Model Transformations},
booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
2017},
pages = {12--22},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MODELS.2017.12},
doi = {10.1109/MODELS.2017.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/CuadradoGLCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CabotC0G17,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Marco Brambilla and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Cognifying Model-Driven Software Engineering},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {154--160},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_13},
doi = {10.1007/978-3-319-74730-9\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/CabotC0G17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2017d,
editor = {Robert Claris{\'{o}} and
Henrik Leopold and
Jan Mendling and
Wil M. P. van der Aalst and
Akhil Kumar and
Brian T. Pentland and
Mathias Weske},
title = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
with 15th International Conference on Business Process Modeling {(BPM}
2017), Barcelona, Spain, September 13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1920},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1920},
urn = {urn:nbn:de:0074-1920-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/2017d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ClarisoCGL16,
author = {Robert Claris{\'{o}} and
Jordi Cabot and
Esther Guerra and
Juan de Lara},
title = {Backwards reasoning for model transformations: Method and applications},
journal = {J. Syst. Softw.},
volume = {116},
pages = {113--132},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2015.08.017},
doi = {10.1016/J.JSS.2015.08.017},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ClarisoCGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/GananCCC16,
author = {David Ga{\~{n}}{\'{a}}n and
Santi Caball{\'{e}} and
Robert Claris{\'{o}} and
Jordi Conesa},
editor = {Fatos Xhafa and
Leonard Barolli and
Flora Amato},
title = {Evaluation of an eLearning Platform Featuring Learning Analytics and
Gamification},
booktitle = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings
of the 11th International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, 3PGCIC 2016, Soonchunhyang University, Asan,
South Korea, November 5-7, 2016},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {1},
pages = {947--959},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49109-7\_92},
doi = {10.1007/978-3-319-49109-7\_92},
timestamp = {Mon, 18 Jun 2018 21:16:53 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/GananCCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/JimenezCCC16,
author = {David Ga{\~{n}}{\'{a}}n Jimenez and
Santi Caball{\'{e}} and
Robert Claris{\'{o}} and
Jordi Conesa},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Antonio J. Jara and
Yann Bocchi},
title = {Towards the Effective Software Development of an eLearning Platform
Featuring Learning Analytics and Gamification},
booktitle = {30th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2016 Workshops, Crans-Montana, Switzerland,
March 23-25, 2016},
pages = {177--182},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WAINA.2016.7},
doi = {10.1109/WAINA.2016.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/JimenezCCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/GananCCC16,
author = {David Ga{\~{n}}{\'{a}}n and
Santi Caball{\'{e}} and
Robert Claris{\'{o}} and
Jordi Conesa},
title = {Analysis and Design of an eLearning Platform Featuring Learning Analytics
and Gamification},
booktitle = {10th International Conference on Complex, Intelligent, and Software
Intensive Systems, {CISIS} 2016, Fukuoka, Japan, July 6-8, 2016},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CISIS.2016.42},
doi = {10.1109/CISIS.2016.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/GananCCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/BaneresCC16,
author = {David Ba{\~{n}}eres and
Santi Caball{\'{e}} and
Robert Claris{\'{o}}},
title = {Towards a Learning Analytics Support for Intelligent Tutoring Systems
on {MOOC} Platforms},
booktitle = {10th International Conference on Complex, Intelligent, and Software
Intensive Systems, {CISIS} 2016, Fukuoka, Japan, July 6-8, 2016},
pages = {103--110},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CISIS.2016.48},
doi = {10.1109/CISIS.2016.48},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisis/BaneresCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incos/GananCCC16,
author = {David Ga{\~{n}}{\'{a}}n and
Santi Caball{\'{e}} and
Robert Claris{\'{o}} and
Jordi Conesa},
editor = {Fatos Xhafa and
Leonard Barolli and
V{\'{a}}clav Sn{\'{a}}sel and
Ivan Zelinka},
title = {A Prototype of an eLearning Platform in Support for Learning Analytics
and Gamification},
booktitle = {2016 International Conference on Intelligent Networking and Collaborative
Systems, INCoS 2016, Ostrawva, Czech Republic, September 7-9, 2016},
pages = {362--369},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/INCoS.2016.33},
doi = {10.1109/INCOS.2016.33},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/incos/GananCCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sree-KumarPC16,
author = {Anjali Sree{-}Kumar and
Elena Planas and
Robert Claris{\'{o}}},
editor = {Julia Rubin and
Thomas Th{\"{u}}m},
title = {Analysis of Feature Models Using Alloy: {A} Survey},
booktitle = {Proceedings 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven,
The Netherlands, April 3, 2016},
series = {{EPTCS}},
volume = {206},
pages = {46--60},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.206.5},
doi = {10.4204/EPTCS.206.5},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Sree-KumarPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ClarisoGC15,
author = {Robert Claris{\'{o}} and
Carlos A. Gonz{\'{a}}lez and
Jordi Cabot},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Towards Domain Refinement for {UML/OCL} Bounded Verification},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {108--114},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_8},
doi = {10.1007/978-3-319-22969-0\_8},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ClarisoGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CabotCR14,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Daniel Riera},
title = {On the verification of {UML/OCL} class diagrams using constraint programming},
journal = {J. Syst. Softw.},
volume = {93},
pages = {1--23},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2014.03.023},
doi = {10.1016/J.JSS.2014.03.023},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CabotCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlt/BaneresCJS14,
author = {David Ba{\~{n}}eres and
Robert Claris{\'{o}} and
Josep Jorba and
Montse Serra},
title = {Experiences in Digital Circuit Design Courses: {A} Self-Study Platform
for Learning Support},
journal = {{IEEE} Trans. Learn. Technol.},
volume = {7},
number = {4},
pages = {360--374},
year = {2014},
url = {https://doi.org/10.1109/TLT.2014.2320919},
doi = {10.1109/TLT.2014.2320919},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlt/BaneresCJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/CabotC14,
author = {Jordi Cabot and
Robert Claris{\'{o}}},
title = {Evaluating the Quality of Software Models using Light-weight Formal
Methods},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/special/evaluating-the-quality-of-software-models-using-light-weight-formal-methods},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/CabotC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/ColominaAC13,
author = {Ignacio Colomina and
Joan Arnedo{-}Moreno and
Robert Claris{\'{o}}},
editor = {Leonard Barolli and
Fatos Xhafa and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu},
title = {A Study on Practices against Malware in Free Software Projects},
booktitle = {27th International Conference on Advanced Information Networking and
Applications Workshops, {WAINA} 2013, Barcelona, Spain, March 25-28,
2013},
pages = {1070--1075},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WAINA.2013.245},
doi = {10.1109/WAINA.2013.245},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/ColominaAC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GonzalezBCC12,
author = {Carlos A. Gonz{\'{a}}lez and
Fabian B{\"{u}}ttner and
Robert Claris{\'{o}} and
Jordi Cabot},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {EMFtoCSP: a tool for the lightweight verification of {EMF} models},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {44--50},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229788},
doi = {10.1109/FORMSERA.2012.6229788},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GonzalezBCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CabotCGW11,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Martin Gogolla and
Burkhart Wolff},
title = {Preface {(OCL} 2011 Proceedings)},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.666},
doi = {10.14279/TUJ.ECEASST.44.666},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CabotCGW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CabotCGL10,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Esther Guerra and
Juan de Lara},
title = {Verification and validation of declarative model-to-model transformations
through invariants},
journal = {J. Syst. Softw.},
volume = {83},
number = {2},
pages = {283--302},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2009.08.012},
doi = {10.1016/J.JSS.2009.08.012},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CabotCGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CabotCGL10,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Esther Guerra and
Juan de Lara},
title = {A {UML/OCL} framework for the analysis of graph transformation rules},
journal = {Softw. Syst. Model.},
volume = {9},
number = {3},
pages = {335--357},
year = {2010},
url = {https://doi.org/10.1007/s10270-009-0129-0},
doi = {10.1007/S10270-009-0129-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CabotCGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/CabotCGL10,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Esther Guerra and
Juan de Lara},
editor = {Laurence Tratt and
Martin Gogolla},
title = {Synthesis of {OCL} Pre-conditions for Graph Transformation Rules},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {45--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_4},
doi = {10.1007/978-3-642-13688-7\_4},
timestamp = {Wed, 24 Jun 2020 12:50:35 +0200},
biburl = {https://dblp.org/rec/conf/icmt/CabotCGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShaikhCWM10,
author = {Asadullah Shaikh and
Robert Claris{\'{o}} and
Uffe Kock Wiil and
Nasrullah Memon},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Verification-driven slicing of {UML/OCL} models},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {185--194},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859038},
doi = {10.1145/1858996.1859038},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ShaikhCWM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CabotCR09,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Daniel Riera},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Verifying {UML/OCL} Operation Contracts},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {40--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_4},
doi = {10.1007/978-3-642-00255-7\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CabotCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/CabotCGL08,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Esther Guerra and
Juan de Lara},
editor = {Antonio Vallecillo and
Jeff Gray and
Alfonso Pierantonio},
title = {Analysing Graph Transformation Rules through {OCL}},
booktitle = {Theory and Practice of Model Transformations - 1st International Conference,
ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5063},
pages = {229--244},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69927-9\_16},
doi = {10.1007/978-3-540-69927-9\_16},
timestamp = {Mon, 21 Jun 2021 12:26:29 +0200},
biburl = {https://dblp.org/rec/conf/icmt/CabotCGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CabotCR08,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Daniel Riera},
title = {Verification of {UML/OCL} Class Diagrams using Constraint Programming},
booktitle = {First International Conference on Software Testing Verification and
Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops
Proceedings},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSTW.2008.54},
doi = {10.1109/ICSTW.2008.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CabotCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CabotCGL08,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Esther Guerra and
Juan de Lara},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {An Invariant-Based Method for the Analysis of Declarative Model-to-Model
Transformations},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {37--52},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_3},
doi = {10.1007/978-3-540-87875-9\_3},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/CabotCGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ClarisoC07,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
title = {Verification of Concurrent Systems with Parametric Delays Using Octahedra},
journal = {Fundam. Informaticae},
volume = {78},
number = {1},
pages = {1--33},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi78-1-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ClarisoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarisoC07,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
title = {The octahedron abstract domain},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {115--139},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.009},
doi = {10.1016/J.SCICO.2006.03.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarisoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CabotCFR07,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Patricia de la Fuente and
Daniel Riera},
editor = {Xavier Franch},
title = {UMLtoCSP: Una herramienta para la verificaci{\'{o}}n de modelos
{UML/OCL} mediante Constraint Programming},
booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
pages = {385--386},
publisher = {Thomson Editorial},
year = {2007},
timestamp = {Thu, 17 Nov 2011 19:36:23 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/CabotCFR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CabotCR07,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Daniel Riera},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {UMLtoCSP: a tool for the formal verification of {UML/OCL} models using
constraint programming},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {547--548},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321737},
doi = {10.1145/1321631.1321737},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CabotCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ClarisoC05,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
title = {Verification of Concurrent Systems with Parametric Delays Using Octahedra},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.34},
doi = {10.1109/ACSD.2005.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ClarisoC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ClarisoRC05,
author = {Robert Claris{\'{o}} and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Jordi Cortadella},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Derivation of Non-structural Invariants of Petri Nets Using Abstract
Interpretation},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {188--207},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_12},
doi = {10.1007/11494744\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/ClarisoRC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ClarisoC04,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
editor = {Masaharu Imai},
title = {Verification of timed circuits with symbolic delays},
booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation:
Electronic Design and Solution Fair 2004, Yokohama, Japan, January
27-30, 2004},
pages = {628--633},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2004.208},
doi = {10.1109/ASPDAC.2004.208},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/ClarisoC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ClarisoC04,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
editor = {Roberto Giacobazzi},
title = {The Octahedron Abstract Domain},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {312--327},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_23},
doi = {10.1007/978-3-540-27864-1\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ClarisoC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
