Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Luiz Fiadeiro
@inproceedings{DBLP:conf/fm/TutuCF21,
author = {Ionut Tutu and
Claudia Elena Chirita and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Dynamic Reconfiguration via Typed Modalities},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {599--615},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_32},
doi = {10.1007/978-3-030-90870-6\_32},
timestamp = {Thu, 11 Nov 2021 16:19:19 +0100},
biburl = {https://dblp.org/rec/conf/fm/TutuCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CavalheiroF20,
author = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Selected papers from the Brazilian Symposium on Formal Methods {(SBMF}
2017)},
journal = {Sci. Comput. Program.},
volume = {191},
pages = {102427},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102427},
doi = {10.1016/J.SCICO.2020.102427},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CavalheiroF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FiadeiroTLP19,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
title = {Logics for Actor Networks: {A} two-stage constrained-hybridisation
approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {141--166},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.001},
doi = {10.1016/J.JLAMP.2019.05.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FiadeiroTLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TutuCLF19,
author = {Ionut Tutu and
Claudia Elena Chirita and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Logical Support for Bike-Sharing System Design},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {152--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_10},
doi = {10.1007/978-3-030-30985-5\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/TutuCLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2018,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu},
title = {Recent Trends in Algebraic Development Techniques - 24th {IFIP} {WG}
1.3 International Workshop, {WADT} 2018, Egham, UK, July 2-5, 2018,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11563},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23220-7},
doi = {10.1007/978-3-030-23220-7},
isbn = {978-3-030-23219-1},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroLDL18,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Beno{\^{\i}}t Delahaye and
Axel Legay},
title = {Dynamic networks of heterogeneous timed machines},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {800--855},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000135},
doi = {10.1017/S0960129517000135},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroLDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TutuF17,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
title = {From conventional to institution-independent logic programming},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1679--1716},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv021},
doi = {10.1093/LOGCOM/EXV021},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TutuF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FiadeiroL17,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {Heterogeneous and asynchronous networks of timed systems},
journal = {Theor. Comput. Sci.},
volume = {663},
pages = {1--33},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.12.014},
doi = {10.1016/J.TCS.2016.12.014},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FiadeiroL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FiadeiroTLP17,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Logics for Actor Networks: {A} Case Study in Constrained Hybridization
- {A} Case Study in Constrained Hybridization},
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 = {98--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_7},
doi = {10.1007/978-3-319-73579-5\_7},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FiadeiroTLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2017,
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {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},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5},
doi = {10.1007/978-3-319-70848-5},
isbn = {978-3-319-70847-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChiritaFO16,
author = {Claudia Elena Chirita and
Jos{\'{e}} Luiz Fiadeiro and
Fernando Orejas},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Many-Valued Institutions for Constraint Specification},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {359--376},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_21},
doi = {10.1007/978-3-662-49665-7\_21},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/ChiritaFO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/ChiritaF16,
author = {Claudia Elena Chirita and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Fran{\c{c}}ois Pachet and
Am{\'{\i}}lcar Cardoso and
Vincent Corruble and
Fiammetta Ghedini},
title = {Free Jazz in the Land of Algebraic Improvisation},
booktitle = {Proceedings of the Seventh International Conference on Computational
Creativity, {ICCC} 2016, UPMC, Paris, France, June 27 - July 1, 2016},
pages = {322--329},
publisher = {Sony {CSL} Paris, France},
year = {2016},
url = {http://www.computationalcreativity.net/iccc2016/wp-content/uploads/2016/01/Free-Jazz-in-the-Land-of-Algebraic-Improvisation.pdf},
timestamp = {Fri, 11 Dec 2020 14:54:50 +0100},
biburl = {https://dblp.org/rec/conf/icccrea/ChiritaF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TutuF15,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
title = {Service-Oriented Logic Programming},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:3)2015},
doi = {10.2168/LMCS-11(3:3)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TutuF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Fiadeiro015,
author = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu},
title = {Formal Aspects of Component Software {(FACS} 2013)},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {221--222},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.11.001},
doi = {10.1016/J.SCICO.2015.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Fiadeiro015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MylonakisOF15,
author = {Nikos Mylonakis and
Fernando Orejas and
Jos{\'{e}} Luiz Fiadeiro},
title = {A Semantics of Business Configurations Using Symbolic Graphs},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCC.2015.29},
doi = {10.1109/SCC.2015.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/MylonakisOF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FiadeiroO15,
author = {Jos{\'{e}} Luiz Fiadeiro and
Fernando Orejas},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Abstract Constraint Data Types},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_12},
doi = {10.1007/978-3-319-15545-6\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FiadeiroO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF15,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Revisiting the Institutional Approach to Herbrand's Theorem},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {304--319},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.304},
doi = {10.4230/LIPICS.CALCO.2015.304},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/TutuF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BragaF14,
author = {Christiano Braga and
Jos{\'{e}} Luiz Fiadeiro},
title = {Brazilian Symposium on Programming Languages {(SBLP} 2011)},
journal = {Sci. Comput. Program.},
volume = {93},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.01.001},
doi = {10.1016/J.SCICO.2014.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BragaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL14,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Heterogeneous and Asynchronous Networks of Timed Systems},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {79--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_6},
doi = {10.1007/978-3-642-54804-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FiadeiroL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DelahayeFLL14,
author = {Beno{\^{\i}}t Delahaye and
Jos{\'{e}} Luiz Fiadeiro and
Axel Legay and
Ant{\'{o}}nia Lopes},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Heterogeneous Timed Machines},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {115--132},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_8},
doi = {10.1007/978-3-319-10882-7\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DelahayeFLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/VissaniPTF14,
author = {Ignacio Vissani and
Carlos Gustavo L{\'{o}}pez Pombo and
Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Mihai Codescu and
Razvan Diaconescu and
Ionut Tutu},
title = {A Full Operational Semantics for Asynchronous Relational Networks},
booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International
Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9463},
pages = {131--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28114-8\_8},
doi = {10.1007/978-3-319-28114-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/VissaniPTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2013,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07602-7},
doi = {10.1007/978-3-319-07602-7},
isbn = {978-3-319-07601-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FiadeiroL13,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {A model for dynamic reconfiguration in service-oriented architectures},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {349--367},
year = {2013},
url = {https://doi.org/10.1007/s10270-012-0236-1},
doi = {10.1007/S10270-012-0236-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FiadeiroL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FiadeiroL13,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {An interface theory for service-oriented design},
journal = {Theor. Comput. Sci.},
volume = {503},
pages = {1--30},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.05.011},
doi = {10.1016/J.TCS.2013.05.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FiadeiroL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF13,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Reiko Heckel and
Stefan Milius},
title = {A Logic-Programming Semantics of Services},
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 = {299--313},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_22},
doi = {10.1007/978-3-642-40206-7\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/TutuF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DelahayeFLL13,
author = {Beno{\^{\i}}t Delahaye and
Jos{\'{e}} Luiz Fiadeiro and
Axel Legay and
Ant{\'{o}}nia Lopes},
editor = {Dirk Beyer and
Michele Boreale},
title = {A Timed Component Algebra for Services},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {242--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_17},
doi = {10.1007/978-3-642-38592-6\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DelahayeFLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fiadeiro12,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {24},
number = {2},
pages = {161--162},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0224-9},
doi = {10.1007/S00165-012-0224-9},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fiadeiro12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FiadeiroLA12,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Jo{\~{a}}o Abreu},
title = {A formal model for service-oriented interactions},
journal = {Sci. Comput. Program.},
volume = {77},
number = {5},
pages = {577--608},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.12.003},
doi = {10.1016/J.SCICO.2011.12.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FiadeiroLA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL12,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Juan de Lara and
Andrea Zisman},
title = {Consistency of Service Composition},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {63--77},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_5},
doi = {10.1007/978-3-642-28872-2\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FiadeiroL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LopesF12,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {A Graph-Based Design Framework for Services},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {1--19},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_1},
doi = {10.1007/978-3-642-33654-6\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/LopesF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Fiadeiro12,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {The Many Faces of Complexity in Software Design},
booktitle = {Conquering Complexity},
pages = {3--47},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_1},
doi = {10.1007/978-1-4471-2297-5\_1},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Fiadeiro12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FiadeiroLB11,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Laura Bocchi},
title = {An abstract model of service discovery and binding},
journal = {Formal Aspects Comput.},
volume = {23},
number = {4},
pages = {433--463},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0166-z},
doi = {10.1007/S00165-010-0166-Z},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FiadeiroLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/SeveriFE11,
author = {Paula Severi and
Jos{\'{e}} Luiz Fiadeiro and
David Ekserdjian},
title = {Guiding the representation of n-ary relations in ontologies through
aggregation, generalisation and participation},
journal = {J. Web Semant.},
volume = {9},
number = {2},
pages = {83--98},
year = {2011},
url = {https://doi.org/10.1016/j.websem.2011.04.003},
doi = {10.1016/J.WEBSEM.2011.04.003},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/SeveriFE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL11,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {An Interface Theory for Service-Oriented Design},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {18--33},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_3},
doi = {10.1007/978-3-642-19811-3\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FiadeiroL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/BeekGFF11,
author = {Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi and
Jos{\'{e}} Luiz Fiadeiro},
editor = {James L. Rash and
Christopher A. Rouff},
title = {Variability and Rigour in Service Computing Engineering},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {122--127},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.24},
doi = {10.1109/SEW.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/BeekGFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FiadeiroLBA11,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Laura Bocchi and
Jo{\~{a}}o Abreu},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {The Sensoria Reference Modelling Language},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {61--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_5},
doi = {10.1007/978-3-642-20401-2\_5},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FiadeiroLBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CoyleHNF10,
author = {Lorcan Coyle and
Mike Hinchey and
Bashar Nuseibeh and
Jos{\'{e}} Luiz Fiadeiro},
title = {Guest Editors' Introduction: Evolving Critical Systems},
journal = {Computer},
volume = {43},
number = {5},
pages = {28--33},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.139},
doi = {10.1109/MC.2010.139},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CoyleHNF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fiadeiro10,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {215--216},
year = {2010},
url = {https://doi.org/10.1007/s00165-010-0151-6},
doi = {10.1007/S00165-010-0151-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fiadeiro10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SeveriFE10,
author = {Paula Severi and
Jos{\'{e}} Luiz Fiadeiro and
David Ekserdjian},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Guiding Reification in {OWL} through Aggregation},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SeveriFE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/FiadeiroL10,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Muhammad Ali Babar and
Ian Gorton},
title = {A Model for Dynamic Reconfiguration in Service-Oriented Architectures},
booktitle = {Software Architecture, 4th European Conference, {ECSA} 2010, Copenhagen,
Denmark, August 23-26, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6285},
pages = {70--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15114-9\_8},
doi = {10.1007/978-3-642-15114-9\_8},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/FiadeiroL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AzmatBF10,
author = {Freeha Azmat and
Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro},
editor = {E. Michael Maximilien and
Gustavo Rossi and
Soe{-}Tsyr Yuan and
Heiko Ludwig and
Marcelo Fantinato},
title = {Early Model-Analysis of Logistics Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2010 International Workshops,
PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6568},
pages = {225--236},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19394-1\_25},
doi = {10.1007/978-3-642-19394-1\_25},
timestamp = {Sun, 02 Jun 2019 21:20:24 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/AzmatBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2010,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding},
isbn = {978-0-7695-4153-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AbreuMFG09,
author = {Jo{\~{a}}o Abreu and
Franco Mazzanti and
Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {A Model-Checking Approach for Service Component Architectures},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {219--224},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_15},
doi = {10.1007/978-3-642-02138-1\_15},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/AbreuMFG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1001-4413,
author = {Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Noor Rajper and
Stephan Reiff{-}Marganiec},
editor = {Jeremy W. Bryans and
John S. Fitzgerald},
title = {Structure and Behaviour of Virtual Organisation Breeding Environments},
booktitle = {Proceedings Second Workshop on Formal Aspects of Virtual Organisations,
{FAVO} 2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {16},
pages = {26--40},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.16.3},
doi = {10.4204/EPTCS.16.3},
timestamp = {Thu, 14 Mar 2019 18:02:12 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BocchiFLPT09,
author = {Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Alessandro Lapadula and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {From Architectural to Behavioural Specification of Services},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {3--21},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.025},
doi = {10.1016/J.ENTCS.2009.09.025},
timestamp = {Fri, 24 Feb 2023 15:09:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BocchiFLPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/DustdarFS08,
author = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {Business process management},
journal = {Data Knowl. Eng.},
volume = {64},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.datak.2007.06.004},
doi = {10.1016/J.DATAK.2007.06.004},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/DustdarFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Fiadeiro08,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {What Do Semantics Matter When the Meat Is Overcooked?},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {563--580},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_35},
doi = {10.1007/978-3-540-68679-8\_35},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Fiadeiro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BocchiFL08,
author = {Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {Service-Oriented Modelling of Automotive Systems},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1059--1064},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.228},
doi = {10.1109/COMPSAC.2008.228},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BocchiFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AbreuF08,
author = {Jo{\~{a}}o Abreu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {A Coordination Model for Service-Oriented Interactions},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {1--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_1},
doi = {10.1007/978-3-540-68265-3\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AbreuF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BocchiFL08,
author = {Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Use-Case Driven Approach to Formal Service-Oriented Modelling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {155--169},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_12},
doi = {10.1007/978-3-540-88479-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BocchiFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Fiadeiro08,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {On the Challenge of Engineering Socio-technical Systems},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {80--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_4},
doi = {10.1007/978-3-540-89437-7\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Fiadeiro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2008,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3},
doi = {10.1007/978-3-540-78743-3},
isbn = {978-3-540-78742-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Fiadeiro07,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Designing for Software's Social Complexity},
journal = {Computer},
volume = {40},
number = {1},
pages = {34--39},
year = {2007},
url = {https://doi.org/10.1109/MC.2007.16},
doi = {10.1109/MC.2007.16},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Fiadeiro07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroL07,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {An algebraic semantics of event-based architectures},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {1029--1073},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006299},
doi = {10.1017/S0960129507006299},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/El-HassanFH07,
author = {Osama E. S. El{-}Hassan and
Jos{\'{e}} Luiz Fiadeiro and
Reiko Heckel},
editor = {Arthur H. M. ter Hofstede and
Boualem Benatallah and
Hye{-}Young Paik},
title = {Managing Socio-technical Interactions in Healthcare Systems},
booktitle = {Business Process Management Workshops, {BPM} 2007 International Workshops,
BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia,
September 24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4928},
pages = {347--358},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78238-4\_36},
doi = {10.1007/978-3-540-78238-4\_36},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/El-HassanFH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FiadeiroS07,
author = {Jos{\'{e}} Luiz Fiadeiro and
Vincent Schmitt},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Structured Co-spans: An Algebra of Interaction Protocols},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {194--208},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_14},
doi = {10.1007/978-3-540-73859-6\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/FiadeiroS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AbreuBFL07,
author = {Jo{\~{a}}o Abreu and
Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Specifying and Composing Interaction Protocols for Service-Oriented
System Modelling},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {358--373},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_23},
doi = {10.1007/978-3-540-73196-2\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AbreuBFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BocchiHLF07,
author = {Laura Bocchi and
Yi Hong and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marlon Dumas and
Reiko Heckel},
title = {From {BPEL} to {SRML:} {A} Formal Transformational Approach},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {92--107},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_7},
doi = {10.1007/978-3-540-79230-7\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BocchiHLF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2006,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71998-4},
doi = {10.1007/978-3-540-71998-4},
isbn = {978-3-540-71997-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijipt/AoumeurFO06,
author = {Nasreddine Aoumeur and
Jos{\'{e}} Luiz Fiadeiro and
Crist{\'{o}}v{\~{a}}o Oliveira},
title = {Distribution concerns in service-oriented modelling},
journal = {Int. J. Internet Protoc. Technol.},
volume = {1},
number = {3},
pages = {144--158},
year = {2006},
url = {https://doi.org/10.1504/IJIPT.2006.009740},
doi = {10.1504/IJIPT.2006.009740},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijipt/AoumeurFO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LopesF06,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
title = {Adding mobility to software architectures},
journal = {Sci. Comput. Program.},
volume = {61},
number = {2},
pages = {114--135},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.10.010},
doi = {10.1016/J.SCICO.2005.10.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LopesF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LanoF06,
author = {Kevin Lano and
Jos{\'{e}} Luiz Fiadeiro},
title = {Extending {UML} with coordination contracts},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {110--120},
year = {2006},
url = {https://doi.org/10.1007/s10270-005-0095-0},
doi = {10.1007/S10270-005-0095-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LanoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FiadeiroR06,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jan J. M. M. Rutten},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {366},
number = {1-2},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.001},
doi = {10.1016/J.TCS.2006.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FiadeiroR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL06,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Luciano Baresi and
Reiko Heckel},
title = {A Formal Approach to Event-Based Architectures},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {18--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_4},
doi = {10.1007/11693017\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FiadeiroL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Fiadeiro06,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Separating Distribution from Coordination and Computation as Architectural
Dimensions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {17},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_2},
doi = {10.1007/11768869\_2},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Fiadeiro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Fiadeiro06,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Physiological vs. Social Complexity in Software Design},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.68},
doi = {10.1109/ICECCS.2006.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Fiadeiro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Al-GhamdiF06,
author = {Ahmed Al{-}Ghamdi and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Architectural Handling of Management Concerns in Service-Driven Business
Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {111--120},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Al-GhamdiF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FiadeiroLB06,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Laura Bocchi},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {Algebraic Semantics of Service Component Modules},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
pages = {37--55},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71998-4\_3},
doi = {10.1007/978-3-540-71998-4\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/FiadeiroLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/FiadeiroLB06,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Laura Bocchi},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {A Formal Approach to Service Component Architecture},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {193--213},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_13},
doi = {10.1007/11841197\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/FiadeiroLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/El-HassanF07,
author = {Osama E. S. El{-}Hassan and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Guido Boella and
Mehdi Dastani and
Andrea Omicini and
Leon van der Torre and
Ivana Cern{\'{a}} and
Isabelle Linden},
title = {Role-based Architectural Modelling of Socio-Technical Systems},
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 = {5--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.050},
doi = {10.1016/J.ENTCS.2007.01.050},
timestamp = {Tue, 24 Jan 2023 13:37:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/El-HassanF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2006,
editor = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {Business Process Management, 4th International Conference, {BPM} 2006,
Vienna, Austria, September 5-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4102},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841760},
doi = {10.1007/11841760},
isbn = {3-540-38901-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5081,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05081/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0014211,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Categories for software engineering},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b138249},
doi = {10.1007/B138249},
isbn = {978-3-540-20909-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0014211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Marti-OlietPFMM05,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Isabel Pita and
Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} Meseguer and
T. S. E. Maibaum},
title = {A Verification Logic for Rewriting Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {317--352},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi015},
doi = {10.1093/LOGCOM/EXI015},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Marti-OlietPFMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/LopesF05,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Ronald Morrison and
Fl{\'{a}}vio Oquendo},
title = {Context-Awareness in Software Architectures},
booktitle = {Software Architecture, 2nd European Workshop, {EWSA} 2005, Pisa, Italy,
June 13-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3527},
pages = {146--161},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494713\_10},
doi = {10.1007/11494713\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/LopesF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraWFL05,
author = {Crist{\'{o}}v{\~{a}}o Oliveira and
Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Modelling the {GSM} Handover Protocol in CommUnity},
booktitle = {Proceedings of the Second International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {3},
pages = {3--25},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.031},
doi = {10.1016/J.ENTCS.2005.06.031},
timestamp = {Tue, 13 Dec 2022 10:40:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraWFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2005,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133},
doi = {10.1007/11548133},
isbn = {3-540-28620-9},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FiadeiroMW05,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {05081 Abstracts Collection - Foundations of Global Computing},
booktitle = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/459},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FiadeiroMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LopesF04,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
title = {Superposition: composition vs refinement of non-deterministic, action-based
systems},
journal = {Formal Aspects Comput.},
volume = {16},
number = {1},
pages = {5--18},
year = {2004},
url = {https://doi.org/10.1007/s00165-003-0021-6},
doi = {10.1007/S00165-003-0021-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LopesF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AndradeF04,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Composition Contracts for Service Interaction},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {4},
pages = {375--390},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-04-0375},
doi = {10.3217/JUCS-010-04-0375},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AndradeF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BarrocaFJLN04,
author = {Leonor Barroca and
Jos{\'{e}} Luiz Fiadeiro and
Michael Jackson and
Robin C. Laney and
Bashar Nuseibeh},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Problem Frames: {A} Case for Coordination},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {5--19},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_4},
doi = {10.1007/978-3-540-24634-3\_4},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BarrocaFJLN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Fiadeiro04,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Software Services: Scientific Challenge or Industrial Hype?},
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 = {1--13},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_1},
doi = {10.1007/978-3-540-31862-0\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Fiadeiro04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BruniFLLM04,
author = {Roberto Bruni and
Jos{\'{e}} Luiz Fiadeiro and
Ivan Lanese and
Ant{\'{o}}nia Lopes and
Ugo Montanari},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {New Insights on Architectural Connectors},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {367--380},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_29},
doi = {10.1007/1-4020-8141-3\_29},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BruniFLLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/LopesF04,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {Algebraic Semantics of Design Abstractions for Context-Awareness},
booktitle = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
pages = {79--93},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31959-7\_5},
doi = {10.1007/978-3-540-31959-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/LopesF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/AoumeurFO04,
author = {Nasreddine Aoumeur and
Jos{\'{e}} Luiz Fiadeiro and
Crist{\'{o}}v{\~{a}}o Oliveira},
title = {Towards an Architectural Approach to Location-Aware Business Processes},
booktitle = {13th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004,
Modena, Italy},
pages = {147--152},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ENABL.2004.72},
doi = {10.1109/ENABL.2004.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/AoumeurFO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/OliveiraWFL04,
author = {Crist{\'{o}}v{\~{a}}o Oliveira and
Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {An Architectural Approach to Mobility - The Handover Case Study},
booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2004), 12-15 June 2004, Oslo, Norway},
pages = {305--310},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WICSA.2004.1310715},
doi = {10.1109/WICSA.2004.1310715},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/OliveiraWFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2004,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b107129},
doi = {10.1007/B107129},
isbn = {3-540-25327-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FiadeiroMT03,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jan Madey and
Andrzej Tarlecki},
title = {Foreword},
journal = {Inf. Process. Lett.},
volume = {88},
number = {1-2},
pages = {1--2},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(03)00391-0},
doi = {10.1016/S0020-0190(03)00391-0},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/FiadeiroMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/LopesWF03,
author = {Ant{\'{o}}nia Lopes and
Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
title = {High-order architectural connectors},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {12},
number = {1},
pages = {64--104},
year = {2003},
url = {https://doi.org/10.1145/839268.839272},
doi = {10.1145/839268.839272},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/LopesWF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/FiadeiroLW03,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Michel Wermelinger},
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {A Mathematical Semantics for Architectural Connectors},
booktitle = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
pages = {178--221},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45191-4\_5},
doi = {10.1007/978-3-540-45191-4\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/FiadeiroLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AndradeFLW03,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Michel Wermelinger},
editor = {Johann Eder and
Roland T. Mittermeir and
Barbara Pernici},
title = {Coordination for Distributed Business Systems},
booktitle = {The 15th Conference on Advanced Information Systems Engineering (CAiSE
'03), Klagenfurt/Velden, Austria, 16-20 June, 2003, Workshops Proceedings,
Information Systems for a Connected Society},
series = {{CEUR} Workshop Proceedings},
volume = {75},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-75/files/UMICS\_02.pdf},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/AndradeFLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MoreiraFA03,
author = {Ana M. D. Moreira and
Jos{\'{e}} Luiz Fiadeiro and
Lu{\'{\i}}s Andrade},
editor = {Johann Eder and
Michele Missikoff},
title = {Evolving Requirements through Coordination Contracts},
booktitle = {Advanced Information Systems Engineering, 15th International Conference,
CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2681},
pages = {633--646},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45017-3\_42},
doi = {10.1007/3-540-45017-3\_42},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/MoreiraFA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FiadeiroL03,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {CommUnity on the Move: Architectures for Distribution and Mobility},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {177--196},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_8},
doi = {10.1007/978-3-540-30101-1\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FiadeiroL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WermelingerKLAGAF03,
author = {Michel Wermelinger and
Georgios Koutsoukos and
Hugo Louren{\c{c}}o and
Richard Avillez and
Jo{\~{a}}o Gouveia and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {Enhancing Dependability Through Flexible Adaptation to Changing Requirements},
booktitle = {Architecting Dependable Systems {II} - [the book is a result of the
{ICSE} 2003 Workshop on Software Architectures for Dependable Systems]},
series = {Lecture Notes in Computer Science},
volume = {3069},
pages = {3--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25939-8\_1},
doi = {10.1007/978-3-540-25939-8\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WermelingerKLAGAF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/WermelingerKAGAF03,
author = {Michel Wermelinger and
Georgios Koutsoukos and
Richard Avillez and
Jo{\~{a}}o Gouveia and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Using Coordination Contracts for Flexible Adaptation to Changing Business
Rules},
booktitle = {6th International Workshop on Principles of Software Evolution {(IWPSE}
2003), 1-2 September 2003, Helsinki, Finland},
pages = {115--120},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWPSE.2003.1231217},
doi = {10.1109/IWPSE.2003.1231217},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/WermelingerKAGAF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AndradeF03,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Architecture Based Evolution of Software Systems},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {148--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_8},
doi = {10.1007/978-3-540-39800-4\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/AndradeF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LopesF04,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Adding Mobility to Software Architectures},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {241--258},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.039},
doi = {10.1016/J.ENTCS.2004.04.039},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LopesF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015718,
author = {Kevin Lano and
Jos{\'{e}} Luiz Fiadeiro and
Lu{\'{\i}}s Filipe Andrade},
title = {Software design using Java 2},
publisher = {Palgrave Macmillan},
year = {2002},
isbn = {978-1-4039-0230-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0015718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VelosoFV02,
author = {Paulo A. S. Veloso and
Jos{\'{e}} Luiz Fiadeiro and
Sheila R. M. Veloso},
title = {On local modularity and interpolation in entailment systems},
journal = {Inf. Process. Lett.},
volume = {82},
number = {4},
pages = {203--211},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00271-X},
doi = {10.1016/S0020-0190(01)00271-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/VelosoFV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AndradeF02,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Agility through coordination},
journal = {Inf. Syst.},
volume = {27},
number = {6},
pages = {411--424},
year = {2002},
url = {https://doi.org/10.1016/S0306-4379(02)00013-3},
doi = {10.1016/S0306-4379(02)00013-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/AndradeF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WermelingerF02,
author = {Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
title = {A graph transformation approach to software architecture reconfiguration},
journal = {Sci. Comput. Program.},
volume = {44},
number = {2},
pages = {133--155},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(02)00036-9},
doi = {10.1016/S0167-6423(02)00036-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WermelingerF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/AndradeFGK02,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Jo{\~{a}}o Gouveia and
Georgios Koutsoukos},
title = {Separating computation, coordination and configuration},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {14},
number = {5},
pages = {353--369},
year = {2002},
url = {https://doi.org/10.1002/smr.260},
doi = {10.1002/SMR.260},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/AndradeFGK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fiadeiro02,
author = {Jos{\'{e}} Luiz Fiadeiro},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {286},
number = {2},
pages = {151},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00315-2},
doi = {10.1016/S0304-3975(01)00315-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fiadeiro02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fiadeiro02,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Algebraic Support for Service-Oriented Architecture},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {75--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_6},
doi = {10.1007/3-540-45719-4\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fiadeiro02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LopesF02,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Revisiting the Categorical Approach to Systems},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {426--440},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_29},
doi = {10.1007/3-540-45719-4\_29},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/LopesF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndradeFGKW02,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Coordination for Orchestration},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {5--13},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_4},
doi = {10.1007/3-540-46000-4\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/AndradeFGKW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/Fiadeiro02,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Fabrizio Grandoni and
Pascale Th{\'{e}}venod{-}Fosse},
title = {An Architectural Approach to Fault Treatment in Critical Infrastructures},
booktitle = {Dependable Computing - EDCC-4, 4th European Dependable Computing Conference,
Toulouse, France, October 23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2485},
pages = {86--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36080-8\_10},
doi = {10.1007/3-540-36080-8\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/Fiadeiro02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GouveiaKWAF02,
author = {Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {The Coordination Development Environment},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {323--326},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_22},
doi = {10.1007/3-540-45923-5\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/GouveiaKWAF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/AndradeF02,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {An Architectural Approach to Auto-Adaptive Systems},
booktitle = {22nd International Conference on Distributed Computing Systems, Workshops
{(ICDCSW} '02) July 2-5, 2002, Vienna, Austria, Proceedings},
pages = {439--444},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICDCSW.2002.1030809},
doi = {10.1109/ICDCSW.2002.1030809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/AndradeF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/AndradeF02a,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Coordination Architecture for Evolvable Event-Based Systems},
booktitle = {22nd International Conference on Distributed Computing Systems, Workshops
{(ICDCSW} '02) July 2-5, 2002, Vienna, Austria, Proceedings},
pages = {571--572},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICDCSW.2002.1030827},
doi = {10.1109/ICDCSW.2002.1030827},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/AndradeF02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GouveiaKWAF02,
author = {Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Coordination contracts for Java applications},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {714},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581465},
doi = {10.1145/581339.581465},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GouveiaKWAF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/WermelingerKFAG02,
author = {Michel Wermelinger and
Georgios Koutsoukos and
Jos{\'{e}} Luiz Fiadeiro and
L. Andrade and
Jo{\~{a}}o Gouveia},
editor = {Mikio Aoyama and
Katsuro Inoue and
V{\'{a}}clav Rajlich},
title = {Evolving and using coordinated systems},
booktitle = {Proceedings of the International Workshop on Principles of Software
Evolution, {IWPSE} '02, Orlando, Florida, USA, May 19-20, 2002},
pages = {43--47},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512035.512046},
doi = {10.1145/512035.512046},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/WermelingerKFAG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GouveiaKWAF02,
author = {Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Mamdouh Ibrahim},
title = {Developing and evolving Java applications using coordination contracts},
booktitle = {Companion of the 17th annual {ACM} {SIGPLAN} conference on Object-oriented
programming, systems, languages, and applications, {OOPSLA} 2002,
Seattle, Washington, USA, November 4-8, 2002},
pages = {28--29},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/985072.985087},
doi = {10.1145/985072.985087},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GouveiaKWAF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndradeFGKW02,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger},
editor = {Mamdouh Ibrahim},
title = {A coordination methodology and technology for agile businesses},
booktitle = {Companion of the 17th annual {ACM} {SIGPLAN} conference on Object-oriented
programming, systems, languages, and applications, {OOPSLA} 2002,
Seattle, Washington, USA, November 4-8, 2002},
pages = {48--49},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/985072.985098},
doi = {10.1145/985072.985098},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AndradeFGKW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LopesFW02,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro and
Michel Wermelinger},
title = {Architectural primitives for distribution and mobility},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {41--50},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587058},
doi = {10.1145/587051.587058},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LopesFW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Fiadeiro02,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Coordination Technologies for Just-in-Time Integration},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {308--321},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_19},
doi = {10.1007/978-3-540-40007-3\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/Fiadeiro02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
author = {Lu{\'{\i}}s Andrade and
Paolo Baldan and
Hubert Baumeister and
Roberto Bruni and
Andrea Corradini and
Rocco De Nicola and
Jos{\'{e}} Luiz Fiadeiro and
Fabio Gadducci and
Stefania Gnesi and
Piotr Hoffman and
Nora Koch and
Piotr Kosiuczenko and
Alessandro Lapadula and
Diego Latella and
Ant{\'{o}}nia Lopes and
Michele Loreti and
Mieke Massink and
Franco Mazzanti and
Ugo Montanari and
Crist{\'{o}}v{\~{a}}o Oliveira and
Rosario Pugliese and
Andrzej Tarlecki and
Michel Wermelinger and
Martin Wirsing and
Artur Zawlocki},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {{AGILE:} Software Architecture for Mobility},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {1--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_1},
doi = {10.1007/978-3-540-40020-2\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/LopesF02,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {On How Distribution and Mobility Interfere with Coordination},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {343--358},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_20},
doi = {10.1007/978-3-540-40020-2\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/LopesF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/LemosF02,
author = {Rog{\'{e}}rio de Lemos and
Jos{\'{e}} Luiz Fiadeiro},
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {An architectural support for self-adaptive software for treating faults},
booktitle = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
2002, Charleston, South Carolina, USA, November 18-19, 2002},
pages = {39--42},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582128.582136},
doi = {10.1145/582128.582136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/LemosF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LopesF02,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Superposition: Composition vs refinement of non-deterministic action-based
systems},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {282--296},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82562-9},
doi = {10.1016/S1571-0661(05)82562-9},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LopesF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AndradeF01,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Klaus R. Dittrich and
Andreas Geppert and
Moira C. Norrie},
title = {Coordination Technologies for Managing Information System Evolution},
booktitle = {Advanced Information Systems Engineering, 13th International Conference,
CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2068},
pages = {374--387},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45341-5\_25},
doi = {10.1007/3-540-45341-5\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/AndradeF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/0001GKF01,
author = {Lu{\'{\i}}s Andrade and
Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Tom Mens and
Michel Wermelinger},
title = {Coordination Contracts, Evolution and Tools},
booktitle = {Proceedings of the 2001 International Workshop on Formal Foundations
of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
2001},
pages = {35--41},
publisher = {Universidade Nova de Lisboa},
year = {2001},
timestamp = {Tue, 21 Mar 2023 11:02:13 +0100},
biburl = {https://dblp.org/rec/conf/csmr/0001GKF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/WermelingerLF01,
author = {Michel Wermelinger and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Tom Mens and
Michel Wermelinger},
title = {A Graph Transformation Approach to Architectural Run-Time Reconfiguration},
booktitle = {Proceedings of the 2001 International Workshop on Formal Foundations
of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16,
2001},
pages = {59--66},
publisher = {Universidade Nova de Lisboa},
year = {2001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/WermelingerLF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/KoutsoukosGAF01,
author = {Georgios Koutsoukos and
Jo{\~{a}}o Gouveia and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Krzysztof Zielinski and
Kurt Geihs and
Aleksander Laurentowski},
title = {Managing Evolution in Telecommunication Systems},
booktitle = {New Developments in Distributed Applications and Interoperable Systems,
{IFIP} {TC6} / {WG6.1} Third International Working Conference on Distributed
Applications and Interoperable Systems, September 17-19, 2001, Krak{\'{o}}w,
Poland},
series = {{IFIP} Conference Proceedings},
volume = {198},
pages = {133--139},
publisher = {Kluwer},
year = {2001},
url = {https://doi.org/10.1007/0-306-47005-5\_12},
doi = {10.1007/0-306-47005-5\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dais/KoutsoukosGAF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndradeF01,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Elke Pulverm{\"{u}}ller and
Andreas Speck and
James Coplien and
Maja D'Hondt and
Wolfgang De Meuter},
title = {Feature Modeling and Composition with Coordination Contracts},
booktitle = {Proceedings of the {ECOOP} 2001 Workshop on Feature Interaction in
Composed Systems {(FICS} 2001), Budapest, Hungary, June 18-22, 2001},
series = {Technical Report},
volume = {2001-14},
pages = {49--54},
publisher = {University of Karlsruhe, Institut f{\"{u}}r Programmstrukturen
und Datenorganisation},
year = {2001},
url = {http://www.info.uni-karlsruhe.de/\%7Epulvermu/workshops/ecoop2001/proceedings/FICS2001.pdf},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AndradeF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/AndradeFGKW01,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Michel Wermelinger},
editor = {Tetsuo Tamai},
title = {Support for Business-Driven Evolution with Coordination Technologies},
booktitle = {Proceedings of the 4th International Workshop on Principles of Software
Evolution, {IWPSE} 2001, Vienna, Austria, September 10-11, 2001},
pages = {99--102},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/602461.602481},
doi = {10.1145/602461.602481},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/AndradeFGKW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndradeFW01,
author = {Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Michel Wermelinger},
title = {Enforcing Business Policies Through Automated Reconfiguration},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {426},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989844},
doi = {10.1109/ASE.2001.989844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AndradeFW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WermelingerLF01,
author = {Michel Wermelinger and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {A Min Tjoa and
Volker Gruhn},
title = {A graph based architectural (Re)configuration language},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {21--32},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503213},
doi = {10.1145/503209.503213},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WermelingerLF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/AndradeF01,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Coordination: The Evolutionary Dimension},
booktitle = {{TOOLS} Europe 2001: 38th International Conference on Technology of
Object-Oriented Languages and Systems, Components for Mobile Computing,
Zurich, Switzerland, 12-14 March 2001},
pages = {136--147},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TOOLS.2001.911762},
doi = {10.1109/TOOLS.2001.911762},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/AndradeF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/FiadeiroA01,
author = {Jos{\'{e}} Luiz Fiadeiro and
Lu{\'{\i}}s Filipe Andrade},
title = {Interconnecting Objects via Contracts},
booktitle = {{TOOLS} Europe 2001: 38th International Conference on Technology of
Object-Oriented Languages and Systems, Components for Mobile Computing,
Zurich, Switzerland, 12-14 March 2001},
pages = {182--183},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TOOLS.2001.911771},
doi = {10.1109/TOOLS.2001.911771},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/FiadeiroA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/GouveiaKAF01,
author = {Jo{\~{a}}o Gouveia and
Georgios Koutsoukos and
Lu{\'{\i}}s Andrade and
Jos{\'{e}} Luiz Fiadeiro},
title = {Tool Support for Coordination-Based Software Evolution},
booktitle = {{TOOLS} Europe 2001: 38th International Conference on Technology of
Object-Oriented Languages and Systems, Components for Mobile Computing,
Zurich, Switzerland, 12-14 March 2001},
pages = {184--196},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TOOLS.2001.911772},
doi = {10.1109/TOOLS.2001.911772},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/GouveiaKAF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/LopesWF01,
author = {Ant{\'{o}}nia Lopes and
Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Maura Cerioli and
Gianna Reggio},
title = {A Compositional Approach to Connector Construction},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {201--220},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_10},
doi = {10.1007/3-540-45645-7\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/LopesWF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndradeFGLW00,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro and
Jo{\~{a}}o Gouveia and
Ant{\'{o}}nia Lopes and
Michel Wermelinger},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {Patterns for Coordination},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {317--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_22},
doi = {10.1007/3-540-45263-X\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/AndradeFGLW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WermelingerLF00,
author = {Michel Wermelinger and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
title = {Superposing Connectors},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857216},
doi = {10.5555/857171.857216},
timestamp = {Fri, 13 May 2022 15:20:05 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WermelingerLF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BahsounFG99,
author = {Jean Paul Bahsoun and
Jos{\'{e}} Luiz Fiadeiro and
Didier Galmiche},
title = {Foreword},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {3},
pages = {225--226},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44817},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BahsounFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/WermelingerF99,
author = {Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Algebraic Software Architecture Reconfiguration},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {393--409},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_24},
doi = {10.1007/3-540-48166-4\_24},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/WermelingerF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LopesF99,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Jean{-}Pierre Finance},
title = {Using Explicit State to Describe Architechtures},
booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl
Conference, FASE'99, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {144--160},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_10},
doi = {10.1007/978-3-540-49020-3\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LopesF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AndradeF99,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Robert B. France and
Bernhard Rumpe},
title = {Interconnecting Objects Via Contracts},
booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
- Beyond the Standard, Second International Conference, Fort Collins,
CO, USA, October 28-30, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1723},
pages = {566--583},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46852-8\_40},
doi = {10.1007/3-540-46852-8\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uml/AndradeF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FiadeiroMMMP99,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Isabel Pita},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {Towards a Verification Logic for Rewriting Logic},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {438--458},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_25},
doi = {10.1007/978-3-540-44616-3\_25},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/FiadeiroMMMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/1998,
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48483-3},
doi = {10.1007/3-540-48483-3},
isbn = {3-540-66246-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/RamosF98,
author = {Pedro Ramos and
Jos{\'{e}} Luiz Fiadeiro},
title = {A computational tool that supports formal diagnosis of process design},
journal = {Inf. Softw. Technol.},
volume = {40},
number = {10},
pages = {555--565},
year = {1998},
url = {https://doi.org/10.1016/S0950-5849(98)00082-2},
doi = {10.1016/S0950-5849(98)00082-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/RamosF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/VelosoVF98,
author = {Sheila R. M. Veloso and
Paulo A. S. Veloso and
Jos{\'{e}} Luiz Fiadeiro},
title = {Labeled Families in Modular Software Development},
journal = {J. Braz. Comput. Soc.},
volume = {5},
number = {1},
year = {1998},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/VelosoVF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WermelingerF98,
author = {Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
title = {Connectors for Mobile Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {5},
pages = {331--341},
year = {1998},
url = {https://doi.org/10.1109/32.685257},
doi = {10.1109/32.685257},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WermelingerF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FiadeiroL98,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Armando Martin Haeberer},
title = {Algebraic Semantics of Coordination or What Is in a Signature},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {293--307},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_22},
doi = {10.1007/3-540-49253-4\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/FiadeiroL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WermelingerF98,
author = {Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
title = {Towards an Algebra of Architectural Connectors: a Case Study on Synchronization
for Mobility},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {135--143},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858292},
doi = {10.5555/857205.858292},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WermelingerF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FiadeiroM97,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
title = {Categorical Semantics of Parallel Program Design},
journal = {Sci. Comput. Program.},
volume = {28},
number = {2-3},
pages = {111--138},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00025-1},
doi = {10.1016/S0167-6423(96)00025-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FiadeiroM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/FiadeiroLM97,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
T. S. E. Maibaum},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Synthesising interconnections},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {240--264},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/FiadeiroLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LopesF97,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Michael Johnson},
title = {Preservation and Reflection in Specification},
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 = {380--394},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000484},
doi = {10.1007/BFB0000484},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/LopesF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NunesFT97,
author = {Isabel Nunes and
Jos{\'{e}} Luiz Fiadeiro and
Wladyslaw M. Turski},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Coordination Durative Actions},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {115--130},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_76},
doi = {10.1007/3-540-63383-9\_76},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NunesFT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LanoBFL97,
author = {Kevin Lano and
Juan Bicarregui and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Specification of Required Non-determinism},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {298--317},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_16},
doi = {10.1007/3-540-63533-5\_16},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/LanoBFL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelage/TorreRFT97,
author = {Leendert W. N. van der Torre and
Pedro Ramos and
Jos{\'{e}} Luiz Fiadeiro and
Yao{-}Hua Tan},
editor = {John{-}Jules Ch. Meyer and
Pierre{-}Yves Schobbens},
title = {The Role of Diagnosis and Decision Theory in Normative Reasoning},
booktitle = {Formal Models of Agents, {ESPRIT} Project ModelAge Final Workshop,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1760},
pages = {216--239},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-46581-2\_15},
doi = {10.1007/3-540-46581-2\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelage/TorreRFT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/FiadeiroL97,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Michel Bidoit and
Max Dauchet},
title = {Semantics of Architectural Connectors},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {505--519},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030622},
doi = {10.1007/BFB0030622},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/FiadeiroL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroC96,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Mirror, Mirror in my Hand: {A} Duality between Specifications and
Models of Process Behaviour},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {353--373},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001067},
doi = {10.1017/S0960129500001067},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fiadeiro96,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Martin Wirsing and
Maurice Nivat},
title = {On the Emergence of Properties in Component-Based Systems},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {421--443},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014331},
doi = {10.1007/BFB0014331},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fiadeiro96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FiadeiroM96,
author = {Jos{\'{e}} Luiz Fiadeiro and
Tom Maibaum},
title = {A Mathematical Toolbox for the Software Architec},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858267},
doi = {10.5555/857204.858267},
timestamp = {Wed, 18 May 2022 15:05:33 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FiadeiroM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ArraisF95,
author = {M. Arrais and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Unifying Theories in Different Institutions},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {81--101},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_38},
doi = {10.1007/3-540-61629-2\_38},
timestamp = {Sat, 30 Sep 2023 09:37:34 +0200},
biburl = {https://dblp.org/rec/conf/compass/ArraisF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FiadeiroM95,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Gail E. Kaiser},
title = {Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {72--80},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222141},
doi = {10.1145/222124.222141},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/FiadeiroM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/ParedesF95,
author = {Carlos Paredes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Mansur H. Samadzadeh and
Mansour Kazerooni{-}Zand},
title = {Reuse of Requirements and Specifications: {A} Formal Framework},
booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability,
SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, {USA}},
pages = {263--266},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/211782.211857},
doi = {10.1145/211782.211857},
timestamp = {Thu, 03 Feb 2022 13:12:45 +0100},
biburl = {https://dblp.org/rec/conf/ssr/ParedesF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroC94,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutions for Behaviour Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {273--289},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014433},
doi = {10.1007/BFB0014433},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FiadeiroM94,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Sometimes "Tomorrow" is "Sometime" - Action Refinement
in a Temporal Logic of Objects},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {48--66},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013980},
doi = {10.1007/BFB0013980},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/FiadeiroM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM94,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Verifying for Reuse: Foundations of Object-Oriented System Verification},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {235--257},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
biburl = {https://dblp.org/rec/conf/imperial/FiadeiroM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ReichweinF93,
author = {Georg Reichwein and
Jos{\'{e}} Luiz Fiadeiro},
title = {Models for the Substitution Axiom of {UNITY} Logic},
journal = {Inf. Process. Lett.},
volume = {48},
number = {4},
pages = {171--176},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90141-U},
doi = {10.1016/0020-0190(93)90141-U},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ReichweinF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/ReichweinFR93,
author = {Georg Reichwein and
Jos{\'{e}} Luiz Fiadeiro and
Mechthild Rohen},
title = {Declarative Semantics of Interoperable Data and Knowledge Bases},
booktitle = {Proceedings of the International Conference on Intelligent and Cooperative
Information Systems, May 12-14, 1993, Rotterdam, The Netherlands},
pages = {291--299},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Fri, 30 Apr 2021 13:02:56 +0200},
biburl = {https://dblp.org/rec/conf/coopis/ReichweinFR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ReichweinF93,
author = {Georg Reichwein and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Miguel Filgueiras and
Lu{\'{\i}}s Damas},
title = {Semantics of Interworking Knowledge Based Systems},
booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on
Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {727},
pages = {93--104},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57287-2\_40},
doi = {10.1007/3-540-57287-2\_40},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/ReichweinF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM93,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Generalising Interpretations between Theories in the context of (pi-)
Institutions},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
pages = {126--147},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 31 Oct 2022 11:04:42 +0100},
biburl = {https://dblp.org/rec/conf/imperial/FiadeiroM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FiadeiroM92,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
title = {Temporal Theories as Modularisation Units for Concurrent System Specification},
journal = {Formal Aspects Comput.},
volume = {4},
number = {3},
pages = {239--272},
year = {1992},
url = {https://doi.org/10.1007/BF01212304},
doi = {10.1007/BF01212304},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FiadeiroM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/SernadasF91,
author = {Cristina Sernadas and
Jos{\'{e}} Luiz Fiadeiro},
title = {Towards object-oriented conceptual modeling},
journal = {Data Knowl. Eng.},
volume = {6},
pages = {479--508},
year = {1991},
url = {https://doi.org/10.1016/0169-023X(91)90025-S},
doi = {10.1016/0169-023X(91)90025-S},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dke/SernadasF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FiadeiroM91,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
title = {Temporal reasoning over deontic specifications},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {357--395},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.357},
doi = {10.1093/LOGCOM/1.3.357},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FiadeiroM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroCSM91,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
T. S. E. Maibaum},
editor = {Michel Bidoit and
Christine Choppy},
title = {Process Semantics of Temporal Logic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {236--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_43},
doi = {10.1007/3-540-56379-2\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroCSM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RyanFM91,
author = {Mark Ryan and
Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Sharing Actions and Attributes in Modal Action Logic},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {569--593},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_65},
doi = {10.1007/3-540-54415-1\_65},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/RyanFM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SernadasFS90,
author = {Cristina Sernadas and
Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
title = {Modular construction of logic knowledge bases: an algebraic approach},
journal = {Inf. Syst.},
volume = {15},
number = {1},
pages = {37--59},
year = {1990},
url = {https://doi.org/10.1016/0306-4379(90)90015-H},
doi = {10.1016/0306-4379(90)90015-H},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/SernadasFS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FiadeiroS90,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
title = {Logics of Modal Terms for Systems Specification},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {187--227},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.187},
doi = {10.1093/LOGCOM/1.2.187},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FiadeiroS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/FiadeiroSMS90,
author = {Jos{\'{e}} Luiz Fiadeiro and
Cristina Sernadas and
T. S. E. Maibaum and
Gunter Saake},
editor = {Robert Meersman and
William Kent and
Samit Khosla},
title = {Proof-Theoretic Semantics of Object-Oriented Specification Constructs},
booktitle = {Object-Oriented Databases: Analysis, Design {\&} Construction
(DS-4), Proceedings of the {IFIP} {TC2/WG} 2.6 Working Conference
on Object-Oriented Databases: Analysis, Design {\&} Construction,
Windermere, UK, 2-6 July, 1990},
pages = {243--284},
publisher = {North-Holland},
year = {1990},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/FiadeiroSMS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/FiadeiroM90,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Describing, Structuring and Implementing Objects},
booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
The Netherlands, May 28 - June 1, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {489},
pages = {274--310},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019447},
doi = {10.1007/BFB0019447},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/FiadeiroM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isco/SernadasFMS89,
author = {Cristina Sernadas and
Jos{\'{e}} Luiz Fiadeiro and
Robert Meersman and
Am{\'{\i}}lcar Sernadas},
editor = {Eckhard D. Falkenberg and
Paul Lindgreen},
title = {Proof-theoretic Conceptual Modeling: the {NIAM} Case Study},
booktitle = {Information System Concepts: An In-depth Analysis, Proceedings of
the {IFIP} {TC8/WG8.1} Working Conference on Information System Concepts:
An In-depth Analysis {(ISCO} 1989), Namur, Belgium, 18-20 October
1989},
series = {{IFIP} Transactions},
pages = {1--30},
publisher = {North-Holland},
year = {1989},
timestamp = {Sat, 17 Jul 2021 09:02:11 +0200},
biburl = {https://dblp.org/rec/conf/isco/SernadasFMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isco/SernadasFSE89,
author = {Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} Luiz Fiadeiro and
Cristina Sernadas and
Hans{-}Dieter Ehrich},
editor = {Eckhard D. Falkenberg and
Paul Lindgreen},
title = {The Basic Building Blocks of Information Systems},
booktitle = {Information System Concepts: An In-depth Analysis, Proceedings of
the {IFIP} {TC8/WG8.1} Working Conference on Information System Concepts:
An In-depth Analysis {(ISCO} 1989), Namur, Belgium, 18-20 October
1989},
series = {{IFIP} Transactions},
pages = {225--246},
publisher = {North-Holland},
year = {1989},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isco/SernadasFSE89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FiadeiroS88,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
title = {Specification and Verification of Database Dynamics},
journal = {Acta Informatica},
volume = {25},
number = {6},
pages = {625--661},
year = {1988},
url = {https://doi.org/10.1007/BF00291052},
doi = {10.1007/BF00291052},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FiadeiroS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/SernadasFS88,
author = {Cristina Sernadas and
Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
editor = {Robert Meersman and
Zhongzhi Shi and
Chenho Kung},
title = {Object-Oriented Conceptual Modeling from Law},
booktitle = {Proceedings of the {IFIP} {TC2/TC8/WG} 2.6/WG 8.1 Working Conference
on the Role of Artificial Intelligence in Databases and Information
Systems, Guangzhou, {PR} China, 4-8 July, 1988},
pages = {305--327},
publisher = {North-Holland},
year = {1988},
timestamp = {Fri, 28 Apr 2017 12:46:32 +0200},
biburl = {https://dblp.org/rec/conf/ds/SernadasFS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiadeiroSS88,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {Knowledgebases as Structured Theories},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {469--486},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_97},
doi = {10.1007/3-540-50517-2\_97},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiadeiroSS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/FiadeiroS87,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
editor = {Donald Sannella and
Andrzej Tarlecki},
title = {Structuring Theories on Consequence},
booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {332},
pages = {44--72},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50325-0\_3},
doi = {10.1007/3-540-50325-0\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/FiadeiroS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tdb/FiadeiroS87,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
editor = {Colette Rolland and
Fran{\c{c}}ois Bodart and
Michel L{\'{e}}onard},
title = {Behavioural Aspects of Intelligent Knowledge-Based Information Systems},
booktitle = {Temporal Aspects in Information Systems, Proceedings of the {IFIP}
{TC} 8/WG 8.1 Working Conference on Temporal Aspects in Information
Systems, Sophia-Antipolis, France, 13-15 May, 1987},
pages = {77--92},
publisher = {North-Holland / Elsevier},
year = {1987},
timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
biburl = {https://dblp.org/rec/conf/tdb/FiadeiroS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/SernadasFSE87,
author = {Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} Luiz Fiadeiro and
Cristina Sernadas and
Hans{-}Dieter Ehrich},
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {Abstract Object Types: {A} Temporal Perspective},
booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
pages = {324--350},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51803-7\_33},
doi = {10.1007/3-540-51803-7\_33},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/tls/SernadasFSE87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/FiadeiroS86,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
title = {The {INFOLOG} linear tense propositional logic of events and transactions},
journal = {Inf. Syst.},
volume = {11},
number = {1},
pages = {61--85},
year = {1986},
url = {https://doi.org/10.1016/0306-4379(86)90023-2},
doi = {10.1016/0306-4379(86)90023-2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/FiadeiroS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SernadasSF86,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Algebraic Knowledge Representation: The Unification of Procedure,
Logic and Structure},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/SernadasSF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/CarapucaF86,
author = {Rog{\'{e}}rio Carapu{\c{c}}a and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Robert Meersman and
Am{\'{\i}}lcar Sernadas},
title = {Varying Representation Schemata vs Fact Updating in {KB} Management},
booktitle = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
"Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
1986},
pages = {71--87},
publisher = {North-Holland},
year = {1986},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/CarapucaF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
