Publications

Publications HAL de la structure 203130;1003568

2020

Journal articles

titre
Ark: a constraint-based method for architectural synthesis of smart systems
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
Software and Systems Modeling, Springer Verlag, 2020, 19 (3), pp.741-762. ⟨10.1007/s10270-019-00764-7⟩
Accès au bibtex
BibTex
titre
On the verification of mission-related properties in software-intensive systems-of-systems architectural design
auteur
Eduardo Silva, Thais Batista, Flavio Oquendo
article
Science of Computer Programming, Elsevier, 2020, 192, pp.102425. ⟨10.1016/j.scico.2020.102425⟩
Accès au bibtex
BibTex
titre
Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems
auteur
Lina GarcÉs, Flavio Oquendo, Elisa Yumi Nakagawa
article
International Journal of E-Health and Medical Communications (IJEHMC), IGI, 2020, 11 (1), pp.17-36. ⟨10.4018/IJEHMC.2020010102⟩
Accès au bibtex
BibTex

Conference papers

titre
An Architectural Style for Internet of Things Systems
auteur
Lidiane Santos, Eduardo Silva, Thais Batista, Everton Cavalcante, Jair Leite, Flavio Oquendo
article
The 35th ACM/SIGAPP Symposium on Applied Computing (SAC), Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374030⟩
Accès au bibtex
BibTex

2019

Journal articles

titre
Architecting exogenous software‐intensive systems‐of‐systems on the internet‐of‐vehicles with SosADL
auteur
Flavio Oquendo
article
Systems Engineering, Wiley, 2019, 22 (6), pp.502-518. ⟨10.1002/sys.21521⟩
Accès au bibtex
BibTex
titre
Systems of systems: From mission definition to architecture description
auteur
Imane Cherfa, Nicolas Belloir, Salah Sadou, Régis Fleurquin, Djamal Bennouar
article
Systems Engineering, Wiley, 2019, 22 (6), pp.437-454. ⟨10.1002/sys.21523⟩
Accès au bibtex
BibTex
titre
A Research Landscape on Formal Verification of Software Architecture Descriptions
auteur
Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
article
IEEE Access, IEEE, 2019, 7, pp.171752-171764. ⟨10.1109/ACCESS.2019.2953858⟩
Accès au bibtex
BibTex
titre
Software mediators as first-class entities of systems-of-systems software architectures
auteur
Lina GarcÉs, Flavio Oquendo, Elisa Yumi Nakagawa
article
Journal of the Brazilian Computer Society, Springer Verlag, 2019, 25 (1), ⟨10.1186/s13173-019-0089-3⟩
Accès au bibtex
BibTex
titre
A semantic-based discovery service for the Internet of Things
auteur
Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Denis Conan, Sophie Chabridon, Flavia Delicato, Paulo Pires
article
Journal of Internet Services and Applications, Springer, 2019, 10 (1), ⟨10.1186/s13174-019-0109-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02147177/file/Gomes2019_Article_ASemantic-basedDiscoveryServic.pdf BibTex

Conference papers

titre
Recovering Software Architecture Product Lines
auteur
Mohamed Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou
article
24th International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2019, Nansha, Guangzhou, China. pp.226-235, ⟨10.1109/ICECCS.2019.00032⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268371/file/ICECCS_2019_Camera_Ready_Recovering_Software_Architecture_Product_Lines%20%281%29.pdf BibTex
titre
Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield
auteur
Nicolas Belloir, Jérémy Buisson, Olivier Bartheye
article
2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02181689/file/main.pdf BibTex
titre
Development of Secure System of Systems Needing a Rapid Deployment
auteur
Nan Messe, Nicolas Belloir, Vanea Chiprianov, Imane Cherfa, Régis Fleurquin, Salah Sadou
article
2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02368826/file/PID5907597.pdf BibTex
titre
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins
auteur
Flavio Oquendo
article
9th International Conference on Computational Science and Its Applications (ICCSA 2019), LNCS 11619, Springer, Jul 2019, Saint Petersburg, Russia. pp.770-786, ⟨10.1007/978-3-030-24289-3_57⟩
Accès au bibtex
BibTex
titre
Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL
auteur
Flavio Oquendo
article
14th International Conference on System-of-Systems Engineering (SoSE), May 2019, Anchorage, United States. pp.131-136, ⟨10.1109/SYSOSE.2019.8753842⟩
Accès au bibtex
BibTex
titre
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL
auteur
Flavio Oquendo
article
2nd IFIP International Internet of Things Conference (IFIP-IoT 2019), Oct 2019, Tampa, United States. pp.3-20, ⟨10.1007/978-3-030-43605-6_1⟩
Accès au bibtex
BibTex

Book sections

titre
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
auteur
Jérémy Buisson, Seidali Rehab
article
Modelling and Implementation of Complex Systems, pp.259-273, 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01945245/file/main.pdf BibTex
titre
Generation of Inductive Types from Ecore Metamodels
auteur
Jérémy Buisson, Seidali Rehab
article
Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02021361/file/Modelsward2018_Model__CCIS___HAL_.pdf BibTex

2018

Conference papers

titre
A Language for Analyzing Security of IOT Systems
auteur
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
article
SoSE 2018 – 13th Annual Conference on System of Systems Engineering, Jun 2018, Paris, France. pp.37-44, ⟨10.1109/SYSOSE.2018.8428704⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01960860/file/2018_SOSE_IOT_language.pdf BibTex
titre
Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
auteur
Khalil Drira, Flavio Oquendo, Axel Legay, Thais Batista
article
SAC 2018 – The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01666389/file/Editorial%20Message-SiSoS-ACM-SAC-2018.pdf BibTex
titre
On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description
auteur
Flavio Oquendo
article
2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.417-424
Accès au bibtex
BibTex
titre
ASAS: An Approach to Support Simulation of Smart Systems
auteur
Valdemar Vicente Graciano Neto, Lina GarcÉs, Milena Guessi, Carlos Paes, Wallace Manzano, Flavio Oquendo, Elisa Nakagawa
article
Hawaii International Conference on System Sciences, Jan 2018, Waikoloa Village, Hawaii, United States
Accès au bibtex
BibTex
titre
Towards a Taxonomy of Software Mediators for Systems-of-Systems
auteur
Lina GarcÉs, Flavio Oquendo, Elisa Yumi Nakagawa
article
The VII Brazilian Symposium on Software Components, Architectures, and Reuse, Sep 2018, Sao Carlos, Brazil. pp.53-62
Accès au bibtex
BibTex
titre
Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL
auteur
Flavio Oquendo
article
2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.268-275
Accès au bibtex
BibTex
titre
Designing and Executing Software Architectures Models Using SysADL Studio
auteur
Jair Leite, Thais Batista, Flavio Oquendo, Eduardo Silva, Lidiane Santos, Victor Cortez
article
2018 IEEE International Conference on Software Architecture Companion (ICSA-C), Apr 2018, Seattle, United States
Accès au bibtex
BibTex
titre
Modeling and Executing Software Architecture Using SysADL
auteur
Thais Batista, Flavio Oquendo, Jair Leite
article
2018 IEEE International Conference on Software Architecture Companion (ICSA-C), Apr 2018, Seattle, United States
Accès au bibtex
BibTex
titre
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things
auteur
Flavio Oquendo
article
12th European Conference on Software Architecture, ECSA 2018, Sep 2018, Madrid, Spain. pp.20-36
Accès au bibtex
BibTex
titre
Spotlighting Use Case Specific Architectures
auteur
Mohamed Lamine Kerdoudi, Mohamed Kerdoudi, Chouki Tibermacine, Salah Sadou
article
ECSA: European Conference on Software Architecture, Sep 2018, Madrid, Spain. pp.236-244, ⟨10.1007/978-3-030-00761-4_16⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02124337/file/mainCR.pdf BibTex
titre
Modeling System of Systems configurations
auteur
Franck Petitdemange, Isabelle Borne, Jérémy Buisson
article
2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.392-399
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02021350/file/Modeling_System_of_Systems_configurations__13295546vfsqwwkfdrtm_.pdf BibTex
titre
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees
auteur
Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou
article
13th Annual Conference on System of Systems Engineering (SoSE), Jul 2018, Paris, France. ⟨10.1109/SYSOSE.2018.8428726⟩
Accès au bibtex
BibTex
titre
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types
auteur
Jeremy Buisson, Seidali Rehab
article
MODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01693939/file/Modelsward2018_Model__Camera_ready_.pdf BibTex
titre
Involving the Application Domain Expert in the Construction of Systems of Systems
auteur
Imane Cherfa, Salah Sadou, Nicolas Belloir, Régis Fleurquin, Djamal Bennouar
article
IEEE – 13th System of Systems Engineering Conference (SoSE 2018), Jun 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01978238/file/CherfaetAll.pdf BibTex
titre
ASAS: An Approach to Support Simulation of Smart Systems
auteur
Valdemar Vicente Graciano Neto, Lina GarcÉs, Milena Guessi, Carlos Paes, Flavio Oquendo, Wallace Manzano, Elisa Nakagawa
article
Hawaii International Conference on System Sciences (HICSS 2018), Jan 2018, Waikoloa, Hawaii, United States. ⟨10.24251/HICSS.2018.724⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the 6th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2018) at the 40th International Conference on Software Engineering (ICSE 2018)
auteur
Khalil Drira, Flavio Oquendo, Paris Avgeriou, Carlos Cuesta
article
May 2018, Gothenburg, Sweden. ACM, 2018
Accès au bibtex
BibTex

2017

Journal articles

titre
A Genetic Algorithm-Based Approach for Automated Refactoring of Component-Based Software
auteur
Salim Kebir, Isabelle Borne, Djamel Meslati
article
Information and Software Technology, Elsevier, 2017, 88, pp.17 – 36. ⟨10.1016/j.infsof.2017.03.009⟩
Accès au bibtex
BibTex
titre
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
auteur
Valdemar Vicente Graciano Neto, Carlos Eduardo Barros Paes, Lina GarcÉs, Milena Guessi, Wallace Manzano, Flavio Oquendo, Elisa Yumi Nakagawa
article
Journal of the Brazilian Computer Society, Springer Verlag, 2017, 23 (1), ⟨10.1186/s13173-017-0062-y⟩
Accès au bibtex
BibTex
titre
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
The Computer Journal, Oxford University Press (UK), 2017, 60 (9), pp.1363-1381. ⟨10.1093/comjnl/bxx008⟩
Accès au bibtex
BibTex
titre
Preserving architectural pattern composition information through explicit merging operators
auteur
Minh Tu Thon That, S Sadou, Flavio Oquendo, I Borne
article
Future Generation Computer Systems, Elsevier, 2017, 47, pp.97-112. ⟨10.1016/j.future.2014.09.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102209/file/main.pdf BibTex

Conference papers

titre
Understanding evolution in systems of systems
auteur
Isabelle Borne, Mohamed Hichem Fendali, Djamel Meslati
article
2017 IEEE International Systems Engineering Symposium (ISSE), Oct 2017, Vienna, Austria. ⟨10.1109/SysEng.2017.8088283⟩
Accès au bibtex
BibTex
titre
A Process to Establish, Model and Validate Missions of Systems-of-Systems in Reference Architectures.
auteur
Lina GarcÉs, Flavio Oquendo, Elisa Yumi Nakagawa
article
The 32nd ACM Symposium on Applied Computing, Apr 2017, Marrakesh, Morocco. pp.1-8
Accès au bibtex
BibTex
titre
Architecting IoT Applications with SysADL
auteur
Jair Leite, Thais Batista, Flavio Oquendo
article
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), Apr 2017, Gothenburg, France. pp.92-99
Accès au bibtex
BibTex
titre
Proceedings of the 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
auteur
Elisa Nakagawa, Flavio Oquendo, Paris Avgeriou, Rodrigo Santos
article
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), May 2017, Buenos Aires, Argentina
Accès au bibtex
BibTex
titre
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL
auteur
Flavio Oquendo
article
2017 12th System of Systems Engineering Conference (SoSE), Jun 2017, Waikoloa, United States. pp.1-6
Accès au bibtex
BibTex
titre
Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL
auteur
Flavio Oquendo
article
2017 12th System of Systems Engineering Conference (SoSE), Jun 2017, Waikoloa, United States. pp.1-6
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017)
auteur
Flavio Oquendo, Khalil Drira, Axel Legay, Thais Batista
article
Apr 2017, Marrakesh, Morocco. ACM, 2017
Accès au bibtex
BibTex

2016

Journal articles

titre
A Genetic Algorithm for Automated Refactoring of Component-Based Softwre
auteur
Salim Kebir, Isabelle Borne, Djamel Meslati
article
EAI Endorsed Transactions on Creative Technologies, 2016, 3 (9), ⟨10.4108/eai.3-12-2015.2262353⟩
Accès au bibtex
BibTex
titre
Preserving Architectural Decisions through Architectural Patterns
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Régis Fleurquin
article
Journal of Automated Software Engineering, Springer, 2016, 23 (3), pp.427-467. ⟨10.1007/s10515-014-0172-0⟩
Accès au bibtex
BibTex
titre
Preserving architectural decisions through architectural patterns
auteur
Minh Tu Ton That, Salah Sadou, Flavio Oquendo, Régis Fleurquin
article
Automated Software Engineering, Springer Verlag, 2016, 23 (3), pp.427-467. ⟨10.1007/s10515-014-0172-0⟩
Accès au bibtex
BibTex
titre
Opening Web Applications for Third Party Development: a Service-Oriented Solution
auteur
Mohamed Lamine Kerdoudi, Chouki Tibermacine, Salah Sadou
article
Service Oriented Computing and Applications, Springer, 2016, 10 (4), pp.437-463. ⟨10.1007/s11761-016-0192-7⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276797/file/MLKetAl_SOCA_2016.pdf BibTex
titre
Safe reconfiguration of Coqcots and Pycots components
auteur
Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
Journal of Systems and Software, Elsevier, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01235602/file/main.pdf BibTex
titre
Software Architecture Constraint Reuse-by-Composition
auteur
Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony
article
Future Generation Computer Systems, Elsevier, 2016, 61, pp.37-53. ⟨10.1016/j.future.2016.02.006⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276796/file/tibermacineelal.pdf BibTex

Conference papers

