BibTeX records: Flávio Oquendo

download as .bib file

@article{DBLP:journals/corr/abs-2403-16740,
  author       = {Everton Cavalcante and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo},
  title        = {Looking back and forward: {A} retrospective and future directions
                  on Software Engineering for systems-of-systems},
  journal      = {CoRR},
  volume       = {abs/2403.16740},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.16740},
  doi          = {10.48550/ARXIV.2403.16740},
  eprinttype    = {arXiv},
  eprint       = {2403.16740},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-16740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tencon/Oquendo23,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers:
                  The Overtaking Case},
  booktitle    = {{IEEE} Region 10 Conference, {TENCON} 2023, Chiang Mai, Thailand,
                  October 31 - Nov. 3, 2023},
  pages        = {789--794},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/TENCON58879.2023.10322500},
  doi          = {10.1109/TENCON58879.2023.10322500},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tencon/Oquendo23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/AraujoBCO21,
  author       = {Camila Ara{\'{u}}jo and
                  Tha{\'{\i}}s Batista and
                  Everton Cavalcante and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Chiara Garau and
                  Ivan Blecic and
                  David Taniar and
                  Bernady O. Apduhan and
                  Ana Maria A. C. Rocha and
                  Eufemia Tarantino and
                  Carmelo Maria Torre},
  title        = {Generating Formal Software Architecture Descriptions from Semi-Formal
                  SysML-Based Models: {A} Model-Driven Approach},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2021 - 21st International
                  Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part
                  {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12951},
  pages        = {394--410},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86970-0\_28},
  doi          = {10.1007/978-3-030-86970-0\_28},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/AraujoBCO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo21,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Case Study on the Fuzzy Architecture Description of Cyber-Physical
                  SoS under Uncertainty},
  booktitle    = {16th International Conference of System of Systems Engineering, SoSE
                  2021, V{\"{a}}ster{\aa}s, Sweden, June 14-18, 2021},
  pages        = {61--68},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SOSE52739.2021.9497482},
  doi          = {10.1109/SOSE52739.2021.9497482},
  timestamp    = {Thu, 05 Aug 2021 09:37:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14100,
  author       = {Valdemar Vicente Graciano Neto and
                  Bruno Gabriel Ara{\'{u}}jo Lebtag and
                  Paulo Gabriel Teixeira and
                  Priscilla Elizabeth Pereira Batista and
                  Vinicius Carvalho Lopes and
                  Jamal El Hachem and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fl{\'{a}}vio Oquendo and
                  Juliana Fernandes and
                  Francisco Henrique Ferreira and
                  Rodrigo Pereira dos Santos and
                  Davi Viana and
                  Everton Cavalcante and
                  Mohamad Kassab and
                  Ahmad Mohsin and
                  Roberto Oliveira and
                  V{\^{a}}nia de Oliveira Neves and
                  Maria Istela Cagnin and
                  Elisa Yumi Nakagawa},
  title        = {Expanding Frontiers: Settling an Understanding of Systems-of-Information
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2103.14100},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.14100},
  eprinttype    = {arXiv},
  eprint       = {2103.14100},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-14100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijehmc/GarcesON20,
  author       = {Lina Garc{\'{e}}s and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Assessment of Reference Architectures and Reference Models for Ambient
                  Assisted Living Systems: Results of a Systematic Literature Review},
  journal      = {Int. J. {E} Health Medical Commun.},
  volume       = {11},
  number       = {1},
  pages        = {17--36},
  year         = {2020},
  url          = {https://doi.org/10.4018/IJEHMC.2020010102},
  doi          = {10.4018/IJEHMC.2020010102},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijehmc/GarcesON20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SilvaBO20,
  author       = {Eduardo Silva and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo},
  title        = {On the verification of mission-related properties in software-intensive
                  systems-of-systems architectural design},
  journal      = {Sci. Comput. Program.},
  volume       = {192},
  pages        = {102425},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102425},
  doi          = {10.1016/J.SCICO.2020.102425},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SilvaBO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuessiON20,
  author       = {Milena Guessi and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Ark: a constraint-based method for architectural synthesis of smart
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {19},
  number       = {3},
  pages        = {741--762},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10270-019-00764-7},
  doi          = {10.1007/S10270-019-00764-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GuessiON20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/Mesli-KesraouiG20,
  author       = {Soraya Mesli{-}Kesraoui and
                  Olga Goubali and
                  Djamal Kesraoui and
                  Ibtihal Eloumami and
                  Fl{\'{a}}vio Oquendo},
  title        = {Formal Verification of the Race Condition Vulnerability in Ladder
                  Programs},
  booktitle    = {2020 {IEEE} Conference on Control Technology and Applications, {CCTA}
                  2020, Montreal, QC, Canada, August 24-26, 2020},
  pages        = {892--897},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CCTA41146.2020.9206344},
  doi          = {10.1109/CCTA41146.2020.9206344},
  timestamp    = {Wed, 07 Oct 2020 19:50:15 +0200},
  biburl       = {https://dblp.org/rec/conf/ccta/Mesli-KesraouiG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/DiasOBCLOA20,
  author       = {Fagner Dias and
                  Marcel Oliveira and
                  Tha{\'{\i}}s Vasconcelos Batista and
                  Everton Cavalcante and
                  Jair C. Leite and
                  Fl{\'{a}}vio Oquendo and
                  Camila Ara{\'{u}}jo},
  editor       = {Anton Jansen and
                  Ivano Malavolta and
                  Henry Muccini and
                  Ipek Ozkaya and
                  Olaf Zimmermann},
  title        = {Empowering SysML-Based Software Architecture Description with Formal
                  Verification: From SysADL to {CSP}},
  booktitle    = {Software Architecture - 14th European Conference, {ECSA} 2020, L'Aquila,
                  Italy, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12292},
  pages        = {101--117},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58923-3\_7},
  doi          = {10.1007/978-3-030-58923-3\_7},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/DiasOBCLOA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SantosSBCLO20,
  author       = {Lidiane Oliveira dos Santos and
                  Eduardo Silva and
                  Tha{\'{\i}}s Batista and
                  Everton Cavalcante and
                  Jair C. Leite and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {An architectural style for internet of things systems},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1488--1497},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3374030},
  doi          = {10.1145/3341105.3374030},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/SantosSBCLO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo20,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems},
  booktitle    = {15th {IEEE} International Conference of System of Systems Engineering,
                  SoSE 2020, Budapest, Hungary, June 2-4, 2020},
  pages        = {555--562},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SoSE50414.2020.9130553},
  doi          = {10.1109/SOSE50414.2020.9130553},
  timestamp    = {Thu, 16 Jul 2020 18:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/SantosSBLCO20,
  author       = {Lidiane Oliveira dos Santos and
                  Eduardo Silva and
                  Tha{\'{\i}}s Batista and
                  Jair C. Leite and
                  Everton Cavalcante and
                  Fl{\'{a}}vio Oquendo},
  title        = {Evaluating a SysML-based Graphical Notation for Modeling Internet
                  of Things System Architectures},
  booktitle    = {6th {IEEE} World Forum on Internet of Things, WF-IoT 2020, New Orleans,
                  LA, USA, June 2-16, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WF-IoT48130.2020.9221497},
  doi          = {10.1109/WF-IOT48130.2020.9221497},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wf-iot/SantosSBLCO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AraujoCBOO19,
  author       = {Camila Ara{\'{u}}jo and
                  Everton Cavalcante and
                  Tha{\'{\i}}s Batista and
                  Marcel Oliveira and
                  Fl{\'{a}}vio Oquendo},
  title        = {A Research Landscape on Formal Verification of Software Architecture
                  Descriptions},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {171752--171764},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2953858},
  doi          = {10.1109/ACCESS.2019.2953858},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/AraujoCBOO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/GarcesON19,
  author       = {Lina Garc{\'{e}}s and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Software mediators as first-class entities of systems-of-systems software
                  architectures},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {25},
  number       = {1},
  pages        = {8:1--8:23},
  year         = {2019},
  url          = {https://doi.org/10.1186/s13173-019-0089-3},
  doi          = {10.1186/S13173-019-0089-3},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/GarcesON19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/Oquendo19,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Architecting exogenous software-intensive systems-of-systems on the
                  internet-of-vehicles with SosADL},
  journal      = {Syst. Eng.},
  volume       = {22},
  number       = {6},
  pages        = {502--518},
  year         = {2019},
  url          = {https://doi.org/10.1002/sys.21521},
  doi          = {10.1002/SYS.21521},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/se/Oquendo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/Oquendo19,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Sanjay Misra and
                  Osvaldo Gervasi and
                  Beniamino Murgante and
                  Elena N. Stankova and
                  Vladimir Korkhov and
                  Carmelo Maria Torre and
                  Ana Maria A. C. Rocha and
                  David Taniar and
                  Bernady O. Apduhan and
                  Eufemia Tarantino},
  title        = {Dealing with Uncertainty in Software Architecture on the Internet-of-Things
                  with Digital Twins},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2019 - 19th International
                  Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11619},
  pages        = {770--786},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24289-3\_57},
  doi          = {10.1007/978-3-030-24289-3\_57},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/Oquendo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipiot/Oquendo19,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Augusto Casaca and
                  Srinivas Katkoori and
                  Sandip Ray and
                  Leon Strous},
  title        = {Architecting Systems-of-Systems of Self-driving Cars for Platooning
                  on the Internet-of-Vehicles with SosADL},
  booktitle    = {Internet of Things. {A} Confluence of Many Disciplines - Second {IFIP}
                  International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA,
                  October 31 - November 1, 2019, Revised Selected Papers},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {574},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-43605-6\_1},
  doi          = {10.1007/978-3-030-43605-6\_1},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipiot/Oquendo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo19,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Coping with Uncertainty in Systems-of-Systems Architecture Modeling
                  on the IoT with SosADL},
  booktitle    = {14th Annual Conference System of Systems Engineering, SoSE 2019, Anchorage,
                  AK, USA, May 19-22, 2019},
  pages        = {131--136},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SYSOSE.2019.8753842},
  doi          = {10.1109/SYSOSE.2019.8753842},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03475,
  author       = {Danny Weyns and
                  Fl{\'{a}}vio Oquendo},
  title        = {An Architectural Style for Self-Adaptive Multi-Agent Systems},
  journal      = {CoRR},
  volume       = {abs/1909.03475},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.03475},
  eprinttype    = {arXiv},
  eprint       = {1909.03475},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-03475.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Oquendo18,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Carlos E. Cuesta and
                  David Garlan and
                  Jennifer P{\'{e}}rez},
  title        = {Formally Describing Self-organizing Architectures for Systems-of-Systems
                  on the Internet-of-Things},
  booktitle    = {Software Architecture - 12th European Conference on Software Architecture,
                  {ECSA} 2018, Madrid, Spain, September 24-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11048},
  pages        = {20--36},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00761-4\_2},
  doi          = {10.1007/978-3-030-00761-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/Oquendo18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/NetoRGPMON18,
  author       = {Valdemar Vicente Graciano Neto and
                  Lina Maria Garc{\'{e}}s Rodriguez and
                  Milena Guessi and
                  Carlos Eduardo de Barros Paes and
                  Wallace Manzano and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Tung Bui},
  title        = {{ASAS:} An Approach to Support Simulation of Smart Systems},
  booktitle    = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,
                  Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},
  pages        = {1--10},
  publisher    = {ScholarSpace / {AIS} Electronic Library (AISeL)},
  year         = {2018},
  url          = {https://hdl.handle.net/10125/50613},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/NetoRGPMON18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/BatistaOL18,
  author       = {Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo and
                  Jair C. Leite},
  title        = {Modeling and Executing Software Architecture Using SysADL},
  booktitle    = {2018 {IEEE} International Conference on Software Architecture Companion,
                  {ICSA} Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018},
  pages        = {4--5},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSA-C.2018.00007},
  doi          = {10.1109/ICSA-C.2018.00007},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsa/BatistaOL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/LeiteBOSSC18,
  author       = {Jair C. Leite and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo and
                  Eduardo Silva and
                  Lidiane Oliveira dos Santos and
                  Victor Cortez},
  title        = {Designing and Executing Software Architectures Models Using SysADL
                  Studio},
  booktitle    = {2018 {IEEE} International Conference on Software Architecture Companion,
                  {ICSA} Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018},
  pages        = {81--84},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSA-C.2018.00030},
  doi          = {10.1109/ICSA-C.2018.00030},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsa/LeiteBOSSC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/GarcesON18,
  author       = {Lina Garc{\'{e}}s and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Towards a Taxonomy of Software Mediators for Systems-of-Systems},
  booktitle    = {Proceedings of the {VII} Brazilian Symposium on Software Components,
                  Architectures, and Reuse, {SBCARS} 2018, Sao Carlos, Brazil, September
                  17-21, 2018},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3267183.3267189},
  doi          = {10.1145/3267183.3267189},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcars/GarcesON18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/OquendoBLM18,
  author       = {Fl{\'{a}}vio Oquendo and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Elena Leroux and
                  Gersan Mogu{\'{e}}rou},
  title        = {A Formal Approach for Architecting Software-intensive Systems-of-Systems
                  with Guarantees},
  booktitle    = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
                  Paris, France, June 19-22, 2018},
  pages        = {14--21},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSOSE.2018.8428726},
  doi          = {10.1109/SYSOSE.2018.8428726},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/OquendoBLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo18,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems
                  with SosADL},
  booktitle    = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
                  Paris, France, June 19-22, 2018},
  pages        = {268--275},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSOSE.2018.8428715},
  doi          = {10.1109/SYSOSE.2018.8428715},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo18a,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {On the Emergent Behavior Oxymoron of System-of-Systems Architecture
                  Description},
  booktitle    = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
                  Paris, France, June 19-22, 2018},
  pages        = {417--424},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSOSE.2018.8428727},
  doi          = {10.1109/SYSOSE.2018.8428727},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018sesos,
  editor       = {Khalil Drira and
                  Fl{\'{a}}vio Oquendo},
  title        = {6th {IEEE/ACM} International Workshop on Software Engineering for
                  Systems-of-Systems, SESoS@ICSE 2018, Gothenburg, Sweden, May 29, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194754},
  doi          = {10.1145/3194754},
  isbn         = {978-1-4503-5747-0},
  timestamp    = {Thu, 30 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2018sesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/OliveiraLFON17,
  author       = {Lucas Bueno Ruas de Oliveira and
                  Elena Leroux and
                  K{\'{a}}tia Romero Felizardo and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {ArchSORS: {A} Software Process for Designing Software Architectures
                  of Service-Oriented Robotic Systems},
  journal      = {Comput. J.},
  volume       = {60},
  number       = {9},
  pages        = {1363--1381},
  year         = {2017},
  url          = {https://doi.org/10.1093/comjnl/bxx008},
  doi          = {10.1093/COMJNL/BXX008},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/OliveiraLFON17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/NetoPRGMON17,
  author       = {Valdemar Vicente Graciano Neto and
                  Carlos Eduardo de Barros Paes and
                  Lina Maria Garc{\'{e}}s Rodriguez and
                  Milena Guessi and
                  Wallace Manzano and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Stimuli-SoS: a model-based approach to derive stimuli generators for
                  simulations of systems-of-systems software architectures},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {23},
  number       = {1},
  pages        = {13:1--13:22},
  year         = {2017},
  url          = {https://doi.org/10.1186/s13173-017-0062-y},
  doi          = {10.1186/S13173-017-0062-Y},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/NetoPRGMON17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/LeiteBO17,
  author       = {Jair C. Leite and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo},
  title        = {Architecting IoT Applications with SysADL},
  booktitle    = {2017 {IEEE} International Conference on Software Architecture Workshops,
                  {ICSA} Workshops 2017, Gothenburg, Sweden, April 5-7, 2017},
  pages        = {92--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSAW.2017.57},
  doi          = {10.1109/ICSAW.2017.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsa/LeiteBO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaOAS17,
  author       = {Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Rodrigo Pereira dos Santos},
  title        = {Joint 5th International Workshop on Software Engineering for Systems-of-Systems
                  and 11th Workshop on Distributed Software Development, Software Ecosystems
                  and Systems-of-Systems},
  booktitle    = {2017 {IEEE/ACM} Joint 5th International Workshop on Software Engineering
                  for Systems-of-Systems and 11th Workshop on Distributed Software Development,
                  Software Ecosystems and Systems-of-Systems, JSOS@ICSE, Buenos Aires,
                  Argentina, May 23, 2017},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/JSOS.2017.22},
  doi          = {10.1109/JSOS.2017.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NakagawaOAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo17,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Architecturally describing the emergent behavior of software-intensive
                  system-of-systems with SosADL},
  booktitle    = {12th System of Systems Engineering Conference, SoSE 2017, Waikoloa,
                  HI, USA, June 18-21, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYSOSE.2017.7994941},
  doi          = {10.1109/SYSOSE.2017.7994941},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo17a,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Software architecture of self-organizing systems-of-systems for the
                  Internet-of-Things with SosADL},
  booktitle    = {12th System of Systems Engineering Conference, SoSE 2017, Waikoloa,
                  HI, USA, June 18-21, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYSOSE.2017.7994959},
  doi          = {10.1109/SYSOSE.2017.7994959},
  timestamp    = {Wed, 16 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/OquendoLB16,
  author       = {Fl{\'{a}}vio Oquendo and
                  Jair C. Leite and
                  Tha{\'{\i}}s Batista},
  title        = {Software Architecture in Action - Designing and Executing Architectural
                  Models with SysADL grounded on the {OMG} SysML Standard},
  series       = {Undergraduate Topics in Computer Science},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44339-3},
  doi          = {10.1007/978-3-319-44339-3},
  isbn         = {978-3-319-44337-9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/utcs/OquendoLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ThatSOF16,
  author       = {Minh Tu Ton That and
                  Salah Sadou and
                  Fl{\'{a}}vio Oquendo and
                  R{\'{e}}gis Fleurquin},
  title        = {Preserving architectural decisions through architectural patterns},
  journal      = {Autom. Softw. Eng.},
  volume       = {23},
  number       = {3},
  pages        = {427--467},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10515-014-0172-0},
  doi          = {10.1007/S10515-014-0172-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ThatSOF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/RodriguezON16,
  author       = {Lina Maria Garc{\'{e}}s Rodriguez and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {A Quality Model for {AAL} Software Systems},
  booktitle    = {29th {IEEE} International Symposium on Computer-Based Medical Systems,
                  {CBMS} 2016, Belfast, {UK} and Dublin, Ireland, June 20-24, 2016},
  pages        = {175--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CBMS.2016.46},
  doi          = {10.1109/CBMS.2016.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/RodriguezON16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/LanaSDNOM16,
  author       = {Cristiane Aparecida Lana and
                  Nilton Mendes Souza and
                  M{\'{a}}rcio Eduardo Delamaro and
                  Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Jos{\'{e}} Carlos Maldonado},
  title        = {Systems-of-systems development: Initiatives, trends, and challenges},
  booktitle    = {{XLII} Latin American Computing Conference, {CLEI} 2016, Valpara{\'{\i}}so,
                  Chile, October 10-14, 2016},
  pages        = {1--12},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CLEI.2016.7833329},
  doi          = {10.1109/CLEI.2016.7833329},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/clei/LanaSDNOM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Oquendo16,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Software Architecture Challenges and Emerging Research in Software-Intensive
                  Systems-of-Systems},
  booktitle    = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
                  Denmark, November 28 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9839},
  pages        = {3--21},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_1},
  doi          = {10.1007/978-3-319-48992-6\_1},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/Oquendo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/OquendoBLMQ16,
  author       = {Fl{\'{a}}vio Oquendo and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Elena Leroux and
                  Gersan Mogu{\'{e}}rou and
                  Jean Quilbeuf},
  editor       = {Khalil Drira and
                  Fl{\'{a}}vio Oquendo and
                  Muhammad Ali Babar and
                  Axel Legay},
  title        = {The sosADL studio: an architecture development environment for software-intensive
                  systems-of-systems},
  booktitle    = {Proceedings of the International Colloquium on Software-intensive
                  Systems-of-Systems at 10th European Conference on Software Architecture,
                  SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016},
  pages        = {3:1--3:8},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3175731.3176180},
  doi          = {10.1145/3175731.3176180},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/OquendoBLMQ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/OquendoLB16,
  author       = {Fl{\'{a}}vio Oquendo and
                  Jair C. Leite and
                  Tha{\'{\i}}s Batista},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Executing Software Architecture Descriptions with SysADL},
  booktitle    = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
                  Denmark, November 28 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9839},
  pages        = {129--137},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_9},
  doi          = {10.1007/978-3-319-48992-6\_9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/OquendoLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CavalcanteQTOBL16,
  author       = {Everton Cavalcante and
                  Jean Quilbeuf and
                  Louis{-}Marie Traonouez and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Batista and
                  Axel Legay},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Statistical Model Checking of Dynamic Software Architectures},
  booktitle    = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
                  Denmark, November 28 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9839},
  pages        = {185--200},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_14},
  doi          = {10.1007/978-3-319-48992-6\_14},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/CavalcanteQTOBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Mesli-KesraouiK16,
  author       = {Soraya Mesli{-}Kesraoui and
                  Djamal Kesraoui and
                  Fl{\'{a}}vio Oquendo and
                  Alain Bignon and
                  Armand Toguy{\'{e}}ni and
                  Pascal Berruet},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Formal Verification of Software-Intensive Systems Architectures Described
                  with Piping and Instrumentation Diagrams},
  booktitle    = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
                  Denmark, November 28 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9839},
  pages        = {210--226},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_16},
  doi          = {10.1007/978-3-319-48992-6\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/Mesli-KesraouiK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Oquendo16,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Hai Wang and
                  Mounir Mokhtari},
  title        = {Formally Describing the Architectural Behavior of Software-Intensive
                  Systems-of-Systems with SosADL},
  booktitle    = {21st International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICECCS.2016.012},
  doi          = {10.1109/ICECCS.2016.012},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Oquendo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SilvaCBO16,
  author       = {Eduardo Silva and
                  Everton Cavalcante and
                  Tha{\'{\i}}s Vasconcelos Batista and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Hai Wang and
                  Mounir Mokhtari},
  title        = {Bridging Missions and Architecture in Software-Intensive Systems-of-Systems},
  booktitle    = {21st International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  pages        = {201--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICECCS.2016.034},
  doi          = {10.1109/ICECCS.2016.034},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/SilvaCBO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuilbeufCTOBL16,
  author       = {Jean Quilbeuf and
                  Everton Cavalcante and
                  Louis{-}Marie Traonouez and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Batista and
                  Axel Legay},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Logic for the Statistical Model Checking of Dynamic Software Architectures},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {806--820},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_56},
  doi          = {10.1007/978-3-319-47166-2\_56},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/QuilbeufCTOBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/CavalcanteCLBO16,
  author       = {Everton Cavalcante and
                  N{\'{e}}lio Cacho and
                  Frederico Lopes and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo},
  title        = {Thinking Smart Cities as Systems-of-Systems: {A} Perspective Study},
  booktitle    = {Proceedings of the 2nd International Workshop on Smart Cities - People,
                  Technology and Data, IWSC@Middleware 2016, Trento, Italy, December
                  12-16, 2016},
  pages        = {9:1--9:4},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3009912.3009918},
  doi          = {10.1145/3009912.3009918},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/CavalcanteCLBO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Oquendo16,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Case study on formally describing the architecture of a Software-intensive
                  System-of-Systems with SosADL},
  booktitle    = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2016, Budapest, Hungary, October 9-12, 2016},
  pages        = {2260--2266},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SMC.2016.7844575},
  doi          = {10.1109/SMC.2016.7844575},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/Oquendo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/GuessiON16,
  author       = {Milena Guessi and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Checking the architectural feasibility of Systems-of-Systems using
                  formal descriptions},
  booktitle    = {11th System of Systems Engineering Conference, SoSE 2016, Kongsberg,
                  Norway, June 12-16, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYSOSE.2016.7542939},
  doi          = {10.1109/SYSOSE.2016.7542939},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/GuessiON16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo16,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Formally describing the software architecture of Systems-of-Systems
                  with SosADL},
  booktitle    = {11th System of Systems Engineering Conference, SoSE 2016, Kongsberg,
                  Norway, June 12-16, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYSOSE.2016.7542926},
  doi          = {10.1109/SYSOSE.2016.7542926},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/Oquendo16a,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {{\(\pi\)}-Calculus for SoS: {A} foundation for formally describing
                  software-intensive Systems-of-Systems},
  booktitle    = {11th System of Systems Engineering Conference, SoSE 2016, Kongsberg,
                  Norway, June 12-16, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYSOSE.2016.7542925},
  doi          = {10.1109/SYSOSE.2016.7542925},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/Oquendo16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/OquendoLB16,
  author       = {Fl{\'{a}}vio Oquendo and
                  Jair C. Leite and
                  Tha{\'{\i}}s Batista},
  title        = {Specifying Architecture Behavior with SysADL},
  booktitle    = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2016, Venice, Italy, April 5-8, 2016},
  pages        = {140--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WICSA.2016.40},
  doi          = {10.1109/WICSA.2016.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/OquendoLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2016sisos,
  editor       = {Khalil Drira and
                  Fl{\'{a}}vio Oquendo and
                  Muhammad Ali Babar and
                  Axel Legay},
  title        = {Proceedings of the International Colloquium on Software-intensive
                  Systems-of-Systems at 10th European Conference on Software Architecture,
                  SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3175731},
  doi          = {10.1145/3175731},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/2016sisos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/DriraO15,
  author       = {Khalil Drira and
                  Fl{\'{a}}vio Oquendo},
  title        = {Special Issue on Advanced Architectures for the Future Generation
                  of Software-Intensive Systems},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {47},
  pages        = {60--61},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.future.2015.02.006},
  doi          = {10.1016/J.FUTURE.2015.02.006},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/DriraO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ThatSOB15,
  author       = {Minh Tu Ton That and
                  Salah Sadou and
                  Fl{\'{a}}vio Oquendo and
                  Isabelle Borne},
  title        = {Preserving architectural pattern composition information through explicit
                  merging operators},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {47},
  pages        = {97--112},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.future.2014.09.002},
  doi          = {10.1016/J.FUTURE.2014.09.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/ThatSOB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/PortocarreroDPN15,
  author       = {Jes{\'{u}}s M. T. Portocarrero and
                  Fl{\'{a}}via Coimbra Delicato and
                  Paulo F. Pires and
                  Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ivica Crnkovic},
  title        = {Self-Adaptive Middleware for Wireless Sensor Networks: {A} Reference
                  Architecture},
  booktitle    = {Proceedings of the 2015 European Conference on Software Architecture
                  Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015},
  pages        = {12:1--12:8},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2797433.2797445},
  doi          = {10.1145/2797433.2797445},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/PortocarreroDPN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CostaPDO15,
  author       = {Bruno Costa and
                  Paulo F. Pires and
                  Fl{\'{a}}via Coimbra Delicato and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ivica Crnkovic},
  title        = {Towards a View-Based Process for Designing and Documenting RESTful
                  Service Architectures},
  booktitle    = {Proceedings of the 2015 European Conference on Software Architecture
                  Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015},
  pages        = {50:1--50:7},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2797433.2797485},
  doi          = {10.1145/2797433.2797485},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/CostaPDO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaOACDMZ15,
  author       = {Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Jos{\'{e}} Carlos Maldonado and
                  Andrea Zisman},
  editor       = {Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Fl{\'{a}}vio Oquendo and
                  Andrea Zisman},
  title        = {Foreword: Towards Reference Architectures for Systems-of-Systems},
  booktitle    = {3rd {IEEE/ACM} International Workshop on Software Engineering for
                  Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SESoS.2015.8},
  doi          = {10.1109/SESOS.2015.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NakagawaOACDMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OquendoACDNMZ15,
  author       = {Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Andrea Zisman},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {3rd International Workshop on Software Engineering for Systems-of-Systems
                  (SESoS 2015)},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages        = {1011--1012},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.327},
  doi          = {10.1109/ICSE.2015.327},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/OquendoACDNMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GoncalvesON15,
  author       = {Marcelo Benites Gon{\c{c}}alves and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {A meta-process to construct software architectures for system of systems},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1411--1416},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695737},
  doi          = {10.1145/2695664.2695737},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/GoncalvesON15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GuessiMAON15,
  author       = {Milena Guessi and
                  Dilvan A. Moreira and
                  Gabriel Abdalla and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {OntolAD: a formal ontology for architectural descriptions},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1417--1424},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695739},
  doi          = {10.1145/2695664.2695739},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/GuessiMAON15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GuessiNBFON15,
  author       = {Milena Guessi and
                  Valdemar Vicente Graciano Neto and
                  Thiago Bianchi and
                  K{\'{a}}tia Romero Felizardo and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {A systematic literature review on the description of software architectures
                  for systems of systems},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1433--1440},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695795},
  doi          = {10.1145/2695664.2695795},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/GuessiNBFON15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/AbdallaDGON15,
  author       = {Gabriel Abdalla and
                  Carlos Diego Nascimento Damasceno and
                  Milena Guessi and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {A Systematic Literature Review on Knowledge Representation Approaches
                  for Systems-of-Systems},
  booktitle    = {2015 {IX} Brazilian Symposium on Components, Architectures and Reuse
                  Software, {SBCARS} 2015, Belo Horizonte, Minas Gerais, Brazil, September
                  21-22, 2015},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SBCARS.2015.18},
  doi          = {10.1109/SBCARS.2015.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcars/AbdallaDGON15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/SilvaBO15,
  author       = {Eduardo Silva and
                  Tha{\'{\i}}s Batista and
                  Fl{\'{a}}vio Oquendo},
  title        = {A mission-oriented approach for designing system-of-systems},
  booktitle    = {10th System of Systems Engineering Conference, SoSE 2015, San Antonio,
                  TX, USA, May 17-20, 2015},
  pages        = {346--351},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SYSOSE.2015.7151951},
  doi          = {10.1109/SYSOSE.2015.7151951},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/SilvaBO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/CavalcanteBO15,
  author       = {Everton Cavalcante and
                  Tha{\'{\i}}s Vasconcelos Batista and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Len Bass and
                  Patricia Lago and
                  Philippe Kruchten},
  title        = {Supporting Dynamic Software Architectures: From Architectural Description
                  to Implementation},
  booktitle    = {12th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2015, Montreal, QC, Canada, May 4-8, 2015},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/WICSA.2015.21},
  doi          = {10.1109/WICSA.2015.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/CavalcanteBO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015sesos,
  editor       = {Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Fl{\'{a}}vio Oquendo and
                  Andrea Zisman},
  title        = {3rd {IEEE/ACM} International Workshop on Software Engineering for
                  Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7173495/proceeding},
  isbn         = {978-1-4673-7091-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2015sesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AkhtarGO15,
  author       = {Nadeem Akhtar and
                  Yann Le Guyadec and
                  Fl{\'{a}}vio Oquendo},
  title        = {Formal requirement and architecture specifications of a multi-agent
                  robotic system},
  journal      = {CoRR},
  volume       = {abs/1501.05153},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.05153},
  eprinttype    = {arXiv},
  eprint       = {1501.05153},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AkhtarGO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/OquendoL15,
  author       = {Fl{\'{a}}vio Oquendo and
                  Axel Legay},
  title        = {Formal Architecture Description of Trustworthy Systems-of-Systems
                  with SosADL},
  journal      = {{ERCIM} News},
  volume       = {2015},
  number       = {102},
  year         = {2015},
  url          = {http://ercim-news.ercim.eu/en102/special/formal-architecture-description-of-trustworthy-systems-of-systems-with-sosadl},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/OquendoL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/OquendoLD15,
  author       = {Fl{\'{a}}vio Oquendo and
                  Axel Legay and
                  Khalil Drira},
  title        = {{GT} SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems},
  journal      = {{ERCIM} News},
  volume       = {2015},
  number       = {102},
  year         = {2015},
  url          = {http://ercim-news.ercim.eu/en102/special/gt-sos-research-network-on-trustworthy-software-intensive-systems-of-systems},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/OquendoLD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/LegayQO15,
  author       = {Axel Legay and
                  Jean Quilbeuf and
                  Fl{\'{a}}vio Oquendo},
  title        = {Verifying Systems-of-Systems with Statistical Model Checking},
  journal      = {{ERCIM} News},
  volume       = {2015},
  number       = {103},
  year         = {2015},
  url          = {http://ercim-news.ercim.eu/en103/r-i/verifying-systems-of-systems-with-statistical-model-checking},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/LegayQO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/FantinatoKO14,
  author       = {Marcelo Fantinato and
                  Uir{\'{a}} Kulesza and
                  Fl{\'{a}}vio Oquendo},
  title        = {Software Components, Architectures and Reuse: Software Product Line
                  Engineering and Source Code Enhancements},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {20},
  number       = {5},
  pages        = {583--586},
  year         = {2014},
  url          = {http://www.jucs.org/jucs\_20\_5/software\_components\_architectures\_and},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/FantinatoKO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/NetoGOON14,
  author       = {Valdemar Vicente Graciano Neto and
                  Milena Guessi and
                  Lucas Bueno Ruas de Oliveira and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Danny Weyns},
  title        = {Investigating the Model-Driven Development for Systems-of-Systems},
  booktitle    = {Proceedings of the {ECSA} 2014 Workshops {\&} Tool Demos Track,
                  European Conference on Software Architecture, 2014, Vienna, Austria},
  pages        = {22:1--22:8},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2642803.2642825},
  doi          = {10.1145/2642803.2642825},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/NetoGOON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SilvaCBODP14,
  author       = {Eduardo Silva and
                  Everton Cavalcante and
                  Tha{\'{\i}}s Vasconcelos Batista and
                  Fl{\'{a}}vio Oquendo and
                  Fl{\'{a}}via Coimbra Delicato and
                  Paulo F. Pires},
  editor       = {Danny Weyns},
  title        = {On the Characterization of Missions of Systems-of-Systems},
  booktitle    = {Proceedings of the {ECSA} 2014 Workshops {\&} Tool Demos Track,
                  European Conference on Software Architecture, 2014, Vienna, Austria},
  pages        = {26:1--26:8},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2642803.2642829},
  doi          = {10.1145/2642803.2642829},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/SilvaCBODP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CavalcanteOB14,
  author       = {Everton Cavalcante and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Vasconcelos Batista},
  editor       = {Paris Avgeriou and
                  Uwe Zdun},
  title        = {Architecture-Based Code Generation: From {\(\pi\)}-ADL Architecture
                  Descriptions to Implementations in the Go Language},
  booktitle    = {Software Architecture - 8th European Conference, {ECSA} 2014, Vienna,
                  Austria, August 25-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8627},
  pages        = {130--145},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09970-5\_13},
  doi          = {10.1007/978-3-319-09970-5\_13},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/CavalcanteOB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/OliveiraLFON14,
  author       = {Lucas Bueno Ruas de Oliveira and
                  Elena Leroux and
                  K{\'{a}}tia Romero Felizardo and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Paris Avgeriou and
                  Uwe Zdun},
  title        = {Towards a Process to Design Architectures of Service-Oriented Robotic
                  Systems},
  booktitle    = {Software Architecture - 8th European Conference, {ECSA} 2014, Vienna,
                  Austria, August 25-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8627},
  pages        = {218--225},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09970-5\_20},
  doi          = {10.1007/978-3-319-09970-5\_20},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/OliveiraLFON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GuessiON14,
  author       = {Milena Guessi and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Marek Z. Reformat},
  title        = {An Approach for Capturing and Documenting Architectural Decisions
                  of Reference Architectures},
  booktitle    = {The 26th International Conference on Software Engineering and Knowledge
                  Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
  pages        = {162--167},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2014},
  timestamp    = {Thu, 06 Oct 2022 12:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/GuessiON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/OliveiraOON14,
  author       = {Lucas Bueno Ruas de Oliveira and
                  Fernando Santos Os{\'{o}}rio and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Marek Z. Reformat},
  title        = {Towards a Taxonomy of Services for Developing Service-Oriented Robotic
                  Systems},
  booktitle    = {The 26th International Conference on Software Engineering and Knowledge
                  Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
  pages        = {344--349},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2014},
  timestamp    = {Mon, 19 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/OliveiraOON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GoncalvesCBON14,
  author       = {Marcelo Benites Gon{\c{c}}alves and
                  Everton Cavalcante and
                  Tha{\'{\i}}s Vasconcelos Batista and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  title        = {Towards a conceptual model for Software-intensive System-of-Systems},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {1605--1610},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974145},
  doi          = {10.1109/SMC.2014.6974145},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/GoncalvesCBON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/GuessiON14,
  author       = {Milena Guessi and
                  Fl{\'{a}}vio Oquendo and
                  Elisa Yumi Nakagawa},
  editor       = {Anna Liu and
                  John Klein and
                  Antony Tang},
  title        = {Variability viewpoint to describe reference architectures},
  booktitle    = {Proceedings of the {WICSA} 2014 Companion Volume, Sydney, NSW, Australia,
                  April 7-11, 2014},
  pages        = {14:1--14:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2578128.2578238},
  doi          = {10.1145/2578128.2578238},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicsa/GuessiON14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/NakagawaGMFO14,
  author       = {Elisa Yumi Nakagawa and
                  Milena Guessi and
                  Jos{\'{e}} Carlos Maldonado and
                  Daniel Feitosa and
                  Fl{\'{a}}vio Oquendo},
  title        = {Consolidating a Process for the Design, Representation, and Evaluation
                  of Reference Architectures},
  booktitle    = {2014 {IEEE/IFIP} Conference on Software Architecture, {WICSA} 2014,
                  Sydney, Australia, April 7-11, 2014},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WICSA.2014.25},
  doi          = {10.1109/WICSA.2014.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/NakagawaGMFO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AlmeidaO13,
  author       = {Eduardo Santana de Almeida and
                  Fl{\'{a}}vio Oquendo},
  title        = {Software Components, Architectures and ReuseModeling, Customization
                  and Evaluation},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {19},
  number       = {2},
  pages        = {183--185},
  year         = {2013},
  url          = {http://www.jucs.org/jucs\_19\_2/software\_components\_architectures\_and},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/AlmeidaO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BabarGO13,
  author       = {Muhammad Ali Babar and
                  Ian Gorton and
                  Fl{\'{a}}vio Oquendo},
  title        = {Building European software architecture community: how far have we
                  come?},
  journal      = {Softw. Syst. Model.},
  volume       = {12},
  number       = {2},
  pages        = {435--438},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10270-013-0339-3},
  doi          = {10.1007/S10270-013-0339-3},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BabarGO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NakagawaGGOO13,
  author       = {Elisa Yumi Nakagawa and
                  Marcelo Benites Gon{\c{c}}alves and
                  Milena Guessi and
                  Lucas Bueno Ruas de Oliveira and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Jos{\'{e}} Carlos Maldonado and
                  Elisa Yumi Nakagawa and
                  Khalil Drira and
                  Andrea Zisman},
  title        = {The state of the art and future perspectives in systems of systems
                  software architectures},
  booktitle    = {Proceedings of the First International Workshop on Software Engineering
                  for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2,
                  2013},
  pages        = {13--20},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2489850.2489853},
  doi          = {10.1145/2489850.2489853},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/NakagawaGGOO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/ThatSOB13,
  author       = {Minh Tu Ton That and
                  Salah Sadou and
                  Fl{\'{a}}vio Oquendo and
                  Isabelle Borne},
  editor       = {Khalil Drira},
  title        = {Composition-Centered Architectural Pattern Description Language},
  booktitle    = {Software Architecture - 7th European Conference, {ECSA} 2013, Montpellier,
                  France, July 1-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7957},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39031-9\_1},
  doi          = {10.1007/978-3-642-39031-9\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/ThatSOB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/LeiteOB13,
  author       = {Jair C. Leite and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Vasconcelos Batista},
  editor       = {Khalil Drira},
  title        = {SysADL: {A} SysML Profile for Software Architecture Description},
  booktitle    = {Software Architecture - 7th European Conference, {ECSA} 2013, Montpellier,
                  France, July 1-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7957},
  pages        = {106--113},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39031-9\_9},
  doi          = {10.1007/978-3-642-39031-9\_9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/LeiteOB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/SilvaFJGO13,
  author       = {Rog{\'{e}}rio F. da Silva and
                  Vanderson H. Fragal and
                  Edson A. Oliveira Junior and
                  Itana Maria de Souza Gimenes and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Slimane Hammoudi and
                  Leszek A. Maciaszek and
                  Jos{\'{e}} Cordeiro and
                  Jan L. G. Dietz},
  title        = {SyMPLES - {A} SysML-based Approach for Developing Embedded Systems
                  Software Product Lines},
  booktitle    = {{ICEIS} 2013 - Proceedings of the 15th International Conference on
                  Enterprise Information Systems, Volume 2, Angers, France, 4-7 July,
                  2013},
  pages        = {257--264},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004446802570264},
  doi          = {10.5220/0004446802570264},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/SilvaFJGO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/NakagawaO13,
  author       = {Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo},
  title        = {Perspectives and challenges of reference architectures in multi software
                  product line},
  booktitle    = {17th International Software Product Line Conference co-located workshops,
                  {SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
  pages        = {100--103},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2499777.2500720},
  doi          = {10.1145/2499777.2500720},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/NakagawaO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013sesos,
  editor       = {Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Jos{\'{e}} Carlos Maldonado and
                  Elisa Yumi Nakagawa and
                  Khalil Drira and
                  Andrea Zisman},
  title        = {Proceedings of the First International Workshop on Software Engineering
                  for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2,
                  2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2489850},
  isbn         = {978-1-4503-2048-1},
  timestamp    = {Wed, 09 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2013sesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/LerouxO12,
  author       = {Elena Leroux and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ernesto Exposito and
                  Mohamed Zouari},
  title        = {Test de conformit{\'{e}} bas{\'{e}} sur l'architecture logicielle},
  booktitle    = {6{\`{e}}me Conf{\'{e}}rence francophone sur les Architectures
                  Logicielles, {CAL} 2012, Montpellier, France, 30-21 Mai 2012},
  series       = {{RNTI}},
  volume       = {{L-7}},
  pages        = {51--68},
  publisher    = {Hermann-{\'{E}}ditions},
  year         = {2012},
  url          = {http://editions-rnti.fr/?inprocid=1002040},
  timestamp    = {Tue, 12 May 2015 15:42:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cal/LerouxO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/GuessiNOM12,
  author       = {Milena Guessi and
                  Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Jos{\'{e}} Carlos Maldonado},
  editor       = {Vincenzo Grassi and
                  Raffaela Mirandola and
                  Jorge Cu{\'{e}}llar and
                  Javier L{\'{o}}pez},
  title        = {Architectural description of embedded systems: a systematic review},
  booktitle    = {Proceedings of the 3rd international {ACM} {SIGSOFT} symposium on
                  Architecting Critical Systems, {ISARCS} 2012, part of Comparch '12
                  Federated Events on Component-Based Software Engineering and Software
                  Architecture, Bertinoro, Italy, June 25-28, 2012},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2304656.2304661},
  doi          = {10.1145/2304656.2304661},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isarcs/GuessiNOM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/ThatSO12,
  author       = {Minh Tu Ton That and
                  Salah Sadou and
                  Fl{\'{a}}vio Oquendo},
  title        = {Using Architectural Patterns to Define Architectural Decisions},
  booktitle    = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
                  and European Conference on Software Architecture, {WICSA/ECSA} 2012,
                  Helsinki, Finland, August 20-24, 2012},
  pages        = {196--200},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WICSA-ECSA.212.28},
  doi          = {10.1109/WICSA-ECSA.212.28},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicsa/ThatSO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/NakagawaOB12,
  author       = {Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Martin Becker},
  title        = {RAModel: {A} Reference Model for Reference Architectures},
  booktitle    = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
                  and European Conference on Software Architecture, {WICSA/ECSA} 2012,
                  Helsinki, Finland, August 20-24, 2012},
  pages        = {297--301},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WICSA-ECSA.212.49},
  doi          = {10.1109/WICSA-ECSA.212.49},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicsa/NakagawaOB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-4699,
  author       = {Leonardo Minora and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Vasconcelos Batista},
  title        = {Issues of Architectural Description Languages for Handling Dynamic
                  Reconfiguration},
  journal      = {CoRR},
  volume       = {abs/1205.4699},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.4699},
  eprinttype    = {arXiv},
  eprint       = {1205.4699},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-4699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/OquendoPS11,
  author       = {Fl{\'{a}}vio Oquendo and
                  Eltjo R. Poort and
                  Judith A. Stafford},
  title        = {Guest Editors Introduction to the Special Issue},
  journal      = {J. Syst. Softw.},
  volume       = {84},
  number       = {9},
  pages        = {1423},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jss.2011.06.060},
  doi          = {10.1016/J.JSS.2011.06.060},
  timestamp    = {Mon, 04 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/OquendoPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PiresOB11,
  author       = {Paulo F. Pires and
                  Fl{\'{a}}vio Oquendo and
                  Ana Paula Terra Bacelo},
  title        = {Software Components, Architectures and Reuse},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {635--638},
  year         = {2011},
  url          = {http://www.jucs.org/jucs\_17\_5/software\_components\_architectures\_and},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/PiresOB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmic/0003WZO10,
  author       = {Jie Chen and
                  Di Wu and
                  Juan Zhang and
                  Fl{\'{a}}vio Oquendo},
  title        = {Formal modelling and analysis of {HLA} architectural style},
  journal      = {Int. J. Model. Identif. Control.},
  volume       = {9},
  number       = {1/2},
  pages        = {71--82},
  year         = {2010},
  url          = {https://doi.org/10.1504/IJMIC.2010.032363},
  doi          = {10.1504/IJMIC.2010.032363},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmic/0003WZO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/PashaOA10,
  author       = {Maruf Pasha and
                  Fl{\'{a}}vio Oquendo and
                  Hafiz Farooq Ahmad},
  editor       = {Shahram Latifi},
  title        = {Negotiation in Heterogeneous Environments},
  booktitle    = {Seventh International Conference on Information Technology: New Generations,
                  {ITNG} 2010, Las Vegas, Nevada, USA, 12-14 April 2010},
  pages        = {290--295},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ITNG.2010.225},
  doi          = {10.1109/ITNG.2010.225},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/PashaOA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4740,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Support for Evolving Software Architectures in the ArchWare {ADL}},
  journal      = {CoRR},
  volume       = {abs/1006.4740},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.4740},
  eprinttype    = {arXiv},
  eprint       = {1006.4740},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-4740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4829,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Constructing Active Architectures in the ArchWare {ADL}},
  journal      = {CoRR},
  volume       = {abs/1006.4829},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.4829},
  eprinttype    = {arXiv},
  eprint       = {1006.4829},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-4829.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/WernerO09,
  author       = {Cl{\'{a}}dia Werner and
                  Fl{\'{a}}vio Oquendo},
  title        = {Software Components, Architectures and Reuse},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {15},
  number       = {11},
  pages        = {2138--2141},
  year         = {2009},
  url          = {http://www.jucs.org/jucs\_15\_11/software\_components\_architectures\_and},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/WernerO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AkhtarGO09,
  author       = {Nadeem Akhtar and
                  Yann Le Guyadec and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Joaquim Filipe and
                  Ana L. N. Fred and
                  Bernadette Sharp},
  title        = {Formal Specification and Verification of Multi-Agent Robotics Software
                  Systems - {A} Case Study},
  booktitle    = {{ICAART} 2009 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  pages        = {475--482},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Sun, 24 May 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/AkhtarGO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Oquendo09,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Boris Shishkov and
                  Jos{\'{e}} Cordeiro and
                  Alpesh Ranchordas},
  title        = {On the Correctness of Software Architectures - Formal Specification
                  of Correctness Properties using pi-AAL},
  booktitle    = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
                  Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
                  2009},
  pages        = {208--217},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Fri, 18 Sep 2009 15:00:58 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/Oquendo09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SanzQCMO08,
  author       = {Marcos L{\'{o}}pez Sanz and
                  Zawar Qayyum and
                  Carlos E. Cuesta and
                  Esperanza Marcos and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Katrina Falkner},
  title        = {Representing Service-Oriented Architectural Models Using pi-ADL},
  booktitle    = {Software Architecture, Second European Conference, {ECSA} 2008, Paphos,
                  Cyprus, September 29 - October 1, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5292},
  pages        = {273--280},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88030-1\_21},
  doi          = {10.1007/978-3-540-88030-1\_21},
  timestamp    = {Mon, 17 Jul 2023 13:04:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/SanzQCMO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/Oquendo08,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Dynamic Software Architectures: Formally Modelling Structure and Behaviour
                  with Pi-ADL},
  booktitle    = {Proceedings of the Third International Conference on Software Engineering
                  Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
  pages        = {352--359},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSEA.2008.47},
  doi          = {10.1109/ICSEA.2008.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsea/Oquendo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/KhanOSO08,
  author       = {Zaheer Abbas Khan and
                  Mohammed Odeh and
                  Tony Solomonides and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Gabriele Kotsis and
                  David Taniar and
                  Eric Pardede and
                  Ismail Khalil Ibrahim},
  title        = {The {BPMSOA:} evaluating the enactment of a business process using
                  application domain specific grid services},
  booktitle    = {iiWAS'2008 - The Tenth International Conference on Information Integration
                  and Web-based Applications Services, 24-26 November 2008, Linz, Austria},
  pages        = {232--239},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1497308.1497353},
  doi          = {10.1145/1497308.1497353},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iiwas/KhanOSO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/Oquendo08,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {p-ADL for WS-Composition: {A} Service-Oriented Architecture Description
                  Language for the Formal Development of Dynamic Web Service Compositions},
  booktitle    = {Second Brazilian Symposium on Software Components, {SBCARS} 2008,
                  Architectures and Reuse, Porto Alegre, Brazil, Augst 20-22, 2008},
  pages        = {52--66},
  publisher    = {{SBC} - Brazilian Computer Society},
  year         = {2008},
  url          = {http://www.lbd.dcc.ufmg.br/colecoes/sbcars/2008/004.pdf},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcars/Oquendo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/QayyumO08,
  author       = {Zawar Qayyum and
                  Fl{\'{a}}vio Oquendo},
  title        = {.NET Extensions to the p-architecture Description Languages},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {244--249},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/QayyumO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/Oquendo08,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Jonathan Lee and
                  Deron Liang and
                  Y. C. Cheng},
  title        = {Formal Approach for the Development of Business Processes in Terms
                  of Service-Oriented Architectures Using Pi-ADL},
  booktitle    = {The Fourth {IEEE} International Symposium on Service-Oriented System
                  Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan},
  pages        = {154--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SOSE.2008.38},
  doi          = {10.1109/SOSE.2008.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/Oquendo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/MarcosCO07,
  author       = {Esperanza Marcos and
                  Carlos E. Cuesta and
                  Fl{\'{a}}vio Oquendo},
  title        = {Guest Editors' Introduction},
  journal      = {Int. J. Cooperative Inf. Syst.},
  volume       = {16},
  number       = {3/4},
  pages        = {333--340},
  year         = {2007},
  url          = {https://doi.org/10.1142/S0218843007001731},
  doi          = {10.1142/S0218843007001731},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcis/MarcosCO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/WuCO07,
  author       = {Di Wu and
                  Jie Chen and
                  Fl{\'{a}}vio Oquendo},
  title        = {Formal Model-Driven Engineering of Distributed Simulation Systems
                  based on Architecture-Centric Domain-Specific Approach},
  booktitle    = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
                  5-7 December 2007, Nagoya, Japan},
  pages        = {568},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/APSEC.2007.59},
  doi          = {10.1109/APSEC.2007.59},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/WuCO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorrisonBOWG07,
  author       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Robert Mark Greenwood},
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {An Active Architecture Approach to Dynamic Systems Co-evolution},
  booktitle    = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
                  Spain, September 24-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4758},
  pages        = {2--10},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75132-8\_2},
  doi          = {10.1007/978-3-540-75132-8\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/MorrisonBOWG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2007,
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
                  Spain, September 24-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4758},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75132-8},
  doi          = {10.1007/978-3-540-75132-8},
  isbn         = {978-3-540-75131-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/AzaiezHO06,
  author       = {Selma Azaiez and
                  Marc{-}Philippe Huget and
                  Fl{\'{a}}vio Oquendo},
  title        = {An approach for Multi-Agent metamodelling},
  journal      = {Multiagent Grid Syst.},
  volume       = {2},
  number       = {4},
  pages        = {435--454},
  year         = {2006},
  url          = {https://doi.org/10.3233/mgs-2006-2409},
  doi          = {10.3233/MGS-2006-2409},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mags/AzaiezHO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Oquendo06,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Formally modelling software architectures with the {UML} 2.0 profile
                  for pi-ADL},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {1},
  pages        = {1--13},
  year         = {2006},
  url          = {https://doi.org/10.1145/1108768.1108773},
  doi          = {10.1145/1108768.1108773},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Oquendo06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MateescuO06,
  author       = {Radu Mateescu and
                  Fl{\'{a}}vio Oquendo},
  title        = {pi-AAL: an architecture analysis language for formally specifying
                  and verifying structural and behavioural properties of software architectures},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {2},
  pages        = {1--19},
  year         = {2006},
  url          = {https://doi.org/10.1145/1118537.1118541},
  doi          = {10.1145/1118537.1118541},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/MateescuO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Oquendo06a,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {pi-Method: a model-driven formal method for architecture-centric software
                  engineering},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {3},
  pages        = {1--13},
  year         = {2006},
  url          = {https://doi.org/10.1145/1127878.1127885},
  doi          = {10.1145/1127878.1127885},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Oquendo06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/VerjusCAO06,
  author       = {Herv{\'{e}} Verjus and
                  Sorana C{\^{\i}}mpan and
                  Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Mourad Chabane Oussalah and
                  Fl{\'{a}}vio Oquendo and
                  Dalila Tamzalit and
                  Tahar Khammaci},
  title        = {Gestion des architectures {\'{e}}volutives dans ArchWare},
  booktitle    = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
                  {(CAL} 2006), 4-6 September 2006, Nantes, France},
  pages        = {41--57},
  publisher    = {Hermes Science},
  year         = {2006},
  timestamp    = {Mon, 11 Sep 2006 13:24:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cal/VerjusCAO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/PourrazVO06,
  author       = {Fr{\'{e}}d{\'{e}}ric Pourraz and
                  Herv{\'{e}} Verjus and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Mourad Chabane Oussalah and
                  Fl{\'{a}}vio Oquendo and
                  Dalila Tamzalit and
                  Tahar Khammaci},
  title        = {p-Diapason : un langage pour la formalisation des architectures orient{\'{e}}es
                  services Web},
  booktitle    = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
                  {(CAL} 2006), 4-6 September 2006, Nantes, France},
  pages        = {119--127},
  publisher    = {Hermes Science},
  year         = {2006},
  timestamp    = {Mon, 11 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cal/PourrazVO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/PourrazVO06,
  author       = {Fr{\'{e}}d{\'{e}}ric Pourraz and
                  Herv{\'{e}} Verjus and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Yannis Manolopoulos and
                  Joaquim Filipe and
                  Panos Constantopoulos and
                  Jos{\'{e}} Cordeiro},
  title        = {An Architecture-Centric Approach for Managing the Evolution of {EAI}
                  Services-Oriented Architecture},
  booktitle    = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
                  on Enterprise Information Systems: Databases and Information Systems
                  Integration, Paphos, Cyprus, May 23-27, 2006},
  pages        = {234--241},
  year         = {2006},
  timestamp    = {Thu, 02 Feb 2017 12:53:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/PourrazVO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MansetVMO06,
  author       = {David Manset and
                  Herv{\'{e}} Verjus and
                  Richard McClatchey and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Yannis Manolopoulos and
                  Joaquim Filipe and
                  Panos Constantopoulos and
                  Jos{\'{e}} Cordeiro},
  title        = {A Formal Architecture-Centric Model-Driven Approach for the Automatic
                  Generation of Grid Applications},
  booktitle    = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
                  on Enterprise Information Systems: Databases and Information Systems
                  Integration, Paphos, Cyprus, May 23-27, 2006},
  pages        = {322--330},
  year         = {2006},
  timestamp    = {Mon, 04 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/MansetVMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/RevillardCBO06,
  author       = {J{\'{e}}r{\^{o}}me Revillard and
                  Sorana C{\^{\i}}mpan and
                  Eric Benoit and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ricardo Jorge Machado and
                  Jo{\~{a}}o M. Fernandes and
                  Matthias Riebisch and
                  Bernhard Sch{\"{a}}tz},
  title        = {Intelligent Instrument Design With ArchWare {ADL}},
  booktitle    = {Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based
                  Development of Computrer-Based Systems and The Third International
                  Workshop on Model-based Methodologies for Pervasive and Embedded Software,
                  {MBD/MOMPES} 2006, Potsdam, Germany, March 30, 2006, Proceedings},
  pages        = {63--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MBD-MOMPES.2006.14},
  doi          = {10.1109/MBD-MOMPES.2006.14},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/RevillardCBO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cal/2006,
  editor       = {Mourad Chabane Oussalah and
                  Fl{\'{a}}vio Oquendo and
                  Dalila Tamzalit and
                  Tahar Khammaci},
  title        = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
                  {(CAL} 2006), 4-6 September 2006, Nantes, France},
  publisher    = {Hermes Science},
  year         = {2006},
  timestamp    = {Mon, 11 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cal/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewsa/2006,
  editor       = {Volker Gruhn and
                  Fl{\'{a}}vio Oquendo},
  title        = {Software Architecture, Third European Workshop, {EWSA} 2006, Nantes,
                  France, September 4-5, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4344},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11966104},
  doi          = {10.1007/11966104},
  isbn         = {3-540-69271-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601118,
  author       = {David Manset and
                  Herv{\'{e}} Verjus and
                  Richard McClatchey and
                  Fl{\'{a}}vio Oquendo},
  title        = {A Formal Architecture-Centric Model-Driven Approach for the Automatic
                  Generation of Grid Applications},
  journal      = {CoRR},
  volume       = {abs/cs/0601118},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0601118},
  eprinttype    = {arXiv},
  eprint       = {cs/0601118},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0601118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/CimpanLO05,
  author       = {Sorana C{\^{\i}}mpan and
                  Fabien Leymonerie and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Ronald Morrison and
                  Fl{\'{a}}vio Oquendo},
  title        = {Handling Dynamic Behaviour in Software Architectures},
  booktitle    = {Software Architecture, 2nd European Workshop, {EWSA} 2005, Pisa, Italy,
                  June 13-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3527},
  pages        = {77--93},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494713\_6},
  doi          = {10.1007/11494713\_6},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/CimpanLO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/RatcliffeCO05,
  author       = {Olivier Ratcliffe and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo},
  title        = {Case Study on Architecture-Centered Design for Monitoring Views at
                  {CERN}},
  booktitle    = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
                  {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {213--214},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WICSA.2005.20},
  doi          = {10.1109/WICSA.2005.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/RatcliffeCO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/RevillardCBO05,
  author       = {J{\'{e}}r{\^{o}}me Revillard and
                  Sorana C{\^{\i}}mpan and
                  Eric Benoit and
                  Fl{\'{a}}vio Oquendo},
  title        = {Intelligent Instrument Design With ArchWare {ADL}},
  booktitle    = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
                  {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {249--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WICSA.2005.40},
  doi          = {10.1109/WICSA.2005.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/RevillardCBO05.bib},
  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, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0509066,
  author       = {David Manset and
                  Richard McClatchey and
                  Fl{\'{a}}vio Oquendo and
                  Herv{\'{e}} Verjus},
  title        = {A Model-driven Approach for Grid Services Engineering},
  journal      = {CoRR},
  volume       = {abs/cs/0509066},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0509066},
  eprinttype    = {arXiv},
  eprint       = {cs/0509066},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0509066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Oquendo04,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {pi-ADL: an Architecture Description Language based on the higher-order
                  typed pi-calculus for specifying dynamic and mobile software architectures},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {29},
  number       = {3},
  pages        = {1--14},
  year         = {2004},
  url          = {https://doi.org/10.1145/986710.986728},
  doi          = {10.1145/986710.986728},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Oquendo04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Oquendo04a,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {Formally refining software architectures with pi-ARL: a case study},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {29},
  number       = {5},
  pages        = {1--26},
  year         = {2004},
  url          = {https://doi.org/10.1145/1022494.1022518},
  doi          = {10.1145/1022494.1022518},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Oquendo04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Oquendo04b,
  author       = {Fl{\'{a}}vio Oquendo},
  title        = {pi-ARL: an architecture refinement language for formally modelling
                  the stepwise refinement of software architectures},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {29},
  number       = {5},
  pages        = {1--20},
  year         = {2004},
  url          = {https://doi.org/10.1145/1022494.1022517},
  doi          = {10.1145/1022494.1022517},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Oquendo04b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/RatcliffeCOS04,
  author       = {Olivier Ratcliffe and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo and
                  Luigi Scibile},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {Formalization of an {HCI} Style for Accelerator Restart Monitoring},
  booktitle    = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24769-2\_12},
  doi          = {10.1007/978-3-540-24769-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/RatcliffeCOS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/OquendoWMDGGO04,
  author       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison and
                  R{\'{e}}gis Dindeleux and
                  Ferdinando Gallo and
                  Hubert Garavel and
                  Carmen Occhipinti},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {ArchWare: Architecting Evolvable Software},
  booktitle    = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  pages        = {257--271},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24769-2\_23},
  doi          = {10.1007/978-3-540-24769-2\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/OquendoWMDGGO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AllouiO04,
  author       = {Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  title        = {Describing Software-Intensive Process Architectures Using a UML-Based
                  {ADL}},
  booktitle    = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
                  Information Systems, Porto, Portugal, April 14-17, 2004},
  pages        = {201--208},
  year         = {2004},
  timestamp    = {Thu, 02 Feb 2017 12:56:49 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AllouiO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LeymonerieJCBO04,
  author       = {Fabien Leymonerie and
                  Lionel Blanc Dit Jolicoeur and
                  Sorana C{\^{\i}}mpan and
                  Christian Braesch and
                  Fl{\'{a}}vio Oquendo},
  title        = {Towards a Business Process Formalisation Based on an Architecture
                  Centred Approach},
  booktitle    = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
                  Information Systems, Porto, Portugal, April 14-17, 2004},
  pages        = {513--518},
  year         = {2004},
  timestamp    = {Thu, 02 Feb 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/LeymonerieJCBO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MorrisonKBMOCWSG04,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Support for Evolving Software Architectures in the ArchWare {ADL}},
  booktitle    = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
                  2004), 12-15 June 2004, Oslo, Norway},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/WICSA.2004.1310691},
  doi          = {10.1109/WICSA.2004.1310691},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/MorrisonKBMOCWSG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewsa/2004,
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b97879},
  doi          = {10.1007/B97879},
  isbn         = {3-540-22000-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/GreenwoodBCKMMQRSSWZ03,
  author       = {Robert Mark Greenwood and
                  Dharini Balasubramaniam and
                  Sorana C{\^{\i}}mpan and
                  Graham N. C. Kirby and
                  Kath Mickan and
                  Ronald Morrison and
                  Fl{\'{a}}vio Oquendo and
                  Ian Robertson and
                  Wykeen Seet and
                  Bob Snowdon and
                  Brian Warboys and
                  Evangelos Zirintsis},
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {Process Support for Evolving Active Architectures},
  booktitle    = {Software Process Technology, 9th International Workshop, {EWSPT} 2003,
                  Helsinki, Finland, September 1-2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2786},
  pages        = {112--127},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45189-1\_9},
  doi          = {10.1007/978-3-540-45189-1\_9},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/GreenwoodBCKMMQRSSWZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AllouiMO03,
  author       = {Ilham Alloui and
                  Karim Megzari and
                  Fl{\'{a}}vio Oquendo},
  title        = {Modelling and Generating Business-To-Business Applications Using an
                  Architecture Description Language - Based Approach},
  booktitle    = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
                  Information Systems, Angers, France, April 22-26, 2003},
  pages        = {201--210},
  year         = {2003},
  timestamp    = {Thu, 02 Feb 2017 12:57:29 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AllouiMO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ArbaouiHOTV03,
  author       = {Selma Arbaoui and
                  Alain Haurat and
                  Fl{\'{a}}vio Oquendo and
                  Franck Th{\'{e}}roude and
                  Herv{\'{e}} Verjus},
  title        = {Languages and Mechanisms for Software Processes and Manufacturing
                  Enterprise Processes: Similarities and Differences},
  booktitle    = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
                  Information Systems, Angers, France, April 22-26, 2003},
  pages        = {474--482},
  year         = {2003},
  timestamp    = {Thu, 02 Feb 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/ArbaouiHOTV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewspt/2003,
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {Software Process Technology, 9th International Workshop, {EWSPT} 2003,
                  Helsinki, Finland, September 1-2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2786},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b12019},
  doi          = {10.1007/B12019},
  isbn         = {3-540-40764-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/ArbaouiDOV02,
  author       = {Selma Arbaoui and
                  Jean{-}Claude Derniame and
                  Fl{\'{a}}vio Oquendo and
                  Herv{\'{e}} Verjus},
  title        = {A Comparative Review of Process-Centered Software Engineering Environments},
  journal      = {Ann. Softw. Eng.},
  volume       = {14},
  number       = {1-4},
  pages        = {311--340},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020513911052},
  doi          = {10.1023/A:1020513911052},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ansoft/ArbaouiDOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AllouiCO02,
  author       = {Ilham Alloui and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo},
  title        = {Taming Process Deviations by Logic Based Monitoring},
  booktitle    = {{ICEIS} 2002, Proceedings of the 4st International Conference on Enterprise
                  Information Systems, Ciudad Real, Spain, April 2-6, 2002},
  pages        = {716--724},
  year         = {2002},
  timestamp    = {Thu, 02 Feb 2017 12:57:48 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AllouiCO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/AllouiCOV01,
  author       = {Ilham Alloui and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo and
                  Herv{\'{e}} Verjus},
  title        = {A Software Framework for Software-Intensive Process Modeling, Enactment
                  and fuzzy Control},
  journal      = {Trans. {SDPS}},
  volume       = {5},
  number       = {4},
  pages        = {39--53},
  year         = {2001},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-4-03},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/AllouiCOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/AllouiCO01,
  author       = {Ilham Alloui and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Vincenzo Ambriola},
  title        = {Monitoring Software Process Interactions: {A} Logic-Based Approach},
  booktitle    = {Software Process Technology, 8th European Workshop, {EWSPT} 2001,
                  Witten, Germany, June 19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2077},
  pages        = {39--46},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45752-6\_4},
  doi          = {10.1007/3-540-45752-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/AllouiCO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AllouiO01,
  author       = {Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  title        = {Supporting Decentralised Software-Intensive Processes Using {ZETA}
                  Component-Based Architecture Description Language},
  booktitle    = {{ICEIS} 2001, Proceedings of the 3rd International Conference on Enterprise
                  Information Systems, Setubal, Portugal, July 7-10, 2001},
  pages        = {207--215},
  year         = {2001},
  timestamp    = {Thu, 02 Feb 2017 12:58:08 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AllouiO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChaudetGOW00,
  author       = {Christelle Chaudet and
                  Robert Mark Greenwood and
                  Fl{\'{a}}vio Oquendo and
                  Brian Warboys},
  title        = {Architecture-driven software engineering: Specifying, generating,
                  and evolving component- based software systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {203--214},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000916},
  doi          = {10.1049/IP-SEN:20000916},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ChaudetGOW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CimpanO00,
  author       = {Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo},
  title        = {{OMEGA:} a language and system for on-line monitoring of software-intensive
                  processes},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {25},
  number       = {4},
  pages        = {62--68},
  year         = {2000},
  url          = {https://doi.org/10.1145/352342.352350},
  doi          = {10.1145/352342.352350},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/CimpanO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/AllouiBCGOS00,
  author       = {Ilham Alloui and
                  Sami Beydeda and
                  Sorana C{\^{\i}}mpan and
                  Volker Gruhn and
                  Fl{\'{a}}vio Oquendo and
                  Christian Schneider},
  editor       = {Reidar Conradi},
  title        = {Advanced Services for Process Evolution: Monitoring and Decision Support},
  booktitle    = {Software Process Technology, 7th European Workshop, {EWSPT} 2000,
                  Kaprun, Austria, February 21-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1780},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/BFb0095011},
  doi          = {10.1007/BFB0095011},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/AllouiBCGOS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/OquendoPR00,
  author       = {Fl{\'{a}}vio Oquendo and
                  K. Nadia Papamichail and
                  Ian Robertson},
  editor       = {Reidar Conradi},
  title        = {Overcoming Inadequacies in Process Modelling: The Need for Decisioning
                  Be a First-Class Citizen},
  booktitle    = {Software Process Technology, 7th European Workshop, {EWSPT} 2000,
                  Kaprun, Austria, February 21-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1780},
  pages        = {84--89},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/BFb0095016},
  doi          = {10.1007/BFB0095016},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/OquendoPR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/OquendoPR00,
  author       = {Fl{\'{a}}vio Oquendo and
                  K. Nadia Papamichail and
                  Ian Robertson},
  title        = {Addressing Decision Making Issues in Enterprise Process Modelling},
  booktitle    = {{ICEIS} 2000, Proceedings of the Second International Conference on
                  Enterprise Information Systems, Stafford, UK, July 4-7, 2000},
  pages        = {333--338},
  publisher    = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal,
                  Portugal},
  year         = {2000},
  timestamp    = {Thu, 02 Feb 2017 12:59:58 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/OquendoPR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChaudetO00,
  author       = {Christelle Chaudet and
                  Fl{\'{a}}vio Oquendo},
  title        = {pi-SPACE: {A} Formal Architecture Description Language Based on Process
                  Algebra for Evolving Software Systems},
  booktitle    = {The Fifteenth {IEEE} International Conference on Automated Software
                  Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  pages        = {245--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ASE.2000.873669},
  doi          = {10.1109/ASE.2000.873669},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ChaudetO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/CuninAAAFDEO99,
  author       = {Pierre{-}Yves Cunin and
                  Ilham Alloui and
                  Selma Arbaoui and
                  Denis Avrilionis and
                  Christer Fernstr{\"{o}}m and
                  Samir Dami and
                  Jacky Estublier and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Jean{-}Claude Derniame and
                  Badara Ali Kaba and
                  David Graham Wastell},
  title        = {Assessment Framework for PSEEs},
  booktitle    = {Software Process: Principles, Methodology, Technology},
  series       = {Lecture Notes in Computer Science},
  volume       = {1500},
  pages        = {245--276},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/CuninAAAFDEO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AllouiCOV99,
  author       = {Ilham Alloui and
                  Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo and
                  Herv{\'{e}} Verjus},
  title        = {{ALLIANCE:} An Agent-Based Case Environment for Enterprose Process
                  Modelling, Enactment and Quantitative Control},
  booktitle    = {Proceedings of the 1st International Conference on Enterprise Information
                  Systems, Setubal, Portugal, 27-30 March 1999},
  pages        = {371--382},
  publisher    = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal,
                  Portugal},
  year         = {1999},
  timestamp    = {Thu, 02 Feb 2017 13:00:20 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AllouiCOV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/CimpanO98,
  author       = {Sorana C{\^{\i}}mpan and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Volker Gruhn},
  title        = {Fuzzy Indicators for Monitoring Software Processes},
  booktitle    = {Software Process Technology, 6th European Workshop, {EWSPT} '98, Weybridge,
                  UK, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1487},
  pages        = {43--59},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-64956-5\_4},
  doi          = {10.1007/3-540-64956-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/CimpanO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/AllouiO98,
  author       = {Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Volker Gruhn},
  title        = {Managing Consistency in Cooperating Software Processes},
  booktitle    = {Software Process Technology, 6th European Workshop, {EWSPT} '98, Weybridge,
                  UK, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1487},
  pages        = {92--99},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-64956-5\_7},
  doi          = {10.1007/3-540-64956-5\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/AllouiO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/AllouiLO96,
  author       = {Ilham Alloui and
                  Safia Latrous and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Carlo Montangero},
  title        = {A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed
                  Cooperative Software Processes},
  booktitle    = {Software Process Technology, 5th European Workshop, {EWSPT} '96, Nancy,
                  France, October 9-11, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1149},
  pages        = {225--235},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0017747},
  doi          = {10.1007/BFB0017747},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/AllouiLO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/AllouiO96,
  author       = {Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  title        = {Support for environment-mediated human cooperation in large-scale
                  reuse-based projects},
  booktitle    = {10th International Software Process Workshop, {ISPW} 1996, June 17-19,
                  1996, Dijon, France},
  pages        = {18--20},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ISPW.1996.654359},
  doi          = {10.1109/ISPW.1996.654359},
  timestamp    = {Tue, 10 May 2022 15:36:10 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/AllouiO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ArbaouiO96,
  author       = {Selma Arbaoui and
                  Fl{\'{a}}vio Oquendo},
  title        = {Reuse sensitive process models: are process elements software assets
                  too?},
  booktitle    = {10th International Software Process Workshop, {ISPW} 1996, June 17-19,
                  1996, Dijon, France},
  pages        = {21--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ISPW.1996.654360},
  doi          = {10.1109/ISPW.1996.654360},
  timestamp    = {Tue, 10 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/ArbaouiO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paam/LatrousO96,
  author       = {Safia Latrous and
                  Fl{\'{a}}vio Oquendo},
  editor       = {I. Barry Crabtree and
                  Nick R. Jennings},
  title        = {A Reflective Multi-agent System for Software Process Enaction and
                  Evolution},
  booktitle    = {Proceedings of the First International Conference on the Practical
                  Application of Intelligent Agents and Multi-Agent Technology, {PAAM}
                  1996, Westminster Central Hall, London, UK, April 22-24, 1996},
  pages        = {853--870},
  publisher    = {Practical Application Company Ltd.},
  year         = {1996},
  timestamp    = {Fri, 25 Nov 2022 11:46:53 +0100},
  biburl       = {https://dblp.org/rec/conf/paam/LatrousO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AllouiO96,
  author       = {Ilham Alloui and
                  Fl{\'{a}}vio Oquendo},
  title        = {Peace+: {A} Multi-Agent System for Computer-supported Cooperative
                  work in Software Process Centered Environments},
  booktitle    = {The 8th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
  pages        = {465--473},
  publisher    = {Knowledge Systems Institute},
  year         = {1996},
  timestamp    = {Thu, 04 Dec 2014 17:19:18 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AllouiO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/ArbaouiO94,
  author       = {Selma Arbaoui and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Brian Warboys},
  title        = {Goal Oriented vs. Activity Oriented Process Modelling and Enactment:
                  Issues and Perspectives},
  booktitle    = {Software Process Technology, Third European Workshop, {EWSPT} '94,
                  Villard de Lans, France, February 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {772},
  pages        = {171--176},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57739-4\_23},
  doi          = {10.1007/3-540-57739-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/ArbaouiO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/AllouiAO94,
  author       = {Ilham Alloui and
                  Selma Arbaoui and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Carlo Ghezzi},
  title        = {Process-centered environments: support for human-environment interaction
                  and environment-mediated human cooperation},
  booktitle    = {Proceedings of the Ninth International Software Process Workshop {(ISPW}
                  '94), October 1994, Airlie, Virginia, {USA}},
  pages        = {110--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ISPW.1994.512778},
  doi          = {10.1109/ISPW.1994.512778},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispw/AllouiAO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/MoulineO94,
  author       = {Selma Mouline and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Fran{\c{c}}ois Rechenmann},
  title        = {Alg{\`{e}}bre des objets classes : une alg{\`{e}}bre pour les bases
                  de donn{\'{e}}es orient{\'{e}}es objet},
  booktitle    = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
                  LMO'94. Grenoble, France, 13-14 octobre},
  pages        = {25--38},
  publisher    = {{INRIA} Rh{\^{o}}nes-Alpes - {IMAG-LIFIA}},
  year         = {1994},
  timestamp    = {Thu, 05 Jul 2018 08:00:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lmo/MoulineO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/MoulineO93,
  author       = {Selma Mouline and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Fran{\c{c}}ois Bry},
  title        = {Alg{\`{e}}bre des Objets Classes: une Alg{\`{e}}bre d'Objets Complexes
                  Fond{\'{e}}e sur une Approche M{\'{e}}r{\'{e}}ologique},
  booktitle    = {Neuvi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  27-30 Septembre 1993, Toulouse, France (Informal Proceedings)},
  pages        = {355--378},
  publisher    = {{INRIA}},
  year         = {1993},
  timestamp    = {Fri, 22 Jun 2018 07:11:07 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/MoulineO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ArbaouiO93,
  author       = {Selma Arbaoui and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Wilhelm Sch{\"{a}}fer},
  title        = {Managing Inconsistencies Between Process Enactment and Process Performance
                  States},
  booktitle    = {State of the Practice in Process Technology, Proceedings of the Eighth
                  International Software Process Workshop {(ISPW} '93), March 2-5, 1993,
                  Wadern, Schloss Dagstuhl, Germany},
  pages        = {24--27},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Fri, 04 Apr 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/ArbaouiO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/OquendoZG92,
  author       = {Fl{\'{a}}vio Oquendo and
                  Jean{-}Daniel Zucker and
                  Philip Griffiths},
  editor       = {Pericles Loucopoulos},
  title        = {A Meta-CASE Environment for Software Process-Centred {CASE} Environments},
  booktitle    = {Advanced Information Systems Engineering, CAiSE'92, Manchester, UK,
                  May 12-15, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {593},
  pages        = {568--588},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0035154},
  doi          = {10.1007/BFB0035154},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/OquendoZG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/BerrendonnerFOR92,
  author       = {Alain Berrendonner and
                  Mounia Fredj and
                  Fl{\'{a}}vio Oquendo and
                  Jacques Rouault},
  title        = {Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues
                  Naturelles},
  booktitle    = {14th International Conference on Computational Linguistics, {COLING}
                  1992, Nantes, France, August 23-28, 1992},
  pages        = {461--467},
  year         = {1992},
  url          = {https://aclanthology.org/C92-2071/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/BerrendonnerFOR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/StefaniniBLO92,
  author       = {Marie{-}H{\'{e}}l{\`{e}}ne Stefanini and
                  Alain Berrendonner and
                  Genevieve Lallich and
                  Fl{\'{a}}vio Oquendo},
  title        = {Talisman: Un Syst{\`{e}}me Multi-Agents Gouvern{\'{e}} Par Des
                  Lois Linguistiques Pour Le Traitement De La Langue Naturelle},
  booktitle    = {14th International Conference on Computational Linguistics, {COLING}
                  1992, Nantes, France, August 23-28, 1992},
  pages        = {490--497},
  year         = {1992},
  url          = {https://aclanthology.org/C92-2075/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/StefaniniBLO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/ArbaouiMOT92,
  author       = {Selma Arbaoui and
                  Selma Mouline and
                  Fl{\'{a}}vio Oquendo and
                  Guy Tassart},
  editor       = {Jean{-}Claude Derniame},
  title        = {{PEACE:} Describing and Managing Evolving Knowledge in the Software
                  Process},
  booktitle    = {Software Process Technology, Second European Workshop, {EWSPT} '92,
                  Trondheim, Norway, September 7-8, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {635},
  pages        = {215--222},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0017522},
  doi          = {10.1007/BFB0017522},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/ArbaouiMOT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/OquendoBGMT91,
  author       = {Fl{\'{a}}vio Oquendo and
                  G{\'{e}}rard Boudier and
                  Ferdinando Gallo and
                  R{\'{e}}gis Minot and
                  Ian Thomas},
  editor       = {Akifumi Makinouchi},
  title        = {The PCTE+'s OMS, {A} Software Engineering Distributed Database System
                  for supporting Large-Scale Software Development Environments},
  booktitle    = {Database Systems for Advanced Applications '91, Proceedings of the
                  Second International Symposium on Database Systems for Advanced Applications,
                  Tokyo, Japan, April 2-4, 1991},
  series       = {Advanced Database Research and Development Series},
  volume       = {2},
  pages        = {41--50},
  publisher    = {World Scientific},
  year         = {1991},
  timestamp    = {Thu, 13 Sep 2012 12:44:43 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/OquendoBGMT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Oquendo91,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Ian Thomas},
  title        = {Supporting software process communication and cooperation through
                  object sets},
  booktitle    = {Proceedings of the Seventh International Software Process Workshop
                  {(ISPW} '91), October 1991, Yountville, California, {USA}},
  pages        = {102--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISPW.1991.637544},
  doi          = {10.1109/ISPW.1991.637544},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispw/Oquendo91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Oquendo90,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Takuya Katayama},
  title        = {Building object and process-centered software environments on the
                  {PCTE} public tool interface},
  booktitle    = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
                  '90), October 1990, Hakodate, Japan},
  pages        = {149--154},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ISPW.1990.659595},
  doi          = {10.1109/ISPW.1990.659595},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispw/Oquendo90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/OquendoBGMT89,
  author       = {Fl{\'{a}}vio Oquendo and
                  Karima Berrada and
                  Ferdinando Gallo and
                  R{\'{e}}gis Minot and
                  Ian Thomas},
  editor       = {Carlo Ghezzi and
                  John A. McDermid},
  title        = {Version Management in the {PACT} Integrated Software Engineering Environment},
  booktitle    = {{ESEC} '89, 2nd European Software Engineering Conference, University
                  of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {387},
  pages        = {222--242},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51635-2\_42},
  doi          = {10.1007/3-540-51635-2\_42},
  timestamp    = {Mon, 30 Jan 2023 11:25:04 +0100},
  biburl       = {https://dblp.org/rec/conf/esec/OquendoBGMT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/see/LegaitOO89,
  author       = {Amaury Legait and
                  Fl{\'{a}}vio Oquendo and
                  Dan Oldfield},
  editor       = {Fred Long},
  title        = {{MASP:} {A} Model for Assisted Software Processes},
  booktitle    = {Software Engineering Environments, International Workshop on Software
                  Engineering Environments, Chinon, France, September 18-20, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {467},
  pages        = {57--67},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-53452-0\_31},
  doi          = {10.1007/3-540-53452-0\_31},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/see/LegaitOO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics