Nombre de documents

140

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>
  • Flavio Oquendo, Axel Legay, Khalil Drira. GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News, ERCIM, 2015. <hal-01242651>
  • Axel Legay, Jean Quilbeuf, Flavio Oquendo. Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, ERCIM, 2015. <hal-01242652>
  • Flavio Oquendo, Axel Legay. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News, ERCIM, 2015. <hal-01242649>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Flavio Oquendo. Formally Modeling Software Architectures with the UML2.0 Profile for Pi-ADL. 2006, 31 (1), pp.1--19. <hal-00446420>
  • 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>
  • 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. π-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>
  • 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>
  • 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>
  • 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>
  • 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. 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>
  • 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ès83 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>
  • 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>
  • 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>
  • Carlos Paes, Valdemar Neto, Flavio Oquendo, Elisa Nakagawa. Experience Report and Challenges for Systems-of-Systems Engineering: A Real Case in the Brazilian Defense Domain. SBC. Proceedings of the 10th CBSOFT Workshop on Distributed Development of Software, Software Ecosystems, and Systems-of-Systems (WDES), Sep 2016, Maringa, Brazil. 2016. <hal-01492942>
  • 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>
  • 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. 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>
  • 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>
  • 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. π-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>
  • 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>
  • 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. 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>
  • 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, 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 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>
  • 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, 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, 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Flavio Oquendo. Software-intensive Systems-of-Systems: Emerging Paradigm for Smarter Cities. 33rd Congress of SBC (CSBC 2013), Jul 2013, Maceio, Brazil. <hal-00913512>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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. π-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. .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>
  • 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>
  • 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>
  • 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>
  • 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, 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>
  • 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>
  • 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. 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>
  • 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>
  • 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>
  • 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. 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>
  • 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>
  • 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>

Direction d'ouvrage, Proceedings21 documents

  • Flavio Oquendo, Khalil Drira, Axel Legay, Thais Batista. Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017): 32nd ACM SIGAPP Symposium On Applied Computing. Apr 2017, Marrakesh, Morocco. ACM, 2017. <hal-01445350>
  • Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo. Special Issue on Adaptive and Reconfigurable Service-Oriented and Component-Based Applications: International Journal of Autonomous and Adaptive Communications Systems. Switzerland. 9 (3/4), Inderscience, 2016, International Journal of Autonomous and Adaptive Communications Systems (IJAACS). <hal-01441195>
  • Flavio Oquendo, Muhammad Ali Babar, Khalil Drira, Axel Legay. Proceedings of the European Colloquium on Software-intensive Systems-of-Systems (ECSoS 2016). Copenhagen, Denmark. ACM DL, 2016. <hal-01445339>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, et al.. Proceedings of the 4th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2016): ACM/IEEE ICSE Workshop. 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>
  • Khalil Drira, Flavio Oquendo. Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems: International Journal on Future Generation Computer Systems. France. 47, 2015, International Journal on Future Generation Computer Systems (FGCS). <hal-01440508>
  • Paris Avgeriou, Carlos Cuesta, Khalil Drira, Elisa Nakagawa, José Carlos Maldonado, et al.. Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015): ACM/IEEE ICSE Workshop. Florence, Italy. ACM, 2015, <https://www.computer.org/csdl/proceedings/sesos/2015/7091/00/index.html>. <hal-01441064>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, et al.. Proceedings of the 2nd ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2014): ECSA Workshop. Vienna, Austria. ACM, 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops, Vienna, Austria, <http://dl.acm.org/citation.cfm?id=2642803>. <hal-01114140>
  • Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, José Carlos Maldonado, Elisa Nakagawa, et al.. Proceedings of the 1st ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013): ECSA Workshop. Montpellier, France. ACM, 2013, <http://dl.acm.org/citation.cfm?id=2489850>. <hal-00913491>
  • Muhammad Ali Babar, Ian Gorton, Flavio Oquendo. Special Issue on Software Architecture: International Journal on Software and System Modeling. Germany. 12 (2), Springer, 2013, International Journal on Software and System Modeling (SoSyM), 1619-1366. <hal-00913477>
  • Eduardo Almeida, Flavio Oquendo. Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation: International Journal of Universal Computer Science. Germany. 19 (2), Springer, 2013, International Journal of Universal Computer Science (J.UCS), <http://www.jucs.org/jucs_19_2/software_components_architectures_and/abstract.html>. <hal-00913467>
  • 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>
  • 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, 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>
  • 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. 1ère Conférence francophone sur les Architectures Logicielles. hermes, 2006. <hal-00486347>
  • 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. Architectures Logicielles : Actes de la Première Conférence Francophone, Hermès Sciences/Lavoisier. Hermès Sciences/Lavoisier, pp.200, 2006. <hal-00514262>

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>

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. Rapport LAAS n° 15737. 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>
  • 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>
  • Eduardo Almeida, Flavio Oquendo. Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation: The International Journal of Universal Computer Science (J.UCS). Special Issue, J.UCS, Vol. 19, No. 2. 2013. <hal-00913488>

Ouvrage (y compris édition critique et traduction)1 document