Nombre de documents

138

CV de Flavio Oquendo


Article dans une revue26 documents

  • Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa. ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. The Computer Journal (Oxford), Oxford, 2017, <http://comjnl.oxfordjournals.org/>. <hal-01442597>
  • Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Régis Fleurquin. Preserving Architectural Decisions through Architectural Patterns. Journal of Automated Software Engineering, Springer, 2016, 23 (3), pp.427-467. <http://link.springer.com/article/10.1007/s10515-014-0172-0>. <hal-01440366>
  • Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Isabelle Borne. Preserving architectural pattern composition information through explicit merging operators. Future Generation Computer Systems, Elsevier, 2015, 47, pp.97-112. <hal-01440346>
  • Axel Legay, Jean Quilbeuf, Flavio Oquendo. Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, ERCIM, 2015. <hal-01242652>
  • Flavio Oquendo, Axel Legay, Khalil Drira. GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News, ERCIM, 2015. <hal-01242651>
  • Flavio Oquendo, Axel Legay. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News, ERCIM, 2015. <hal-01242649>
  • Lucas Bueno Ruas de Oliveira, Felipe Amaral, Diogo Martins, Flavio Oquendo, Elisa Nakagawa. RoboSeT: A Tool to Support Cataloging and Discovery of Services for Service-Oriented Robotic Systems. Communications in Computer and Information Science, Springer Verlag, 2015, Robotics, pp.114-132. <10.1007/978-3-662-48134-9_7>. <hal-01441259>
  • Minh Tu Thon That, Salah Sadou, F Oquendo, R Fleurquin. Preserving Architectural Decisions through Architectural Patterns. Journal of Automated Software Engineering, Springer, 2014, pp.1-41. <10.1007/s10515-014-0172-0>. <hal-01102187>
  • Marcelo Fantinato, Uira Kulesza, Flavio Oquendo. Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.586. <hal-01113152>
  • Muhammad Ali Babar, Ian Gorton, Flavio Oquendo. Building European Software Architecture Community: How far have we come?. Journal on Software and System Modeling, 2013, 12 (2), pp.435-438. <hal-00913480>
  • Elena Leroux, Flavio Oquendo, Qin Xiong. Test de conformité basé sur l'architecture logicielle. Revue des Nouvelles Technologies de l'Information, Hermann, 2013, pp.??-??. <hal-00908580>
  • Jie Chen, Di Wu, Flavio Oquendo, Juan Zhang. Formal Modelling and Analysis of HLA Architectural Style. International Journal of Modelling Identification and Control, 2010, 9 (1-2), pp.71-82. <hal-00512568>
  • Flavio Oquendo. From Business Process Models to Service-Oriented Architectures: Formal Development of Dynamic Service Compositions with π-ADL. Journal of the Brazilian Computer Society, Springer Verlag, 2010, To Appear in 2010. <hal-00512567>
  • Di Wu, Jie Chen, Flavio Oquendo. A Formal Model-Driven Engineering Approach for Composable Simulations. Journal of System Simulation, ISSN 1004-731X, 2009, 21 (18), pp.1-10. <hal-00512562>
  • Zawar Qayyum, Flavio Oquendo. The π-ADL.NET project: An Inclusive Approach to ADL Compiler Design. WSEAS Transactions on Computers, 2008, 7 (5), pp.414-423. <hal-00514789>
  • Esperanza Marcos, Carlos Cuesta, Flavio Oquendo. Towards the Software Engineering Core. International Journal of Cooperative Information Systems, World Scientific Publishing, 2007, 16 (3-4), pp.333-340. <hal-00512561>
  • Radu Mateescu, Flavio Oquendo. π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures. ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19. <hal-00512570>
  • Flavio Oquendo. Formally Modelling Software Architectures with the UML 2.0 Profile for π-ADL. ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (1), pp.1-13. <hal-00512569>
  • Flavio Oquendo. π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (3), pp.1-13. <hal-00512571>
  • Flavio Oquendo. Formally Modeling Software Architectures with the UML2.0 Profile for Pi-ADL. 2006, 31 (1), pp.1--19. <hal-00446420>
  • Selma Azaiez, Marc-Philippe Huget, Flavio Oquendo. Approach for Multi-Agent Metamodelling. Multiagent and Grid Systems - An International Journal of Cloud Computing , IOS Press, 2006, 2 (4), pp.435-454. <hal-00512554>
  • Fabien Leymonerie, Sorana Cimpan, Flavio Oquendo. Etat de l'art sur les styles architecturaux : classification et comparaison des langages de description d'architectures logicielles . Génie logiciel, C & S, 2002. <hal-01321877>
  • Selma Arbaoui, Jean-Claude Derniame, Flavio Oquendo, Hervé Verjus. A Comparative review of Process-Centered Software Engineering Environments. Annals of Software Engineering, Springer Verlag, 2002, 14 (1-4), pp.311-340. <10.1023/A:1020513911052>. <inria-00100722>
  • Sorana Cimpan, Flavio Oquendo. Dealing with Software Process Deviations using Fuzzy Logic Based Monitoring. ACM Journal: Applied Computing Review, Special Issue on Computation Intelligence in Software Engineering, 2001, 8 (2), pp.3-13. <hal-00428606>
  • Ilham Alloui, Sorana Cimpan, Herve Verjus, Flavio Oquendo. Alliance: A Software Framework for Software-Intensive Process Modeling, Enactment and Fuzzy Control. SDPS Transactions: Journal of Integrated Design and Process Science, 2001, 5 (4), pp.39-53. <hal-00428585>
  • Sorana Cimpan, Flavio Oquendo. Omega: a language and system for on-line monitoring of software processes. ACM SIGSOFT Software Engineering Notes, ACM, 2000, 25 (4), pp.69-75. <hal-01321867>

Communication dans un congrès82 documents

  • Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa. A Process to Establish, Model and Validate Missions of Systems-of-Systems in Reference Architectures.. The 32nd ACM Symposium on Applied Computing, Apr 2017, Marrakesh, Morocco. The 32nd ACM Symposium on Applied Computing, pp.1-8, 2017, <http://www.sigapp.org/sac/sac2017/>. <hal-01429108>
  • Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa. A Quality Model for AAL Software Systems. IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), Jun 2016, Belfast, Nothern Ireland, United Kingdom. IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), pp.175-180, 2016, <http://ieeexplore.ieee.org/document/7545979/>. <10.1109/CBMS.2016.46>. <hal-01429106>
  • Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, et al.. A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.806 - 820, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. <10.1007/978-3-319-47166-2_56>. <hal-01387429>
  • Flavio Oquendo, Jair Leite, Thaís Batista. Specifying Architecture Behavior with SysADL. 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), Apr 2016, Venice, Italy. <http://www.wicsa.deib.polimi.it/>. <10.1109/WICSA.2016.40>. <hal-01433555>
  • Flavio Oquendo. Formally describing the software architecture of Systems-of-Systems with SosADL. 11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. 2016, <http://www.sose2016.org/>. <10.1109/SYSOSE.2016.7542926>. <hal-01433103>
  • Flavio Oquendo. Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL. 15th IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. 2016, <http://smc2016.org/>. <hal-01433364>
  • Milena Guessi, Flavio Oquendo, Elisa Nakagawa. Checking the architectural feasibility of Systems-of-Systems using formal descriptions. 11th System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, 2016, <10.1109/SYSOSE.2016.7542939>. <hal-01432700>
  • Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems. 38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark. 2016, <http://www.wotug.org/cpa2016/>. <hal-01433127>
  • Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. 11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. IEEE, pp.1-6, 2016, <http://www.sose2016.org/>. <10.1109/SYSOSE.2016.7542925>. <hal-01433093>
  • Eduardo Silva, Everton Cavalcante, Thais Batista, Flavio Oquendo. Bridging Missions and Architecture in Software-intensive Systems-of-Systems. Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. IEEE, pp.201-206, <https://www.computer.org/csdl/proceedings/iceccs/2016/5526/00/index.html>. <hal-01441440>
  • Everton Cavalcante, Nelio Cacho, Frederico Lopes, Thais Batista, Flavio Oquendo. Thinking Smart Cities as Systems-of-Systems: A Perspective Study. Proceedings of the 2nd International Workshop on Smart Cities (SmartCities 2016) at ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. ACM, pp.9:1-9:4, <http://dl.acm.org/citation.cfm?id=3009918>. <10.1145/3009912.3009918>. <hal-01441467>
  • Soraya Mesli, Djamal Kesraoui, Flavio Oquendo, Alain Bignon, Armand Toguyéni, et al.. Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams . Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.210-226, <http://ecsa2016.ecsa-conferences.org/>. <hal-01440744>
  • Soraya Mesli, Alain Bignon, Djamal Kesraoui, Armand Toguyeni, Flavio Oquendo, et al.. Vérification formelle de chaines de contrôle-commande d'éléments de conception standardisés. Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada. 2016. <hal-01441589>
  • Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, et al.. Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components. Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. IFAC, Journal IFAC PapersOnLine (Elsevier), pp.427-467, <http://www.sciencedirect.com/science/journal/24058963/49/19>. <hal-01441587>
  • Flavio Oquendo. Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. Springer. Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.3-21, <http://ecsa2016.ecsa-conferences.org/>. <10.1007/978-3-319-48992-6_1>. <hal-01440536>
  • Flavio Oquendo, Jair Leite, Thais Batista. Executing Software Architecture Descriptions with SysADL. Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.129-137, <http://ecsa2016.ecsa-conferences.org/>. <hal-01440546>
  • Flavio Oquendo. Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. IEEE, pp.13-22, <10.1109/ICECCS.2016.012>. <hal-01443173>
  • Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf. The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL. Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark. <hal-01443130>
  • Milena Guessi, Valdemar Neto, Thiago Bianchi, Katia Romero Felizardo, Flavio Oquendo, et al.. A Systematic Literature Review on the Description of Software Architectures for Systems of Systems. 30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-8, 2015. <hal-01113368>
  • Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flavio Oquendo, Elisa Yumi Nakagawa. OntolAD: a Formal Ontology for Architectural Descriptions. 30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1--8, 2015. <hal-01113369>
  • Milena Guessi, Lucas Bueno Ruas de Oliveira, Lina Garcés, Flavio Oquendo. Towards a Formal Description of Reference Architectures for Embedded Systems. 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA 2015), May 2015, Montreal, Canada. pp.17-20. <hal-01432704>
  • Gabriel Abdalla, Carlos Damasceno, Milena Guessi, Flavio Oquendo, Elisa Nakagawa. A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. 9th Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), Sep 2015, Belo Horizonte, Brazil. pp.70-79, 2015, <10.1109/SBCARS.2015.18>. <hal-01432705>
  • Marcelo Gonçalves, Flavio Oquendo, Elisa Yumi Nakagawa. A Meta-Process to Construct SoS Software Architectures. 30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-6, 2015. <hal-01113366>
  • Everton Cavalcante, Thais Batista, Flavio Oquendo. Supporting Dynamic Software Architectures: From Architectural Description to Implementation. Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015), May 2015, Montreal, Canada. IEEE, pp.31-40, <http://ieeexplore.ieee.org/document/7158501/>. <10.1109/WICSA.2015.21>. <hal-01441459>
  • Bruno Costa, Paulo F. Pires, Flávia C. Delicato, Flavio Oquendo. Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. <http://ecsa-conference.org/2015/>. <hal-01440890>
  • Marcelo Gonçalves, Flavio Oquendo, Elisa Nakagawa. A meta-process to construct software architectures for system-of-systems. Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), Apr 2015, Salamanca, Spain. <10.1145/2695664.2695737>. <hal-01441097>
  • Jesús Portocarrero, Flavia C. Delicato, Paulo F. Pires, Elisa Nakagawa, Flavio Oquendo. Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. ACM, <http://ecsa-conference.org/2015/>. <10.1145/2797433.2797445>. <hal-01440881>
  • Eduardo Silva, Thais Batista, Flavio Oquendo. A mission-oriented approach for designing system-of-systems. Proceedings of the 10th IEEE System-of-Systems Engineering Conference (SoSE 2015), May 2015, San Antonio, Texas, United States. IEEE, pp.346-351, <10.1109/SYSOSE.2015.7151951>. <hal-01441152>
  • Valdemar Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flavio Oquendo, Elisa Yumi Nakagawa. Investigating the Model-Driven Development for Systems-of-Systems. Proceedings of the 2014 European Conference on Software Architecture Workshops (ECSAW), Aug 2014, Vienna, Austria. pp.8. <hal-01113186>
  • Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa. Towards a Process to Design Architectures of Service-Oriented Robotic Systems. ECSA, 2014, Vienna, Austria. 8627, pp.218-225, 2014. <hal-01067337>
  • Lucas Bueno Ruas de Oliveira, Fernando Santos Osorio, Flavio Oquendo, Elisa Yumi Nakagawa. Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.344-349. <hal-01113224>
  • Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flavio Oquendo. Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. Working IEEE/IFIP Conference on Software Architecture (WICSA), Apr 2014, Sydney, Canada. pp.143-152. <hal-01113209>
  • Elisa Yumi Nakagawa, Rafael Capilla, Francisco J. Díaz, Flavio Oquendo. Towards the Dynamic Evolution of Context-based Systems-of-Systems. 6th Workshop em Desenvolvimento Distribuído de Software, Ecossistemas de Software e Sistemas de Sistemas (WDES co-located with CBSoft), Sep 2014, Maceió, Brazil. pp.45-52. <hal-01113275>
  • Daniel Santos, Brauner Oliveira, Milena Guessi, Flavio Oquendo, Marcio Delamaro, et al.. Towards the Evaluation of System-of-Systems Software Architectures. 6th Workshop on Distributed Development of Software, Ecosystems and Systems-of-Systems (WDES co-located with CBSoft), Sep 2014, Maceió, Brazil. <hal-01113239>
  • Eduardo Silva, Everton Calvacante, Thais Batista, Flavio Oquendo, Flavia Delicato, et al.. On the Characterization of Missions of Systems-of-Systems. ACM. Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. <http://dl.acm.org/citation.cfm?doid=2642803.2642829>. <10.1145/2642803.2642829>. <hal-01113243>
  • Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa. Variability Viewpoint to Describe Reference Architectures. 3rd International Workshop on Variability in Software Architecture (VARSA co-located with WICSA), Apr 2014, Sydney, Australia. pp.6. <hal-01113192>
  • Lucas Oliveira, Diogo Martins, Felipe Amaral, Flavio Oquendo, Elisa Nakagawa. Automating the Discovery of Services for Service-Oriented Robotic Systems. 11th Latin-American Robotics Symposium (LARS'2014), Oct 2014, São Carlos, Brazil. 2014. <hal-01114162>
  • Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa. An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.162-167. <hal-01113198>
  • Marcelo Gonçalves, Everton Calvacante, Thais Batista, Flavio Oquendo, Elisa Nakagawa. Towards a Conceptual Model for Software-Intensive System-of-Systems. IEEE. 2014 IEEE International Conference on Systems, Man and Cybernetics (SMC 2014), Oct 2014, San Diego, United States. pp.1605-1610, <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6974145>. <10.1109/SMC.2014.6974145>. <hal-01113173>
  • Everton Calvacante, Flavio Oquendo, Thais Batista. Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. Springer International Publishing. 8th European Conference on Software Architecture (ECSA 2014), Aug 2014, Vienna, Austria. 8627, pp.130-145, 2014, Lecture Notes in Computer Science. <http://www.springer.com/computer/swe/book/978-3-319-09969-9>. <10.1007/978-3-319-09970-5_13>. <hal-01112357>
  • Elisa Nakagawa, Flavio Oquendo. Perspectives and Challenges of Reference Architectures in Multi Software Product Line. ACM. 1st International Workshop on Multi Product Line Engineering (MultiPLE 2013), Aug 2013, Tokyo, Japan. ACM, pp.100-103, 2013. <hal-00913501>
  • Elena Leroux, Flavio Oquendo, Qin Xiong. Test de conformité basé sur l'architecture logicielle. 7ème Conférence francophone sur les architectures logicielles (CAL'2013), May 2013, Toulouse, France. pp.??-??, 2013. <hal-00875283>
  • Flavio Oquendo. Systems-of-Systems: A New Frontier for Information Systems in an Open World. 9th Conference on Information Systems (SBSI 2013), May 2013, Joao Pessoa, Brazil. <hal-00913506>
  • Flavio Oquendo. Software-intensive Systems-of-Systems: Emerging Paradigm for Smarter Cities. 33rd Congress of SBC (CSBC 2013), Jul 2013, Maceio, Brazil. <hal-00913512>
  • Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Isabelle Borne. Composition-centered architectural pattern description language. 7th European Conference on Software Architecture - ECSA, Jul 2013, Montpellier, France. 7957, pp.1-16, 2013. <hal-00912032>
  • Elisa Nakagawa, Marcelo Gonçalves, Milena Guessi, Lucas Oliveira, Flavio Oquendo. The State-of-the-Art and Future Perspectives in Systems-of-Systems Software Architectures. First International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013), Jul 2013, France. pp.13-20, 2013. <hal-00913493>
  • Jair Leite, Flavio Oquendo, Thaís Batista. SysADL: A SysML Profile for Software Architecture Description. 7th European Conference on Software Architecture (ECSA 2013), Jul 2013, Montpellier, France. Springer, pp.106-113, 2013, LNCS. <hal-00913494>
  • Elena Leroux, Flavio Oquendo, Qin Xiong. Architecture-Based Conformance Testing. The Eighth International Conference on Software Engineering Advances (ICSEA'13), Oct 2013, Venice, Italy. pp.55-64, 2013. <hal-00874942>
  • Rogerio Silva, Vanderson Fragal, Edson Oliveira-Junior, Itana Gimenes, Flavio Oquendo. SyMPLES: A SysML-based Approach for Developing Embedded Systems Software Product Lines. 15th International Conference on Enterprise Information Systems (ICEIS 2013), Jul 2013, Angers, France. pp.257-264, 2013. <hal-00913498>
  • Elisa Yumi Nakagawa, Flavio Oquendo, Martin Becker. RAModel: A Reference Model for Reference Architectures. Joint 2012 Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.297-301, 2012. <hal-00760751>
  • Milena Guessi, Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado. Architectural Description of Embedded Systems: a Systematic Review. International ACM Symposium on Architecting Critical Systems (ISARCS), Jun 2012, Italy. pp.31-40, 2012. <hal-00760747>
  • Leonardo Minora, Jérémy Buisson, Flavio Oquendo, Thais Batista. Issues of Architectural Description Languages for Handling Dynamic Reconfiguration. Djamal Beslimane and Adbelhak-Djamel Seriai. 6ème Conférence francophone sur les architectures logicielles (CAL'2012), May 2012, Montpellier, France. pp.69-80, 2012. <hal-00699895>
  • Tu Minh Ton That, Salah Sadou, Flavio Oquendo. Using Architectural Patterns to Define Architectural Decisions. Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.196-200, 2012. <hal-00758792>
  • Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa. An Investigation into the Representation of Software Architectures and Reference Architectures of Embedded Systems. Workshop do Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (IW INCT-SEC’2011), Dec 2011, Águas de Lindóia, Brazil. pp.406-415, 2011. <hal-01113372>
  • Maruf Pasha, Flavio Oquendo, Hafiz Farook Ahmad. Negotiation in Heterogeneous Environments. Seventh International Conference on Information Technology - New Generations (ITNG 2010), IEEE Computer Society, Apr 2010, Las Vegas, Nevada, United States. IEEE Computer Society, pp.290-295, 2010. <hal-00514763>
  • Flavio Oquendo. On the Correctness of Software Architectures: Formal Specification of Correctness Properties using π-AAL. Fifth International Conference on Software and Data Technologies (ICSOFT 2009), Jul 2009, Sofia, Bulgaria. INSTICC, pp.208-217, 2009. <hal-00514756>
  • Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo. Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study. First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009. <hal-00514755>
  • Di Wu, Jie Chen, Flavio Oquendo. Formal Model-Driven Engineering for HLA Systems. Simulation Interoperability Standards Organization – SISO Simulation Interoperability Workshop (SIW'08), ACM Computing Society, Apr 2008, Providence, Rhode Island, United States. pp.101-108, 2008. <hal-00514291>
  • Di Wu, Jie Chen, Flavio Oquendo. Formal Modeling and Analysis of HLA Architectural Style. First International Conference on Modelling, Identification and Control (ICMIC 2008), IEEE Systems, Man, and Cybernetics Society, Jun 2008, Shanghai, China. pp.201-206, 2008. <hal-00514292>
  • Zawar Qayyum, Flavio Oquendo. .NET Extensions to the π-Architecture Description Language. Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Jul 2008, Redwood City, San Francisco Bay, United States. pp.244-249, 2008. <hal-00514293>
  • Flavio Oquendo. π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. Second Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2008), Aug 2008, Porto Alegre, Brazil. pp.1-14, 2008. <hal-00514295>
  • Zawar Qayyum, Flavio Oquendo. π-ADL.NET: a High Level Architecture Description Language Compiler for the .NET Platform. Seventh International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2008), Feb 2008, Cambridge, United Kingdom. pp.163-168, 2008. <hal-00514793>
  • Flavio Oquendo. Dynamic Software Architectures: Formally Modelling Structure and Behaviour with π-ADL. Third International Conference on Software Engineering Advances (ICSEA 2008), IEEE Computer Society, Oct 2008, Sliema, Malta. IEEE Computer Society, pp.352-359, 2008. <hal-00514743>
  • Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flavio Oquendo. The BPMSOA: Evaluating the Enactment of a Business Process using Application Domain Specific Grid Services. Tenth International Conference on Information Integration and Web-based Applications & Services (iiWAS2008), ACM Computing Society, Nov 2008, Linz, Austria. ACM Computing Society, pp.232-239, 2008. <hal-00514748>
  • Flavio Oquendo. Formal Approach for the Development of Business Processes in terms of Service-Oriented Architectures using π-ADL. Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), IEEE Computer Society, Dec 2008, Jhongli, Taiwan. IEEE Computer Society, pp.154-159, 2008. <hal-00514750>
  • Marcos López Sanz, Zawar Qayyum, Carlos Cuesta, Esperanza Marcos, Flavio Oquendo. Representing Service-Oriented Architectural Models Using π-ADL. Second European Conference on Software Architecture (ECSA 2008), Springer LNCS 5292, Sep 2008, Paphos, Cyprus. Springer LNCS 5292, pp.273-280, 2008. <hal-00514297>
  • Ron Morrison, Dharini Balasubramaniam, Flavio Oquendo, Brian Warboys, R. Mark Greenwood. An Active Architecture Approach to Dynamic Systems Co-evolution, Invited Paper. First European Conference on Software Architecture (ECSA'07), Springer LNCS 4758, Sep 2007, Madrid (Aranjuez), Spain. Springer, pp.2-10, 2007, LNCS. <hal-00514287>
  • Di Wu, Jie Chen, Flavio Oquendo. Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. Fourteenth Asia-Pacific Software Engineering Conference (APSEC'07), Dec 2007, Nagoya, Japan. pp.568-568, 2007. <hal-00514289>
  • Di Wu, Flavio Oquendo. Formal Model-Driven Engineering Approach for Distributed Interactive Simulation Systems. Twentieth International Conference on Software and Systems Engineering and their Applications (ICSSEA'07), Dec 2007, Paris, France. pp.101-110, 2007. <hal-00514288>
  • David Manset, Hervé Verjus, Richard Mcclatchey, Flavio Oquendo. A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. Eighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.322-330, 2006. <hal-00514276>
  • Zawar Qayyum, Di Wu, Flavio Oquendo. π-ADL Visual Notation and its Application to Formally Modelling the High Level Architecture. Nineteenth International Conference on Software and Systems Engineering and their Applications (ICSSEA 2006), Dec 2006, Paris, France. pp.1-10, 2006. <hal-00514284>
  • Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flavio Oquendo. Intelligent Instrument Design with ArchWare ADL. Joint Meeting of the Fourth Workshop on Model-Based Development of Computer-Based Systems and the Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MBD/MOMPES 2006), IEEE Computer Society, Mar 2006, Potsdam, Germany. IEEE Computer Society, pp.63-74, 2006. <hal-00514290>
  • Frédéric Pourraz, Hervé Verjus, Flavio Oquendo. π-Diapason : un langage pour la formalisation des architectures orientées services Web. Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Hermès Sciences/Lavoisier, Sep 2006, Nantes, France. Hermès Sciences/Lavoisier, pp.119-127, 2006. <hal-00514765>
  • Hervé Verjus, Sorana Cimpan, Ilham Alloui, Flavio Oquendo. Gestion des architectures évolutives dans ArchWare. Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Hermès Sciences/Lavoisier, Sep 2006, Nantes, France. Hermès Sciences/Lavoisier, pp.41-57, 2006. <hal-00514766>
  • Frédéric Pourraz, Hervé Verjus, Flavio Oquendo. An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. Eighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.234-241, 2006. <hal-00514272>
  • Yves Dumond, Didier Girardet, Flavio Oquendo. Verifying dynamic UML diagrams with SPIN. 5ème Congrès international pluridisciplinaire, qualité et sûreté de fonctionnement, Mar 2003, Nancy, France. pp.97-106. <hal-01191601>
  • Yves Dumond, Didier Girardet, Flavio Oquendo. Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach. 13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. 8 (2), pp.1-9. <hal-01191618>
  • Yves Dumond, Didier Girardet, Flavio Oquendo. A relationship between Sequence and statechart diagrams. Workshop on Dynamic Behaviour in UML Models, Oct 2000, York, United Kingdom. pp.38-43, 2000. <hal-01191623>
  • Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus. Alliance : An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control. First International Conference on Enterprise Information Systems , Mar 1999, Setubal, Portugal. 1999, Proceedings of the First International Conference on Enterprise Information Systems. <hal-01321885>
  • Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus. A Fuzzy Sets based Mechanism allowing the Tuning of a Software Intensive Process Control System via Multiple Simulations . AMSE International Conference on Modeling and Simulation , May 1999, Santiago de Compostela, Spain. 1999, Proceedings of the AMSE International Conference on Modeling and Simulation. <hal-01321892>
  • Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus. Tuning a Fuzzy Control System for Software Intensive Processes via Simulation. IASTED International Conference on Modeling and Simulation, May 1999, Philadelphie PA, United States. 1999, Proceedings of the IASTED International Conference on Modeling and Simulation. <hal-01321888>
  • Sorana Cimpan, Flavio Oquendo. Fuzzy indicators for monitoring software processes . Europeean Workshop on Software Process Technology , Sep 1998, London, United Kingdom. Springer Verlag, 1998. <hal-01321882>

Chapitre d'ouvrage3 documents

  • Elisa Nakagawa, Flavio Oquendo, José Carlos Maldonado. Architectures de référence : concepts et processus. Architectures logicielles : principes, techniques et outils, Hermès Sciences, pp.1-34, 2014, 978-2-7462-4517-4. <hal-00913503>
  • Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado. Reference Architectures. Software Architecture: Principles, Techniques, and Tool, John Wiley & Sons, pp.101-122, 2014. <hal-00913505>
  • Flavio Oquendo. Les architectures logicielles. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, Editions Vuibert, pp.1085-1096, 2006. <hal-00514268>

Direction d'ouvrage, Proceedings19 documents

  • Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo. Special Issue on Adaptive and Reconfigurable Service-Oriented and Component-Based Applications. France. 9 (3/4), Inderscience, 2016. <hal-01441195>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, et al.. Software Engineering for Systems-of-Systems. Proceedings of the 4th IEEE/ACM International Workshop on Engineering for System-of-Systems Conference (SESoS 2016), May 2016, Austin, Texas, United States. 2016. <hal-01441206>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, et al.. Software Engineering for Systems-of-Systems: Proceedings of the ACM Sigsoft/Sigplan International Workshop SESoS'2015. Italy. IEEE, 2015, Proceedings of the 2015 International Conference on Software Engineering Workshops, Florence, Italy. <hal-01114141>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, Elisa Nakagawa, et al.. 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). May 2015, Florence, Italy. 2, ACM, 2015, ACM/IEEE ICSE, <https://www.computer.org/csdl/proceedings/sesos/2015/7091/00/index.html>. <hal-01441064>
  • Khalil Drira, Flavio Oquendo. Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. France. 47, 2015, International Journal on Future Generation Computer Systems. <hal-01440508>
  • Khalil Drira, Flavio Oquendo. Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. France. 2014, International Journal on Future Generation Computer Systems. <hal-01113563>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, et al.. Software Engineering for Systems-of-Systems: Proceedings of the ACM Sigsoft/Sigplan International Workshop SESoS'2014. Austria. 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops, Vienna, Austria. <hal-01114140>
  • Eduardo Almeida, Flavio Oquendo. J.UCS Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation. J.UCS, pp.98, 2013. <hal-00913467>
  • Muhammad Ali Babar, Ian Gorton, Flavio Oquendo. SoSyM Special Issue on Software Architecture. Springer, pp.108, 2013. <hal-00913477>
  • Muhammad Ali Babar, Flavio Oquendo. Special Issue on Software Architecture Modeling, International Journal on Software and System Modeling, Springer. International Journal on Software and System Modeling, To Appear in 2010, 2010. <hal-00512577>
  • Paulo Pires, Flavio Oquendo, Ana Paula Bacelo. Special Issue on Software Components, Architectures and Reuse, International Journal of Universal Computer Science. Journal of Universal Computer Science, To Appear in 2010, 2010. <hal-00512575>
  • Flavio Oquendo, Eltjo Poort, Judith Stafford. Special Issue on Software Architecture, International Journal of Systems and Software, Elsevier. Journal of Systems and Software, To Appear in 2010, 2010. <hal-00512576>
  • Flavio Oquendo, Eltjo Poort, Judith Stafford. Software Architecture: Proceedings of the Eighth IEEE/IFIP Working International Conference, IEEE Computer Society. IEEE Computer Society, pp.340, 2009. <hal-00514266>
  • Claudia Werner, Flavio Oquendo. Special Issue on Software Components, Architectures and Reuse, International Journal of Universal Computer Science. Journal of Universal Computer Science, pp.144, 2009. <hal-00512573>
  • Flavio Oquendo. Software Architecture: Proceedings of the First European Conference, Springer LNCS 4758. Springer LNCS 4758, pp.340, 2007. <hal-00514257>
  • Esperanza Marcos, Carlos Cuesta, Flavio Oquendo. Special Issue on Software Architecture, International Journal of Cooperative Information Systems. International Journal of Cooperative Information Systems, pp.134, 2007. <hal-00512572>
  • Mourad Oussalah, Flavio Oquendo, Dalila Tamzalit, Tahar Khammaci. Architectures Logicielles : Actes de la Première Conférence Francophone, Hermès Sciences/Lavoisier. Hermès Sciences/Lavoisier, pp.200, 2006. <hal-00514262>
  • Volker Gruhn, Flavio Oquendo. Software Architecture: Proceedings of the Third European Workshop, Springer LNCS 4344. Springer LNCS 4344, pp.245, 2006. <hal-00514255>
  • Mourad Oussalah, Flavio Oquendo, Dalila Tamzalit, Tahar Khammaci. 1ère Conférence francophone sur les Architectures Logicielles. hermes, 2006. <hal-00486347>

Autre publication6 documents

  • Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo. Guest Editorial of the Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures of the International Journal of Autonomous and Adaptive Communications Systems (Inderscience). International Journal of Autonomous and Adaptive Communications Systems (Inderscience), Vol. 9, N.. 2016. <hal-01114153>
  • Khalil Drira, Flavio Oquendo. Guest Editorial of the Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. Editorial of Special Issue. 2015, pp.60-61. <hal-01114152>
  • Elisa Nakagawa, Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, et al.. Foreword: Towards Reference Architectures for Systems-of-Systems. Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Sys.. 2015, pp.1-4. <hal-01441043>
  • Marcelo Fantinato, Uira Kulesza, Flavio Oquendo. Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements of the International Journal of Universal Computer Science. International Journal of Universal Computer Science. 2014. <hal-01114154>
  • Eduardo Almeida, Flavio Oquendo. Guest Editorial of the J.UCS Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation. Journal of Universal Computer Science, Vol. 19, No. 2. 2013. <hal-00913488>
  • Muhammad Ali Babar, Ian Gorton, Flavio Oquendo. Guest Editorial of the SoSyM Special Issue on Software Architecture. Software and System Modeling, Vol. 12, No. 2. 2013. <hal-00913483>

Ouvrage (y compris édition critique et traduction)2 documents

  • Flavio Oquendo, Jair Leite, Thais Batista. Software Architecture in Action: Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard. Springer, 253 p., 2016, 978-3-319-44339-3. <10.1007/978-3-319-44339-3>. <http://www.springer.com/us/book/9783319443379>. <hal-01440285>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, José Carlos Maldonado, Elisa Nakagawa, et al.. Software Engineering for Systems-of-Systems: Proceedings of the ACM Sigsoft/Sigplan International Workshop SESoS'2013, Montpellier, France. ACM, pp.52, 2013. <hal-00913491>