titre
Assisting the evolutionary development of SoS with reconfiguration patterns
auteur
Franck Petitdemange, Isabelle Borne, Jeremy Buisson
article
Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA), Nov 2016, Copenhagen, Denmark. pp.9, ⟨10.1145/2993412.3004845⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01421487/file/main.pdf BibTex
titre
Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells – A Search-based Approach
auteur
Salim Kebir, Isabelle Borne, Djamel Meslati
article
ENASE 2016, Apr 2016, Rome, Italy. ⟨10.5220/0005891602100215⟩
Accès au bibtex
BibTex
titre
Formally describing the software architecture of Systems-of-Systems with SosADL
auteur
Flavio Oquendo
article
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. ⟨10.1109/SYSOSE.2016.7542926⟩
Accès au bibtex
BibTex
titre
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
auteur
Soraya Mesli, Djamal Kesraoui, Flavio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
Accès au bibtex
BibTex
titre
Thinking Smart Cities as Systems-of-Systems: A Perspective Study
auteur
Everton Cavalcante, Nelio Cacho, Frederico Lopes, Thais Batista, Flavio Oquendo
article
Proceedings of the 2nd International Workshop on Smart Cities (SmartCities 2016) at ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. pp.9:1-9:4, ⟨10.1145/3009912.3009918⟩
Accès au bibtex
BibTex
titre
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL
auteur
Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
article
Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Accès au bibtex
BibTex
titre
Experience Report and Challenges for Systems-of-Systems Engineering: A Real Case in the Brazilian Defense Domain
auteur
Carlos Paes, Valdemar Neto, Flavio Oquendo, Elisa Nakagawa
article
Proceedings of the 10th CBSOFT Workshop on Distributed Development of Software, Software Ecosystems, and Systems-of-Systems (WDES), Sep 2016, Maringa, Brazil
Accès au bibtex
BibTex
titre
Specifying Architecture Behavior with SysADL
auteur
Flavio Oquendo, Jair Leite, Thaís Batista
article
13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), Apr 2016, Venice, Italy. ⟨10.1109/WICSA.2016.40⟩
Accès au bibtex
BibTex
titre
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL
auteur
Flavio Oquendo
article
Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. pp.13-22, ⟨10.1109/ICECCS.2016.012⟩
Accès au bibtex
BibTex
titre
Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL
auteur
Flavio Oquendo
article
15th IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary
Accès au bibtex
BibTex
titre
Bridging Missions and Architecture in Software-intensive Systems-of-Systems
auteur
Eduardo Silva, Everton Cavalcante, Thais Batista, Flavio Oquendo
article
Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. pp.201-206
Accès au bibtex
BibTex
titre
Validating Emergent Behaviors in Systems-of-Systems through Model Transformations
auteur
Valdemar Neto
article
Proceedings of the ACM PhD Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems , Oct 2016, St. Malo, France
Accès au bibtex
BibTex
titre
Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
auteur
Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, Pascal Berruet
article
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. pp.427-467
Accès au bibtex
BibTex
titre
π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
auteur
Flavio Oquendo
article
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
Accès au bibtex
BibTex
titre
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
auteur
Flavio Oquendo
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.3-21, ⟨10.1007/978-3-319-48992-6_1⟩
Accès au bibtex
BibTex
titre
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
auteur
Flavio Oquendo
article
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
Accès au bibtex
BibTex
titre
Vérification formelle de chaines de contrôle-commande d’éléments de conception standardisés
auteur
Soraya Mesli, Alain Bignon, Djamal Kesraoui, Armand Toguyeni, Flavio Oquendo, Pascal Berruet
article
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada
Accès au bibtex
BibTex
titre
Executing Software Architecture Descriptions with SysADL
auteur
Flavio Oquendo, Jair Leite, Thais Batista
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.129-137
Accès au bibtex
BibTex
titre
A Quality Model for AAL Software Systems
auteur
Lina GarcÉs, Flavio Oquendo, Elisa Yumi Nakagawa
article
IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), Jun 2016, Belfast, Northern Ireland, United Kingdom. pp.175-180, ⟨10.1109/CBMS.2016.46⟩
Accès au bibtex
BibTex
titre
RARep: a Reference Architecture Repository
auteur
Tales Correia, Milena Guessi, Lucas Bueno Ruas de Oliveira, Elisa Nakagawa
article
28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016), Jul 2016, Redwood, United States. pp.363-368
Accès au bibtex
BibTex
titre
Checking the architectural feasibility of Systems-of-Systems using formal descriptions
auteur
Milena Guessi, Flavio Oquendo, Elisa Nakagawa
article
11th System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542939⟩
Accès au bibtex
BibTex
titre
A Logic for the Statistical Model Checking of Dynamic Software Architectures
auteur
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ISoLA, Oct 2016, Corfou, Greece. pp.806 – 820, ⟨10.1007/978-3-319-47166-2_56⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387429/file/main.pdf BibTex
titre
Statistical Model Checking of Dynamic Software Architectures
auteur
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ECSA 2016 – 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390707/file/2016-ECSA.pdf BibTex
titre
An Application of SMC to continuous validation of heterogeneous systems
auteur
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
article
Simutools 2016 – Ninth EAI International Conference on Simulation Tools and Techniques, Aug 2016, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390487/file/SIMUTOOLS.pdf BibTex
titre
Systems-of-systems development: Initiatives, trends, and challenges
auteur
Cristiane Lana, Nilton Souza, Marcio Delamaro, Elisa Nakagawa, Flavio Oquendo, Jose Maldonado
article
XLII Latin American Computing Conference (CLEI 2016), Oct 2016, Valparaíso, Chile. pp.1-12, ⟨10.1109/CLEI.2016.7833329⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture
auteur
Flavio Oquendo, Muhammad Ali Babar, Khalil Drira, Axel Legay
article
Copenhagen, Denmark. ACM DL, 2016
Accès au bibtex
BibTex
titre
Proceedings of the 4th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2016)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Austin, Texas, United States. 2016
Accès au bibtex
BibTex
titre
Special Issue on Adaptive and Reconfigurable Service-Oriented and Component-Based Applications
auteur
Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo
article
Switzerland. 9 (3/4), Inderscience, 2016, International Journal of Autonomous and Adaptive Communications Systems (IJAACS)
Accès au bibtex
BibTex
titre
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)
auteur
Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo
article
2016
Accès au bibtex
BibTex

Other publications

titre
Supporting architectural design of acknowledged Software-intensive Systems-of-Systems
auteur
Marcelo Gonçalves
article
2016
Accès au bibtex
BibTex

Books

titre
Software Architecture in Action
auteur
Flavio Oquendo, Jair Leite, Thais Batista
article
Springer, 253 p., 2016, 978-3-319-44339-3. ⟨10.1007/978-3-319-44339-3⟩
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Verification of interlocking systems using statistical model checking
auteur
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
article
2016
Accès au bibtex
https://arxiv.org/pdf/1605.02529 BibTex

2015

Journal articles

titre
Verifying Systems-of-Systems with Statistical Model Checking
auteur
Axel Legay, Jean Quilbeuf, Flavio Oquendo
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242652/file/verif.pdf BibTex
titre
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems
auteur
Flavio Oquendo, Axel Legay, Khalil Drira
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242651/file/gt_sos%20%281%29.pdf BibTex
titre
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL
auteur
Flavio Oquendo, Axel Legay
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242649/file/formal_architecture.pdf BibTex
titre
RoboSeT: A Tool to Support Cataloging and Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Felipe Amaral, Diogo Martins, Flavio Oquendo, Elisa Nakagawa
article
Communications in Computer and Information Science, Springer Verlag, 2015, Robotics, pp.114-132. ⟨10.1007/978-3-662-48134-9_7⟩
Accès au bibtex
BibTex
titre
Preserving architectural pattern composition information through explicit merging operators
auteur
M.T.T. That, S. Sadou, Flavio Oquendo, I. Borne
article
Future Generation Computer Systems, Elsevier, 2015, 47, pp.97-112. ⟨10.1016/j.future.2014.09.002⟩
Accès au bibtex
BibTex

Conference papers

titre
Une Approche Orientée Pattern pour la Reconfiguration de Système de Systèmes
auteur
Franck Petitdemange, Jérémy Buisson, Isabelle Borne
article
CIEL 2015, Jun 2015, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01421540/file/ciel2015.pdf BibTex
titre
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures
auteur
Bruno Costa, Paulo F. Pires, Flávia C. Delicato, Flavio Oquendo
article
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia
Accès au bibtex
BibTex
titre
A mission-oriented approach for designing system-of-systems
auteur
Eduardo Silva, Thais Batista, Flavio Oquendo
article
Proceedings of the 10th IEEE System-of-Systems Engineering Conference (SoSE 2015), IEEE, May 2015, San Antonio, Texas, United States. pp.346-351, ⟨10.1109/SYSOSE.2015.7151951⟩
Accès au bibtex
BibTex
titre
Supporting Dynamic Software Architectures: From Architectural Description to Implementation
auteur
Everton Cavalcante, Thais Batista, Flavio Oquendo
article
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015), May 2015, Montreal, Canada. pp.31-40, ⟨10.1109/WICSA.2015.21⟩
Accès au bibtex
BibTex
titre
A Systematic Literature Review on the Description of Software Architectures for Systems of Systems
auteur
Milena Guessi, Valdemar Neto, Thiago Bianchi, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-8
Accès au bibtex
BibTex
titre
A Meta-Process to Construct SoS Software Architectures
auteur
Marcelo Gonçalves, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-6
Accès au bibtex
BibTex
titre
OntolAD: a Formal Ontology for Architectural Descriptions
auteur
Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1–8
Accès au bibtex
BibTex
titre
Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture
auteur
Jesús Portocarrero, Flavia C. Delicato, Paulo F. Pires, Elisa Nakagawa, Flavio Oquendo
article
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. ⟨10.1145/2797433.2797445⟩
Accès au bibtex
BibTex
titre
A meta-process to construct software architectures for system-of-systems
auteur
Marcelo Gonçalves, Flavio Oquendo, Elisa Nakagawa
article
Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), ACM, Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695737⟩
Accès au bibtex
BibTex
titre
Towards a Formal Description of Reference Architectures for Embedded Systems
auteur
Milena Guessi, Lucas Bueno Ruas de Oliveira, Lina GarcÉs, Flavio Oquendo
article
1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA 2015), May 2015, Montreal, Canada. pp.17-20
Accès au bibtex
BibTex
titre
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems
auteur
Gabriel Abdalla, Carlos Damasceno, Milena Guessi, Flavio Oquendo, Elisa Nakagawa
article
9th Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), Sep 2015, Belo Horizonte, Brazil. pp.70-79, ⟨10.1109/SBCARS.2015.18⟩
Accès au bibtex
BibTex
titre
Characterizing Architecture Description Languages for Software-Intensive Systems-of-Systems
auteur
Milena Guessi, Everton Cavalcante, Lucas Bueno Ruas de Oliveira
article
2015 IEEE/ACM 3rd International Workshop on Software Engineering for SystemsofSystems (SESoS), May 2015, Florence, Italy. pp.12-18, ⟨10.1109/SESoS.2015.10⟩
Accès au bibtex
BibTex
titre
Approach Based Patterns for System-of-Systems Reconfiguration
auteur
Franck Petitdemange, Isabelle Borne, Jeremy Buisson
article
International Workshop on Software Engineering for Systems-of-Systems, May 2015, Florence, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01142539/file/PID3582051.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)
auteur
Paris Avgeriou, Carlos Cuesta, Khalil Drira, Elisa Nakagawa, José Carlos Maldonado, Flavio Oquendo, Andrea Zisman
article
Florence, Italy. ACM, 2015
Accès au bibtex
BibTex
titre
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems
auteur
Khalil Drira, Flavio Oquendo
article
France. 47, 2015, International Journal on Future Generation Computer Systems (FGCS)
Accès au bibtex
BibTex
titre
Software Engineering for Systems-of-Systems: Proceedings of the ACM Sigsoft/Sigplan International Workshop SESoS’2015
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Italy. IEEE, 2015, Proceedings of the 2015 International Conference on Software Engineering Workshops, Florence, Italy
Accès au bibtex
BibTex

Other publications

titre
Guest Editorial of the Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems
auteur
Khalil Drira, Flavio Oquendo
article
2015, pp.60-61
Accès au bibtex
BibTex
titre
Rendre réutilisables des composants extraits d’une application orientée-objet
auteur
Abderrahmane Seriai
article
2015
Accès au bibtex
BibTex
titre
Foreword: Towards Reference Architectures for Systems-of-Systems
auteur
Elisa Nakagawa, Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman
article
2015, pp.1-4
Accès au bibtex
BibTex

Theses

titre
Conception architecturale des systèmes robotiques orientée services
auteur
Lucas Bueno Ruas de Oliveira
article
Robotique [cs.RO]. Université de Bretagne Sud, 2015. Français. ⟨NNT : 2015LORIS374⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01299803/file/2015theseBuenoRuasO.pdf BibTex

2014

Journal articles

titre
Preserving Architectural Decisions through Architectural Patterns
auteur
Minh Tu Thon That, Salah Sadou, F Oquendo, R Fleurquin
article
Journal of Automated Software Engineering, Springer, 2014, pp.1-41. ⟨10.1007/s10515-014-0172-0⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102187/file/main.pdf BibTex
titre
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.586
Accès au bibtex
BibTex
titre
A Systematic Survey of Service Identification Methods
auteur
Rosane S. Huergo, Paulo F. Pires, Flavia C. Delicato, Bruno Costa, Everton Cavalcante, Thais Batista
article
Service Oriented Computing and Applications, Springer, 2014, 8 (3), pp.199-219. ⟨10.1007/s11761-014-0161-y⟩
Accès au bibtex
BibTex
titre
A Web Platform for Interconnecting Body Sensors and Improving Health Care
auteur
Pedro Maia, Thais Batista, Everton Cavalcante, Augusto Baffa, Flavia C. Delicato, Paulo F. Pires, Albert Zomaya
article
Procedia Computer Science, Elsevier, 2014, Fourth International Conference on Selected Topics in Mobile & Wireless Networking (MoWNet’2014), 40, pp.135-142. ⟨10.1016/j.procs.2014.10.041⟩
Accès au bibtex
BibTex

Conference papers

titre
Deriving Component Interfaces after a Restructuring of a Legacy System
auteur
Abderrahmane Seriai, Salah Sadou, Houari Sahraoui, Salma Hamza
article
Working IEEE/IFIP Conference on Software Architecture (WICSA), Apr 2014, Sydney, Australia. pp.31 – 40, ⟨10.1109/WICSA.2014.27⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102164/file/seriaiEtAll.pdf BibTex
titre
Enactment of Components Extracted from an Object-Oriented Application
auteur
Abderrahmane Seriai, Salah Sadou, Houari Sahraoui
article
European Conference on Software Architecture (ECSA), Aug 2014, Viena, Austria. pp.234 – 249, ⟨10.1007/978-3-319-09970-5_22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102158/file/SeriaiAndAll.pdf BibTex
titre
Towards a Process to Design Architectures of Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
ECSA, 2014, Vienna, Austria. pp.218-225
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01067337/file/978-3-319-09970-5_20.pdf BibTex
titre
Towards a Conceptual Model for Software-Intensive System-of-Systems
auteur
Marcelo Gonçalves, Everton Calvacante, Thais Batista, Flavio Oquendo, Elisa Nakagawa
article
2014 IEEE International Conference on Systems, Man and Cybernetics (SMC 2014), Oct 2014, San Diego, United States. pp.1605-1610, ⟨10.1109/SMC.2014.6974145⟩
Accès au bibtex
BibTex
titre
Variability Viewpoint to Describe Reference Architectures
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
3rd International Workshop on Variability in Software Architecture (VARSA co-located with WICSA), Apr 2014, Sydney, Australia. pp.6
Accès au bibtex
BibTex
titre
Towards the Dynamic Evolution of Context-based Systems-of-Systems
auteur
Elisa Yumi Nakagawa, Rafael Capilla, Francisco J. Díaz, Flavio Oquendo
article
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
Accès au bibtex
BibTex
titre
Automating the Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Oliveira, Diogo Martins, Felipe Amaral, Flavio Oquendo, Elisa Nakagawa
article
11th Latin-American Robotics Symposium (LARS’2014), Oct 2014, São Carlos, Brazil
Accès au bibtex
BibTex
titre
A Platform for Integrating Physical Devices in the Internet of Things
auteur
Paulo Pires, Everton Cavalcante, Thomaz Barros, Flavia C. Delicato, Thais Batista, Bruno Costa
article
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014), Aug 2014, Milan, Italy. ⟨10.1109/EUC.2014.42⟩
Accès au bibtex
BibTex
titre
On the Characterization of Missions of Systems-of-Systems
auteur
Eduardo Silva, Everton Calvacante, Thais Batista, Flavio Oquendo, Flavia Delicato, Paulo Pires
article
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642829⟩
Accès au bibtex
BibTex
titre
On the Development of Systems-of-Systems based on the Internet of Things: A Systematic Mapping
auteur
Pedro Maia, Everton Cavalcante, Porfírio Gomes, Thais Batista, Flavia C. Delicato, Paulo F. Pires
article
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642828⟩
Accès au bibtex
BibTex
titre
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures
auteur
Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flavio Oquendo
article
Working IEEE/IFIP Conference on Software Architecture (WICSA), Apr 2014, Sydney, Canada. pp.143-152
Accès au bibtex
BibTex
titre
A Component-Based Adaptation Approach for Multi-Cloud Applications
auteur
André Almeida, Everton Cavalcante, Thais Batista, Nelio Cacho, Frederico Lopes
article
International Workshop on Cross-Cloud Systems (CrossCloud’14), Apr 2014, Toronto, Canada. pp.49-54, ⟨10.1109/INFCOMW.2014.6849167⟩
Accès au bibtex
BibTex
titre
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language
auteur
Everton Calvacante, Flavio Oquendo, Thais Batista
article
8th European Conference on Software Architecture (ECSA 2014), Aug 2014, Vienna, Austria. pp.130-145, ⟨10.1007/978-3-319-09970-5_13⟩
Accès au bibtex
BibTex
titre
Towards the Evaluation of System-of-Systems Software Architectures
auteur
Daniel Santos, Brauner Oliveira, Milena Guessi, Flavio Oquendo, Marcio Delamaro, Elisa Yumi Nakagawa
article
6th Workshop on Distributed Development of Software, Ecosystems and Systems-of-Systems (WDES co-located with CBSoft), Sep 2014, Maceió, Brazil
Accès au bibtex
BibTex
titre
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.162-167
Accès au bibtex
BibTex
titre
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Fernando Santos Osorio, Flavio Oquendo, Elisa Yumi Nakagawa
article
26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.344-349
Accès au bibtex
BibTex
titre
A Branch-and-Bound Algorithm for Autonomic Adaptation of Multi-Cloud Applications
auteur
André Almeida, Francisco Dantas, Everton Cavalcante, Thais Batista
article
14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2014), May 2014, Chicago, United States. pp.315-323, ⟨10.1109/CCGrid.2014.25⟩
Accès au bibtex
BibTex
titre
Investigating the Model-Driven Development for Systems-of-Systems
auteur
Valdemar Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flavio Oquendo, Elisa Yumi Nakagawa
article
Proceedings of the 2014 European Conference on Software Architecture Workshops (ECSAW), Aug 2014, Vienna, Austria. pp.8
Accès au bibtex
BibTex
titre
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
auteur
Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
CBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, ⟨10.1145/2602458.2602459⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00984365/file/hal.pdf BibTex

Book sections

titre
Assistance à l’évolution du logiciel dirigée par la qualité
auteur
Tarek Zernadji, Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
Évolution et maintenance des systèmes logiciels, 2014, Chapitre 9, 9782746245549
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104196/file/TZetAl_ChapitreSeriai_2014.pdf BibTex
titre
Architectures de référence : concepts et processus
auteur
Elisa Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
Architectures logicielles : principes, techniques et outils, Hermès Sciences, pp.1-34, 2014, 978-2-7462-4517-4
Accès au bibtex
BibTex
titre
Reference Architectures
auteur
Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
Software Architecture: Principles, Techniques, and Tool, John Wiley & Sons, pp.101-122, 2014
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
Germany. 20 (5), Springer, 2014, International Journal of Universal Computer Science (J.UCS)
Accès au bibtex
BibTex
titre
Proceedings of the 2nd ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2014)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Vienna, Austria. ACM, 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops, Vienna, Austria
Accès au bibtex
BibTex

Lectures

titre
Automating Cataloging and Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Diogo Martins, Felipe Amaral, Flavio Oquendo, Elisa Yumi Nakagawa
article
Doctoral. 11th Latin American Robotics Symposium (LARS), São Carlos, Brazil. 2014, pp.20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/cel-01113218/file/Oliveira_LARS_2014.pdf BibTex

Other publications

titre
Preserving Architectural Decisions through Architectural Patterns
auteur
Tu Minh Ton That
article
2014
Accès au bibtex
BibTex
titre
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
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
2014
Accès au bibtex
BibTex
titre
Une démarche d’ingénierie dirigée par les modèles pour le développement d’applications mobiles
auteur
Tahar Gherbi
article
2014
Accès au bibtex
BibTex

2013

Journal articles

titre
Test de conformité basé sur l’architecture logicielle
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
Revue des Nouvelles Technologies de l’Information, Hermann, 2013, pp.??-??
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908580/file/rnti2013_34.pdf BibTex
titre
Building European Software Architecture Community: How far have we come?
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
Journal on Software and System Modeling, 2013, 12 (2), pp.435-438
Accès au bibtex
BibTex
titre
OpenCOPI: Middleware Integration for Ubiquitous Computing
auteur
Frederico Lopes, Flavia C. Delicato, Thais Batista, Everton Cavalcante, Thiago Pereira, Paulo F. Pires, Paulo Ferreira, Reginaldo Mendes
article
International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2013, 29 (2), pp.178-212. ⟨10.1080/17445760.2013.831415⟩
Accès au bibtex
BibTex
titre
An MDE Approach to Develop Mobile-Agents Applications
auteur
Tahar Gherbi, Isabelle Borne, Djamel Meslati
article
Communications in Computer and Information Science, Springer Verlag, 2013, Evaluation of Novel Approaches to Software Engineering, 417 (1), pp.64-80. ⟨10.1007/978-3-642-54092-9⟩
Accès au bibtex
BibTex

Conference papers

titre
Towards an MDE Methodology to Develop Multi-Agents Systems Including Mobile Agents
auteur
Tahar Gherbi, Isabelle Borne, Djamel Meslati
article
8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Jul 2013, Angers, France. pp.45-55
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908558/file/ENASE_2013.pdf BibTex
titre
Prototyping DSU techniques using Python
auteur
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
article
HotSWUp’13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00907744/file/pymoult.pdf BibTex
titre
Composition-centered architectural pattern description language
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Isabelle Borne
article
7th European Conference on Software Architecture – ECSA, Jul 2013, Montpellier, France. pp.1-16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00912032/file/main.pdf BibTex
titre
Measuring Qualities for OSGi Component-Based Applications
auteur
Salma Hamza, Salah Sadou, Régis Fleurquin
article
13th International Conference on Quality Software, Jul 2013, France. pp.25-34
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00912086/file/HamzaAndAll.pdf BibTex
titre
Architecture-Based Conformance Testing
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
The Eighth International Conference on Software Engineering Advances (ICSEA’13), Oct 2013, Venice, Italy. pp.55-64
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00874942/file/icsea2013.pdf BibTex
titre
Test de conformité basé sur l’architecture logicielle
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
7ème Conférence francophone sur les architectures logicielles (CAL’2013), May 2013, Toulouse, France. pp.??-??
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00875283/file/cal2013.pdf BibTex
titre
The State-of-the-Art and Future Perspectives in Systems-of-Systems Software Architectures
auteur
Elisa Nakagawa, Marcelo Gonçalves, Milena Guessi, Lucas Oliveira, Flavio Oquendo
article
First International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013), Jul 2013, France. pp.13-20
Accès au bibtex
BibTex
titre
Software-intensive Systems-of-Systems: Emerging Paradigm for Smarter Cities
auteur
Flavio Oquendo
article
33rd Congress of SBC (CSBC 2013), Jul 2013, Maceio, Brazil
Accès au bibtex
BibTex
titre
SysADL: A SysML Profile for Software Architecture Description
auteur
Jair Leite, Flavio Oquendo, Thaís Batista
article
7th European Conference on Software Architecture (ECSA 2013), Jul 2013, Montpellier, France. pp.106-113
Accès au bibtex
BibTex
titre
SyMPLES: A SysML-based Approach for Developing Embedded Systems Software Product Lines
auteur
Rogerio Silva, Vanderson Fragal, Edson Oliveira-Junior, Itana Gimenes, Flavio Oquendo
article
15th International Conference on Enterprise Information Systems (ICEIS 2013), Jul 2013, Angers, France. pp.257-264
Accès au bibtex
BibTex
titre
Perspectives and Challenges of Reference Architectures in Multi Software Product Line
auteur
Elisa Nakagawa, Flavio Oquendo
article
1st International Workshop on Multi Product Line Engineering (MultiPLE 2013), Aug 2013, Tokyo, Japan. pp.100-103
Accès au bibtex
BibTex
titre
Systems-of-Systems: A New Frontier for Information Systems in an Open World
auteur
Flavio Oquendo
article
9th Conference on Information Systems (SBSI 2013), May 2013, Joao Pessoa, Brazil
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation
auteur
Eduardo Almeida, Flavio Oquendo
article
Germany. 19 (2), Springer, 2013, International Journal of Universal Computer Science (J.UCS)
Accès au bibtex
BibTex
titre
Special Issue on Software Architecture
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
Germany. 12 (2), Springer, 2013, International Journal on Software and System Modeling (SoSyM), 1619-1366
Accès au bibtex
BibTex
titre
Proceedings of the 1st ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, José Carlos Maldonado, Elisa Nakagawa, Khalil Drira, Andrea Zisman
article
Montpellier, France. ACM, 2013
Accès au bibtex
BibTex

Other publications

titre
Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation
auteur
Eduardo Almeida, Flavio Oquendo
article
2013
Accès au bibtex
BibTex
titre
Guest Editorial of the SoSyM Special Issue on Software Architecture
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
2013
Accès au bibtex
BibTex

Reports

titre
Catalogue of architectural patterns characterized by constraint components, Version 1.0
auteur
Tu Minh Ton That, Chouki Tibermacine, Salah Sadou
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844514/file/IRISA-ArchWare-2013-TR-01.pdf BibTex

2012

Conference papers

titre
ACME vs PDDL: support for dynamic reconfiguration of software architectures
auteur
Jean-Eudes Méhus, Thais Batista, Jérémy Buisson
article
6ème édition de la Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. pp.48-57
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00703176/file/mehus.pdf BibTex
titre
Using Architectural Patterns to Define Architectural Decisions
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo
article
Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.196-200
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00758792/file/wicsa12.pdf BibTex
titre
Architectural Description of Embedded Systems: a Systematic Review
auteur
Milena Guessi, Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
International ACM Symposium on Architecting Critical Systems (ISARCS), Jun 2012, Italy. pp.31-40
Accès au bibtex
BibTex
titre
RAModel: A Reference Model for Reference Architectures
auteur
Elisa Yumi Nakagawa, Flavio Oquendo, Martin Becker
article
Joint 2012 Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.297-301
Accès au bibtex
BibTex
titre
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration
auteur
Leonardo Minora, Jérémy Buisson, Flavio Oquendo, Thais Batista
article
6ème Conférence francophone sur les architectures logicielles (CAL’2012), May 2012, Montpellier, France. pp.69-80
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00699895/file/cal_2012-issues_dynamic_reconfiguration-v_final.pdf BibTex

2011

Conference papers

titre
Assistance System for OCL Constraints Adaptation during Metamodel Evolution.
auteur
Kahina Hassam, Salah Sadou, Vincent Le Gloahec, Régis Fleurquin
article
15th European Conference on Software Maintenance and Reengineering (CSMR), 2011, Mar 2011, Oldenburg, Germany. pp.151 – 160, ⟨10.1109/CSMR.2011.21⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664786/file/CSMR2011-1.pdf BibTex
titre
From Object-Oriented Applications to Component-Oriented Applications via Component-Oriented Architecture
auteur
Simon Allier, Salah Sadou, Houari Sahraoui, Régis Fleurquin
article
9th Working IEEE/IFIP Conference on Software Architecture (WICSA’11), Jun 2011, Boulder, United States. pp.214-223
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664851/file/wicsa11.pdf BibTex
titre
An Investigation into the Representation of Software Architectures and Reference Architectures of Embedded Systems
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
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
Accès au bibtex
BibTex

2010

Conference papers

titre
Deriving Coupling Metrics from Call Graphs
auteur
Simon Allier, Stéphane Vaucher, Bruno Dufour, Houari Sahraoui
article
Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, Sep 2010, Timişoara, Romania. pp.43-52
Accès au bibtex
BibTex
titre
Adapting OCL Constraints After a Refactoring of their Model Using an MDE Process
auteur
Kahina Hassam, Salah Sadou, Régis Fleurquin
article
9th edition of the BElgian-NEtherlands software eVOLution seminar (BENEVOL 2010), Dec 2010, Lille, France. pp.16-27
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664877/file/BENEVOL2010-1.pdf BibTex

2003

Conference papers

titre
Verifying dynamic UML diagrams with SPIN
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
5ème Congrès international pluridisciplinaire, qualité et sûreté de fonctionnement, Mar 2003, Nancy, France. pp.97-106
Accès au bibtex
BibTex

2002

Journal articles

titre
Etat de l’art sur les styles architecturaux : classification et comparaison des langages de description d’architectures logicielles
auteur
Fabien Leymonerie, Sorana Cimpan, Flavio Oquendo
article
Génie logiciel, C & S, 2002
Accès au bibtex
BibTex

2000

Journal articles

titre
Omega: a language and system for on-line monitoring of software processes
auteur
Sorana Cimpan, Flavio Oquendo
article
Software Engineering Notes, Association for Computing Machinery, 2000, 25 (4), pp.69-75
Accès au bibtex
BibTex

Conference papers

titre
Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9
Accès au bibtex
BibTex
titre
A relationship between Sequence and statechart diagrams
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
Workshop on Dynamic Behaviour in UML Models, Oct 2000, York, United Kingdom. pp.38-43
Accès au bibtex
BibTex

Book sections

titre
Alliance: An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control
auteur
Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Hervé́ Verjus
article
Enterprise Information Systems, J. Filipe (Ed), Kluwer, 2000
Accès au bibtex
BibTex

1999

Conference papers

titre
Tuning a Fuzzy Control System for Software Intensive Processes via Simulation
auteur
Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus
article
IASTED International Conference on Modeling and Simulation, May 1999, Philadelphie PA, United States
Accès au bibtex
BibTex
titre
Alliance : An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control
auteur
Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus
article
First International Conference on Enterprise Information Systems , Mar 1999, Setubal, Portugal
Accès au bibtex
BibTex
titre
A Fuzzy Sets based Mechanism allowing the Tuning of a Software Intensive Process Control System via Multiple Simulations
auteur
Ilham Alloui, Sorana Cimpan, Flavio Oquendo, Herve Verjus
article
AMSE International Conference on Modeling and Simulation , May 1999, Santiago de Compostela, Spain
Accès au bibtex
BibTex

1998

Conference papers

titre
Fuzzy indicators for monitoring software processes
auteur
Sorana Cimpan, Flavio Oquendo
article
Europeean Workshop on Software Process Technology , Sep 1998, London, United Kingdom
Accès au bibtex
BibTex


Permanent link to this article: http://www-archware.irisa.fr/publications/