Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Artur Boronat
@proceedings{DBLP:conf/ttc/2023,
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3620},
urn = {urn:nbn:de:0074-3620-3},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Boronat23,
author = {Artur Boronat},
title = {Safe reuse in modelling language engineering using model subtyping
with {OCL} constraints},
journal = {Softw. Syst. Model.},
volume = {22},
number = {3},
pages = {797--818},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01028-7},
doi = {10.1007/S10270-022-01028-7},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Boronat23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Boronat23a,
author = {Artur Boronat},
title = {EMF-Syncer: scalable maintenance of view models over heterogeneous
data-centric software systems at run time},
journal = {Softw. Syst. Model.},
volume = {22},
number = {6},
pages = {1949--1968},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01111-7},
doi = {10.1007/S10270-023-01111-7},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/Boronat23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/heda/BoronatAMZ23,
author = {Artur Boronat and
Adekunle Ademeyo and
Mehdi Mehtarizadeh and
Steffen Zschaler},
editor = {Wendy MacCaull and
Violet Ka I Pun},
title = {Automatic Inference of Smart Data Discovery Interfaces for Rare Disease
Datasets},
booktitle = {Proceedings of the 3rd International Health Data Workshop {(HEDA}
2023) co-located with Software Technologies: Applications and Foundations
{(STAF} 2023), Leicester, United Kingdom, July 21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3440},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3440/paper6.pdf},
timestamp = {Thu, 03 Aug 2023 16:22:08 +0200},
biburl = {https://dblp.org/rec/conf/heda/BoronatAMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BarnettZBGK23,
author = {Will Barnett and
Steffen Zschaler and
Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Dimitris Kolovos},
title = {An Online Education Platform for Teaching {MDE}},
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 = {114--121},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00035},
doi = {10.1109/MODELS-C59198.2023.00035},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/BarnettZBGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/Boronat23,
author = {Artur Boronat},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Kevin Lano and
Martina {De Sanctis} and
Nicolas Ferry and
S{\'{e}}bastien Mosser and
Manuel Wimmer and
Hessa Alfraihi and
Shekoufeh Kolahdouz Rahimi and
Javier Troya},
title = {Asymmetric and Directed Bidirectional Transformation for Container
Orchestrations with {YAMTL} and EMF-Syncer},
booktitle = {Post Proceedings of the {STAF} 2023 Workshops {TTC} 2023, MeSS 2023
and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June
21, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3620},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3620/ttc23\_paper09.pdf},
timestamp = {Tue, 30 Jan 2024 08:26:17 +0100},
biburl = {https://dblp.org/rec/conf/ttc/Boronat23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HinkelGSBTCJMNA22,
author = {Georg Hinkel and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Ren{\'{e}} Sch{\"{o}}ne and
Artur Boronat and
Massimo Tisi and
Th{\'{e}}o Le Calvar and
Fr{\'{e}}d{\'{e}}ric Jouault and
J{\'{o}}zsef Marton and
Tam{\'{a}}s Ny{\'{\i}}ri and
J{\'{a}}nos Benjamin Antal and
M{\'{a}}rton Elekes and
G{\'{a}}bor Sz{\'{a}}rnyas},
title = {A cross-technology benchmark for incremental graph queries},
journal = {Softw. Syst. Model.},
volume = {21},
number = {2},
pages = {755--804},
year = {2022},
url = {https://doi.org/10.1007/s10270-021-00927-5},
doi = {10.1007/S10270-021-00927-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HinkelGSBTCJMNA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttc/2021,
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel},
title = {{TTC} 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation
Contests. The {TTC} pandemic proceedings with {CEUR-WS} co-located
with Software Technologies: Applications and Foundations {(STAF} 2021),
Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3089},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3089},
urn = {urn:nbn:de:0074-3089-9},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Boronat21,
author = {Artur Boronat},
title = {Incremental execution of rule-based model transformation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {289--311},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00583-y},
doi = {10.1007/S10009-020-00583-Y},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Boronat21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/Boronat21a,
author = {Artur Boronat},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel},
title = {Incremental execution of relational transformation specifications
in {YAMTL:} a case with laboratory workflows},
booktitle = {{TTC} 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation
Contests. The {TTC} pandemic proceedings with {CEUR-WS} co-located
with Software Technologies: Applications and Foundations {(STAF} 2021),
Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3089},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3089/ttc21\_paper7\_labflow\_Boronat\_solution.pdf},
timestamp = {Mon, 29 Jan 2024 13:45:36 +0100},
biburl = {https://dblp.org/rec/conf/ttc/Boronat21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttc/Boronat21,
author = {Artur Boronat},
editor = {Artur Boronat and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel},
title = {EMF-Syncer solution to TTC'20 round-trip migration case},
booktitle = {{TTC} 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation
Contests. The {TTC} pandemic proceedings with {CEUR-WS} co-located
with Software Technologies: Applications and Foundations {(STAF} 2021),
Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3089},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-3089/ttc20\_paper2\_Boronat.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttc/Boronat21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Boronat19,
author = {Artur Boronat},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Offline Delta-Driven Model Transformation with Dependency Injection},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {134--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_8},
doi = {10.1007/978-3-030-16722-6\_8},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/Boronat19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Boronat19,
author = {Artur Boronat},
title = {Code-First Model-Driven Engineering: On the Agile Adoption of {MDE}
Tooling},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {874--886},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00086},
doi = {10.1109/ASE.2019.00086},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Boronat19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Boronat19,
author = {Artur Boronat},
editor = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Filip Krikava},
title = {{YAMTL} Solution to the {TTC} 2019 {TT2BDD} Case},
booktitle = {Proceedings of the 12th Transformation Tool Contest, co-located with
the 2019 Software Technologies: Applications and Foundations, TTC@STAF
2019, Eindhoven, The Netherlands, July 19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2550},
pages = {21--25},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2550/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/Boronat19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Boronat19a,
author = {Artur Boronat},
editor = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Filip Krikava},
title = {{YAMTL} Solution to the {TTC} 2019 BibtexToDocBook Case},
booktitle = {Proceedings of the 12th Transformation Tool Contest, co-located with
the 2019 Software Technologies: Applications and Foundations, TTC@STAF
2019, Eindhoven, The Netherlands, July 19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2550},
pages = {73--77},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2550/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/Boronat19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Boronat18,
author = {Artur Boronat},
editor = {Arend Rensink and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
title = {A Formal Framework for Prototyping Executable Semantics in {ATL}},
booktitle = {Theory and Practice of Model Transformation - 11th International Conference,
ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10888},
pages = {157--172},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93317-7\_8},
doi = {10.1007/978-3-319-93317-7\_8},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/Boronat18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Boronat18,
author = {Artur Boronat},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Expressive and Efficient Model Transformation with an Internal {DSL}
of Xtend},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {78--88},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3239386},
doi = {10.1145/3239372.3239386},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/models/Boronat18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Boronat18,
author = {Artur Boronat},
editor = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Georg Hinkel and
Filip Krikava},
title = {{YAMTL} Solution to the {TTC} 2018 Social Media Case},
booktitle = {Proceedings of the 11th Transformation Tool Contest, co-located with
the 2018 Software Technologies: Applications and Foundations, TTC@STAF
2018, Toulouse, France, June 29, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2310},
pages = {65--78},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2310/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/Boronat18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Boronat17,
author = {Artur Boronat},
editor = {Esther Guerra and
Mark van den Brand},
title = {Experimentation with a Big-Step Semantics for {ATL} Model Transformations},
booktitle = {Theory and Practice of Model Transformation - 10th International Conference,
ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10374},
pages = {3--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61473-1\_1},
doi = {10.1007/978-3-319-61473-1\_1},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/Boronat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Boronat17,
author = {Artur Boronat},
editor = {Beno{\^{\i}}t Combemale and
Marjan Mernik and
Bernhard Rumpe},
title = {Structural model subtyping with {OCL} constraints},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
October 23-24, 2017},
pages = {194--205},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136014.3136026},
doi = {10.1145/3136014.3136026},
timestamp = {Thu, 21 Apr 2022 11:12:19 +0200},
biburl = {https://dblp.org/rec/conf/sle/Boronat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Boronat17,
author = {Artur Boronat},
title = {Well-Behaved Model Transformations with Model Subtyping},
journal = {CoRR},
volume = {abs/1703.08113},
year = {2017},
url = {http://arxiv.org/abs/1703.08113},
eprinttype = {arXiv},
eprint = {1703.08113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Boronat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LaraGBHT14,
author = {Juan de Lara and
Esther Guerra and
Artur Boronat and
Reiko Heckel and
Paolo Torrini},
title = {Domain-specific discrete event modelling and simulation using graph
transformation},
journal = {Softw. Syst. Model.},
volume = {13},
number = {1},
pages = {209--238},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0242-3},
doi = {10.1007/S10270-012-0242-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LaraGBHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/El-SaberB14,
author = {Nissreen A. S. El{-}Saber and
Artur Boronat},
title = {{BPMN} Formalization and Verification using Maude},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630769},
doi = {10.1145/2630768.2630769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/El-SaberB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OrejasBE0S13,
author = {Fernando Orejas and
Artur Boronat and
Hartmut Ehrig and
Frank Hermann and
Hanna Sch{\"{o}}lzel},
title = {On Propagation-Based Concurrent Model Synchronization},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {57},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.57.871},
doi = {10.14279/TUJ.ECEASST.57.871},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/OrejasBE0S13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/OrejasBGM13,
author = {Fernando Orejas and
Artur Boronat and
Ulrike Golas and
Nikos Mylonakis},
editor = {Frank Pfenning},
title = {Checking Bisimilarity for Attributed Graph Transformation},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {113--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_8},
doi = {10.1007/978-3-642-37075-5\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/OrejasBGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/OrejasBM12,
author = {Fernando Orejas and
Artur Boronat and
Nikos Mylonakis},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Borrowed Contexts for Attributed Graphs},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {126--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_9},
doi = {10.1007/978-3-642-33654-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/OrejasBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BoronatM11,
author = {Artur Boronat and
Jos{\'{e}} Meseguer},
title = {Automated Model Synchronization: {A} Case Study on {UML} with Maude},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {41},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.41.644},
doi = {10.14279/TUJ.ECEASST.41.644},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BoronatM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BergmannBHTRV11,
author = {G{\'{a}}bor Bergmann and
Artur Boronat and
Reiko Heckel and
Paolo Torrini and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Advances in Model Transformations by Graph Transformation: Specification,
Execution and Analysis},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {561--584},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_27},
doi = {10.1007/978-3-642-20401-2\_27},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BergmannBHTRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoronatM10,
author = {Artur Boronat and
Jos{\'{e}} Meseguer},
title = {An algebraic semantics for {MOF}},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {269--296},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0140-9},
doi = {10.1007/S00165-009-0140-9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoronatM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BoronatO10,
author = {Artur Boronat and
Peter Csaba {\"{O}}lveczky},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Formal Real-Time Model Transformations in {MOMENT2}},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {29--43},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_3},
doi = {10.1007/978-3-642-12029-9\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BoronatO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BoronatBLMP10,
author = {Artur Boronat and
Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari and
Generoso Paolillo},
editor = {John Hatcliff and
Elena Zucca},
title = {Exploiting the Hierarchical Structure of Rule-Based Specifications
for Decision Planning},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {2--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_2},
doi = {10.1007/978-3-642-13464-7\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BoronatBLMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/OlveczkyBM10,
author = {Peter Csaba {\"{O}}lveczky and
Artur Boronat and
Jos{\'{e}} Meseguer},
editor = {John Hatcliff and
Elena Zucca},
title = {Formal Semantics and Analysis of Behavioral {AADL} Models in Real-Time
Maude},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {47--62},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_5},
doi = {10.1007/978-3-642-13464-7\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/OlveczkyBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LaraGBHT10,
author = {Juan de Lara and
Esther Guerra and
Artur Boronat and
Reiko Heckel and
Paolo Torrini},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Graph Transformation for Domain-Specific Discrete Event Time Simulation},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {266--281},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_18},
doi = {10.1007/978-3-642-15928-2\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/LaraGBHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BoronatH09,
author = {Artur Boronat and
Reiko Heckel},
title = {Preface of the Post-proceedings of the 8th International Workshop
on Graph Transformation and Visual Modeling Techniques},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {18},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.18.277.261},
doi = {10.14279/TUJ.ECEASST.18.277.261},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BoronatH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BoronatHM09,
author = {Artur Boronat and
Reiko Heckel and
Jos{\'{e}} Meseguer},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Rewriting Logic Semantics and Verification of Model Transformations},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {18--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_2},
doi = {10.1007/978-3-642-00593-0\_2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BoronatHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/BoronatM09,
author = {Artur Boronat and
Jos{\'{e}} Meseguer},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {{MOMENT2:} {EMF} Model Transformations in Maude},
booktitle = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
pages = {178--179},
year = {2009},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/BoronatM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/BoronatM09,
author = {Artur Boronat and
Jos{\'{e}} Meseguer},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {Algebraic Semantics of OCL-Constrained Metamodel Specifications},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {96--115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_7},
doi = {10.1007/978-3-642-02571-6\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/BoronatM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BoronatM08,
author = {Artur Boronat and
Jos{\'{e}} Meseguer},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {An Algebraic Semantics for {MOF}},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {377--391},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_28},
doi = {10.1007/978-3-540-78743-3\_28},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BoronatM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoraGRPBGCR08,
author = {Beatriz Mora and
F{\'{e}}lix Garc{\'{\i}}a and
Francisco Ruiz and
Mario Piattini and
Artur Boronat and
Abel G{\'{o}}mez and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {Software Measurement by Using {QVT} Transformations in an {MDA} Context},
booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
Enterprise Information Systems, Volume DISI, Barcelona, Spain, June
12-16, 2008},
pages = {117--124},
year = {2008},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MoraGRPBGCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BoronatKMW08,
author = {Artur Boronat and
Alexander Knapp and
Jos{\'{e}} Meseguer and
Martin Wirsing},
editor = {Andrea Corradini and
Ugo Montanari},
title = {What Is a Multi-modeling Language?},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {71--87},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_6},
doi = {10.1007/978-3-642-03429-9\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BoronatKMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/TaentzerBBBBBGGHKMNPV07,
author = {Gabriele Taentzer and
Enrico Biermann and
D{\'{e}}nes Bisztray and
Bernd Bohnet and
Iovka Boneva and
Artur Boronat and
Leif Geiger and
Rubino Gei{\ss} and
{\'{A}}kos Horv{\'{a}}th and
Ole Kniemeyer and
Tom Mens and
Benjamin Ness and
Detlef Plump and
Tam{\'{a}}s Vajk},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Generation of Sierpinski Triangles: {A} Case Study for Graph Transformation
Tools},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {514--539},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_35},
doi = {10.1007/978-3-540-89020-1\_35},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/TaentzerBBBBBGGHKMNPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/VarroABBDGGGKNRW07,
author = {D{\'{a}}niel Varr{\'{o}} and
M{\'{a}}rk Asztalos and
D{\'{e}}nes Bisztray and
Artur Boronat and
Duc{-}Hanh Dang and
Rubino Gei{\ss} and
Joel Greenyer and
Pieter Van Gorp and
Ole Kniemeyer and
Anantha Narayanan and
Edgars Rencis and
Erhard Weinell},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Transformation of {UML} Models to {CSP:} {A} Case Study for Graph
Transformation Tools},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {540--565},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_36},
doi = {10.1007/978-3-540-89020-1\_36},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/VarroABBDGGGKNRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/MoraGRPBGCR07,
author = {Beatriz Mora and
F{\'{e}}lix Garc{\'{\i}}a and
Francisco Ruiz and
Mario Piattini and
Artur Boronat and
Abel G{\'{o}}mez and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Xavier Franch},
title = {Marco de Trabajo basado en {MDA} para la Medici{\'{o}}n Gen{\'{e}}rica
del Software},
booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
pages = {211--220},
publisher = {Thomson Editorial},
year = {2007},
url = {http://www.sistedes.es/sistedes/pdf/2007/JISBD-07-mora-mda.pdf},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/MoraGRPBGCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/GomezBTCRE07,
author = {Abel G{\'{o}}mez and
Artur Boronat and
Claudia T{\"{a}}ubner and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos and
Silke Eckstein},
editor = {Xavier Franch},
title = {Recuperaci{\'{o}}n y procesado de datos biol{\'{o}}gicos
mediante Ingenier{\'{\i}}a Dirigida por Modelos},
booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
pages = {275--284},
publisher = {Thomson Editorial},
year = {2007},
url = {http://www.sistedes.es/sistedes/pdf/2007/JISBD-07-gomez-biologicos.pdf},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/GomezBTCRE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/GomezBCR07,
author = {Abel G{\'{o}}mez and
Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Xavier Franch},
title = {{MOMENT} {CASE:} Un prototipo de herramienta {CASE}},
booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
pages = {389--390},
publisher = {Thomson Editorial},
year = {2007},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/GomezBCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BoronatCR06,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
title = {Exogenous Model Merging by means of Model Management Operators},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {3},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.3.8},
doi = {10.14279/TUJ.ECEASST.3.8},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BoronatCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsdm/QueraltHBC06,
author = {Pascual Queralt and
Luis Hoyos and
Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}}},
editor = {Antonio Vallecillo and
Vicente Pelechano and
Antonio Est{\'{e}}vez},
title = {Un Motor de Transformaci{\'{o}}n de Modelos con Soporte para
el Lenguaje {QVT} Relations},
booktitle = {Actas del Taller sobre Desarrollo de Software Dirigido por Modelos.
{MDA} y Aplicaciones. Sitges, Spain, October 3, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {227},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-227/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/dsdm/QueraltHBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BoronatOGRC06,
author = {Artur Boronat and
Joaqu{\'{\i}}n Oriente and
Abel G{\'{o}}mez and
Isidro Ramos and
Jos{\'{e}} A. Cars{\'{\i}}},
editor = {Arend Rensink and
Jos Warmer},
title = {An Algebraic Specification of Generic {OCL} Queries Within the Eclipse
Modeling Framework},
booktitle = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
pages = {316--330},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044\_24},
doi = {10.1007/11787044\_24},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/BoronatOGRC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evol/BoronatCRL06,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos and
Patricio Letelier},
editor = {Laurence Duchien and
Maja D'Hondt and
Tom Mens},
title = {Formal Model Merging Applied to Class Diagram Integration},
booktitle = {2nd {ERCIM} Workshop on Software Evolution, {EVOL} 2006, Lille, France,
April 6-7, 2006},
pages = {11--16},
year = {2006},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/evol/BoronatCRL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BoronatCR06,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Algebraic Specification of a Model Transformation Engine},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {262--277},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_20},
doi = {10.1007/11693017\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BoronatCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/GomezBHCR06,
author = {Abel G{\'{o}}mez and
Artur Boronat and
Luis Hoyos and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
Pere Botella},
title = {Definici{\'{o}}n de operaciones complejas con un lenguaje espec{\'{\i}}fico
de dominio en Gesti{\'{o}}n de Modelos},
booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
pages = {215--224},
year = {2006},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/GomezBHCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoronatCRL07,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos and
Patricio Letelier},
editor = {Tom Mens and
Maja D'Hondt},
title = {Formal Model Merging Applied to Class Diagram Integration},
booktitle = {Selected Papers of the {ERCIM} Working Group on Software Evolution,
{EVOL} 2006, Lille, France, April 6-7, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {166},
pages = {5--26},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.013},
doi = {10.1016/J.ENTCS.2006.06.013},
timestamp = {Tue, 24 Jan 2023 11:01:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoronatCRL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/BoronatCR05,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
title = {Automatic Reengineering in {MDA} Using Rewriting Logic as Transformation
Engine},
booktitle = {9th European Conference on Software Maintenance and Reengineering
{(CSMR} 2005), 21-23 March 2005, Manchester, UK, Proceedings},
pages = {228--231},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSMR.2005.14},
doi = {10.1109/CSMR.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/BoronatCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsdm/BoronatICRG05,
author = {Artur Boronat and
Jos{\'{e}} Iborra and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos and
Abel G{\'{o}}mez},
editor = {Antonio Est{\'{e}}vez and
Vicente Pelechano and
Antonio Vallecillo},
title = {Utilizaci{\'{o}}n de Maude desde Eclipse Modeling Framework para
la Gesti{\'{o}}n de Modelos},
booktitle = {Actas del Taller sobre Desarrollo Dirigido por Modelos, {MDA} y Aplicaciones,
Granada, Espa{\~{n}}a, Septiembre 13, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {157},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-157/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/dsdm/BoronatICRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BoronatCR05,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Alan Hartman and
David Kreische},
title = {Automatic Support for Traceability in a Generic Model Management Framework},
booktitle = {Model Driven Architecture - Foundations and Applications, 1st European
Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3748},
pages = {316--330},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11581741\_23},
doi = {10.1007/11581741\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/BoronatCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/BoronatICRG05,
author = {Artur Boronat and
Jos{\'{e}} Iborra and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos and
Abel G{\'{o}}mez},
editor = {Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and
Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez},
title = {Del m{\'{e}}todo formal a la aplicaci{\'{o}}n industrial
en Gesti{\'{o}}n de Modelos: Maude aplicado a Eclipse Modeling
Framework},
booktitle = {Actas de las {X} Jornadas de Ingenier{\'{\i}}a del Software y
Bases de Datos {(JISBD} 2005), September 14-16, 2005, Granada, Spain},
pages = {253--258},
publisher = {Thomson},
year = {2005},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/BoronatICRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BoronatPCR04,
author = {Artur Boronat and
Jennifer P{\'{e}}rez and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
title = {Two Experiences in Software Dynamics},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {4},
pages = {428--453},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-04-0428},
doi = {10.3217/JUCS-010-04-0428},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BoronatPCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cit/BoronatRC04,
author = {Artur Boronat and
Isidro Ramos and
Jos{\'{e}} A. Cars{\'{\i}}},
editor = {Gautam Das and
Ved Prakash Gulati},
title = {Automatic Model Generation in Model Management},
booktitle = {Intelligent Information Technology, 7th International Conference on
Information Technology, {CIT} 2004, Hyderabad, India, December 20-23,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3356},
pages = {326--335},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30561-3\_34},
doi = {10.1007/978-3-540-30561-3\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cit/BoronatRC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoronatCR05,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Reiko Heckel and
Tom Mens},
title = {An Algebraic Baseline for Automatic Transformations in {MDA}},
booktitle = {Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome,
Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {3},
pages = {31--47},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.031},
doi = {10.1016/J.ENTCS.2004.08.031},
timestamp = {Mon, 12 Dec 2022 14:43:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoronatCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/BoronatCR03,
author = {Artur Boronat and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Ernesto Pimentel and
Nieves R. Brisaboa and
Jaime G{\'{o}}mez},
title = {Una plataforma sem{\'{a}}ntica para la gesti{\'{o}}n de
modelos},
booktitle = {{VIII} Jornadas Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2003), 12-14 Noviembre 2003, Alicante},
pages = {167--176},
year = {2003},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/BoronatCR03.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-01-31 20:25 CET 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:
