default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin A. Musicante
@inproceedings{DBLP:conf/edbt/Vargas-SolarDAE24,
author = {Genoveva Vargas{-}Solar and
J{\'{e}}r{\^{o}}me Darmont and
Alejandro Adorjan and
Javier{-}Alfonso Espinosa{-}Oviedo and
Carmem S. Hara and
Sabine Loudcher and
Regina Motz and
Martin A. Musicante and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini},
editor = {Themis Palpanas and
H. V. Jagadish},
title = {Dataversifying Earth Sciences: Pioneering a Data Lake Architecture
for Curated Data-Centric Experiments in Life and Earth Sciences},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2024 Joint Conference
co-located with the {EDBT/ICDT} 2024 Joint Conference, Paestum, Italy,
March 25, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3651},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3651/DARLI-AP-13.pdf},
timestamp = {Wed, 03 Apr 2024 17:09:53 +0200},
biburl = {https://dblp.org/rec/conf/edbt/Vargas-SolarDAE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-20063,
author = {Genoveva Vargas{-}Solar and
J{\'{e}}r{\^{o}}me Darmont and
Alejandro Adorjan and
Javier A. Espinosa{-}Oviedo and
Carmem S. Hara and
Sabine Loudcher and
Regina Motz and
Martin A. Musicante and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini},
title = {Dataversifying Natural Sciences: Pioneering a Data Lake Architecture
for Curated Data-Centric Experiments in Life {\textbackslash}{\&}
Earth Sciences},
journal = {CoRR},
volume = {abs/2403.20063},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.20063},
doi = {10.48550/ARXIV.2403.20063},
eprinttype = {arXiv},
eprint = {2403.20063},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-20063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NetoMVM22,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
title = {A two-level formal model for Big Data processing programs},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102764},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102764},
doi = {10.1016/J.SCICO.2021.102764},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NetoMVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/NetoMVM22,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
title = {TRANSMUT-Spark: Transformation mutation for Apache Spark},
journal = {Softw. Test. Verification Reliab.},
volume = {32},
number = {8},
year = {2022},
url = {https://doi.org/10.1002/stvr.1809},
doi = {10.1002/STVR.1809},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/NetoMVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/MedeirosMC22,
author = {Ciro M. Medeiros and
Martin A. Musicante and
Umberto Souza da Costa},
title = {Querying graph databases using context-free grammars},
journal = {J. Comput. Lang.},
volume = {68},
pages = {101089},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2021.101089},
doi = {10.1016/J.COLA.2021.101089},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/MedeirosMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/CostaEMVZ22,
author = {Umberto Souza da Costa and
Javier{-}Alfonso Espinosa{-}Oviedo and
Martin A. Musicante and
Genoveva Vargas{-}Solar and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini},
editor = {Silvia Chiusano and
Tania Cerquitelli and
Robert Wrembel and
Kjetil N{\o}rv{\aa}g and
Barbara Catania and
Genoveva Vargas{-}Solar and
Ester Zumpano},
title = {Using Provenance in Data Analytics for Seismology: Challenges and
Directions},
booktitle = {New Trends in Database and Information Systems - {ADBIS} 2022 Short
Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD,
MegaData, SWODCH, Turin, Italy, September 5-8, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1652},
pages = {311--322},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15743-1\_29},
doi = {10.1007/978-3-031-15743-1\_29},
timestamp = {Thu, 01 Sep 2022 16:44:18 +0200},
biburl = {https://dblp.org/rec/conf/adbis/CostaEMVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02384,
author = {Aderson Farias do Nascimento and
Martin A. Musicante and
Umberto Souza da Costa and
Bruno M. Carvalho and
Marcus Alexandre Nunes and
Genoveva Vargas{-}Solar},
title = {Data Centred Intelligent Geosciences: Research Agenda and Opportunities,
Position Paper},
journal = {CoRR},
volume = {abs/2209.02384},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02384},
doi = {10.48550/ARXIV.2209.02384},
eprinttype = {arXiv},
eprint = {2209.02384},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CarreroMSH21,
author = {Marcos Aur{\'{e}}lio Carrero and
Martin A. Musicante and
Aldri Luiz dos Santos and
Carmem S. Hara},
title = {A {DSL} for {WSN} software components coordination},
journal = {Inf. Syst.},
volume = {98},
pages = {101461},
year = {2021},
url = {https://doi.org/10.1016/j.is.2019.101461},
doi = {10.1016/J.IS.2019.101461},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/CarreroMSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MedeirosCM21,
author = {Ciro M. Medeiros and
Umberto Souza da Costa and
Martin A. Musicante},
editor = {Ladjel Bellatreche and
Marlon Dumas and
Panagiotis Karras and
Raimundas Matulevicius and
Ahmed Awad and
Matthias Weidlich and
Mirjana Ivanovic and
Olaf Hartig},
title = {Standard Matching-Choice Expressions for Defining Path Queries in
Graph Databases},
booktitle = {New Trends in Database and Information Systems - {ADBIS} 2021 Short
Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD,
MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1450},
pages = {97--108},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85082-1\_9},
doi = {10.1007/978-3-030-85082-1\_9},
timestamp = {Fri, 26 May 2023 07:40:33 +0200},
biburl = {https://dblp.org/rec/conf/adbis/MedeirosCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MedeirosMF21,
author = {Ciro M. Medeiros and
Martin A. Musicante and
M{\'{\i}}rian Halfeld Ferrari},
editor = {Ladjel Bellatreche and
Marlon Dumas and
Panagiotis Karras and
Raimundas Matulevicius and
Ahmed Awad and
Matthias Weidlich and
Mirjana Ivanovic and
Olaf Hartig},
title = {The Formal-Language-Constrained Graph Minimization Problem},
booktitle = {New Trends in Database and Information Systems - {ADBIS} 2021 Short
Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD,
MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1450},
pages = {139--145},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85082-1\_13},
doi = {10.1007/978-3-030-85082-1\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/MedeirosMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/NascimentoMCCNV21,
author = {Aderson Farias do Nascimento and
Martin A. Musicante and
Umberto Souza da Costa and
Bruno M. Carvalho and
Marcus Alexandre Nunes and
Genoveva Vargas{-}Solar},
editor = {Hakim Hacid and
Monther Aldwairi and
Mohamed Reda Bouadjenek and
Marinella Petrocchi and
Noura Faci and
Fatma Outay and
Amin Beheshti and
Lauritz Thamsen and
Hai Dong},
title = {Data Centred Intelligent Geosciences: Research Agenda and Opportunities
Position Paper},
booktitle = {Service-Oriented Computing - {ICSOC} 2021 Workshops - AIOps, STRAPS,
{AI-PA} and Satellite Events, Dubai, United Arab Emirates, November
22-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13236},
pages = {244--251},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-14135-5\_20},
doi = {10.1007/978-3-031-14135-5\_20},
timestamp = {Fri, 26 Aug 2022 16:30:21 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/NascimentoMCCNV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02582,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
title = {An Abstract View of Big Data Processing Programs},
journal = {CoRR},
volume = {abs/2108.02582},
year = {2021},
url = {https://arxiv.org/abs/2108.02582},
eprinttype = {arXiv},
eprint = {2108.02582},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02589,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
title = {{TRANSMUT-SPARK:} Transformation Mutation for Apache Spark},
journal = {CoRR},
volume = {abs/2108.02589},
year = {2021},
url = {https://arxiv.org/abs/2108.02589},
eprinttype = {arXiv},
eprint = {2108.02589},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwgs/ToledoCMV20,
author = {Rafael Ferreira Toledo and
Umberto Souza da Costa and
Martin A. Musicante and
Genoveva Vargas{-}Solar},
title = {Self-healing of web service compositions: a specification rewriting
approach},
journal = {Int. J. Web Grid Serv.},
volume = {16},
number = {2},
pages = {172--199},
year = {2020},
url = {https://doi.org/10.1504/IJWGS.2020.107923},
doi = {10.1504/IJWGS.2020.107923},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwgs/ToledoCMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MedeirosCGM20,
author = {Ciro M. Medeiros and
Umberto Souza da Costa and
Semyon V. Grigorev and
Martin A. Musicante},
editor = {Ladjel Bellatreche and
M{\'{a}}ria Bielikov{\'{a}} and
Omar Boussa{\"{\i}}d and
Barbara Catania and
J{\'{e}}r{\^{o}}me Darmont and
Elena Demidova and
Fabien Duchateau and
Mark M. Hall and
Tanja Mercun and
Boris Novikov and
Christos Papatheodorou and
Thomas Risse and
Oscar Romero and
Lucile Sautot and
Guilaine Talens and
Robert Wrembel and
Maja Zumer},
title = {Recursive Expressions for {SPARQL} Property Paths},
booktitle = {ADBIS, {TPDL} and {EDA} 2020 Common Workshops and Doctoral Consortium
- International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience
2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1260},
pages = {72--84},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55814-7\_6},
doi = {10.1007/978-3-030-55814-7\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/MedeirosCGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/NetoMVM20,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin Alejandro Musicante},
editor = {Schahram Dustdar and
Eric Yu and
Camille Salinesi and
Dominique Rieu and
Vik Pant},
title = {Mutation Operators for Large Scale Data Processing Programs in Spark},
booktitle = {Advanced Information Systems Engineering - 32nd International Conference,
CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12127},
pages = {482--497},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49435-3\_30},
doi = {10.1007/978-3-030-49435-3\_30},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/NetoMVM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/MedeirosMC20,
author = {Ciro M. Medeiros and
Martin A. Musicante and
Umberto Souza da Costa},
editor = {Everton Cavalcante and
Francisco Dantas and
Tha{\'{\i}}s Batista},
title = {An Algorithm for Context-Free Path Queries over Graph Databases},
booktitle = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
Rio Grande do Norte, Brazil, October 19-23, 2020},
pages = {40--47},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427081.3427087},
doi = {10.1145/3427081.3427087},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/MedeirosMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NetoMVM20,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Modeling Big Data Processing Programs},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {101--118},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_7},
doi = {10.1007/978-3-030-63882-5\_7},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/NetoMVM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-03477,
author = {Ciro M. Medeiros and
Martin A. Musicante and
Umberto Souza da Costa},
title = {An Algorithm for Context-Free Path Queries over Graph Databases},
journal = {CoRR},
volume = {abs/2004.03477},
year = {2020},
url = {https://arxiv.org/abs/2004.03477},
eprinttype = {arXiv},
eprint = {2004.03477},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-03477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/MedeirosMC19,
author = {Ciro M. Medeiros and
Martin A. Musicante and
Umberto Souza da Costa},
title = {LL-based query answering over {RDF} databases},
journal = {J. Comput. Lang.},
volume = {51},
pages = {75--87},
year = {2019},
url = {https://doi.org/10.1016/j.cola.2019.02.002},
doi = {10.1016/J.COLA.2019.02.002},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/MedeirosMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbbd/OrdakowskiCMSH19,
author = {Alexandre R. Ordakowski and
Marcos Aur{\'{e}}lio Carrero and
Martin A. Musicante and
Aldri L. dos Santos and
Carmem S. Hara},
title = {Desenvolvimento de Modelos de Armazenamento em Sensores com Reutiliza{\c{c}}{\~{a}}o
de C{\'{o}}digo},
booktitle = {Proceedings of the 34th Brazilian Symposium on Databases, {SBBD} 2019,
Fortaleza, CE, Brazil, October 7-10, 2019},
pages = {247--252},
publisher = {{SBC}},
year = {2019},
url = {https://doi.org/10.5753/sbbd.2019.8831},
doi = {10.5753/SBBD.2019.8831},
timestamp = {Wed, 25 Oct 2023 14:04:33 +0200},
biburl = {https://dblp.org/rec/conf/sbbd/OrdakowskiCMSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/OliveiraMDM19,
author = {Diego de Azevedo Oliveira and
Val{\'{e}}rio Medeiros Jr. and
David D{\'{e}}harbe and
Martin A. Musicante},
editor = {Dirk Beyer and
Chantal Keller},
title = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
Models},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {83--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_6},
doi = {10.1007/978-3-030-31157-5\_6},
timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/OliveiraMDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/NetoMM18,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Martin A. Musicante},
title = {Semantic Web Services testing: {A} Systematic Mapping study},
journal = {Comput. Sci. Rev.},
volume = {28},
pages = {140--156},
year = {2018},
url = {https://doi.org/10.1016/j.cosrev.2018.03.002},
doi = {10.1016/J.COSREV.2018.03.002},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/NetoMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwgs/BelhajjameCEMCN18,
author = {Khalid Belhajjame and
Valeria de Castro and
Javier{-}Alfonso Espinosa{-}Oviedo and
Martin A. Musicante and
Umberto Souza da Costa and
Pl{\'{a}}cido A. Souza Neto and
Genoveva Vargas{-}Solar and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini},
title = {{\(\pi\)}SOD-M: building {SOC} applications in the presence of non-functional
requirements},
journal = {Int. J. Web Grid Serv.},
volume = {14},
number = {4},
pages = {400--431},
year = {2018},
url = {https://doi.org/10.1504/IJWGS.2018.10016851},
doi = {10.1504/IJWGS.2018.10016851},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwgs/BelhajjameCEMCN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/SantosCM18,
author = {Fred C. Santos and
Umberto Souza da Costa and
Martin A. Musicante},
editor = {Tommi Mikkonen and
Ralf Klamma and
Juan Hern{\'{a}}ndez},
title = {A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph
Databases},
booktitle = {Web Engineering - 18th International Conference, {ICWE} 2018, C{\'{a}}ceres,
Spain, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10845},
pages = {225--233},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91662-0\_17},
doi = {10.1007/978-3-319-91662-0\_17},
timestamp = {Tue, 29 Dec 2020 18:35:24 +0100},
biburl = {https://dblp.org/rec/conf/icwe/SantosCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MedeirosMC18,
author = {Ciro M. Medeiros and
Martin A. Musicante and
Umberto Souza da Costa},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Efficient evaluation of context-free path queries for graph databases},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1230--1237},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167265},
doi = {10.1145/3167132.3167265},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/MedeirosMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/CarreroMSH18,
author = {Marcos Aur{\'{e}}lio Carrero and
Martin A. Musicante and
Aldri Luiz dos Santos and
Carmem S. Hara},
editor = {Jonice Oliveira and
Claudio M. de Farias and
Esther Pacitti and
Giancarlo Fortino},
title = {{SLEDS:} {A} {DSL} for Data-Centric Storage on Wireless Sensor Networks},
booktitle = {Big Social Data and Urban Computing - First Workshop, BiDU@VLDB 2018,
Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {926},
pages = {74--89},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11238-7\_5},
doi = {10.1007/978-3-030-11238-7\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vldb/CarreroMSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MotzVCEMZP17,
author = {Regina Motz and
Genoveva Vargas{-}Solar and
Umberto Souza da Costa and
Javier{-}Alfonso Espinosa{-}Oviedo and
Martin A. Musicante and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini and
Alberto Pardo},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Automating systematic mappings, adding quality to quantity: poster},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {167--168},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.111},
doi = {10.1109/ICSE-C.2017.111},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MotzVCEMZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/DOrazioAHKM17,
author = {Laurent DOrazio and
Mirian Halfeld Ferrari Alves and
Carmem Satie Hara and
N{\'{a}}dia P. Kozievitch and
Martin A. Musicante},
editor = {Yulei Wu and
Geyong Min and
Nektarios Georgalas and
Ahmed Al{-}Dubi and
Xiaolong Jin and
Laurence T. Yang and
Jianhua Ma and
Po Yang},
title = {Graph Constraints in Urban Computing: Dealing with Conditions in Processing
Urban Data},
booktitle = {2017 {IEEE} International Conference on Internet of Things (iThings)
and {IEEE} Green Computing and Communications (GreenCom) and {IEEE}
Cyber, Physical and Social Computing (CPSCom) and {IEEE} Smart Data
(SmartData), Exeter, United Kingdom, June 21-23, 2017},
pages = {1118--1124},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.171},
doi = {10.1109/ITHINGS-GREENCOM-CPSCOM-SMARTDATA.2017.171},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/ithings/DOrazioAHKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/CarreroMSH17,
author = {Marcos Aur{\'{e}}lio Carrero and
Martin Alejandro Musicante and
Aldri Luiz dos Santos and
Carmem Satie Hara},
editor = {Stephan Olariu and
Habib Ammari},
title = {A Reusable Component-Based Model for {WSN} Storage Simulation},
booktitle = {Proceedings of the 13th {ACM} Symposium on QoS and Security for Wireless
and Mobile Networks, Q2SWinet@MSWiM 2017, Miami, FL, USA, November
21 - 25, 2017},
pages = {31--38},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132114.3132118},
doi = {10.1145/3132114.3132118},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mswim/CarreroMSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwgs/BaCCAMR16,
author = {Cheikh Ba and
Thiago Cerqueira and
Umberto Souza da Costa and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante and
Sophie Robert},
title = {Experiments on service composition refinement on the basis of preference-driven
recommendation},
journal = {Int. J. Web Grid Serv.},
volume = {12},
number = {2},
pages = {182--214},
year = {2016},
url = {https://doi.org/10.1504/IJWGS.2016.076620},
doi = {10.1504/IJWGS.2016.076620},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwgs/BaCCAMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/NetoVCM16,
author = {Pl{\'{a}}cido A. Souza Neto and
Genoveva Vargas{-}Solar and
Umberto Souza da Costa and
Martin A. Musicante},
title = {Designing service-based applications in the presence of non-functional
properties: {A} mapping study},
journal = {Inf. Softw. Technol.},
volume = {69},
pages = {84--105},
year = {2016},
url = {https://doi.org/10.1016/j.infsof.2015.09.004},
doi = {10.1016/J.INFSOF.2015.09.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/NetoVCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rita/SantosMA16,
author = {Simone de Oliveira Santos and
Martin A. Musicante and
Mirian Halfeld Ferrari Alves},
title = {Linguagens de consulta para bases de dados em grafos: um mapeamento
sistem{\'{a}}tico},
journal = {{RITA}},
volume = {23},
number = {1},
pages = {10--68},
year = {2016},
url = {https://doi.org/10.22456/2175-2745.54043},
doi = {10.22456/2175-2745.54043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rita/SantosMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/LealM15,
author = {Fabio Leal and
Martin A. Musicante},
title = {Using {SLA} to guide database transition to NoSQL on the cloud: {A}
systematic mapping study},
booktitle = {12th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2015, Marrakech, Morocco, November 17-20, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/AICCSA.2015.7507130},
doi = {10.1109/AICCSA.2015.7507130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/LealM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/MacedoCMPC15,
author = {M{\'{a}}rcio A. Mac{\^{e}}do and
Daniel A. S. Carvalho and
Martin A. Musicante and
Alberto Pardo and
Umberto Souza da Costa},
title = {An abstract machine for integrating heterogeneous web applications},
booktitle = {12th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2015, Marrakech, Morocco, November 17-20, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/AICCSA.2015.7507161},
doi = {10.1109/AICCSA.2015.7507161},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/MacedoCMPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BennaniGVM15,
author = {Nadia Bennani and
Chirine Ghedira Guegan and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Towards a Secure Database Integration Using {SLA} in a Multi-cloud
Context},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {4--9},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.213},
doi = {10.1109/COMPSAC.2015.213},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/BennaniGVM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/polibits/Vargas-SolarCNE14,
author = {Genoveva Vargas{-}Solar and
Valeria de Castro and
Pl{\'{a}}cido A. Souza Neto and
Javier{-}Alfonso Espinosa{-}Oviedo and
Esperanza Marcos and
Martin A. Musicante and
Jos{\'{e}}{-}Luis Zechinelli{-}Martini and
Christine Collet},
title = {Reliable Web Services Composition: An {MDD} Approach},
journal = {Polibits},
volume = {49},
pages = {17--27},
year = {2014},
url = {https://doi.org/10.17562/pb-49-2},
doi = {10.17562/PB-49-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/polibits/Vargas-SolarCNE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/BennaniGMV14,
author = {Nadia Bennani and
Chirine Ghedira Guegan and
Martin A. Musicante and
Genoveva Vargas{-}Solar},
title = {SLA-Guided Data Integration on Cloud Environments},
booktitle = {2014 {IEEE} 7th International Conference on Cloud Computing, Anchorage,
AK, USA, June 27 - July 2, 2014},
pages = {934--935},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CLOUD.2014.130},
doi = {10.1109/CLOUD.2014.130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/BennaniGMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/BaCFFMPR14,
author = {Cheikh Ba and
Umberto Souza da Costa and
M{\'{\i}}rian Halfeld Ferrari and
R{\'{e}}my Ferr{\'{e}} and
Martin A. Musicante and
Ver{\'{o}}nika Peralta and
Sophie Robert},
editor = {Markus Helfert and
Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Frank Leymann and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {Preference-driven Refinement of Service Compositions},
booktitle = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
2014},
pages = {268--275},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004851202680275},
doi = {10.5220/0004851202680275},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/closer/BaCFFMPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CastroMCNV14,
author = {Valeria de Castro and
Martin A. Musicante and
Umberto Souza da Costa and
Pl{\'{a}}cido A. Souza Neto and
Genoveva Vargas{-}Solar},
editor = {Viliam Geffert and
Bart Preneel and
Branislav Rovan and
Julius Stuller and
A Min Tjoa},
title = {Supporting Non-functional Requirements in Services Software Development
Process: An {MDD} Approach},
booktitle = {{SOFSEM} 2014: Theory and Practice of Computer Science - 40th International
Conference on Current Trends in Theory and Practice of Computer Science,
Nov{\'{y}} Smokovec, Slovakia, January 26-29, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8327},
pages = {199--210},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04298-5\_18},
doi = {10.1007/978-3-319-04298-5\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/CastroMCNV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/ChabinAMR13,
author = {Jacques Chabin and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante and
Pierre R{\'{e}}ty},
title = {Conservative Type Extensions for {XML} Data},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {9},
pages = {65--94},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40069-8\_4},
doi = {10.1007/978-3-642-40069-8\_4},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlsdkcs/ChabinAMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/CostaAMR13,
author = {Umberto Souza da Costa and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante and
Sophie Robert},
editor = {Florian Daniel and
Peter Dolog and
Qing Li},
title = {Automatic Refinement of Service Compositions},
booktitle = {Web Engineering - 13th International Conference, {ICWE} 2013, Aalborg,
Denmark, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7977},
pages = {400--407},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39200-9\_33},
doi = {10.1007/978-3-642-39200-9\_33},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/CostaAMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HahnMPM13,
author = {Marcelo Guerra Hahn and
Regina Motz and
Alberto Pardo and
Martin A. Musicante},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Formal semantics and expressiveness of a web service composition language},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1667--1673},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480676},
doi = {10.1145/2480362.2480676},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HahnMPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/SilvaPVM12,
author = {Julio Cesar Teodoro Silva and
Aurora Trinidad Ramirez Pozo and
Silvia Regina Vergilio and
Martin A. Musicante},
title = {Search-Based Evolution of {XML} Schemas},
journal = {Comput. Informatics},
volume = {31},
number = {3},
pages = {573},
year = {2012},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/1009},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/SilvaPVM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CostaMMN12,
author = {Umberto Souza da Costa and
Anamaria Martins Moreira and
Martin A. Musicante and
Pl{\'{a}}cido A. Souza Neto},
title = {{JCML:} {A} specification language for the runtime verification of
Java Card programs},
journal = {Sci. Comput. Program.},
volume = {77},
number = {4},
pages = {533--550},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.03.003},
doi = {10.1016/J.SCICO.2010.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CostaMMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/BaFM11,
author = {Cheikh Ba and
M{\'{\i}}rian Halfeld Ferrari and
Martin A. Musicante},
editor = {Walter Binder and
Heiko Schuldt},
title = {{PEWS} platform: a web services composition environment},
booktitle = {Proceedings of the 6th Workshop on Emerging Web Services Technology,
{WEWST} 2011, Lugano, Switzerland, September 14, 2011},
pages = {1--8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2031325.2031326},
doi = {10.1145/2031325.2031326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/BaFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChabinAMR10,
author = {Jacques Chabin and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante and
Pierre R{\'{e}}ty},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Minimal Tree Language Extensions: {A} Keystone of {XML} Type Compatibility
and Evolution},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {60--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_5},
doi = {10.1007/978-3-642-14808-8\_5},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ChabinAMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MaidlCM09,
author = {Andr{\'{e}} Murbach Maidl and
Cl{\'{a}}udio Carvilhe and
Martin A. Musicante},
editor = {Jens Palsberg},
title = {An Implementation of Object-Oriented Action Semantics in Maude},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {81--105},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_5},
doi = {10.1007/978-3-642-04164-8\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MaidlCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/DuarteMF08,
author = {Elias Proc{\'{o}}pio Duarte Jr. and
Martin A. Musicante and
Henrique Denes H. Fernandes},
title = {{ANEMONA:} a programming language for network monitoring applications},
journal = {Int. J. Netw. Manag.},
volume = {18},
number = {4},
pages = {295--302},
year = {2008},
url = {https://doi.org/10.1002/nem.655},
doi = {10.1002/NEM.655},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijnm/DuarteMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MusicantePC08,
author = {Martin A. Musicante and
Edinardo Potrich and
Marcos Aur{\'{e}}lio Carrero},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {A programming environment for web services},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {2363--2367},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1364249},
doi = {10.1145/1363686.1364249},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/MusicantePC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaMMN09,
author = {Umberto Souza da Costa and
Anamaria Martins Moreira and
Martin A. Musicante and
Pl{\'{a}}cido A. Souza Neto},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Specification and Runtime Verification of Java Card Programs},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {61--78},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.045},
doi = {10.1016/J.ENTCS.2009.05.045},
timestamp = {Thu, 09 Mar 2023 13:31:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaMMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/BouchouCFLLM07,
author = {B{\'{e}}atrice Bouchou and
Ahmed Cheriat and
M{\'{\i}}rian Halfeld Ferrari and
Dominique Laurent and
Maria Adriana Lima and
Martin A. Musicante},
title = {Efficient Constraint Validation for Updated {XML} Database},
journal = {Informatica (Slovenia)},
volume = {31},
number = {3},
pages = {285--309},
year = {2007},
url = {http://www.informatica.si/index.php/informatica/article/view/151},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/informaticaSI/BouchouCFLLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/LuzAM07,
author = {Robson da Luz and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante},
title = {Regular expression transformations to extend regular languages (with
application to a Datalog {XML} schema validator)},
journal = {J. Algorithms},
volume = {62},
number = {3-4},
pages = {148--167},
year = {2007},
url = {https://doi.org/10.1016/j.jalgor.2007.04.004},
doi = {10.1016/J.JALGOR.2007.04.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/LuzAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BigonhaM07,
author = {Roberto da Silva Bigonha and
Martin A. Musicante},
title = {Selected Papers from {SBLP} 2007: The 11th Brazilian Symposium on
Programming Languages},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {6},
pages = {679--681},
year = {2007},
url = {http://www.jucs.org/jucs\_13\_6/sblp\_2007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BigonhaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MaidlCM07,
author = {Andr{\'{e}} Murbach Maidl and
Cl{\'{a}}udio Carvilhe and
Martin A. Musicante},
title = {Using Visitor Patterns in Object-Oriented Action Semantics},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {6},
pages = {891--919},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-06-0891},
doi = {10.3217/JUCS-013-06-0891},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MaidlCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SilvaMPV07,
author = {Julio C. T. da Silva and
Martin A. Musicante and
Aurora Trinidad Ramirez Pozo and
Silvia Regina Vergilio},
title = {{XML} Schema Evolution by Context Free Grammar Inference},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {444},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/SilvaMPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaidlCM08,
author = {Andr{\'{e}} Murbach Maidl and
Cl{\'{a}}udio Carvilhe and
Martin A. Musicante},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Maude Object-Oriented Action Tool},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {105--121},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.068},
doi = {10.1016/J.ENTCS.2008.03.068},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaidlCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MusicanteP06,
author = {Martin A. Musicante and
Edinardo Potrich},
title = {Expressing Workflow Patterns for Web Services: The Case of {PEWS}},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {7},
pages = {903--921},
year = {2006},
url = {http://www.jucs.org/jucs\_12\_7/expressing\_workflow\_patterns\_for},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MusicanteP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/BaAM06,
author = {Cheikh Ba and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante},
title = {Composing Web Services with {PEWS:} {A} Trace-Theoretical Approach},
booktitle = {Fourth {IEEE} European Conference on Web Services {(ECOWS} 2006),
4-6 December 2006, Z{\"{u}}rich, Switzerland},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECOWS.2006.12},
doi = {10.1109/ECOWS.2006.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/BaAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MusicanteL05,
author = {Martin A. Musicante and
Ricardo Massa Ferreira Lima},
title = {The 9\({}_{\mbox{th}}\) Brazilian Symposium on Programming Languages
{J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1115--1116},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_7/sblp\_2005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MusicanteL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BaCAM05,
author = {Cheikh Ba and
Marcos Aur{\'{e}}lio Carrero and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante},
title = {{PEWS:} {A} New Language for Building Web Service Interfaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1215--1233},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1215},
doi = {10.3217/JUCS-011-07-1215},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BaCAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/DuarteMF04,
author = {Elias P. Duarte Jr. and
Martin A. Musicante and
Di{\'{o}}genes Cogo Furlan},
title = {Formal specification of SNMPv3 entities using action semantics},
journal = {Int. J. Netw. Manag.},
volume = {14},
number = {5},
pages = {295--303},
year = {2004},
url = {http://doi.acm.org/10.1145/1024511.1024513},
doi = {10.1145/1024511.1024513},
timestamp = {Mon, 24 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnm/DuarteMF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BouchouDALM04,
author = {B{\'{e}}atrice Bouchou and
Denio Duarte and
Mirian Halfeld Ferrari Alves and
Dominique Laurent and
Martin A. Musicante},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Schema Evolution for {XML:} {A} Consistency-Preserving Approach},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {876--888},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_69},
doi = {10.1007/978-3-540-28629-5\_69},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BouchouDALM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/AraujoM04,
author = {Marcelo Ara{\'{u}}jo and
Martin A. Musicante},
title = {{LFL:} {A} Library of Generic Classes for Object-Oriented Action Semantics},
booktitle = {{XXIV} International Conference of the Chilean Computer Science Society
{(SCCC} 2004), 11-12 November 2004, Arica, Chile},
pages = {39--47},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.13},
doi = {10.1109/QEST.2004.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/AraujoM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/BouchouDALM04,
author = {B{\'{e}}atrice Bouchou and
Denio Duarte and
Mirian Halfeld Ferrari Alves and
Dominique Laurent and
Martin A. Musicante},
title = {Conservative Extensions of Regular Languages},
booktitle = {{XXIV} International Conference of the Chilean Computer Science Society
{(SCCC} 2004), 11-12 November 2004, Arica, Chile},
pages = {99--109},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.7},
doi = {10.1109/QEST.2004.7},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sccc/BouchouDALM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsym/AbraoBALM04,
author = {Maria Adriana Abr{\~{a}}o and
B{\'{e}}atrice Bouchou and
Mirian Halfeld Ferrari Alves and
Dominique Laurent and
Martin A. Musicante},
editor = {Zohra Bellahsene and
Tova Milo and
Michael Rys and
Dan Suciu and
Rainer Unland},
title = {Incremental Constraint Checking for {XML} Documents},
booktitle = {Database and {XML} Technologies, Second International {XML} Database
Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3186},
pages = {112--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30081-6\_9},
doi = {10.1007/978-3-540-30081-6\_9},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xsym/AbraoBALM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CarvilheM03,
author = {Cl{\'{a}}udio Carvilhe and
Martin A. Musicante},
title = {Object-Oriented Action Semantics Specifications},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {8},
pages = {910--934},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_8/object\_oriented\_action\_semantics},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CarvilheM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanoms/FernandesMD03,
author = {Henrique Denes H. Fernandes and
Martin A. Musicante and
Elias Proc{\'{o}}pio Duarte Jr.},
editor = {Elias Proc{\'{o}}pio Duarte Jr. and
Edmundo R. M. Madeira},
title = {{ANEMONA:} {A} language for programming NEtwork MONitoring Applications},
booktitle = {3rd Latin American Network Operations and Management Symposium, {LANOMS}
2003, Iguassu Falls, Brazil, September 4-6, 2003. Proceedings},
pages = {157--164},
publisher = {Federal University of Parana},
year = {2003},
url = {http://www.lanoms.org/2005/anaiscd/2003/5-3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanoms/FernandesMD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/BouchouHM03,
author = {B{\'{e}}atrice Bouchou and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante},
editor = {Vassilis Christophides and
Juliana Freire},
title = {Tree Automata to Verify {XML} Key Constraints},
booktitle = {International Workshop on Web and Databases, San Diego, California,
USA, June 12-13, 2003},
pages = {37--42},
year = {2003},
url = {http://www.cse.ogi.edu/webdb03/papers/07.pdf},
timestamp = {Thu, 21 Jun 2018 07:45:47 +0200},
biburl = {https://dblp.org/rec/conf/webdb/BouchouHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/KrauseNM01,
author = {D{\'{e}}cio Krause and
Emerson Faria Nobre and
Martin A. Musicante},
title = {Bibel's Matrix Connection Method in Paraconsistent Logic: General
Concepts and Implementation},
booktitle = {21st International Conference of the Chilean Computer Science Society
{(SCCC} 2001), 6-8 November 2001, Punta Arenas, Chile},
pages = {161--167},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/SCCC.2001.972644},
doi = {10.1109/SCCC.2001.972644},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/KrauseNM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/DuarteM99,
author = {Elias Proc{\'{o}}pio Duarte Jr. and
Martin A. Musicante},
editor = {Morris Sloman and
Subrata Mazumdar and
Emil C. Lupu},
title = {Formal Specification of {SNMP} MIB's Using Action Semantics: The Routing
Proxy Case Study},
booktitle = {1999 {IEEE/IFIP} International Symposium on Integrated Network Management,
{IM} 1999, Boston, USA, May 24-28, 1999. Proceedings},
pages = {417--430},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/INM.1999.770698},
doi = {10.1109/INM.1999.770698},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/im/DuarteM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MossesM94,
author = {Peter D. Mosses and
Martin A. Musicante},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {An Action Semantics for {ML} Concurrency Primitives},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {461--479},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_110},
doi = {10.1007/3-540-58555-9\_110},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/MossesM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MusicanteL91,
author = {Martin A. Musicante and
Rafael Dueire Lins},
title = {{GM-C:} {A} graph multi-combinator machine},
journal = {Microprocessing and Microprogramming},
volume = {31},
number = {1-5},
pages = {81--84},
year = {1991},
url = {https://doi.org/10.1016/S0165-6074(08)80048-8},
doi = {10.1016/S0165-6074(08)80048-8},
timestamp = {Mon, 15 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MusicanteL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/MeiraMS91,
author = {Silvio Romero de Lemos Meira and
Martin A. Musicante and
Andr{\'{e}} Santos},
editor = {Roberto da Silva Bigonha},
title = {O Projeto e Implementa{\c{c}}{\~{a}}o da Linguagem {A}},
booktitle = {Proceedings of the 5th Brazilian Symposium on Software Engineering,
{SBES} 1991, Ouro Preto, MG, Brazil, October 23-25, 1991},
pages = {237--256},
publisher = {{SBC}},
year = {1991},
url = {https://doi.org/10.5753/sbes.1991.24270},
doi = {10.5753/SBES.1991.24270},
timestamp = {Wed, 10 Jan 2024 10:59:29 +0100},
biburl = {https://dblp.org/rec/conf/sbes/MeiraMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-05-08 21:41 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:
