BibTeX records: José Luiz Fiadeiro

download as .bib file

@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   = {Mathematical Structures in Computer Science},
  volume    = {28},
  number    = {6},
  pages     = {800--855},
  year      = {2018},
  url       = {https://doi.org/10.1017/S0960129517000135},
  doi       = {10.1017/S0960129517000135},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/FiadeiroLDL18},
  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/bib/journals/logcom/TutuF17},
  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/bib/journals/tcs/FiadeiroL17},
  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},
  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},
  pages     = {98--114},
  year      = {2017},
  crossref  = {DBLP:conf/tableaux/2017dali},
  url       = {https://doi.org/10.1007/978-3-319-73579-5\_7},
  doi       = {10.1007/978-3-319-73579-5\_7},
  timestamp = {Thu, 08 Nov 2018 14:57:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/FiadeiroTLP17},
  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 = {Fri, 17 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/2017},
  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},
  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},
  pages     = {359--376},
  year      = {2016},
  crossref  = {DBLP:conf/fase/2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7\_21},
  doi       = {10.1007/978-3-662-49665-7\_21},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ChiritaFO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/ChiritaF16,
  author    = {Claudia Elena Chirita and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Free Jazz in the Land of Algebraic Improvisation},
  booktitle = {Proceedings of the Seventh International Conference on Computational
               Creativity, UPMC, Paris, France, June 27 - July 1, 2016.},
  pages     = {322--329},
  year      = {2016},
  crossref  = {DBLP:conf/icccrea/2016},
  url       = {http://www.computationalcreativity.net/iccc2016/wp-content/uploads/2016/01/Free-Jazz-in-the-Land-of-Algebraic-Improvisation.pdf},
  timestamp = {Mon, 06 Mar 2017 16:18:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icccrea/ChiritaF16},
  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   = {Logical Methods in Computer Science},
  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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/TutuF15},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Fiadeiro015},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/IEEEscc/2015},
  url       = {https://doi.org/10.1109/SCC.2015.29},
  doi       = {10.1109/SCC.2015.29},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/MylonakisOF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FiadeiroO15,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Fernando Orejas},
  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},
  pages     = {155--170},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015wirsing},
  url       = {https://doi.org/10.1007/978-3-319-15545-6\_12},
  doi       = {10.1007/978-3-319-15545-6\_12},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/FiadeiroO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF15,
  author    = {Ionut Tutu and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {304--319},
  year      = {2015},
  crossref  = {DBLP:conf/calco/2015},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2015.304},
  doi       = {10.4230/LIPIcs.CALCO.2015.304},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/TutuF15},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BragaF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL14,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {79--93},
  year      = {2014},
  crossref  = {DBLP:conf/fase/2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8\_6},
  doi       = {10.1007/978-3-642-54804-8\_6},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/FiadeiroL14},
  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},
  title     = {Heterogeneous Timed Machines},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
               Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  pages     = {115--132},
  year      = {2014},
  crossref  = {DBLP:conf/ictac/2014},
  url       = {https://doi.org/10.1007/978-3-319-10882-7\_8},
  doi       = {10.1007/978-3-319-10882-7\_8},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/DelahayeFLL14},
  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},
  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},
  pages     = {131--150},
  year      = {2014},
  crossref  = {DBLP:conf/wadt/2014},
  url       = {https://doi.org/10.1007/978-3-319-28114-8\_8},
  doi       = {10.1007/978-3-319-28114-8\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/VissaniPTF14},
  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 = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2013},
  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   = {Software and System Modeling},
  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 = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/FiadeiroL13},
  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 = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/FiadeiroL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF13,
  author    = {Ionut Tutu and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {299--313},
  year      = {2013},
  crossref  = {DBLP:conf/calco/2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7\_22},
  doi       = {10.1007/978-3-642-40206-7\_22},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/TutuF13},
  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},
  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},
  pages     = {242--257},
  year      = {2013},
  crossref  = {DBLP:conf/forte/2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6\_17},
  doi       = {10.1007/978-3-642-38592-6\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/DelahayeFLL13},
  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 = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/FiadeiroLA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL12,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {63--77},
  year      = {2012},
  crossref  = {DBLP:conf/fase/2012},
  url       = {https://doi.org/10.1007/978-3-642-28872-2\_5},
  doi       = {10.1007/978-3-642-28872-2\_5},
  timestamp = {Wed, 14 Nov 2018 10:56:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fase/FiadeiroL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LopesF12,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {A Graph-Based Design Framework for Services},
  booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
               Bremen, Germany, September 24-29, 2012. Proceedings},
  pages     = {1--19},
  year      = {2012},
  crossref  = {DBLP:conf/gg/2012},
  url       = {https://doi.org/10.1007/978-3-642-33654-6\_1},
  doi       = {10.1007/978-3-642-33654-6\_1},
  timestamp = {Wed, 14 Nov 2018 10:55:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gg/LopesF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Fiadeiro12,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  title     = {The Many Faces of Complexity in Software Design},
  booktitle = {Conquering Complexity},
  pages     = {3--47},
  year      = {2012},
  crossref  = {DBLP:books/daglib/0028680},
  url       = {https://doi.org/10.1007/978-1-4471-2297-5\_1},
  doi       = {10.1007/978-1-4471-2297-5\_1},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/p/Fiadeiro12},
  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 Asp. 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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/FiadeiroLB11},
  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/bib/journals/ws/SeveriFE11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL11,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {18--33},
  year      = {2011},
  crossref  = {DBLP:conf/fase/2011},
  url       = {https://doi.org/10.1007/978-3-642-19811-3\_3},
  doi       = {10.1007/978-3-642-19811-3\_3},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/FiadeiroL11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/sew/2011},
  url       = {https://doi.org/10.1109/SEW.2011.24},
  doi       = {10.1109/SEW.2011.24},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sew/BeekGFF11},
  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},
  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},
  pages     = {61--114},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_5},
  doi       = {10.1007/978-3-642-20401-2\_5},
  timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/FiadeiroLBA11},
  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   = {{IEEE} 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, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/computer/CoyleHNF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fiadeiro10,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  title     = {Editorial},
  journal   = {Formal Asp. 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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Fiadeiro10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SeveriFE10,
  author    = {Paula Severi and
               Jos{\'{e}} Luiz Fiadeiro and
               David Ekserdjian},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/dlog/2010},
  url       = {http://ceur-ws.org/Vol-573/paper\_19.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/SeveriFE10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/FiadeiroL10,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {70--85},
  year      = {2010},
  crossref  = {DBLP:conf/ecsa/2010},
  url       = {https://doi.org/10.1007/978-3-642-15114-9\_8},
  doi       = {10.1007/978-3-642-15114-9\_8},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/FiadeiroL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AzmatBF10,
  author    = {Freeha Azmat and
               Laura Bocchi and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {225--236},
  year      = {2010},
  crossref  = {DBLP:conf/icsoc/2010w},
  url       = {https://doi.org/10.1007/978-3-642-19394-1\_25},
  doi       = {10.1007/978-3-642-19394-1\_25},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/AzmatBF10},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5635422},
  isbn      = {978-0-7695-4153-2},
  timestamp = {Thu, 28 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BocchiFLPT09,
  author    = {Laura Bocchi and
               Jos{\'{e}} Luiz Fiadeiro and
               Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {From Architectural to Behavioural Specification of Services},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {1},
  pages     = {3--21},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.09.025},
  doi       = {10.1016/j.entcs.2009.09.025},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BocchiFLPT09},
  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},
  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},
  pages     = {219--224},
  year      = {2009},
  crossref  = {DBLP:conf/forte/2009},
  url       = {https://doi.org/10.1007/978-3-642-02138-1\_15},
  doi       = {10.1007/978-3-642-02138-1\_15},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AbreuMFG09},
  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},
  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.},
  pages     = {26--40},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1001-5310},
  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/bib/journals/corr/abs-1001-4413},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dke/DustdarFS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Fiadeiro08,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {563--580},
  year      = {2008},
  crossref  = {DBLP:conf/birthday/2008montanari},
  url       = {https://doi.org/10.1007/978-3-540-68679-8\_35},
  doi       = {10.1007/978-3-540-68679-8\_35},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Fiadeiro08},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/compsac/2008},
  url       = {https://doi.org/10.1109/COMPSAC.2008.228},
  doi       = {10.1109/COMPSAC.2008.228},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/BocchiFL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AbreuF08,
  author    = {Jo{\~{a}}o Abreu and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {1--16},
  year      = {2008},
  crossref  = {DBLP:conf/coordination/2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3\_1},
  doi       = {10.1007/978-3-540-68265-3\_1},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/AbreuF08},
  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},
  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},
  pages     = {155--169},
  year      = {2008},
  crossref  = {DBLP:conf/isola/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/bib/conf/isola/BocchiFL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Fiadeiro08,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  title     = {On the Challenge of Engineering Socio-technical Systems},
  booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
               and Visions},
  pages     = {80--91},
  year      = {2008},
  crossref  = {DBLP:series/lncs/5380},
  url       = {https://doi.org/10.1007/978-3-540-89437-7\_4},
  doi       = {10.1007/978-3-540-89437-7\_4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/Fiadeiro08},
  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 = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2008},
  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   = {{IEEE} 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, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/computer/Fiadeiro07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/El-HassanF07,
  author    = {Osama E. S. El{-}Hassan and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Role-based Architectural Modelling of Socio-Technical Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {181},
  pages     = {5--17},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.050},
  doi       = {10.1016/j.entcs.2007.01.050},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/El-HassanF07},
  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   = {Mathematical Structures in Computer Science},
  volume    = {17},
  number    = {5},
  pages     = {1029--1073},
  year      = {2007},
  url       = {https://doi.org/10.1017/S0960129507006299},
  doi       = {10.1017/S0960129507006299},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/FiadeiroL07},
  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},
  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},
  pages     = {347--358},
  year      = {2007},
  crossref  = {DBLP:conf/bpm/2007w},
  url       = {https://doi.org/10.1007/978-3-540-78238-4\_36},
  doi       = {10.1007/978-3-540-78238-4\_36},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/El-HassanFH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FiadeiroS07,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Vincent Schmitt},
  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},
  pages     = {194--208},
  year      = {2007},
  crossref  = {DBLP:conf/calco/2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6\_14},
  doi       = {10.1007/978-3-540-73859-6\_14},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/FiadeiroS07},
  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},
  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},
  pages     = {358--373},
  year      = {2007},
  crossref  = {DBLP:conf/forte/2007},
  url       = {https://doi.org/10.1007/978-3-540-73196-2\_23},
  doi       = {10.1007/978-3-540-73196-2\_23},
  timestamp = {Fri, 02 Nov 2018 09:37:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AbreuBFL07},
  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},
  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},
  pages     = {92--107},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7\_7},
  doi       = {10.1007/978-3-540-79230-7\_7},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/BocchiHLF07},
  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 = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2006},
  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   = {{IJIPT}},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijipt/AoumeurFO06},
  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 = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/LopesF06},
  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   = {Software and System Modeling},
  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, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/LanoF06},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/FiadeiroR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL06,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {18--32},
  year      = {2006},
  crossref  = {DBLP:conf/fase/2006},
  url       = {https://doi.org/10.1007/11693017\_4},
  doi       = {10.1007/11693017\_4},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/FiadeiroL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Fiadeiro06,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {17},
  year      = {2006},
  crossref  = {DBLP:conf/fmoods/2006},
  url       = {https://doi.org/10.1007/11768869\_2},
  doi       = {10.1007/11768869\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/Fiadeiro06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/iceccs/2006},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.68},
  doi       = {10.1109/ICECCS.2006.68},
  timestamp = {Thu, 23 Apr 2015 17:57:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/Fiadeiro06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Al-GhamdiF06,
  author    = {Ahmed Al{-}Ghamdi and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/vveis/2006},
  timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/Al-GhamdiF06},
  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},
  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},
  pages     = {37--55},
  year      = {2006},
  crossref  = {DBLP:conf/wadt/2006},
  url       = {https://doi.org/10.1007/978-3-540-71998-4\_3},
  doi       = {10.1007/978-3-540-71998-4\_3},
  timestamp = {Thu, 15 Jun 2017 21:38:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/FiadeiroLB06},
  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},
  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},
  pages     = {193--213},
  year      = {2006},
  crossref  = {DBLP:conf/wsfm/2006},
  url       = {https://doi.org/10.1007/11841197\_13},
  doi       = {10.1007/11841197\_13},
  timestamp = {Fri, 25 Aug 2017 06:45:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/FiadeiroLB06},
  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 = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2006},
  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 = {Mon, 09 Dec 2013 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2005P5081},
  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/bib/books/daglib/0014211},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/OliveiraWFL05,
  author    = {Crist{\'{o}}v{\~{a}}o Oliveira and
               Michel Wermelinger and
               Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  title     = {Modelling the {GSM} Handover Protocol in CommUnity},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {141},
  number    = {3},
  pages     = {3--25},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.06.031},
  doi       = {10.1016/j.entcs.2005.06.031},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/OliveiraWFL05},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/Marti-OlietPFMM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/LopesF05,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Context-Awareness in Software Architectures},
  booktitle = {Software Architecture, 2nd European Workshop, {EWSA} 2005, Pisa, Italy,
               June 13-14, 2005, Proceedings},
  pages     = {146--161},
  year      = {2005},
  crossref  = {DBLP:conf/ewsa/2005},
  url       = {https://doi.org/10.1007/11494713\_10},
  doi       = {10.1007/11494713\_10},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ewsa/LopesF05},
  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 = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FiadeiroMW05,
  author    = {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},
  year      = {2005},
  crossref  = {DBLP:conf/dagstuhl/2005P5081},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2006/459},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/FiadeiroMW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LopesF04,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Adding Mobility to Software Architectures},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {97},
  pages     = {241--258},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.04.039},
  doi       = {10.1016/j.entcs.2004.04.039},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LopesF04},
  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 Asp. 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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/LopesF04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AndradeF04,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Composition Contracts for Service Interaction},
  journal   = {J. {UCS}},
  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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/AndradeF04},
  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},
  title     = {Problem Frames: {A} Case for Coordination},
  booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
               2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  pages     = {5--19},
  year      = {2004},
  crossref  = {DBLP:conf/coordination/2004},
  url       = {https://doi.org/10.1007/978-3-540-24634-3\_4},
  doi       = {10.1007/978-3-540-24634-3\_4},
  timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/BarrocaFJLN04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Fiadeiro04,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {1--13},
  year      = {2004},
  crossref  = {DBLP:conf/ictac/2004},
  url       = {https://doi.org/10.1007/978-3-540-31862-0\_1},
  doi       = {10.1007/978-3-540-31862-0\_1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/Fiadeiro04},
  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},
  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},
  pages     = {367--380},
  year      = {2004},
  crossref  = {DBLP:conf/ifipTCS/2004},
  url       = {https://doi.org/10.1007/1-4020-8141-3\_29},
  doi       = {10.1007/1-4020-8141-3\_29},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/BruniFLLM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/LopesF04,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {79--93},
  year      = {2004},
  crossref  = {DBLP:conf/wadt/2004},
  url       = {https://doi.org/10.1007/978-3-540-31959-7\_5},
  doi       = {10.1007/978-3-540-31959-7\_5},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/LopesF04},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/wetice/2004},
  url       = {https://doi.org/10.1109/ENABL.2004.72},
  doi       = {10.1109/ENABL.2004.72},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/AoumeurFO04},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/wicsa/2004},
  url       = {https://doi.org/10.1109/WICSA.2004.1310715},
  doi       = {10.1109/WICSA.2004.1310715},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/OliveiraWFL04},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2004},
  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/bib/journals/ipl/FiadeiroMT03},
  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/bib/journals/tosem/LopesWF03},
  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},
  title     = {A Mathematical Semantics for Architectural Connectors},
  booktitle = {Generic Programming - Advanced Lectures},
  pages     = {178--221},
  year      = {2003},
  crossref  = {DBLP:conf/ac/2003gp},
  url       = {https://doi.org/10.1007/978-3-540-45191-4\_5},
  doi       = {10.1007/978-3-540-45191-4\_5},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/FiadeiroLW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AndradeFLW03,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes and
               Michel Wermelinger},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/caise/2003ws},
  url       = {http://ceur-ws.org/Vol-75/files/UMICS\_02.pdf},
  timestamp = {Thu, 27 Apr 2017 10:52:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/AndradeFLW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MoreiraFA03,
  author    = {Ana M. D. Moreira and
               Jos{\'{e}} Luiz Fiadeiro and
               Luis Filipe Andrade},
  title     = {Evolving Requirements through Coordination Contracts},
  booktitle = {Advanced Information Systems Engineering, 15th International Conference,
               CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
  pages     = {633--646},
  year      = {2003},
  crossref  = {DBLP:conf/caise/2003},
  url       = {https://doi.org/10.1007/3-540-45017-3\_42},
  doi       = {10.1007/3-540-45017-3\_42},
  timestamp = {Tue, 23 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/caise/MoreiraFA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FiadeiroL03,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {177--196},
  year      = {2003},
  crossref  = {DBLP:conf/fmco/2003},
  url       = {https://doi.org/10.1007/978-3-540-30101-1\_8},
  doi       = {10.1007/978-3-540-30101-1\_8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/FiadeiroL03},
  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
               Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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]},
  pages     = {3--24},
  year      = {2003},
  crossref  = {DBLP:conf/icse/2003wads},
  url       = {https://doi.org/10.1007/978-3-540-25939-8\_1},
  doi       = {10.1007/978-3-540-25939-8\_1},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/WermelingerKLAGAF03},
  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
               Luis Filipe 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},
  year      = {2003},
  crossref  = {DBLP:conf/iwpse/2003},
  url       = {https://doi.org/10.1109/IWPSE.2003.1231217},
  doi       = {10.1109/IWPSE.2003.1231217},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpse/WermelingerKAGAF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AndradeF03,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {148--181},
  year      = {2003},
  crossref  = {DBLP:conf/sfm/2003},
  url       = {https://doi.org/10.1007/978-3-540-39800-4\_8},
  doi       = {10.1007/978-3-540-39800-4\_8},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/AndradeF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015718,
  author    = {Kevin Lano and
               Jos{\'{e}} Luiz Fiadeiro and
               Luis Filipe Andrade},
  title     = {Software design using Java 2},
  publisher = {Palgrave Macmillan},
  year      = {2002},
  isbn      = {978-1-4039-0230-6},
  timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0015718},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LopesF02,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Superposition: Composition vs refinement of non-deterministic action-based
               systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {70},
  number    = {3},
  pages     = {282--296},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(05)82562-9},
  doi       = {10.1016/S1571-0661(05)82562-9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LopesF02},
  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/bib/journals/ipl/VelosoFV02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AndradeF02,
  author    = {Luis 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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/is/AndradeF02},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/WermelingerF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/AndradeFGK02,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro and
               Jo{\~{a}}o Gouveia and
               Georgios Koutsoukos},
  title     = {Separating computation, coordination and configuration},
  journal   = {Journal of Software Maintenance},
  volume    = {14},
  number    = {5},
  pages     = {353--369},
  year      = {2002},
  url       = {https://doi.org/10.1002/smr.260},
  doi       = {10.1002/smr.260},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/smr/AndradeFGK02},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Fiadeiro02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fiadeiro02,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {75--82},
  year      = {2002},
  crossref  = {DBLP:conf/amast/2002},
  url       = {https://doi.org/10.1007/3-540-45719-4\_6},
  doi       = {10.1007/3-540-45719-4\_6},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Fiadeiro02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LopesF02,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {426--440},
  year      = {2002},
  crossref  = {DBLP:conf/amast/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 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/LopesF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndradeFGKW02,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro and
               Jo{\~{a}}o Gouveia and
               Georgios Koutsoukos and
               Michel Wermelinger},
  title     = {Coordination for Orchestration},
  booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  pages     = {5--13},
  year      = {2002},
  crossref  = {DBLP:conf/coordination/2002},
  url       = {https://doi.org/10.1007/3-540-46000-4\_4},
  doi       = {10.1007/3-540-46000-4\_4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/AndradeFGKW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/Fiadeiro02,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {86--87},
  year      = {2002},
  crossref  = {DBLP:conf/edcc/2002},
  url       = {https://doi.org/10.1007/3-540-36080-8\_10},
  doi       = {10.1007/3-540-36080-8\_10},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/Fiadeiro02},
  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
               Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {323--326},
  year      = {2002},
  crossref  = {DBLP:conf/fase/2002},
  url       = {https://doi.org/10.1007/3-540-45923-5\_22},
  doi       = {10.1007/3-540-45923-5\_22},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/GouveiaKWAF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/AndradeF02,
  author    = {Luis Filipe 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},
  year      = {2002},
  crossref  = {DBLP:conf/icdcsw/2002},
  url       = {https://doi.org/10.1109/ICDCSW.2002.1030809},
  doi       = {10.1109/ICDCSW.2002.1030809},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdcsw/AndradeF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/AndradeF02a,
  author    = {Luis Filipe 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},
  year      = {2002},
  crossref  = {DBLP:conf/icdcsw/2002},
  url       = {https://doi.org/10.1109/ICDCSW.2002.1030827},
  doi       = {10.1109/ICDCSW.2002.1030827},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdcsw/AndradeF02a},
  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
               Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/icse/2002},
  url       = {https://doi.org/10.1145/581339.581465},
  doi       = {10.1145/581339.581465},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/GouveiaKWAF02},
  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
               Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/oopsla/2002c},
  url       = {https://doi.org/10.1145/985072.985087},
  doi       = {10.1145/985072.985087},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/GouveiaKWAF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndradeFGKW02,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro and
               Jo{\~{a}}o Gouveia and
               Georgios Koutsoukos and
               Michel Wermelinger},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/oopsla/2002c},
  url       = {https://doi.org/10.1145/985072.985098},
  doi       = {10.1145/985072.985098},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/AndradeFGKW02},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/sigsoft/2002},
  url       = {https://doi.org/10.1145/587051.587058},
  doi       = {10.1145/587051.587058},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/LopesFW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Fiadeiro02,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {308--321},
  year      = {2002},
  crossref  = {DBLP:conf/unu/2002},
  url       = {https://doi.org/10.1007/978-3-540-40007-3\_19},
  doi       = {10.1007/978-3-540-40007-3\_19},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/unu/Fiadeiro02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
  author    = {Luis Filipe 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},
  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},
  pages     = {1--33},
  year      = {2002},
  crossref  = {DBLP:conf/wadt/2002},
  url       = {https://doi.org/10.1007/978-3-540-40020-2\_1},
  doi       = {10.1007/978-3-540-40020-2\_1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/LopesF02,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {343--358},
  year      = {2002},
  crossref  = {DBLP:conf/wadt/2002},
  url       = {https://doi.org/10.1007/978-3-540-40020-2\_20},
  doi       = {10.1007/978-3-540-40020-2\_20},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/LopesF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/LemosF02,
  author    = {Rog{\'{e}}rio de Lemos and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/woss/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/bib/conf/woss/LemosF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AndradeF01,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {374--387},
  year      = {2001},
  crossref  = {DBLP:conf/caise/2001},
  url       = {https://doi.org/10.1007/3-540-45341-5\_25},
  doi       = {10.1007/3-540-45341-5\_25},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/AndradeF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/KoutsoukosGAF01,
  author    = {Georgios Koutsoukos and
               Jo{\~{a}}o Gouveia and
               Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {133--139},
  year      = {2001},
  crossref  = {DBLP:conf/dais/2001},
  url       = {https://doi.org/10.1007/0-306-47005-5\_12},
  doi       = {10.1007/0-306-47005-5\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/KoutsoukosGAF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndradeF01,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {49--54},
  year      = {2001},
  crossref  = {DBLP:conf/ecoop/2001fics},
  url       = {http://www.info.uni-karlsruhe.de/\%7Epulvermu/workshops/ecoop2001/proceedings/FICS2001.pdf},
  timestamp = {Tue, 10 Mar 2009 12:15:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/AndradeF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndradeFW01,
  author    = {Luis Filipe 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},
  year      = {2001},
  crossref  = {DBLP:conf/kbse/2001},
  url       = {https://doi.org/10.1109/ASE.2001.989844},
  doi       = {10.1109/ASE.2001.989844},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/AndradeFW01},
  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},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/sigsoft/2001},
  url       = {https://doi.org/10.1145/503209.503213},
  doi       = {10.1145/503209.503213},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/WermelingerLF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/AndradeF01,
  author    = {Luis 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},
  year      = {2001},
  crossref  = {DBLP:conf/tools/38-2001},
  url       = {https://doi.org/10.1109/TOOLS.2001.911762},
  doi       = {10.1109/TOOLS.2001.911762},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/AndradeF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/FiadeiroA01,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Luis 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},
  year      = {2001},
  crossref  = {DBLP:conf/tools/38-2001},
  url       = {https://doi.org/10.1109/TOOLS.2001.911771},
  doi       = {10.1109/TOOLS.2001.911771},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/FiadeiroA01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/GouveiaKAF01,
  author    = {Jo{\~{a}}o Gouveia and
               Georgios Koutsoukos and
               Luis Filipe 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},
  year      = {2001},
  crossref  = {DBLP:conf/tools/38-2001},
  url       = {https://doi.org/10.1109/TOOLS.2001.911772},
  doi       = {10.1109/TOOLS.2001.911772},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/GouveiaKAF01},
  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},
  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},
  pages     = {201--220},
  year      = {2001},
  crossref  = {DBLP:conf/wadt/2001},
  url       = {https://doi.org/10.1007/3-540-45645-7\_10},
  doi       = {10.1007/3-540-45645-7\_10},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/LopesWF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndradeFGLW00,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro and
               Jo{\~{a}}o Gouveia and
               Ant{\'{o}}nia Lopes and
               Michel Wermelinger},
  title     = {Patterns for Coordination},
  booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
               2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
  pages     = {317--322},
  year      = {2000},
  crossref  = {DBLP:conf/coordination/2000},
  url       = {https://doi.org/10.1007/3-540-45263-X\_22},
  doi       = {10.1007/3-540-45263-X\_22},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/AndradeFGLW00},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/iwssd/2000},
  url       = {http://portal.acm.org/citation.cfm?id=857171.857216},
  timestamp = {Fri, 03 Mar 2006 10:29:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwssd/WermelingerLF00},
  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   = {Mathematical Structures in Computer Science},
  volume    = {9},
  number    = {3},
  pages     = {225--226},
  year      = {1999},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44817},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/BahsounFG99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/WermelingerF99,
  author    = {Michel Wermelinger and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {393--409},
  year      = {1999},
  crossref  = {DBLP:conf/esec/1999},
  url       = {https://doi.org/10.1007/3-540-48166-4\_24},
  doi       = {10.1007/3-540-48166-4\_24},
  timestamp = {Fri, 02 Jun 2017 20:49:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esec/WermelingerF99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LopesF99,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {144--160},
  year      = {1999},
  crossref  = {DBLP:conf/fase/1999},
  url       = {https://doi.org/10.1007/978-3-540-49020-3\_10},
  doi       = {10.1007/978-3-540-49020-3\_10},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/LopesF99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AndradeF99,
  author    = {Luis Filipe Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {566--583},
  year      = {1999},
  crossref  = {DBLP:conf/uml/1999},
  url       = {https://doi.org/10.1007/3-540-46852-8\_40},
  doi       = {10.1007/3-540-46852-8\_40},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/AndradeF99},
  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},
  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},
  pages     = {438--458},
  year      = {1999},
  crossref  = {DBLP:conf/wadt/1999},
  url       = {https://doi.org/10.1007/978-3-540-44616-3\_25},
  doi       = {10.1007/978-3-540-44616-3\_25},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/FiadeiroMMMP99},
  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, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/1998},
  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   = {Information {\&} Software Technology},
  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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/RamosF98},
  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. Comp. Soc.},
  volume    = {5},
  number    = {1},
  year      = {1998},
  timestamp = {Thu, 04 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jbcs/VelosoVF98},
  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/bib/journals/tse/WermelingerF98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FiadeiroL98,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {293--307},
  year      = {1998},
  crossref  = {DBLP:conf/amast/1998},
  url       = {https://doi.org/10.1007/3-540-49253-4\_22},
  doi       = {10.1007/3-540-49253-4\_22},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amast/FiadeiroL98},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/FiadeiroM97},
  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},
  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},
  pages     = {240--264},
  year      = {1997},
  crossref  = {DBLP:conf/alc/1997},
  timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/alc/FiadeiroLM97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LopesF97,
  author    = {Ant{\'{o}}nia Lopes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Preservation and Reflection in Specification},
  booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
               {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
  pages     = {380--394},
  year      = {1997},
  crossref  = {DBLP:conf/amast/1997},
  url       = {https://doi.org/10.1007/BFb0000484},
  doi       = {10.1007/BFb0000484},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/LopesF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NunesFT97,
  author    = {I. Nunes and
               Jos{\'{e}} Luiz Fiadeiro and
               Wladyslaw M. Turski},
  title     = {Coordination Durative Actions},
  booktitle = {Coordination Languages and Models, Second International Conference,
               {COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
  pages     = {115--130},
  year      = {1997},
  crossref  = {DBLP:conf/coordination/1997},
  url       = {https://doi.org/10.1007/3-540-63383-9\_76},
  doi       = {10.1007/3-540-63383-9\_76},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/NunesFT97},
  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},
  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},
  pages     = {298--317},
  year      = {1997},
  crossref  = {DBLP:conf/fm/1997},
  url       = {https://doi.org/10.1007/3-540-63533-5\_16},
  doi       = {10.1007/3-540-63533-5\_16},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/LanoBFL97},
  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},
  title     = {The Role of Diagnosis and Decision Theory in Normative Reasoning},
  booktitle = {Formal Models of Agents, {ESPRIT} Project ModelAge Final Workshop,
               Selected Papers},
  pages     = {216--239},
  year      = {1997},
  crossref  = {DBLP:conf/modelage/1997},
  url       = {https://doi.org/10.1007/3-540-46581-2\_15},
  doi       = {10.1007/3-540-46581-2\_15},
  timestamp = {Thu, 15 Jun 2017 21:40:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelage/TorreRFT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/FiadeiroL97,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Ant{\'{o}}nia Lopes},
  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},
  pages     = {505--519},
  year      = {1997},
  crossref  = {DBLP:conf/tapsoft/1997},
  url       = {https://doi.org/10.1007/BFb0030622},
  doi       = {10.1007/BFb0030622},
  timestamp = {Mon, 22 May 2017 17:11:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/FiadeiroL97},
  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   = {Mathematical Structures in Computer Science},
  volume    = {6},
  number    = {4},
  pages     = {353--373},
  year      = {1996},
  url       = {https://doi.org/10.1017/S0960129500001067},
  doi       = {10.1017/S0960129500001067},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/FiadeiroC96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fiadeiro96,
  author    = {Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {421--443},
  year      = {1996},
  crossref  = {DBLP:conf/amast/1996},
  url       = {https://doi.org/10.1007/BFb0014331},
  doi       = {10.1007/BFb0014331},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Fiadeiro96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ArraisF95,
  author    = {M. Arrais and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {81--101},
  year      = {1995},
  crossref  = {DBLP:conf/compass/1995},
  url       = {https://doi.org/10.1007/3-540-61629-2\_38},
  doi       = {10.1007/3-540-61629-2\_38},
  timestamp = {Thu, 15 Jun 2017 21:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/ArraisF95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FiadeiroM95,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               T. S. E. Maibaum},
  title     = {Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality},
  booktitle = {{SIGSOFT} '95, Proceedings of the Third {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Washington, DC, USA, October
               10-13, 1995},
  pages     = {72--80},
  year      = {1995},
  crossref  = {DBLP:conf/sigsoft/1995},
  url       = {https://doi.org/10.1145/222124.222141},
  doi       = {10.1145/222124.222141},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/FiadeiroM95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/ParedesF95,
  author    = {Carlos Paredes and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Reuse of Requirements and Specifications: {A} Formal Framework},
  booktitle = {{SSR}},
  pages     = {263--266},
  year      = {1995},
  url       = {https://doi.org/10.1145/211782.211857},
  doi       = {10.1145/211782.211857},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ssr/ParedesF95},
  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},
  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},
  pages     = {273--289},
  year      = {1994},
  crossref  = {DBLP:conf/compass/1994},
  url       = {https://doi.org/10.1007/BFb0014433},
  doi       = {10.1007/BFb0014433},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/FiadeiroC94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FiadeiroM94,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               T. S. E. Maibaum},
  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},
  pages     = {48--66},
  year      = {1994},
  crossref  = {DBLP:conf/ictl/1994},
  url       = {https://doi.org/10.1007/BFb0013980},
  doi       = {10.1007/BFb0013980},
  timestamp = {Sat, 20 May 2017 15:32:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictl/FiadeiroM94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM94,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               T. S. E. Maibaum},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/imperial/1994},
  timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imperial/FiadeiroM94},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/ReichweinF93},
  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 = {CoopIS},
  pages     = {291--299},
  year      = {1993},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coopis/ReichweinFR93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ReichweinF93,
  author    = {Georg Reichwein and
               Jos{\'{e}} Luiz Fiadeiro},
  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},
  pages     = {93--104},
  year      = {1993},
  crossref  = {DBLP:conf/epia/1993},
  url       = {https://doi.org/10.1007/3-540-57287-2\_40},
  doi       = {10.1007/3-540-57287-2\_40},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/ReichweinF93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM93,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               T. S. E. Maibaum},
  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},
  pages     = {126--147},
  year      = {1993},
  crossref  = {DBLP:conf/imperial/1993},
  timestamp = {Tue, 25 Feb 2003 14:11:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/imperial/FiadeiroM93},
  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 Asp. Comput.},
  volume    = {4},
  number    = {3},
  pages     = {239--272},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01212304},
  doi       = {10.1007/BF01212304},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/FiadeiroM92},
  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/bib/journals/dke/SernadasF91},
  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/bib/journals/logcom/FiadeiroM91},
  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},
  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},
  pages     = {236--253},
  year      = {1991},
  crossref  = {DBLP:conf/compass/1991},
  url       = {https://doi.org/10.1007/3-540-56379-2\_43},
  doi       = {10.1007/3-540-56379-2\_43},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/FiadeiroCSM91},
  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},
  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},
  pages     = {569--593},
  year      = {1991},
  crossref  = {DBLP:conf/tacs/1991},
  url       = {https://doi.org/10.1007/3-540-54415-1\_65},
  doi       = {10.1007/3-540-54415-1\_65},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/RyanFM91},
  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/bib/journals/is/SernadasFS90},
  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/bib/journals/logcom/FiadeiroS90},
  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},
  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},
  year      = {1990},
  crossref  = {DBLP:conf/ds/90},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ds/FiadeiroSMS90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/FiadeiroM90,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               T. S. E. Maibaum},
  title     = {Describing, Structuring and Implementing Objects},
  booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
               The Netherlands, May 28 - June 1, 1990, Proceedings},
  pages     = {274--310},
  year      = {1990},
  crossref  = {DBLP:conf/rex/1990},
  url       = {https://doi.org/10.1007/BFb0019447},
  doi       = {10.1007/BFb0019447},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/FiadeiroM90},
  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},
  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.},
  pages     = {1--30},
  year      = {1989},
  crossref  = {DBLP:conf/isco/1989},
  timestamp = {Fri, 28 Apr 2017 13:07:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isco/SernadasFMS89},
  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},
  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.},
  pages     = {225--246},
  year      = {1989},
  crossref  = {DBLP:conf/isco/1989},
  timestamp = {Fri, 28 Apr 2017 13:07:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isco/SernadasFSE89},
  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 Inf.},
  volume    = {25},
  number    = {6},
  pages     = {625--661},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF00291052},
  doi       = {10.1007/BF00291052},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/FiadeiroS88},
  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},
  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},
  year      = {1988},
  crossref  = {DBLP:conf/ds/1988},
  timestamp = {Fri, 28 Apr 2017 12:46:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ds/SernadasFS88},
  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},
  title     = {Knowledgebases as Structured Theories},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  pages     = {469--486},
  year      = {1988},
  crossref  = {DBLP:conf/fsttcs/1988},
  url       = {https://doi.org/10.1007/3-540-50517-2\_97},
  doi       = {10.1007/3-540-50517-2\_97},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/FiadeiroSS88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/FiadeiroS87,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Am{\'{\i}}lcar Sernadas},
  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},
  pages     = {44--72},
  year      = {1987},
  crossref  = {DBLP:conf/adt/1987},
  url       = {https://doi.org/10.1007/3-540-50325-0\_3},
  doi       = {10.1007/3-540-50325-0\_3},
  timestamp = {Mon, 18 Jun 2018 21:21:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adt/FiadeiroS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tdb/FiadeiroS87,
  author    = {Jos{\'{e}} Luiz Fiadeiro and
               Am{\'{\i}}lcar Sernadas},
  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},
  year      = {1987},
  crossref  = {DBLP:conf/tdb/87},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tdb/FiadeiroS87},
  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},
  title     = {Abstract Object Types: {A} Temporal Perspective},
  booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
               Proceedings},
  pages     = {324--350},
  year      = {1987},
  crossref  = {DBLP:conf/tls/1987},
  url       = {https://doi.org/10.1007/3-540-51803-7\_33},
  doi       = {10.1007/3-540-51803-7\_33},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tls/SernadasFSE87},
  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/bib/journals/is/FiadeiroS86},
  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},
  title     = {Algebraic Knowledge Representation: The Unification of Procedure,
               Logic and Structure},
  booktitle = {{ADT}},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adt/SernadasSF86},
  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},
  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},
  year      = {1986},
  crossref  = {DBLP:conf/ds/86},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ds/CarapucaF86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2017dali,
  editor    = {Alexandre Madeira and
               Mario R. F. Benevides},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-73579-5},
  doi       = {10.1007/978-3-319-73579-5},
  isbn      = {978-3-319-73578-8},
  timestamp = {Thu, 08 Nov 2018 14:57:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2017dali},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
  editor    = {Perdita Stevens and
               Andrzej Wasowski},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7},
  doi       = {10.1007/978-3-662-49665-7},
  isbn      = {978-3-662-49664-0},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icccrea/2016,
  editor    = {Fran{\c{c}}ois Pachet and
               Am{\'{\i}}lcar Cardoso and
               Vincent Corruble and
               Fiammetta Ghedini},
  title     = {Proceedings of the Seventh International Conference on Computational
               Creativity, UPMC, Paris, France, June 27 - July 1, 2016},
  publisher = {Sony {CSL} Paris, France},
  year      = {2016},
  isbn      = {978-2-7466-9155-1},
  timestamp = {Mon, 06 Mar 2017 16:18:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icccrea/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEscc/2015,
  title     = {2015 {IEEE} International Conference on Services Computing, {SCC}
               2015, New York City, NY, USA, June 27 - July 2, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7194374},
  isbn      = {978-1-4673-7281-7},
  timestamp = {Tue, 20 Sep 2016 12:04:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
  editor    = {Rocco {De Nicola} and
               Rolf Hennicker},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15545-6},
  doi       = {10.1007/978-3-319-15545-6},
  isbn      = {978-3-319-15544-9},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015wirsing},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2015,
  editor    = {Lawrence S. Moss and
               Pawe{l} Soboci{'{n}}ski},
  title     = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
               2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series    = {LIPIcs},
  volume    = {35},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-84-2},
  isbn      = {978-3-939897-84-2},
  timestamp = {Thu, 05 Nov 2015 15:50:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2014,
  editor    = {Stefania Gnesi and
               Arend Rensink},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8},
  doi       = {10.1007/978-3-642-54804-8},
  isbn      = {978-3-642-54803-1},
  timestamp = {Fri, 02 Jun 2017 20:48:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2014,
  editor    = {Gabriel Ciobanu and
               Dominique M{\'{e}}ry},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
               Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8687},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10882-7},
  doi       = {10.1007/978-3-319-10882-7},
  isbn      = {978-3-319-10881-0},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2014,
  editor    = {Mihai Codescu and
               Razvan Diaconescu and
               Ionut Tutu},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-28114-8},
  doi       = {10.1007/978-3-319-28114-8},
  isbn      = {978-3-319-28113-1},
  timestamp = {Sun, 21 May 2017 00:18:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2013,
  editor    = {Reiko Heckel and
               Stefan Milius},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7},
  doi       = {10.1007/978-3-642-40206-7},
  isbn      = {978-3-642-40205-0},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2013,
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6},
  doi       = {10.1007/978-3-642-38592-6},
  isbn      = {978-3-642-38591-9},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2012,
  editor    = {Juan de Lara and
               Andrea Zisman},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28872-2},
  doi       = {10.1007/978-3-642-28872-2},
  isbn      = {978-3-642-28871-5},
  timestamp = {Wed, 14 Nov 2018 10:56:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2012,
  editor    = {Hartmut Ehrig and
               Gregor Engels and
               Hans{-}J{\"{o}}rg Kreowski and
               Grzegorz Rozenberg},
  title     = {Graph Transformations - 6th International Conference, {ICGT} 2012,
               Bremen, Germany, September 24-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7562},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33654-6},
  doi       = {10.1007/978-3-642-33654-6},
  isbn      = {978-3-642-33653-9},
  timestamp = {Wed, 14 Nov 2018 10:55:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gg/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028680,
  editor    = {Mike Hinchey and
               Lorcan Coyle},
  title     = {Conquering Complexity},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-1-4471-2297-5},
  doi       = {10.1007/978-1-4471-2297-5},
  isbn      = {978-1-4471-2296-8},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0028680},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2011,
  editor    = {Dimitra Giannakopoulou and
               Fernando Orejas},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19811-3},
  doi       = {10.1007/978-3-642-19811-3},
  isbn      = {978-3-642-19810-6},
  timestamp = {Thu, 15 Jun 2017 21:37:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sew/2011,
  editor    = {James L. Rash and
               Christopher A. Rouff},
  title     = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
               Ireland, June 20-21, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6146701},
  isbn      = {978-0-7695-4627-8},
  timestamp = {Wed, 31 May 2017 11:18:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sew/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2},
  doi       = {10.1007/978-3-642-20401-2},
  isbn      = {978-3-642-20400-5},
  timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2010,
  editor    = {Volker Haarslev and
               David Toman and
               Grant E. Weddell},
  title     = {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       = {http://ceur-ws.org/Vol-573},
  urn       = {urn:nbn:de:0074-573-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2010,
  editor    = {Muhammad Ali Babar and
               Ian Gorton},
  title     = {Software Architecture, 4th European Conference, {ECSA} 2010, Copenhagen,
               Denmark, August 23-26, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6285},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15114-9},
  doi       = {10.1007/978-3-642-15114-9},
  isbn      = {978-3-642-15113-2},
  timestamp = {Wed, 24 May 2017 08:29:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2010w,
  editor    = {E. Michael Maximilien and
               Gustavo Rossi and
               Soe{-}Tsyr Yuan and
               Heiko Ludwig and
               Marcelo Fantinato},
  title     = {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},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19394-1},
  doi       = {10.1007/978-3-642-19394-1},
  isbn      = {978-3-642-19393-4},
  timestamp = {Sun, 04 Jun 2017 10:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2009,
  editor    = {David Lee and
               Ant{\'{o}}nia Lopes and
               Arnd Poetzsch{-}Heffter},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02138-1},
  doi       = {10.1007/978-3-642-02138-1},
  isbn      = {978-3-642-02137-4},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1001-5310,
  editor    = {Jeremy W. Bryans and
               John S. Fitzgerald},
  title     = {Proceedings Second Workshop on Formal Aspects of Virtual Organisations,
               {FAVO} 2009, Eindhoven, The Netherlands, 3rd November 2009},
  series    = {{EPTCS}},
  volume    = {16},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.16},
  doi       = {10.4204/EPTCS.16},
  timestamp = {Thu, 14 Mar 2019 18:02:12 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1001-5310},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008montanari,
  editor    = {Pierpaolo Degano and
               Rocco {De Nicola} and
               Jos{\'{e}} Meseguer},
  title     = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {5065},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68679-8},
  doi       = {10.1007/978-3-540-68679-8},
  isbn      = {978-3-540-68676-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2008montanari},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2008,
  title     = {Proceedings of the 32nd Annual {IEEE} International Computer Software
               and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
               Turku, Finland},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4591502},
  isbn      = {978-0-7695-3262-2},
  timestamp = {Thu, 09 Oct 2014 16:51:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3},
  doi       = {10.1007/978-3-540-68265-3},
  isbn      = {978-3-540-68264-6},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-88478-1},
  timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5380,
  editor    = {Martin Wirsing and
               Jean{-}Pierre Ban{\^{a}}tre and
               Matthias M. H{\"{o}}lzl and
               Axel Rauschmayer},
  title     = {Software-Intensive Systems and New Computing Paradigms - Challenges
               and Visions},
  series    = {Lecture Notes in Computer Science},
  volume    = {5380},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89437-7},
  doi       = {10.1007/978-3-540-89437-7},
  isbn      = {978-3-540-89436-0},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/5380},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2007w,
  editor    = {Arthur H. M. ter Hofstede and
               Boualem Benatallah and
               Hye{-}Young Paik},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78238-4},
  doi       = {10.1007/978-3-540-78238-4},
  isbn      = {978-3-540-78237-7},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2007w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2007,
  editor    = {Till Mossakowski and
               Ugo Montanari and
               Magne Haveraaen},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6},
  doi       = {10.1007/978-3-540-73859-6},
  isbn      = {978-3-540-73857-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2007,
  editor    = {John Derrick and
               J{\"{u}}ri Vain},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73196-2},
  doi       = {10.1007/978-3-540-73196-2},
  isbn      = {978-3-540-73195-5},
  timestamp = {Fri, 02 Nov 2018 09:37:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2007,
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79230-7},
  doi       = {10.1007/978-3-540-79230-7},
  isbn      = {978-3-540-79229-1},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2006,
  editor    = {Luciano Baresi and
               Reiko Heckel},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11693017},
  doi       = {10.1007/11693017},
  isbn      = {3-540-33093-3},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2006,
  editor    = {Roberto Gorrieri and
               Heike Wehrheim},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11768869},
  doi       = {10.1007/11768869},
  isbn      = {3-540-34893-X},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2006,
  title     = {11th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11122},
  isbn      = {0-7695-2530-X},
  timestamp = {Thu, 23 Apr 2015 17:57:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2006,
  editor    = {Joseph Barjis and
               Ulrich Ultes{-}Nitsche and
               Juan Carlos Augusto},
  title     = {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},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {978-972-8865-49-8},
  timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez and
               Gianluigi Zavattaro},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841197},
  doi       = {10.1007/11841197},
  isbn      = {3-540-38862-1},
  timestamp = {Fri, 25 Aug 2017 06:45:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewsa/2005,
  editor    = {Ronald Morrison and
               Fl{\'{a}}vio Oquendo},
  title     = {Software Architecture, 2nd European Workshop, {EWSA} 2005, Pisa, Italy,
               June 13-14, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3527},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136986},
  doi       = {10.1007/b136986},
  isbn      = {3-540-26275-X},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ewsa/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2004,
  editor    = {Rocco {De Nicola} and
               Gian Luigi Ferrari and
               Greg Meredith},
  title     = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
               2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2949},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95570},
  doi       = {10.1007/b95570},
  isbn      = {3-540-21044-X},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2004,
  editor    = {Zhiming Liu and
               Keijiro Araki},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107116},
  doi       = {10.1007/b107116},
  isbn      = {3-540-25304-1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2004,
  editor    = {Jean{-}Jacques L{\'{e}}vy and
               Ernst W. Mayr and
               John C. Mitchell},
  title     = {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},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8140-5},
  timestamp = {Wed, 16 Jul 2014 09:03:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2004},
  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 = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wetice/2004,
  title     = {13th {IEEE} International Workshops on Enabling Technologies {(WETICE}
               2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004,
               Modena, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9472},
  isbn      = {0-7695-2183-5},
  timestamp = {Thu, 06 Aug 2015 09:24:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wicsa/2004,
  title     = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
               2004), 12-15 June 2004, Oslo, Norway},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9167},
  isbn      = {0-7695-2172-X},
  timestamp = {Fri, 26 Sep 2014 14:08:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003gp,
  editor    = {Roland Carl Backhouse and
               Jeremy Gibbons},
  title     = {Generic Programming - Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {2793},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12027},
  doi       = {10.1007/b12027},
  isbn      = {3-540-20194-7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/2003gp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2003ws,
  editor    = {Johann Eder and
               Roland T. Mittermeir and
               Barbara Pernici},
  title     = {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       = {http://ceur-ws.org/Vol-75},
  urn       = {urn:nbn:de:0074-75-6},
  isbn      = {86-435-0552-8},
  timestamp = {Thu, 27 Apr 2017 10:52:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2003ws},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2003,
  editor    = {Johann Eder and
               Michele Missikoff},
  title     = {Advanced Information Systems Engineering, 15th International Conference,
               CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2681},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45017-3},
  doi       = {10.1007/3-540-45017-3},
  isbn      = {3-540-40442-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2003,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100112},
  doi       = {10.1007/b100112},
  isbn      = {3-540-22942-6},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2003wads,
  editor    = {Rog{\'{e}}rio de Lemos and
               Cristina Gacek and
               Alexander B. Romanovsky},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100023},
  doi       = {10.1007/b100023},
  isbn      = {3-540-23168-4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2003wads},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpse/2003,
  title     = {6th International Workshop on Principles of Software Evolution {(IWPSE}
               2003), 1-2 September 2003, Helsinki, Finland},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8710},
  isbn      = {0-7695-1903-2},
  timestamp = {Wed, 13 May 2015 17:45:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpse/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2003,
  editor    = {Marco Bernardo and
               Paola Inverardi},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13225},
  doi       = {10.1007/b13225},
  isbn      = {3-540-20083-5},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2002,
  editor    = {H{\'{e}}l{\`{e}}ne Kirchner and
               Christophe Ringeissen},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45719-4},
  doi       = {10.1007/3-540-45719-4},
  isbn      = {3-540-44144-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2002,
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46000-4},
  doi       = {10.1007/3-540-46000-4},
  isbn      = {3-540-43410-0},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edcc/2002,
  editor    = {Fabrizio Grandoni and
               Pascale Th{\'{e}}venod{-}Fosse},
  title     = {Dependable Computing - EDCC-4, 4th European Dependable Computing Conference,
               Toulouse, France, October 23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2485},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36080-8},
  doi       = {10.1007/3-540-36080-8},
  isbn      = {3-540-00012-7},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2002,
  editor    = {Ralf{-}Detlef Kutsche and
               Herbert Weber},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45923-5},
  doi       = {10.1007/3-540-45923-5},
  isbn      = {3-540-43353-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcsw/2002,
  title     = {22nd International Conference on Distributed Computing Systems, Workshops
               {(ICDCSW} '02) July 2-5, 2002, Vienna, Austria, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8010},
  isbn      = {0-7695-1588-6},
  timestamp = {Thu, 11 Dec 2014 17:34:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdcsw/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2002,
  editor    = {Will Tracz and
               Michal Young and
               Jeff Magee},
  title     = {Proceedings of the 24th International Conference on Software Engineering,
               {ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=581339},
  timestamp = {Sun, 14 Feb 2016 10:46:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2002c,
  editor    = {Mamdouh Ibrahim},
  title     = {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},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/985072},
  doi       = {10.1145/985072},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2002c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2002,
  title     = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
               of Software Engineering 2002, Charleston, South Carolina, USA, November
               18-22, 2002},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-514-9},
  timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unu/2002,
  editor    = {Bernhard K. Aichernig and
               T. S. E. Maibaum},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11934},
  doi       = {10.1007/b11934},
  isbn      = {3-540-20527-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/unu/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2002,
  editor    = {Martin Wirsing and
               Dirk Pattinson and
               Rolf Hennicker},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94458},
  doi       = {10.1007/b94458},
  isbn      = {3-540-20537-3},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woss/2002,
  editor    = {David Garlan and
               Jeff Kramer and
               Alexander L. Wolf},
  title     = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
               2002, Charleston, South Carolina, USA, November 18-19, 2002},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-609-9},
  timestamp = {Fri, 26 Nov 2004 14:22:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/woss/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2001,
  editor    = {Klaus R. Dittrich and
               Andreas Geppert and
               Moira C. Norrie},
  title     = {Advanced Information Systems Engineering, 13th International Conference,
               CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2068},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45341-5},
  doi       = {10.1007/3-540-45341-5},
  isbn      = {3-540-42215-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2001,
  editor    = {Krzysztof Zielinski and
               Kurt Geihs and
               Aleksander Laurentowski},
  title     = {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},
  publisher = {Kluwer},
  year      = {2001},
  isbn      = {0-7923-7481-9},
  timestamp = {Thu, 03 Jan 2002 11:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2001fics,
  editor    = {Elke Pulverm{\"{u}}ller and
               Andreas Speck and
               James Coplien and
               Maja D'Hondt and
               Wolfgang De Meuter},
  title     = {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},
  publisher = {University of Karlsruhe, Institut f{\"{u}}r Programmstrukturen
               und Datenorganisation},
  year      = {2001},
  timestamp = {Tue, 10 Mar 2009 12:15:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2001fics},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2001,
  title     = {16th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7763},
  isbn      = {0-7695-1426-X},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2001,
  editor    = {A. Min Tjoa and
               Volker Gruhn},
  title     = {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},
  publisher = {{ACM}},
  year      = {2001},
  timestamp = {Thu, 10 Dec 2015 15:02:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/38-2001,
  title     = {{TOOLS} Europe 2001: 38th International Conference on Technology of
               Object-Oriented Languages and Systems, Components for Mobile Computing,
               Zurich, Switzerland, 12-14 March 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7282},
  isbn      = {0-7695-1095-7},
  timestamp = {Fri, 27 May 2016 11:20:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/38-2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2001,
  editor    = {Maura Cerioli and
               Gianna Reggio},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45645-7},
  doi       = {10.1007/3-540-45645-7},
  isbn      = {3-540-43159-4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2000,
  editor    = {Ant{\'{o}}nio Porto and
               Gruia{-}Catalin Roman},
  title     = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
               2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1906},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45263-X},
  doi       = {10.1007/3-540-45263-X},
  isbn      = {3-540-41020-1},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/2000,
  title     = {Proceedings of the 10th International Workshop on Software Specification
               and Design, Shelter Island, San Diego, California, USA, November 5-7,
               2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  isbn      = {0-7695-0884-7},
  timestamp = {Fri, 03 Mar 2006 10:29:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwssd/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esec/1999,
  editor    = {Oscar Nierstrasz and
               Michel Lemoine},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48166-4},
  doi       = {10.1007/3-540-48166-4},
  isbn      = {3-540-66538-2},
  timestamp = {Fri, 02 Jun 2017 20:49:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esec/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/1999,
  editor    = {Jean{-}Pierre Finance},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/b92746},
  doi       = {10.1007/b92746},
  isbn      = {3-540-65718-5},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/1999,
  editor    = {Robert B. France and
               Bernhard Rumpe},
  title     = {{\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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46852-8},
  doi       = {10.1007/3-540-46852-8},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/1999,
  editor    = {Didier Bert and
               Christine Choppy and
               Peter D. Mosses},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/b75154},
  doi       = {10.1007/b75154},
  isbn      = {3-540-67898-0},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1998,
  editor    = {Armando Martin Haeberer},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49253-4},
  doi       = {10.1007/3-540-49253-4},
  isbn      = {3-540-65462-3},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alc/1997,
  editor    = {Richard S. Bird and
               Lambert G. L. T. Meertens},
  title     = {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},
  publisher = {Chapman {\&} Hall},
  year      = {1997},
  isbn      = {0-412-82050-1},
  timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/alc/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1997,
  editor    = {Michael Johnson},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0000458},
  doi       = {10.1007/BFb0000458},
  isbn      = {3-540-63888-1},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/1997,
  editor    = {David Garlan and
               Daniel Le M{\'{e}}tayer},
  title     = {Coordination Languages and Models, Second International Conference,
               {COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1282},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63383-9},
  doi       = {10.1007/3-540-63383-9},
  isbn      = {3-540-63383-9},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1997,
  editor    = {John S. Fitzgerald and
               Cliff B. Jones and
               Peter Lucas},
  title     = {{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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63533-5},
  doi       = {10.1007/3-540-63533-5},
  isbn      = {3-540-63533-5},
  timestamp = {Sun, 31 Dec 2017 15:12:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelage/1997,
  editor    = {John{-}Jules Ch. Meyer and
               Pierre{-}Yves Schobbens},
  title     = {Formal Models of Agents, {ESPRIT} Project ModelAge Final Workshop,
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1760},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46581-2},
  doi       = {10.1007/3-540-46581-2},
  isbn      = {3-540-67027-0},
  timestamp = {Thu, 15 Jun 2017 21:40:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelage/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1997,
  editor    = {Michel Bidoit and
               Max Dauchet},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0030581},
  doi       = {10.1007/BFb0030581},
  isbn      = {3-540-62781-2},
  timestamp = {Mon, 22 May 2017 17:11:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1996,
  editor    = {Martin Wirsing and
               Maurice Nivat},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0014301},
  doi       = {10.1007/BFb0014301},
  isbn      = {3-540-61463-X},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1995,
  editor    = {Magne Haveraaen and
               Olaf Owe and
               Ole{-}Johan Dahl},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61629-2},
  doi       = {10.1007/3-540-61629-2},
  isbn      = {3-540-61629-2},
  timestamp = {Thu, 15 Jun 2017 21:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1995,
  editor    = {Gail E. Kaiser},
  title     = {{SIGSOFT} '95, Proceedings of the Third {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Washington, DC, USA, October
               10-13, 1995},
  publisher = {{ACM}},
  year      = {1995},
  timestamp = {Mon, 10 Jun 2013 17:49:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1994,
  editor    = {Egidio Astesiano and
               Gianna Reggio and
               Andrzej Tarlecki},
  title     = {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},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0014419},
  doi       = {10.1007/BFb0014419},
  isbn      = {3-540-59132-X},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictl/1994,
  editor    = {Dov M. Gabbay and
               Hans J{\"{u}}rgen Ohlbach},
  title     = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
               Germany, July 11-14, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {827},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/BFb0013976},
  doi       = {10.1007/BFb0013976},
  isbn      = {3-540-58241-X},
  timestamp = {Sat, 20 May 2017 15:32:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictl/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imperial/1994,
  editor    = {Chris Hankin and
               Ian Mackie and
               Rajagopal Nagarajan},
  title     = {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},
  publisher = {Imperial College Press},
  year      = {1995},
  isbn      = {1-86094-003-X},
  timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imperial/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epia/1993,
  editor    = {Miguel Filgueiras and
               Lu{\'{\i}}s Damas},
  title     = {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},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57287-2},
  doi       = {10.1007/3-540-57287-2},
  isbn      = {3-540-57287-2},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imperial/1993,
  editor    = {Geoffrey L. Burn and
               Simon J. Gay and
               Mark Ryan},
  title     = {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},
  publisher = {Springer},
  year      = {1993},
  isbn      = {3-540-19842-3},
  timestamp = {Tue, 25 Feb 2003 14:11:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/imperial/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1991,
  editor    = {Michel Bidoit and
               Christine Choppy},
  title     = {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},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56379-2},
  doi       = {10.1007/3-540-56379-2},
  isbn      = {3-540-56379-2},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1991,
  editor    = {Takayasu Ito and
               Albert R. Meyer},
  title     = {Theoretical Aspects of Computer Software, International Conference
               {TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {526},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54415-1},
  doi       = {10.1007/3-540-54415-1},
  isbn      = {3-540-54415-1},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ds/90,
  editor    = {Robert Meersman and
               William Kent and
               Samit Khosla},
  title     = {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},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-88929-9},
  timestamp = {Thu, 03 Jan 2002 11:56:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ds/90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rex/1990,
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {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},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0019438},
  doi       = {10.1007/BFb0019438},
  isbn      = {3-540-53931-X},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isco/1989,
  editor    = {Eckhard D. Falkenberg and
               Paul Lindgreen},
  title     = {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},
  publisher = {North-Holland},
  year      = {1989},
  url       = {http://d-nb.info/1051352827},
  isbn      = {0-444-88323-1},
  timestamp = {Fri, 28 Apr 2017 13:07:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isco/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ds/1988,
  editor    = {Robert Meersman and
               Zhongzhi Shi and
               Chenho Kung},
  title     = {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},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88645-1},
  timestamp = {Fri, 28 Apr 2017 12:46:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ds/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1988,
  editor    = {Kesav V. Nori and
               Sanjeev Kumar},
  title     = {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},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-50517-2},
  doi       = {10.1007/3-540-50517-2},
  isbn      = {3-540-50517-2},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1987,
  editor    = {Donald Sannella and
               Andrzej Tarlecki},
  title     = {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},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-50325-0},
  doi       = {10.1007/3-540-50325-0},
  timestamp = {Mon, 18 Jun 2018 21:21:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adt/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tdb/87,
  editor    = {Colette Rolland and
               Fran{\c{c}}ois Bodart and
               Michel L{\'{e}}onard},
  title     = {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},
  publisher = {North-Holland / Elsevier},
  year      = {1988},
  isbn      = {0-444-70373-X},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tdb/87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tls/1987,
  editor    = {Behnam Banieqbal and
               Howard Barringer and
               Amir Pnueli},
  title     = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {398},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-51803-7},
  doi       = {10.1007/3-540-51803-7},
  isbn      = {3-540-51803-7},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tls/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ds/86,
  editor    = {Robert Meersman and
               Am{\'{\i}}lcar Sernadas},
  title     = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
               "Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
               1986},
  publisher = {North-Holland},
  year      = {1988},
  isbn      = {0-444-70528-7},
  timestamp = {Thu, 03 Jan 2002 11:56:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ds/86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier