BibTeX records: Luís Soares Barbosa

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics