Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Luís Soares Barbosa
@article{DBLP:journals/quantum/GuimaraesVB24, author = {Jos{\'{e}} Diogo Guimar{\~{a}}es and Mikhail I. Vasilevskiy and Lu{\'{\i}}s Soares Barbosa}, title = {Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials}, journal = {Quantum}, volume = {8}, pages = {1242}, year = {2024}, url = {https://doi.org/10.22331/q-2024-02-05-1242}, doi = {10.22331/Q-2024-02-05-1242}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/quantum/GuimaraesVB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-08307, author = {Andr{\'{e}} Sequeira and Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Soares Barbosa}, title = {On Quantum Natural Policy Gradients}, journal = {CoRR}, volume = {abs/2401.08307}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.08307}, doi = {10.48550/ARXIV.2401.08307}, eprinttype = {arXiv}, eprint = {2401.08307}, timestamp = {Wed, 07 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-08307.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-qtc/RahmaniBP23, author = {Zeinab Rahmani and Lu{\'{\i}}s Soares Barbosa and Armando N. Pinto}, title = {Quantum privacy-preserving service for secure lane change in vehicular networks}, journal = {{IET} Quantum Commun.}, volume = {4}, number = {3}, pages = {103--111}, year = {2023}, url = {https://doi.org/10.1049/qtc2.12059}, doi = {10.1049/QTC2.12059}, timestamp = {Mon, 27 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iet-qtc/RahmaniBP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpr/SouthierCBTBT23, author = {Luiz Fernando Puttow Southier and Dalcimar Casanova and Lu{\'{\i}}s Soares Barbosa and Cesar Torrico and Marco A. C. Barbosa and Marcelo Teixeira}, title = {Modelling and control of manufacturing systems subject to context recognition and switching}, journal = {Int. J. Prod. Res.}, volume = {61}, number = {10}, pages = {3396--3414}, year = {2023}, url = {https://doi.org/10.1080/00207543.2022.2081631}, doi = {10.1080/00207543.2022.2081631}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijpr/SouthierCBTBT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/qmi/SequeiraSB23, author = {Andr{\'{e}} Sequeira and Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Soares Barbosa}, title = {Policy gradients using variational quantum circuits}, journal = {Quantum Mach. Intell.}, volume = {5}, number = {1}, pages = {1--15}, year = {2023}, url = {https://doi.org/10.1007/s42484-023-00101-8}, doi = {10.1007/S42484-023-00101-8}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/qmi/SequeiraSB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/CunhaMB23, author = {Juliana Cunha and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Hossein Hojjat and Erika {\'{A}}brah{\'{a}}m}, title = {Structured Specification of Paraconsistent Transition Systems}, booktitle = {Fundamentals of Software Engineering - 10th International Conference, {FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14155}, pages = {1--17}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-42441-0\_1}, doi = {10.1007/978-3-031-42441-0\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsen/CunhaMB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/BarbosaM23, author = {Lu{\'{\i}}s Soares Barbosa and Alexandre Madeira}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Capturing Qubit Decoherence through Paraconsistent Transition Systems}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {109--110}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594689}, doi = {10.1145/3594671.3594689}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/BarbosaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/CunhaMB23, author = {Juliana Cunha and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Cristina David and Meng Sun}, title = {Stepwise Development of Paraconsistent Processes}, booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium, {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13931}, pages = {327--343}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35257-7\_20}, doi = {10.1007/978-3-031-35257-7\_20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/CunhaMB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Barbosa22, author = {Lu{\'{\i}}s Soares Barbosa}, title = {Coalgebra for the working software engineer}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {41--92}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Barbosa22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/OliveiraPBH22, author = {Jos{\'{e}} Nuno Oliveira and Jorge Sousa Pinto and Lu{\'{\i}}s Soares Barbosa and Pedro Rangel Henriques}, title = {A tribute to Jos{\'{e}} Manuel Valen{\c{c}}a}, journal = {J. Log. Algebraic Methods Program.}, volume = {128}, pages = {100792}, year = {2022}, url = {https://doi.org/10.1016/j.jlamp.2022.100792}, doi = {10.1016/J.JLAMP.2022.100792}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/OliveiraPBH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/GomesMB22, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {Weighted synchronous automata}, journal = {Math. Struct. Comput. Sci.}, volume = {32}, number = {9}, pages = {1234--1253}, year = {2022}, url = {https://doi.org/10.1017/S0960129522000421}, doi = {10.1017/S0960129522000421}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/GomesMB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2303-13254, author = {Ana Cruz and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Daniele Nantes{-}Sobrinho and Pascal Fontaine}, title = {Paraconsistent Transition Systems}, booktitle = {Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022}, series = {{EPTCS}}, volume = {376}, pages = {3--15}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.376.3}, doi = {10.4204/EPTCS.376.3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-13254.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2204-06737, author = {Ana Cruz and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Andrzej Indrzejczak and Michal Zawidzki}, title = {A Logic for Paraconsistent Transition Systems}, booktitle = {Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, {NCL} 2022, {\L}{\'{o}}d{\'{z}}, Poland, 14-18 March 2022}, series = {{EPTCS}}, volume = {358}, pages = {270--284}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.358.20}, doi = {10.4204/EPTCS.358.20}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-06737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-10591, author = {Andr{\'{e}} Sequeira and Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Soares Barbosa}, title = {Variational Quantum Policy Gradients with an Application to Quantum Control}, journal = {CoRR}, volume = {abs/2203.10591}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.10591}, doi = {10.48550/ARXIV.2203.10591}, eprinttype = {arXiv}, eprint = {2203.10591}, timestamp = {Wed, 30 Mar 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-10591.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/SequeiraSB21, author = {Andr{\'{e}} Sequeira and Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Soares Barbosa}, title = {Quantum Tree-Based Planning}, journal = {{IEEE} Access}, volume = {9}, pages = {125416--125427}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3110652}, doi = {10.1109/ACCESS.2021.3110652}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/SequeiraSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soco/GomesMB21, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {A semantics and a logic for Fuzzy Arden Syntax}, journal = {Soft Comput.}, volume = {25}, number = {9}, pages = {6789--6805}, year = {2021}, url = {https://doi.org/10.1007/s00500-021-05593-9}, doi = {10.1007/S00500-021-05593-9}, timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soco/GomesMB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse-qse/SequeiraSB21, author = {Andr{\'{e}} Sequeira and Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Soares Barbosa}, title = {Generalised Quantum Tree Search}, booktitle = {2nd {IEEE/ACM} International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021}, pages = {39--40}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/Q-SE52541.2021.00015}, doi = {10.1109/Q-SE52541.2021.00015}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse-qse/SequeiraSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/JainGMB21, author = {Manisha Jain and Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {Towards a specification theory for fuzzy modal logic}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2021, Shanghai, China, August 25-27, 2021}, pages = {175--182}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TASE52547.2021.00031}, doi = {10.1109/TASE52547.2021.00031}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/JainGMB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/complexity/GuimaraesTBV20, author = {Jos{\'{e}} Diogo Guimar{\~{a}}es and Carlos Tavares and Lu{\'{\i}}s Soares Barbosa and Mikhail I. Vasilevskiy}, title = {Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer}, journal = {Complex.}, volume = {2020}, pages = {3510676:1--3510676:12}, year = {2020}, url = {https://doi.org/10.1155/2020/3510676}, doi = {10.1155/2020/3510676}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/complexity/GuimaraesTBV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/giq/JanssenBEBJ20, author = {Marijn Janssen and Paul Brous and Elsa Estevez and Lu{\'{\i}}s Soares Barbosa and Tomasz Janowski}, title = {Data governance: Organizing data for trustworthy Artificial Intelligence}, journal = {Gov. Inf. Q.}, volume = {37}, number = {3}, pages = {101493}, year = {2020}, url = {https://doi.org/10.1016/j.giq.2020.101493}, doi = {10.1016/J.GIQ.2020.101493}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/giq/JanssenBEBJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DantasJB20, author = {Allberson Bruno de Oliveira Dantas and Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, title = {A component-based framework for certification of components in a cloud of {HPC} services}, journal = {Sci. Comput. Program.}, volume = {191}, pages = {102379}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2019.102379}, doi = {10.1016/J.SCICO.2019.102379}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DantasJB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/Al-LawatiB20, author = {Ali Hussain Al{-}Lawati and Lu{\'{\i}}s Soares Barbosa}, editor = {Yannis Charalabidis and Maria Alexandra Cunha and Demetrios Sarantis}, title = {Towards a register-based census in Oman}, booktitle = {{ICEGOV} 2020: 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, 23-25 September, 2020}, pages = {823--826}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3428502.3428631}, doi = {10.1145/3428502.3428631}, timestamp = {Fri, 09 Apr 2021 16:58:30 +0200}, biburl = {https://dblp.org/rec/conf/icegov/Al-LawatiB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Barbosa20, author = {Lu{\'{\i}}s Soares Barbosa}, title = {Software engineering for 'quantum advantage'}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020}, pages = {427--429}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387940.3392184}, doi = {10.1145/3387940.3392184}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Barbosa20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dali/2019, editor = {Lu{\'{\i}}s Soares Barbosa and Alexandru Baltag}, title = {Dynamic Logic. New Trends and Applications - Second International Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12005}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-38808-9}, doi = {10.1007/978-3-030-38808-9}, isbn = {978-3-030-38807-2}, timestamp = {Thu, 16 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ttcs/2020, editor = {Lu{\'{\i}}s Soares Barbosa and Mohammad Ali Abam}, title = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12281}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-57852-7}, doi = {10.1007/978-3-030-57852-7}, isbn = {978-3-030-57851-0}, timestamp = {Mon, 31 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-02088, author = {Michael de Oliveira and Lu{\'{\i}}s Soares Barbosa}, title = {Quantum Bayesian decision-making}, journal = {CoRR}, volume = {abs/2010.02088}, year = {2020}, url = {https://arxiv.org/abs/2010.02088}, eprinttype = {arXiv}, eprint = {2010.02088}, timestamp = {Tue, 13 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-02088.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/GomesMB19, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {Generalising {KAT} to Verify Weighted Computations}, journal = {Sci. Ann. Comput. Sci.}, volume = {29}, number = {2}, pages = {141--184}, year = {2019}, url = {https://doi.org/10.7561/SACS.2019.2.141}, doi = {10.7561/SACS.2019.2.141}, timestamp = {Thu, 11 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cuza/GomesMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/SouthierMCBBT19, author = {Luiz Fernando Puttow Southier and Muriel Mazzetto and Dalcimar Casanova and Marco A. C. Barbosa and Lu{\'{\i}}s Soares Barbosa and Marcelo Teixeira}, title = {Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, pages = {370--377}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ETFA.2019.8869175}, doi = {10.1109/ETFA.2019.8869175}, timestamp = {Fri, 04 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/SouthierMCBBT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/CarvalhoB19, author = {Nuno Ramos Carvalho and Lu{\'{\i}}s Soares Barbosa}, editor = {Soumaya I. Ben Dhaou and Lemuria D. Carter and Mark A. Gregory}, title = {Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation}, booktitle = {{ICEGOV} 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019}, pages = {76--79}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326365.3326375}, doi = {10.1145/3326365.3326375}, timestamp = {Fri, 18 Feb 2022 09:01:58 +0100}, biburl = {https://dblp.org/rec/conf/icegov/CarvalhoB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/GomesMJB19, author = {Leandro Gomes and Alexandre Madeira and Manisha Jain and Lu{\'{\i}}s Soares Barbosa}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {On the Generation of Equational Dynamic Logics for Weighted Imperative Programs}, booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November 5-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11852}, pages = {154--169}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_10}, doi = {10.1007/978-3-030-32409-4\_10}, timestamp = {Thu, 11 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/GomesMJB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lsfa/GomesMB20, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Amy P. Felty and Jo{\~{a}}o Marcos}, title = {Introducing Synchrony in Fuzzy Automata}, booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, {LSFA} 2019, Natal, Brazil, August, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {348}, pages = {43--60}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.02.004}, doi = {10.1016/J.ENTCS.2020.02.004}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lsfa/GomesMB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01146, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {Generalising {KAT} to verify weighted computations}, journal = {CoRR}, volume = {abs/1911.01146}, year = {2019}, url = {http://arxiv.org/abs/1911.01146}, eprinttype = {arXiv}, eprint = {1911.01146}, timestamp = {Thu, 11 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01146.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/giq/CledouEB18, author = {Guillermina Cledou and Elsa Estevez and Lu{\'{\i}}s Soares Barbosa}, title = {A taxonomy for planning and designing smart mobility services}, journal = {Gov. Inf. Q.}, volume = {35}, number = {1}, pages = {61--76}, year = {2018}, url = {https://doi.org/10.1016/j.giq.2017.11.008}, doi = {10.1016/J.GIQ.2017.11.008}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/giq/CledouEB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MadeiraBHM18, author = {Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa and Rolf Hennicker and Manuel A. Martins}, title = {A logic for the stepwise development of reactive systems}, journal = {Theor. Comput. Sci.}, volume = {744}, pages = {78--96}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.03.004}, doi = {10.1016/J.TCS.2018.03.004}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MadeiraBHM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NevesB18, author = {Renato Neves and Lu{\'{\i}}s Soares Barbosa}, title = {Languages and models for hybrid automata: {A} coalgebraic perspective}, journal = {Theor. Comput. Sci.}, volume = {744}, pages = {113--142}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2017.09.038}, doi = {10.1016/J.TCS.2017.09.038}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NevesB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/FigueiredoMB18, author = {Daniel Figueiredo and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Jan Rutten}, title = {A Note on Reactive Transitions and Reo Connectors}, booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}, series = {Lecture Notes in Computer Science}, volume = {10865}, pages = {57--67}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-90089-6\_4}, doi = {10.1007/978-3-319-90089-6\_4}, timestamp = {Fri, 14 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/FigueiredoMB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/CarvalhoB18, author = {Nuno Ramos Carvalho and Lu{\'{\i}}s Soares Barbosa}, title = {Transforming Legal Documents for Visualization and Analysis}, booktitle = {Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2018, Galway, Ireland, April 04-06, 2018}, pages = {23--26}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209415.3209424}, doi = {10.1145/3209415.3209424}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icegov/CarvalhoB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/SantosBBMB18, author = {Lu{\'{\i}}s Paulo Santos and Lu{\'{\i}}s Nuno Barbosa and Diogo Aires Bessa and L{\'{u}}cia Pereira Martins and Lu{\'{\i}}s Soares Barbosa}, title = {Communities of Practice as a tool to support the {GCIO} function}, booktitle = {Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2018, Galway, Ireland, April 04-06, 2018}, pages = {118--126}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209415.3209507}, doi = {10.1145/3209415.3209507}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icegov/SantosBBMB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mlcsb/FigueiredoB18, author = {Daniel Figueiredo and Lu{\'{\i}}s Soares Barbosa}, editor = {Madalena Chaves and Manuel A. Martins}, title = {Reactive Models for Biological Regulatory Networks}, booktitle = {Molecular Logic and Computational Synthetic Biology - First International Symposium, {MLCSB} 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11415}, pages = {74--88}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-19432-1\_5}, doi = {10.1007/978-3-030-19432-1\_5}, timestamp = {Fri, 14 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mlcsb/FigueiredoB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ercim/BarbosaM18, author = {Lu{\'{\i}}s Soares Barbosa and Alexandre Madeira}, title = {A Research Agenda on Quantum Algoritmics}, journal = {{ERCIM} News}, volume = {2018}, number = {113}, year = {2018}, url = {https://ercim-news.ercim.eu/en113/r-i/a-research-agenda-on-quantum-algoritmics}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ercim/BarbosaM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/closer/DantasJB17, author = {Allberson Bruno de Oliveira Dantas and Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, editor = {Donald Ferguson and V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and Jorge Cardoso and Markus Helfert and Claus Pahl}, title = {A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for {HPC} Services}, booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017}, pages = {201--212}, publisher = {SciTePress}, year = {2017}, url = {https://doi.org/10.5220/0006306802010212}, doi = {10.5220/0006306802010212}, timestamp = {Thu, 03 Feb 2022 09:27:48 +0100}, biburl = {https://dblp.org/rec/conf/closer/DantasJB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/BarbosaS17, author = {Lu{\'{\i}}s Soares Barbosa and Lu{\'{\i}}s Paulo Santos}, editor = {Marijn Janssen and Karin Axelsson and Olivier Glassey and Bram Klievink and Robert Krimmer and Ida Lindgren and Peter Parycek and Hans Jochen Scholl and Dmitrii Trutnev}, title = {Networks of Universities as a Tool for {GCIO} Education}, booktitle = {Electronic Government - 16th {IFIP} {WG} 8.5 International Conference, {EGOV} 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10428}, pages = {117--127}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-64677-0\_10}, doi = {10.1007/978-3-319-64677-0\_10}, timestamp = {Fri, 08 Sep 2023 14:38:15 +0200}, biburl = {https://dblp.org/rec/conf/egov/BarbosaS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/DantasJB17, author = {Allberson Bruno de Oliveira Dantas and Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, editor = {Jos{\'{e}} Proen{\c{c}}a and Markus Lumpe}, title = {Certification of Workflows in a Component-Based Cloud of High Performance Computing Services}, booktitle = {Formal Aspects of Component Software - 14th International Conference, {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10487}, pages = {198--215}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68034-7\_12}, doi = {10.1007/978-3-319-68034-7\_12}, timestamp = {Thu, 25 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/DantasJB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/CledouPB17, author = {Guillermina Cledou and Jos{\'{e}} Proen{\c{c}}a and Lu{\'{\i}}s Soares Barbosa}, editor = {Mehdi Dastani and Marjan Sirjani}, title = {Composing Families of Timed Automata}, booktitle = {Fundamentals of Software Engineering - 7th International Conference, {FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10522}, pages = {51--66}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68972-2\_4}, doi = {10.1007/978-3-319-68972-2\_4}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsen/CledouPB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/i3e/Barbosa17, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Arpan Kumar Kar and P. Vigneswara Ilavarasan and M. P. Gupta and Yogesh Kumar Dwivedi and Matti M{\"{a}}ntym{\"{a}}ki and Marijn Janssen and Antonis C. Simintiras and Salah Al{-}Sharhan}, title = {Digital Governance for Sustainable Development}, booktitle = {Digital Nations - Smart Cities, Innovation, and Sustainability - 16th {IFIP} {WG} 6.11 Conference on e-Business, e-Services, and e-Society, {I3E} 2017, Delhi, India, November 21-23, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10595}, pages = {85--93}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68557-1\_9}, doi = {10.1007/978-3-319-68557-1\_9}, timestamp = {Fri, 08 Sep 2023 14:38:40 +0200}, biburl = {https://dblp.org/rec/conf/i3e/Barbosa17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/NielsenCVB17, author = {Morten Meyerhoff Nielsen and Nuno Ramos Carvalho and Linda Veiga and Lu{\'{\i}}s Soares Barbosa}, title = {Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis}, booktitle = {Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2017, New Delhi, India, March 07 - 09, 2017}, pages = {140--148}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3047273.3047334}, doi = {10.1145/3047273.3047334}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icegov/NielsenCVB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CledouB17, author = {Guillermina Cledou and Lu{\'{\i}}s Soares Barbosa}, title = {Modeling Families of Public Licensing Services: {A} Case Study}, booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017}, pages = {37--43}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/FormaliSE.2017.8}, doi = {10.1109/FORMALISE.2017.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/CledouB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/CledouPB17, author = {Guillermina Cledou and Jos{\'{e}} Proen{\c{c}}a and Lu{\'{\i}}s Soares Barbosa}, editor = {Simone Andr{\'{e}} da Costa Cavalheiro and Jos{\'{e}} Luiz Fiadeiro}, title = {A Refinement Relation for Families of Timed Automata}, booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium, {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10623}, pages = {161--178}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70848-5\_11}, doi = {10.1007/978-3-319-70848-5\_11}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/CledouPB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/GomesMB17, author = {Leandro Gomes and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Simone Andr{\'{e}} da Costa Cavalheiro and Jos{\'{e}} Luiz Fiadeiro}, title = {On Kleene Algebras for Weighted Computation}, booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium, {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10623}, pages = {271--286}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70848-5\_17}, doi = {10.1007/978-3-319-70848-5\_17}, timestamp = {Thu, 11 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sbmf/GomesMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Barbosa17, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Alexandre Madeira and Mario R. F. Benevides}, title = {Layered Logics, Coalgebraically}, booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop, {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10669}, pages = {55--63}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-73579-5\_4}, doi = {10.1007/978-3-319-73579-5\_4}, timestamp = {Sat, 19 Oct 2019 20:06:19 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Barbosa17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MadeiraNMB18, author = {Alexandre Madeira and Renato Neves and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Sandra Alves and Renata Wasserman}, title = {Hierarchical Hybrid Logic}, booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications, {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017}, series = {Electronic Notes in Theoretical Computer Science}, volume = {338}, pages = {167--184}, publisher = {Elsevier}, year = {2017}, url = {https://doi.org/10.1016/j.entcs.2018.10.011}, doi = {10.1016/J.ENTCS.2018.10.011}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/MadeiraNMB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BarbosaCS16, author = {Lu{\'{\i}}s Soares Barbosa and Alcino Cunha and Alexandra Silva}, title = {Quien sabe por Algebra, sabe scientificamente: {A} tribute to Jos{\'{e}} Nuno Oliveira}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {805}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2016.07.002}, doi = {10.1016/J.JLAMP.2016.07.002}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/BarbosaCS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/NevesBHM16, author = {Renato Neves and Lu{\'{\i}}s Soares Barbosa and Dirk Hofmann and Manuel A. Martins}, title = {Continuity as a computational effect}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {1057--1085}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2016.05.005}, doi = {10.1016/J.JLAMP.2016.05.005}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/NevesBHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/NevesMMB16, author = {Renato Neves and Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, title = {Proof theory for hybrid(ised) logics}, journal = {Sci. Comput. Program.}, volume = {126}, pages = {73--93}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2016.03.001}, doi = {10.1016/J.SCICO.2016.03.001}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/NevesMMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MadeiraNBM16, author = {Alexandre Madeira and Renato Neves and Lu{\'{\i}}s Soares Barbosa and Manuel A. Martins}, title = {A method for rigorous design of reconfigurable systems}, journal = {Sci. Comput. Program.}, volume = {132}, pages = {50--76}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2016.05.001}, doi = {10.1016/J.SCICO.2016.05.001}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/MadeiraNBM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/criwg/FernandesB16, author = {Sara Fernandes and Lu{\'{\i}}s Soares Barbosa}, editor = {Takaya Yuizono and Hiroaki Ogata and Ulrich Hoppe and Julita Vassileva}, title = {Applying the 3C Model to {FLOSS} Communities}, booktitle = {Collaboration and Technology - 22nd International Conference, {CRIWG} 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9848}, pages = {139--150}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44799-5\_11}, doi = {10.1007/978-3-319-44799-5\_11}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/criwg/FernandesB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egose/FernandesB16, author = {Sara Fernandes and Lu{\'{\i}}s Soares Barbosa}, title = {Electronic governance in Portugal: a silent pioneer}, booktitle = {Proceedings of the International Conference on Electronic Governance and Open Society - Challenges in Eurasia, {EGOSE} 2016, St. Petersburg, Russia, November 22-23, 2016}, pages = {77--82}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/3014087.3014108}, doi = {10.1145/3014087.3014108}, timestamp = {Tue, 06 Nov 2018 16:58:55 +0100}, biburl = {https://dblp.org/rec/conf/egose/FernandesB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/CledouB16, author = {Maria Guillermina Cledou and Lu{\'{\i}}s Soares Barbosa}, editor = {John Carlo Bertot and Elsa Estevez and Sehl Mellouli}, title = {An Ontology for Licensing Public Transport Services}, booktitle = {Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2016, Montevideo, Uruguay, March 1-3, 2016}, pages = {230--239}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2910019.2910101}, doi = {10.1145/2910019.2910101}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icegov/CledouB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/VeigaJB16, author = {Linda Veiga and Tomasz Janowski and Lu{\'{\i}}s Soares Barbosa}, editor = {John Carlo Bertot and Elsa Estevez and Sehl Mellouli}, title = {Digital Government and Administrative Burden Reduction}, booktitle = {Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2016, Montevideo, Uruguay, March 1-3, 2016}, pages = {323--326}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2910019.2910107}, doi = {10.1145/2910019.2910107}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icegov/VeigaJB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/NevesB16, author = {Renato Neves and Lu{\'{\i}}s Soares Barbosa}, editor = {Augusto Sampaio and Farn Wang}, title = {Hybrid Automata as Coalgebras}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9965}, pages = {385--402}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46750-4\_22}, doi = {10.1007/978-3-319-46750-4\_22}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/NevesB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/MadeiraBHM16, author = {Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa and Rolf Hennicker and Manuel A. Martins}, editor = {Augusto Sampaio and Farn Wang}, title = {Dynamic Logic with Binders and Its Application to the Development of Reactive Systems}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9965}, pages = {422--440}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46750-4\_24}, doi = {10.1007/978-3-319-46750-4\_24}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/MadeiraBHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/NevesMBM16, author = {Renato Neves and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa and Manuel A. Martins}, editor = {Phillip James and Markus Roggenbach}, title = {Asymmetric Combination of Logics is Functorial: {A} Survey}, booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG} 1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10644}, pages = {39--55}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-72044-9\_4}, doi = {10.1007/978-3-319-72044-9\_4}, timestamp = {Wed, 19 May 2021 08:32:29 +0200}, biburl = {https://dblp.org/rec/conf/wadt/NevesMBM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/OliveiraB16a, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Razieh Behjati and Ahmed Elmokashfi}, title = {An Enhanced Model for Stochastic Coordination}, booktitle = {Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016}, series = {{EPTCS}}, volume = {228}, pages = {35--45}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.228.5}, doi = {10.4204/EPTCS.228.5}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/OliveiraB16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/asc/BarbosaMMN16, author = {Lu{\'{\i}}s Soares Barbosa and Manuel A. Martins and Alexandre Madeira and Renato Neves}, editor = {Thouraya Bouabana{-}Tebibel and Stuart H. Rubin}, title = {Reuse and Integration of Specification Logics: The Hybridisation Perspective}, booktitle = {Theoretical Information Reuse and Integration}, series = {Advances in Intelligent Systems and Computing}, volume = {446}, pages = {1--30}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31311-5\_1}, doi = {10.1007/978-3-319-31311-5\_1}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/asc/BarbosaMMN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/SanchezMB15, author = {Alejandro Sanchez and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {On the verification of architectural reconfigurations}, journal = {Comput. Lang. Syst. Struct.}, volume = {44}, pages = {218--237}, year = {2015}, url = {https://doi.org/10.1016/j.cl.2015.07.001}, doi = {10.1016/J.CL.2015.07.001}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/SanchezMB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comsis/RodriguesOB15, author = {Fl{\'{a}}vio Rodrigues and Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, title = {Towards an engine for coordination-based architectural reconfigurations}, journal = {Comput. Sci. Inf. Syst.}, volume = {12}, number = {2}, pages = {607--634}, year = {2015}, url = {https://doi.org/10.2298/CSIS140912019R}, doi = {10.2298/CSIS140912019R}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/comsis/RodriguesOB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/MadeiraMBH15, author = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa and Rolf Hennicker}, title = {Refinement in hybridised institutions}, journal = {Formal Aspects Comput.}, volume = {27}, number = {2}, pages = {375--395}, year = {2015}, url = {https://doi.org/10.1007/s00165-014-0327-6}, doi = {10.1007/S00165-014-0327-6}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/MadeiraMBH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/OliveiraSB15, author = {Nuno Oliveira and Alexandra Silva and Lu{\'{\i}}s Soares Barbosa}, title = {IMC\({}_{\mbox{Reo}}\): interactive Markov chains for Stochastic Reo}, journal = {J. Internet Serv. Inf. Secur.}, volume = {5}, number = {1}, pages = {3--28}, year = {2015}, url = {https://doi.org/10.22667/JISIS.2015.02.31.003}, doi = {10.22667/JISIS.2015.02.31.003}, timestamp = {Thu, 23 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jisis/OliveiraSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jserd/OliveiraB15, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, title = {Self-adaptation by coordination-targeted reconfigurations}, journal = {J. Softw. Eng. Res. Dev.}, volume = {3}, pages = {6}, year = {2015}, url = {https://doi.org/10.1186/s40411-015-0021-2}, doi = {10.1186/S40411-015-0021-2}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jserd/OliveiraB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SanchezOBH15, author = {Alejandro Sanchez and Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa and Pedro Rangel Henriques}, title = {A perspective on architectural re-engineering}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {764--784}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.026}, doi = {10.1016/J.SCICO.2014.02.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/SanchezOBH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/OliveiraB15, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, title = {Reasoning about software reconfigurations: The behavioural and structural perspectives}, journal = {Sci. Comput. Program.}, volume = {110}, pages = {78--103}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2015.05.013}, doi = {10.1016/J.SCICO.2015.05.013}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/OliveiraB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/MadeiraMB16, author = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {A logic for n-dimensional hierarchical refinement}, booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015}, series = {{EPTCS}}, volume = {209}, pages = {40--56}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.209.4}, doi = {10.4204/EPTCS.209.4}, timestamp = {Sun, 25 Jul 2021 11:39:05 +0200}, biburl = {https://dblp.org/rec/journals/corr/MadeiraMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/NevesBHM15, author = {Renato Neves and Lu{\'{\i}}s Soares Barbosa and Dirk Hofmann and Manuel A. Martins}, title = {Continuity as a computational effect}, journal = {CoRR}, volume = {abs/1507.03219}, year = {2015}, url = {http://arxiv.org/abs/1507.03219}, eprinttype = {arXiv}, eprint = {1507.03219}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/NevesBHM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MartinsMB13, author = {Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {The role of logical interpretations in program development}, journal = {Log. Methods Comput. Sci.}, volume = {10}, number = {1}, year = {2014}, url = {https://doi.org/10.2168/LMCS-10(1:1)2014}, doi = {10.2168/LMCS-10(1:1)2014}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MartinsMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/BarbosaMC14, author = {Lu{\'{\i}}s Soares Barbosa and Manuel A. Martins and Marta Carreteiro}, title = {A Hilbert-Style Axiomatisation for Equational Hybrid Logic}, journal = {J. Log. Lang. Inf.}, volume = {23}, number = {1}, pages = {31--52}, year = {2014}, url = {https://doi.org/10.1007/s10849-013-9184-6}, doi = {10.1007/S10849-013-9184-6}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/BarbosaMC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BarbosaS14, author = {Lu{\'{\i}}s Soares Barbosa and Siraj Ahmed Shaikh}, title = {Selected contributions from the Open Source Software Certification (OpenCert) workshops}, journal = {Sci. Comput. Program.}, volume = {91}, pages = {139--140}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.04.007}, doi = {10.1016/J.SCICO.2014.04.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BarbosaS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BarbosaL14, author = {Lu{\'{\i}}s Soares Barbosa and Markus Lumpe}, title = {Formal Aspects of Component Software {(FACS} 2010 selected and extended papers)}, journal = {Sci. Comput. Program.}, volume = {94}, pages = {253--254}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.03.010}, doi = {10.1016/J.SCICO.2014.03.010}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BarbosaL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/JuniorB14, author = {Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, title = {Selected and extended papers of the Brazilian Symposium on Programming Languages 2012}, journal = {Sci. Comput. Program.}, volume = {96}, pages = {175--176}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.08.001}, doi = {10.1016/J.SCICO.2014.08.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/JuniorB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iri/MartinsMBN14, author = {Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa and Renato Neves}, editor = {James Joshi and Elisa Bertino and Bhavani Thuraisingham and Ling Liu}, title = {Paradigm integration in a specification course}, booktitle = {Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15, 2014}, pages = {492--499}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/IRI.2014.7051929}, doi = {10.1109/IRI.2014.7051929}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iri/MartinsMBN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OliveiraSB14, author = {Nuno Oliveira and Alexandra Silva and Lu{\'{\i}}s Soares Barbosa}, editor = {Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong}, title = {Quantitative analysis of Reo-based service coordination}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, pages = {1247--1254}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2554850.2555025}, doi = {10.1145/2554850.2555025}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/OliveiraSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbcars/OliveiraB14, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, title = {A Self-Adaptation Strategy for Service-Based Architectures}, booktitle = {Eighth Brazilian Symposium on Software Components, Architectures and Reuse, {SBCARS} 2014, Macei{\'{o}}, Alagoas, Brazil, September 29-30, 2014}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SBCARS.2014.12}, doi = {10.1109/SBCARS.2014.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sbcars/OliveiraB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/MadeiraNMB14, author = {Alexandre Madeira and Renato Neves and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Christiano Braga and Narciso Mart{\'{\i}}{-}Oliet}, title = {A Dynamic Logic for Every Season}, booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium, {SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8941}, pages = {130--145}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15075-8\_9}, doi = {10.1007/978-3-319-15075-8\_9}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/MadeiraNMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/NevesMB14, author = {Renato Neves and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Christiano Braga and Narciso Mart{\'{\i}}{-}Oliet}, title = {Completeness and Decidability Results for Hybrid(ised) Logics}, booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium, {SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8941}, pages = {146--161}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15075-8\_10}, doi = {10.1007/978-3-319-15075-8\_10}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/NevesMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SanchezBM14, author = {Alejandro Sanchez and Lu{\'{\i}}s Soares Barbosa and Alexandre Madeira}, editor = {Carlos Canal and Akram Idani}, title = {Modelling and Verifying Smell-Free Architectures with the Archery Language}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8938}, pages = {147--163}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15201-1\_10}, doi = {10.1007/978-3-319-15201-1\_10}, timestamp = {Sun, 25 Oct 2020 22:54:47 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SanchezBM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slate/RodriguesOB14, author = {Fl{\'{a}}vio Rodrigues and Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Maria Jo{\~{a}}o Varanda Pereira and Jos{\'{e}} Paulo Leal and Alberto Sim{\~{o}}es}, title = {ReCooPLa: a {DSL} for Coordination-based Reconfiguration of Software Architectures}, booktitle = {3rd Symposium on Languages, Applications and Technologies, {SLATE} 2014, June 19-20, 2014 - Bragan{\c{c}}a, Portugal}, series = {OASIcs}, volume = {38}, pages = {61--76}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2014}, url = {https://doi.org/10.4230/OASIcs.SLATE.2014.61}, doi = {10.4230/OASICS.SLATE.2014.61}, timestamp = {Wed, 24 Aug 2022 11:27:10 +0200}, biburl = {https://dblp.org/rec/conf/slate/RodriguesOB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icegov/2014, editor = {Elsa Estevez and Marijn Janssen and Lu{\'{\i}}s Soares Barbosa}, title = {Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} 2014, Guimaraes, Portugal, October 27-30, 2014}, publisher = {{ACM}}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2691195}, isbn = {978-1-60558-611-3}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icegov/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/MartinsMB13, author = {Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, title = {A Coalgebraic Perspective on Logical Interpretations}, journal = {Stud Logica}, volume = {101}, number = {4}, pages = {783--825}, year = {2013}, url = {https://doi.org/10.1007/s11225-013-9498-z}, doi = {10.1007/S11225-013-9498-Z}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/MartinsMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/NevesMMB13, author = {Renato Neves and Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Reiko Heckel and Stefan Milius}, title = {Hybridisation at Work}, booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference, {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8089}, pages = {340--345}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40206-7\_28}, doi = {10.1007/978-3-642-40206-7\_28}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/NevesMMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/criwg/FernandesMCB13, author = {Sara Fernandes and Maria Helena Martinho and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa}, editor = {Pedro Antunes and Marco Aur{\'{e}}lio Gerosa and Allan Sylvester and Julita Vassileva and Gert{-}Jan de Vreede}, title = {Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach}, booktitle = {Collaboration and Technology - 19th International Conference, {CRIWG} 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8224}, pages = {208--214}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41347-6\_15}, doi = {10.1007/978-3-642-41347-6\_15}, timestamp = {Wed, 26 Oct 2022 13:15:54 +0200}, biburl = {https://dblp.org/rec/conf/criwg/FernandesMCB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iri/NevesMMB13, author = {Renato Neves and Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Thouraya Bouabana{-}Tebibel and Stuart H. Rubin}, title = {An Institution for Alloy and Its Translation to Second-Order Logic}, booktitle = {Integration of Reusable Systems [extended versions of the best papers which were presented at {IEEE} International Conference on Information Reuse and Integration and {IEEE} International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013]}, series = {Advances in Intelligent Systems and Computing}, volume = {263}, pages = {45--75}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-04717-1\_3}, doi = {10.1007/978-3-319-04717-1\_3}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iri/NevesMMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iri/NevesMM13, author = {Renato Neves and Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, title = {Giving Alloy a family}, booktitle = {{IEEE} 14th International Conference on Information Reuse {\&} Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013}, pages = {512--519}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/IRI.2013.6642513}, doi = {10.1109/IRI.2013.6642513}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iri/NevesMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iticse/FernandesCB13, author = {Sara Fernandes and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa}, editor = {Janet Carter and Ian Utting and Alison Clear}, title = {A pilot project on non-conventional learning}, booktitle = {Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013}, pages = {346}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2462476.2466522}, doi = {10.1145/2462476.2466522}, timestamp = {Wed, 10 Mar 2021 13:17:16 +0100}, biburl = {https://dblp.org/rec/conf/iticse/FernandesCB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OliveiraB13, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Sung Y. Shin and Jos{\'{e}} Carlos Maldonado}, title = {On the reconfiguration of software connectors}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, pages = {1885--1892}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2480362.2480712}, doi = {10.1145/2480362.2480712}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/OliveiraB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sblp/MadeiraMB13, author = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Andr{\'{e}} Rauber Du Bois and Phil Trinder}, title = {Boilerplates for Reconfigurable Systems: {A} Language and Its Semantics}, booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia, Brazil, October 3 - 4, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8129}, pages = {75--89}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40922-6\_6}, doi = {10.1007/978-3-642-40922-6\_6}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sblp/MadeiraMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FernandesCB13, author = {Sara Fernandes and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa}, editor = {Steve Counsell and Manuel N{\'{u}}{\~{n}}ez}, title = {Analysis of {FLOSS} Communities as Learning Contexts}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8368}, pages = {405--416}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05032-4\_29}, doi = {10.1007/978-3-319-05032-4\_29}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/sefm/FernandesCB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/MadeiraNMB13, author = {Alexandre Madeira and Renato Neves and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, title = {When Even the Interface Evolves..}, booktitle = {Seventh International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}}, pages = {79--82}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TASE.2013.19}, doi = {10.1109/TASE.2013.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/MadeiraNMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/SanchezBR13, author = {Alejandro Sanchez and Lu{\'{\i}}s Soares Barbosa and Daniel Riesco}, title = {Verifying Bigraphical Models of Architectural Reconfigurations}, booktitle = {Seventh International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}}, pages = {135--138}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TASE.2013.25}, doi = {10.1109/TASE.2013.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/SanchezBR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6115, author = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Bisimilarity and refinement for hybrid(ised) logics}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {84--98}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.6}, doi = {10.4204/EPTCS.115.6}, timestamp = {Sun, 25 Jul 2021 11:39:08 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6115.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mics/BarbosaM12, author = {Lu{\'{\i}}s Soares Barbosa and Meng Sun}, title = {A Calculus for Generic, QoS-Aware Component Composition}, journal = {Math. Comput. Sci.}, volume = {6}, number = {4}, pages = {475--497}, year = {2012}, url = {https://doi.org/10.1007/s11786-012-0137-2}, doi = {10.1007/S11786-012-0137-2}, timestamp = {Sun, 12 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mics/BarbosaM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icegov/FernandesCB12, author = {Sara Fernandes and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa}, editor = {David Ferriero and Theresa A. Pardo and Haiyan Qian}, title = {Exploiting the {FLOSS} paradigm in collaborative e-learning: application to e-government}, booktitle = {6th International Conference on Theory and Practice of Electronic Governance, {ICEGOV} '12, Albany, NY, USA, October 22-25, 2012}, pages = {475--476}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2463728.2463825}, doi = {10.1145/2463728.2463825}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icegov/FernandesCB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sblp/Barbosa12, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, title = {Software Components as Invariant-Typed Arrows - (Keynote Talk)}, booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal, Brazil, September 23-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7554}, pages = {1--5}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33182-4\_1}, doi = {10.1007/978-3-642-33182-4\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/sblp/Barbosa12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BarbosaM12, author = {Lu{\'{\i}}s Soares Barbosa and Maria Helena Martinho}, editor = {Antonio Cerone and Donatella Persico and Sara Fernandes and Alexeis Garcia{-}Perez and Panagiotis Katsaros and Siraj Ahmed Shaikh and Ioannis Stamelos}, title = {Mathematical Literacy as a Condition for Sustainable Development}, booktitle = {Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7991}, pages = {64--77}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-54338-8\_5}, doi = {10.1007/978-3-642-54338-8\_5}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/sefm/BarbosaM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FernandesCBP12, author = {Sara Fernandes and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa and Pantelis M. Papadopoulos}, editor = {Antonio Cerone and Donatella Persico and Sara Fernandes and Alexeis Garcia{-}Perez and Panagiotis Katsaros and Siraj Ahmed Shaikh and Ioannis Stamelos}, title = {{FLOSS} in Technology-Enhanced Learning}, booktitle = {Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7991}, pages = {121--132}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-54338-8\_9}, doi = {10.1007/978-3-642-54338-8\_9}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/FernandesCBP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FernandesCB12, author = {Sara Fernandes and Antonio Cerone and Lu{\'{\i}}s Soares Barbosa}, editor = {Antonio Cerone and Donatella Persico and Sara Fernandes and Alexeis Garcia{-}Perez and Panagiotis Katsaros and Siraj Ahmed Shaikh and Ioannis Stamelos}, title = {A Preliminary Analysis of Learning Awareness in {FLOSS} Projects}, booktitle = {Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7991}, pages = {133--139}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-54338-8\_10}, doi = {10.1007/978-3-642-54338-8\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/FernandesCB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/SanchezABR12, author = {Alejandro Sanchez and Ademar Aguiar and Lu{\'{\i}}s Soares Barbosa and Daniel Riesco}, editor = {Jonathan P. Bowen and Huibiao Zhu and Mike Hinchey}, title = {Analysing Tactics in Architectural Patterns}, booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion, Crete, Greece, October 12-13, 2012}, pages = {32--41}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SEW.2012.10}, doi = {10.1109/SEW.2012.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/SanchezABR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/OliveiraB12, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Reconfiguration Mechanisms for Service Coordination}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {134--149}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_9}, doi = {10.1007/978-3-642-38230-7\_9}, timestamp = {Sat, 30 Sep 2023 09:59:28 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/OliveiraB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/facs2/2010, editor = {Lu{\'{\i}}s Soares Barbosa and Markus Lumpe}, title = {Formal Aspects of Component Software - 7th International Workshop, {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6921}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27269-1}, doi = {10.1007/978-3-642-27269-1}, isbn = {978-3-642-27268-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sblp/2012, editor = {Francisco Heron de Carvalho Junior and Lu{\'{\i}}s Soares Barbosa}, title = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal, Brazil, September 23-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7554}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33182-4}, doi = {10.1007/978-3-642-33182-4}, isbn = {978-3-642-33181-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sblp/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BarbosaS11, author = {Lu{\'{\i}}s Soares Barbosa and Dimitrios Settas}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {48}, year = {2011}, url = {https://doi.org/10.14279/tuj.eceasst.48.810.804}, doi = {10.14279/TUJ.ECEASST.48.810.804}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BarbosaS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bmfa/SanchezBR11, author = {Alejandro Sanchez and Lu{\'{\i}}s Soares Barbosa and Daniel Riesco}, title = {A language for behavioural modelling of architectural patterns}, booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham, United Kingdom, June 6, 2011}, pages = {17--24}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993956.1993959}, doi = {10.1145/1993956.1993959}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bmfa/SanchezBR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/MartinsMDB11, author = {Manuel A. Martins and Alexandre Madeira and Razvan Diaconescu and Lu{\'{\i}}s Soares Barbosa}, editor = {Andrea Corradini and Bartek Klin and Corina C{\^{\i}}rstea}, title = {Hybridization of Institutions}, booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference, {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6859}, pages = {283--297}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22944-2\_20}, doi = {10.1007/978-3-642-22944-2\_20}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/MartinsMDB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/MartinsBR11, author = {Andr{\'{e}} Martins and Lu{\'{\i}}s Soares Barbosa and Nuno F. Rodrigues}, editor = {Andrea Corradini and Bartek Klin and Corina C{\^{\i}}rstea}, title = {Shacc: {A} Functional Prototyper for a Component Calculus}, booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference, {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6859}, pages = {413--419}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22944-2\_32}, doi = {10.1007/978-3-642-22944-2\_32}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/MartinsBR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/SanchezBR11, author = {Alejandro Sanchez and Lu{\'{\i}}s Soares Barbosa and Daniel Riesco}, editor = {Farhad Arbab and Peter Csaba {\"{O}}lveczky}, title = {Bigraphical Modelling of Architectural Patterns}, booktitle = {Formal Aspects of Component Software - 8th International Symposium, {FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7253}, pages = {313--330}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-35743-5\_19}, doi = {10.1007/978-3-642-35743-5\_19}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/facs2/SanchezBR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/RodriguesOB11, author = {Nuno F. Rodrigues and Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Robert Meersman and Tharam S. Dillon and Pilar Herrero}, title = {The Role of Coordination Analysis in Software Integration Projects}, booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2011 Workshops - Confederated International Workshops and Posters: {EI2N+NSF} ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and {VADER} 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7046}, pages = {83--92}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25126-9\_16}, doi = {10.1007/978-3-642-25126-9\_16}, timestamp = {Thu, 14 Oct 2021 10:28:26 +0200}, biburl = {https://dblp.org/rec/conf/otm/RodriguesOB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/MadeiraFMB11, author = {Alexandre Madeira and Jos{\'{e}} M. Faria and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider}, title = {Hybrid Specification of Reactive Systems: An Institutional Approach}, booktitle = {Software Engineering and Formal Methods - 9th International Conference, {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7041}, pages = {269--285}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24690-6\_19}, doi = {10.1007/978-3-642-24690-6\_19}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/MadeiraFMB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ticttl/FerreiraMCBSBO11, author = {Jo{\~{a}}o F. Ferreira and Alexandra Mendes and Alcino Cunha and Carlos Baquero and Paulo F. Silva and Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, editor = {Patrick Blackburn and Hans van Ditmarsch and Mar{\'{\i}}a Manzano and Fernando Soler{-}Toscano}, title = {Logic Training through Algorithmic Problem Solving}, booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL} 2011, Salamanca, Spain, June 1-4, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6680}, pages = {62--69}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21350-2\_8}, doi = {10.1007/978-3-642-21350-2\_8}, timestamp = {Fri, 22 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ticttl/FerreiraMCBSBO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1106-4093, author = {C{\'{e}}sar Jesus Rodrigues and Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Refinement by interpretation in {\(\pi\)}-institutions}, booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011}, series = {{EPTCS}}, volume = {55}, pages = {53--64}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.55.4}, doi = {10.4204/EPTCS.55.4}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-4093.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csse/BarbosaCPS10, author = {Lu{\'{\i}}s Soares Barbosa and Antonio Cerone and Alexander K. Petrenko and Siraj A. Shaikh}, title = {Certification of open-source software: {A} role for formal methods?}, journal = {Comput. Syst. Sci. Eng.}, volume = {25}, number = {4}, year = {2010}, timestamp = {Thu, 23 Aug 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csse/BarbosaCPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csse/DamianiBBA10, author = {Ernesto Damiani and Lu{\'{\i}}s Soares Barbosa and Peter T. Breuer and Claudio A. Ardagna}, title = {Special issue: Open Source Certification}, journal = {Comput. Syst. Sci. Eng.}, volume = {25}, number = {4}, year = {2010}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csse/DamianiBBA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BarbosaCS10, author = {Lu{\'{\i}}s Soares Barbosa and Antonio Cerone and Siraj Ahmed Shaikh}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {33}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.33.448.432}, doi = {10.14279/TUJ.ECEASST.33.448.432}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BarbosaCS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/BarbosaM10, author = {Lu{\'{\i}}s Soares Barbosa and Sun Meng}, title = {Bringing class diagrams to life}, journal = {Innov. Syst. Softw. Eng.}, volume = {6}, number = {1-2}, pages = {91--98}, year = {2010}, url = {https://doi.org/10.1007/s11334-009-0118-z}, doi = {10.1007/S11334-009-0118-Z}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/BarbosaM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/RodriguesB10, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, title = {Slicing for architectural analysis}, journal = {Sci. Comput. Program.}, volume = {75}, number = {10}, pages = {828--847}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2010.02.002}, doi = {10.1016/J.SCICO.2010.02.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/RodriguesB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisis/BarbosaM10, author = {Lu{\'{\i}}s Soares Barbosa and Sun Meng}, editor = {Leonard Barolli and Fatos Xhafa and Salvatore Vitabile and Hui{-}Huang Hsu}, title = {QoS-aware Component Composition}, booktitle = {{CISIS} 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010}, pages = {1008--1013}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CISIS.2010.141}, doi = {10.1109/CISIS.2010.141}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cisis/BarbosaM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MengB10, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa}, editor = {Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih{-}Cheng Hung}, title = {Towards the introduction of QoS information in a component model}, booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010}, pages = {2045--2046}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1774088.1774517}, doi = {10.1145/1774088.1774517}, timestamp = {Sun, 02 Jun 2019 21:18:37 +0200}, biburl = {https://dblp.org/rec/conf/sac/MengB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/BarbosaBR10, author = {Lu{\'{\i}}s Soares Barbosa and Marco Antonio Barbosa and C{\'{e}}sar Jesus Rodrigues}, editor = {Tetsuo Ida and Viorel Negru and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Revisiting Context-Aware Component Interconnection}, booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September 2010}, pages = {377--384}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SYNASC.2010.38}, doi = {10.1109/SYNASC.2010.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/BarbosaBR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BarbosaCS09, author = {Lu{\'{\i}}s Soares Barbosa and Antonio Cerone and Siraj Ahmed Shaikh}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {20}, year = {2009}, url = {https://doi.org/10.14279/tuj.eceasst.20.252.309}, doi = {10.14279/TUJ.ECEASST.20.252.309}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BarbosaCS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BarbosaB09, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, title = {A perspective on service orchestration}, journal = {Sci. Comput. Program.}, volume = {74}, number = {9}, pages = {671--687}, year = {2009}, url = {https://doi.org/10.1016/j.scico.2008.09.019}, doi = {10.1016/J.SCICO.2008.09.019}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BarbosaB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/BarbosaBC09, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Creissac Campos}, editor = {Farhad Arbab and Marjan Sirjani}, title = {A Coordination Model for Interactive Components}, booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference, {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5961}, pages = {416--430}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11623-0\_25}, doi = {10.1007/978-3-642-11623-0\_25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsen/BarbosaBC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/MartinsMB09, author = {Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Dang Van Hung and Padmanabhan Krishnan}, title = {Refinement via Interpretation}, booktitle = {Seventh {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009}, pages = {250--259}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SEFM.2009.35}, doi = {10.1109/SEFM.2009.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/MartinsMB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tfm/FerreiraMBB09, author = {Jo{\~{a}}o F. Ferreira and Alexandra Mendes and Roland Carl Backhouse and Lu{\'{\i}}s Soares Barbosa}, editor = {Jeremy Gibbons and Jos{\'{e}} Nuno Oliveira}, title = {Which Mathematics for the Information Society?}, booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5846}, pages = {39--56}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04912-5\_4}, doi = {10.1007/978-3-642-04912-5\_4}, timestamp = {Fri, 22 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tfm/FerreiraMBB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RodriguesOB09, author = {C{\'{e}}sar Jesus Rodrigues and Jos{\'{e}} Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {A Single Complete Relational Rule for Coalgebraic Refinement}, booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {259}, pages = {3--19}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.12.014}, doi = {10.1016/J.ENTCS.2009.12.014}, timestamp = {Thu, 09 Mar 2023 15:23:44 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RodriguesOB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CamposB09, author = {Marco Devesas Campos and Lu{\'{\i}}s Soares Barbosa}, editor = {Gwen Sala{\"{u}}n and Marjan Sirjani}, title = {Implementation of an Orchestration Language as a Haskell Domain Specific Language}, booktitle = {Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, {FOCLASA} 2009, Rhodes, Greece, July 11, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {255}, pages = {45--64}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.10.024}, doi = {10.1016/J.ENTCS.2009.10.024}, timestamp = {Tue, 06 Dec 2022 12:48:24 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CamposB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MartinsMB09, author = {Manuel A. Martins and Alexandre Madeira and Lu{\'{\i}}s Soares Barbosa}, editor = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Refinement by Interpretation in a General Setting}, booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {259}, pages = {105--121}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.12.020}, doi = {10.1016/J.ENTCS.2009.12.020}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MartinsMB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/wi/09/MengB09, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa}, editor = {Kevin Lano}, title = {Co-Algebraic Semantic Framework for Reasoning about Interaction Designs}, booktitle = {{UML} 2 Semantics and Applications}, pages = {249--280}, publisher = {Wiley}, year = {2009}, url = {https://doi.org/10.1002/9780470522622.ch10}, doi = {10.1002/9780470522622.CH10}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/wi/09/MengB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lernet/2008, editor = {Ana Bove and Lu{\'{\i}}s Soares Barbosa and Alberto Pardo and Jorge Sousa Pinto}, title = {Language Engineering and Rigorous Software Development, International LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5520}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03153-3}, doi = {10.1007/978-3-642-03153-3}, isbn = {978-3-642-03152-6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lernet/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/BarbosaOS08, author = {Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira and Alexandra Silva}, editor = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {Calculating Invariants as Coreflexive Bisimulations}, booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5140}, pages = {83--99}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79980-1\_7}, doi = {10.1007/978-3-540-79980-1\_7}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/amast/BarbosaOS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/MengB08, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa}, editor = {Hong Zhu}, title = {A Coalgebraic Semantic Framework for Reasoning about {UML} Sequence Diagrams}, booktitle = {Proceedings of the Eighth International Conference on Quality Software, {QSIC} 2008, 12-13 August 2008, Oxford, {UK}}, pages = {17--26}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/QSIC.2008.13}, doi = {10.1109/QSIC.2008.13}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/MengB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scam/RodriguesB08, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, title = {CoordInspector: {A} Tool for Extracting Coordination Data from Legacy Code}, booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China}, pages = {265--266}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SCAM.2008.10}, doi = {10.1109/SCAM.2008.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scam/RodriguesB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/services/RodriguesB08, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, title = {On the Discovery of Business Processes Orchestration Patterns}, booktitle = {2008 {IEEE} Congress on Services, Part I, {SERVICES} {I} 2008, Honolulu, Hawaii, USA, July 6-11, 2008}, pages = {391--398}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SERVICES-1.2008.58}, doi = {10.1109/SERVICES-1.2008.58}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/services/RodriguesB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/BarbosaM08, author = {Lu{\'{\i}}s Soares Barbosa and Sun Meng}, editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie}, title = {{UML} Model Refactoring as Refinement: {A} Coalgebraic Perspective}, booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008}, pages = {340--347}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SYNASC.2008.88}, doi = {10.1109/SYNASC.2008.88}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/BarbosaM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WangBO08, author = {Shuling Wang and Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, title = {A Relational Model for Confined Separation Logic}, booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China}, pages = {263--270}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/TASE.2008.38}, doi = {10.1109/TASE.2008.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WangBO08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/RodriguesB07, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, title = {Higher-Order Lazy Functional Slicing}, journal = {J. Univers. Comput. Sci.}, volume = {13}, number = {6}, pages = {854--873}, year = {2007}, url = {https://doi.org/10.3217/jucs-013-06-0854}, doi = {10.3217/JUCS-013-06-0854}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/RodriguesB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BarbosaCV07, author = {Lu{\'{\i}}s Soares Barbosa and J{\'{a}}come Cunha and Joost Visser}, editor = {Farhad Arbab and Christel Baier}, title = {A type-level approach to component prototyping}, booktitle = {Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th {ESEC/FSE} joint meeting, {SYANCO} 2007, Dubrovnik, Croatia, September 3-4, 2007}, pages = {23--36}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1294917.1294920}, doi = {10.1145/1294917.1294920}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BarbosaCV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RibeiroBW08, author = {Paula R. Ribeiro and Lu{\'{\i}}s Soares Barbosa and Shuling Wang}, editor = {Geguang Pu and Volker Stolz}, title = {An Exercise on Transition Systems}, booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, {TTSS} 2007, Macau, September 22-23, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {207}, pages = {89--106}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.087}, doi = {10.1016/J.ENTCS.2008.03.087}, timestamp = {Mon, 13 Feb 2023 14:02:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RibeiroBW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/RodriguesB06, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, title = {Program Slicing by Calculation}, journal = {J. Univers. Comput. Sci.}, volume = {12}, number = {7}, pages = {828--848}, year = {2006}, url = {https://doi.org/10.3217/jucs-012-07-0828}, doi = {10.3217/JUCS-012-07-0828}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/RodriguesB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/RibeiroBB06, author = {Paula R. Ribeiro and Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, title = {Generic Process Algebra: {A} Programming Challenge}, journal = {J. Univers. Comput. Sci.}, volume = {12}, number = {7}, pages = {922--937}, year = {2006}, url = {https://doi.org/10.3217/jucs-012-07-0922}, doi = {10.3217/JUCS-012-07-0922}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/RibeiroBB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MengB06, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa}, title = {Components as coalgebras: The refinement dimension}, journal = {Theor. Comput. Sci.}, volume = {351}, number = {2}, pages = {276--294}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2005.09.072}, doi = {10.1016/J.TCS.2005.09.072}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MengB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbosaO06, author = {Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, title = {Transposing partial components - An exercise on coalgebraic refinement}, journal = {Theor. Comput. Sci.}, volume = {365}, number = {1-2}, pages = {2--22}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.07.030}, doi = {10.1016/J.TCS.2006.07.030}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbosaO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbosaB07, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, editor = {Carlos Canal and Mirko Viroli}, title = {Configurations of Web Services}, booktitle = {Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, {FOCLASA} 2006, Bonn, Germany, August 31, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {175}, number = {2}, pages = {39--57}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.03.004}, doi = {10.1016/J.ENTCS.2007.03.004}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbosaB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbosaB07a, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, editor = {Guido Boella and Mehdi Dastani and Andrea Omicini and Leon van der Torre and Ivana Cern{\'{a}} and Isabelle Linden}, title = {An Orchestrator for Dynamic Interconnection of Software Components}, booktitle = {Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {181}, pages = {49--61}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.053}, doi = {10.1016/J.ENTCS.2007.01.053}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbosaB07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbosaBC07, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Creissac Campos}, editor = {Antonio Cerone and Paul Curzon}, title = {Towards a Coordination Model for Interactive Systems}, booktitle = {Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {183}, pages = {89--103}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.063}, doi = {10.1016/J.ENTCS.2007.01.063}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbosaBC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/facs2/2005, editor = {Zhiming Liu and Lu{\'{\i}}s Soares Barbosa}, title = {Proceedings of the International Workshop on Formal Aspects of Component Software, {FACS} 2005, Macao, October 24-25, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {160}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/160/suppl/C}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/CruzBO05, author = {A. Miguel Cruz and Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, title = {From Algebras to Objects: Generation and Composition}, journal = {J. Univers. Comput. Sci.}, volume = {11}, number = {10}, pages = {1580--1612}, year = {2005}, url = {https://doi.org/10.3217/jucs-011-10-1580}, doi = {10.3217/JUCS-011-10-1580}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/CruzBO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/MengBN05, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa and Zhang Naixiao}, editor = {Dang Van Hung and Martin Wirsing}, title = {On Refinement of Software Architectures}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3722}, pages = {469--484}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11560647\_31}, doi = {10.1007/11560647\_31}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/MengBN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LiuB06, author = {Zhiming Liu and Lu{\'{\i}}s Soares Barbosa}, editor = {Zhiming Liu and Lu{\'{\i}}s Soares Barbosa}, title = {Preface}, booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software, {FACS} 2005, Macao, October 24-25, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {160}, pages = {1--2}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.05.011}, doi = {10.1016/J.ENTCS.2006.05.011}, timestamp = {Thu, 15 Dec 2022 16:29:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LiuB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RodriguesB06, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, editor = {Zhiming Liu and Lu{\'{\i}}s Soares Barbosa}, title = {Component Identification Through Program Slicing}, booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software, {FACS} 2005, Macao, October 24-25, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {160}, pages = {291--304}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.05.029}, doi = {10.1016/J.ENTCS.2006.05.029}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RodriguesB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/RodriguesB05, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, title = {Slicing Functional Programs by Calculation}, booktitle = {Beyond Program Slicing, 06.11. - 11.11.2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05451}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/484}, timestamp = {Thu, 10 Jun 2021 13:02:04 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/RodriguesB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/BarbosaB04, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, title = {A Relational Model for Component Interconnection}, journal = {J. Univers. Comput. Sci.}, volume = {10}, number = {7}, pages = {808--823}, year = {2004}, url = {https://doi.org/10.3217/jucs-010-07-0808}, doi = {10.3217/JUCS-010-07-0808}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/BarbosaB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/MengB04, author = {Sun Meng and Lu{\'{\i}}s Soares Barbosa}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {On Refinement of Generic State-Based Software Components}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {506--520}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_38}, doi = {10.1007/978-3-540-27815-3\_38}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/MengB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/Barbosa04, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {A Perspective on Component Refinement}, booktitle = {Formal Methods for Components and Objects, Third International Symposium, {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3657}, pages = {23--48}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11561163\_2}, doi = {10.1007/11561163\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/Barbosa04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/BarbosaB04, author = {Marco Antonio Barbosa and Lu{\'{\i}}s Soares Barbosa}, editor = {Zhiming Liu and Keijiro Araki}, title = {Specifying Software Connectors}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3407}, pages = {52--67}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31862-0\_6}, doi = {10.1007/978-3-540-31862-0\_6}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/BarbosaB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/MengNB04, author = {Sun Meng and Zhang Naixiao and Lu{\'{\i}}s Soares Barbosa}, title = {On Semantics and Refinement of {UML} Statecharts: {A} Coalgebraic View}, booktitle = {2nd International Conference on Software Engineering and Formal Methods {(SEFM} 2004), 28-30 September 2004, Beijing, China}, pages = {164--173}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.28}, doi = {10.1109/SEFM.2004.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/MengNB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RodriguesB05, author = {Nuno F. Rodrigues and Lu{\'{\i}}s Soares Barbosa}, editor = {Alexandre Mota and Arnaldo V. Moura}, title = {Architectural Prototyping: From {CCS} to .Net}, booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods, {SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {130}, pages = {151--167}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.03.009}, doi = {10.1016/J.ENTCS.2005.03.009}, timestamp = {Mon, 12 Dec 2022 15:57:02 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RodriguesB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MengABN05, author = {Sun Meng and Bernhard K. Aichernig and Lu{\'{\i}}s Soares Barbosa and Zhang Naixiao}, editor = {Lars Birkedal}, title = {A Coalgebraic Semantic Framework for Component-based Development in {UML}}, booktitle = {Proceedings of the 10th Conference on Category Theory in Computer Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {122}, pages = {229--245}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.06.051}, doi = {10.1016/J.ENTCS.2004.06.051}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MengABN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/Barbosa03, author = {Lu{\'{\i}}s Soares Barbosa}, title = {Towards a Calculus of State-based Software Components}, journal = {J. Univers. Comput. Sci.}, volume = {9}, number = {8}, pages = {891--909}, year = {2003}, url = {http://www.jucs.org/jucs\_9\_8/towards\_a\_calculus\_of}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/Barbosa03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbosaO03, author = {Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, editor = {H. Peter Gumm}, title = {State-based Components Made Generic}, booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {1}, pages = {39--56}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80631-5}, doi = {10.1016/S1571-0661(04)80631-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbosaO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/BarbosaO02, author = {Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira}, editor = {Zhenjiang Hu and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Coinductive Interpreters for Process Calculi}, booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS} 2002, Aizu, Japan, September 15-17, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2441}, pages = {183--197}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45788-7\_11}, doi = {10.1007/3-540-45788-7\_11}, timestamp = {Sun, 02 Jun 2019 21:12:36 +0200}, biburl = {https://dblp.org/rec/conf/flops/BarbosaO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/pt/Barbosa01, author = {Lu{\'{\i}}s Soares Barbosa}, title = {Components as coalgebras}, school = {University of Minho, Portugal}, year = {2001}, url = {https://hdl.handle.net/1822/356}, timestamp = {Fri, 12 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/pt/Barbosa01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Barbosa01, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Andrea Corradini and Marina Lenisa and Ugo Montanari}, title = {Process Calculi{\`{a}} la Bird-Meertens}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44}, number = {1}, pages = {47--66}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80902-2}, doi = {10.1016/S1571-0661(04)80902-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Barbosa01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/Barbosa00, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Scott F. Smith and Carolyn L. Talcott}, title = {Components as Processes: An Exercise in Coalgebraic Modeling}, booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, series = {{IFIP} Conference Proceedings}, volume = {177}, pages = {397--417}, publisher = {Kluwer}, year = {2000}, url = {https://doi.org/10.1007/978-0-387-35520-7\_20}, doi = {10.1007/978-0-387-35520-7\_20}, timestamp = {Thu, 21 Dec 2017 23:26:00 +0100}, biburl = {https://dblp.org/rec/conf/fmoods/Barbosa00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Barbosa99, author = {Lu{\'{\i}}s Soares Barbosa}, editor = {Maria Chiara Meo and Manuel Vilares Ferro}, title = {Prototyping Processes}, booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999}, pages = {513--528}, year = {1999}, timestamp = {Wed, 01 Dec 2004 15:33:47 +0100}, biburl = {https://dblp.org/rec/conf/agp/Barbosa99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/AlmeidaBNO97, author = {Jos{\'{e}} Jo{\~{a}}o Almeida and Lu{\'{\i}}s Soares Barbosa and F. Luis Neves and Jos{\'{e}} Nuno Oliveira}, editor = {Michael Johnson}, title = {{CAMILA:} Prototyping and Refinement of Constructive Specifications}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {554--559}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000496}, doi = {10.1007/BFB0000496}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/AlmeidaBNO97.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.