default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlávio Oquendo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Everton Cavalcante
, Thaís Batista, Flávio Oquendo:
Looking back and forward: A retrospective and future directions on software engineering for systems-of-systems. J. Softw. Evol. Process. 36(10) (2024)- [c126]Tales Viglioni, Thaís Batista, Everton Cavalcante, Flávio Oquendo:
The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. ECSA 2024: 379-395 - [c125]Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui:
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. WISTP 2024: 64-79 - [i12]Everton Cavalcante, Thaís Batista, Flávio Oquendo:
Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems. CoRR abs/2403.16740 (2024) - 2023
- [c124]Flávio Oquendo:
Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case. TENCON 2023: 789-794 - 2021
- [c123]Camila Araújo, Thaís Batista, Everton Cavalcante, Flávio Oquendo:
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. ICCSA (3) 2021: 394-410 - [c122]Flávio Oquendo:
Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty. SOSE 2021: 61-68 - [i11]Valdemar Vicente Graciano Neto, Bruno Gabriel Araújo Lebtag, Paulo Gabriel Teixeira, Priscilla Elizabeth Pereira Batista, Vinicius Carvalho Lopes, Jamal El Hachem, Jérémy Buisson, Flávio Oquendo, Juliana Fernandes, Francisco Henrique Ferreira, Rodrigo Pereira dos Santos, Davi Viana, Everton Cavalcante, Mohamad Kassab, Ahmad Mohsin, Roberto Oliveira, Vânia de Oliveira Neves, Maria Istela Cagnin, Elisa Yumi Nakagawa:
Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems. CoRR abs/2103.14100 (2021) - 2020
- [j30]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review. Int. J. E Health Medical Commun. 11(1): 17-36 (2020) - [j29]Eduardo Silva, Thaís Batista, Flávio Oquendo:
On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Sci. Comput. Program. 192: 102425 (2020) - [j28]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Ark: a constraint-based method for architectural synthesis of smart systems. Softw. Syst. Model. 19(3): 741-762 (2020) - [c121]Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo:
Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA 2020: 892-897 - [c120]Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo:
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA 2020: 101-117 - [c119]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo:
An architectural style for internet of things systems. SAC 2020: 1488-1497 - [c118]Flávio Oquendo:
Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. SoSE 2020: 555-562 - [c117]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo:
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. WF-IoT 2020: 1-6
2010 – 2019
- 2019
- [j27]Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo:
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7: 171752-171764 (2019) - [j26]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Software mediators as first-class entities of systems-of-systems software architectures. J. Braz. Comput. Soc. 25(1): 8:1-8:23 (2019) - [j25]Flávio Oquendo:
Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL. Syst. Eng. 22(6): 502-518 (2019) - [c116]Flávio Oquendo:
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins. ICCSA (1) 2019: 770-786 - [c115]Flávio Oquendo:
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. IFIPIoT 2019: 3-20 - [c114]Flávio Oquendo:
Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL. SoSE 2019: 131-136 - [i10]Danny Weyns, Flávio Oquendo:
An Architectural Style for Self-Adaptive Multi-Agent Systems. CoRR abs/1909.03475 (2019) - 2018
- [c113]Flávio Oquendo:
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. ECSA 2018: 20-36 - [c112]Valdemar Vicente Graciano Neto, Lina Maria Garcés Rodriguez, Milena Guessi, Carlos Eduardo de Barros Paes, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa:
ASAS: An Approach to Support Simulation of Smart Systems. HICSS 2018: 1-10 - [c111]Thaís Batista, Flávio Oquendo, Jair C. Leite:
Modeling and Executing Software Architecture Using SysADL. ICSA Companion 2018: 4-5 - [c110]Jair C. Leite, Thaís Batista, Flávio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez:
Designing and Executing Software Architectures Models Using SysADL Studio. ICSA Companion 2018: 81-84 - [c109]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Taxonomy of Software Mediators for Systems-of-Systems. SBCARS 2018: 53-62 - [c108]Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou:
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. SoSE 2018: 14-21 - [c107]Flávio Oquendo:
Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL. SoSE 2018: 268-275 - [c106]Flávio Oquendo:
On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description. SoSE 2018: 417-424 - [e10]Khalil Drira, Flávio Oquendo:
6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS@ICSE 2018, Gothenburg, Sweden, May 29, 2018. ACM 2018, ISBN 978-1-4503-5747-0 [contents] - 2017
- [j24]Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. Comput. J. 60(9): 1363-1381 (2017) - [j23]Valdemar Vicente Graciano Neto, Carlos Eduardo de Barros Paes, Lina Maria Garcés Rodriguez, Milena Guessi, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa:
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. J. Braz. Comput. Soc. 23(1): 13:1-13:22 (2017) - [c105]Jair C. Leite, Thaís Batista, Flávio Oquendo:
Architecting IoT Applications with SysADL. ICSA Workshops 2017: 92-99 - [c104]Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Rodrigo Pereira dos Santos:
Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems. JSOS@ICSE 2017: 1 - [c103]Flávio Oquendo:
Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. SoSE 2017: 1-6 - [c102]Flávio Oquendo:
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL. SoSE 2017: 1-6 - 2016
- [b1]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard. Undergraduate Topics in Computer Science, Springer 2016, ISBN 978-3-319-44337-9, pp. 3-234 - [j22]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Régis Fleurquin:
Preserving architectural decisions through architectural patterns. Autom. Softw. Eng. 23(3): 427-467 (2016) - [c101]Lina Maria Garcés Rodriguez, Flávio Oquendo, Elisa Yumi Nakagawa:
A Quality Model for AAL Software Systems. CBMS 2016: 175-180 - [c100]Cristiane Aparecida Lana, Nilton Mendes Souza, Márcio Eduardo Delamaro, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado:
Systems-of-systems development: Initiatives, trends, and challenges. CLEI 2016: 1-12 - [c99]Flávio Oquendo:
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. ECSA 2016: 3-21 - [c98]Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf:
The sosADL studio: an architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA 2016: 3:1-3:8 - [c97]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Executing Software Architecture Descriptions with SysADL. ECSA 2016: 129-137 - [c96]Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
Statistical Model Checking of Dynamic Software Architectures. ECSA 2016: 185-200 - [c95]Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet:
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA 2016: 210-226 - [c94]Flávio Oquendo:
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. ICECCS 2016: 13-22 - [c93]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. ICECCS 2016: 201-206 - [c92]Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) 2016: 806-820 - [c91]Everton Cavalcante, Nélio Cacho, Frederico Lopes, Thaís Batista, Flávio Oquendo:
Thinking Smart Cities as Systems-of-Systems: A Perspective Study. IWSC@Middleware 2016: 9:1-9:4 - [c90]Flávio Oquendo:
Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL. SMC 2016: 2260-2266 - [c89]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Checking the architectural feasibility of Systems-of-Systems using formal descriptions. SoSE 2016: 1-6 - [c88]Flávio Oquendo:
Formally describing the software architecture of Systems-of-Systems with SosADL. SoSE 2016: 1-6 - [c87]Flávio Oquendo:
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. SoSE 2016: 1-6 - [c86]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Specifying Architecture Behavior with SysADL. WICSA 2016: 140-145 - [e9]Khalil Drira, Flávio Oquendo, Muhammad Ali Babar, Axel Legay:
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016. ACM 2016 [contents] - 2015
- [j21]Khalil Drira, Flávio Oquendo:
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. Future Gener. Comput. Syst. 47: 60-61 (2015) - [j20]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne:
Preserving architectural pattern composition information through explicit merging operators. Future Gener. Comput. Syst. 47: 97-112 (2015) - [c85]Jesús M. T. Portocarrero, Flávia Coimbra Delicato, Paulo F. Pires, Elisa Yumi Nakagawa, Flávio Oquendo:
Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. ECSA Workshops 2015: 12:1-12:8 - [c84]Bruno Costa, Paulo F. Pires, Flávia Coimbra Delicato, Flávio Oquendo:
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. ECSA Workshops 2015: 50:1-50:7 - [c83]Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman:
Foreword: Towards Reference Architectures for Systems-of-Systems. SESoS@ICSE 2015: 1-4 - [c82]Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Andrea Zisman:
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). ICSE (2) 2015: 1011-1012 - [c81]Marcelo Benites Gonçalves, Flávio Oquendo, Elisa Yumi Nakagawa:
A meta-process to construct software architectures for system of systems. SAC 2015: 1411-1416 - [c80]Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flávio Oquendo, Elisa Yumi Nakagawa:
OntolAD: a formal ontology for architectural descriptions. SAC 2015: 1417-1424 - [c79]Milena Guessi, Valdemar Vicente Graciano Neto, Thiago Bianchi, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
A systematic literature review on the description of software architectures for systems of systems. SAC 2015: 1433-1440 - [c78]Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. SBCARS 2015: 70-79 - [c77]Eduardo Silva, Thaís Batista, Flávio Oquendo:
A mission-oriented approach for designing system-of-systems. SoSE 2015: 346-351 - [c76]Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Supporting Dynamic Software Architectures: From Architectural Description to Implementation. WICSA 2015: 31-40 - [e8]Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Flávio Oquendo, Andrea Zisman:
3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7091-2 [contents] - [i9]Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo:
Formal requirement and architecture specifications of a multi-agent robotic system. CoRR abs/1501.05153 (2015) - [i8]Flávio Oquendo, Axel Legay:
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News 2015(102) (2015) - [i7]Flávio Oquendo, Axel Legay, Khalil Drira:
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News 2015(102) (2015) - [i6]Axel Legay, Jean Quilbeuf, Flávio Oquendo:
Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News 2015(103) (2015) - 2014
- [j19]Marcelo Fantinato, Uirá Kulesza, Flávio Oquendo:
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. J. Univers. Comput. Sci. 20(5): 583-586 (2014) - [c75]Valdemar Vicente Graciano Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo, Elisa Yumi Nakagawa:
Investigating the Model-Driven Development for Systems-of-Systems. ECSA Workshops 2014: 22:1-22:8 - [c74]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Flávia Coimbra Delicato, Paulo F. Pires:
On the Characterization of Missions of Systems-of-Systems. ECSA Workshops 2014: 26:1-26:8 - [c73]Everton Cavalcante, Flávio Oquendo, Thaís Vasconcelos Batista:
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. ECSA 2014: 130-145 - [c72]Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Process to Design Architectures of Service-Oriented Robotic Systems. ECSA 2014: 218-225 - [c71]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. SEKE 2014: 162-167 - [c70]Lucas Bueno Ruas de Oliveira, Fernando Santos Osório, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. SEKE 2014: 344-349 - [c69]Marcelo Benites Gonçalves, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a conceptual model for Software-intensive System-of-Systems. SMC 2014: 1605-1610 - [c68]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Variability viewpoint to describe reference architectures. WICSA Companion 2014: 14:1-14:6 - [c67]Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flávio Oquendo:
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. WICSA 2014: 143-152 - 2013
- [j18]Eduardo Santana de Almeida, Flávio Oquendo:
Software Components, Architectures and ReuseModeling, Customization and Evaluation. J. Univers. Comput. Sci. 19(2): 183-185 (2013) - [j17]Muhammad Ali Babar, Ian Gorton, Flávio Oquendo:
Building European software architecture community: how far have we come? Softw. Syst. Model. 12(2): 435-438 (2013) - [c66]Elisa Yumi Nakagawa, Marcelo Benites Gonçalves, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo:
The state of the art and future perspectives in systems of systems software architectures. SESoS 2013: 13-20 - [c65]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne:
Composition-Centered Architectural Pattern Description Language. ECSA 2013: 1-16 - [c64]Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista:
SysADL: A SysML Profile for Software Architecture Description. ECSA 2013: 106-113 - [c63]Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo:
SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. ICEIS (2) 2013: 257-264 - [c62]Elisa Yumi Nakagawa, Flávio Oquendo:
Perspectives and challenges of reference architectures in multi software product line. SPLC Workshops 2013: 100-103 - [e7]Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, José Carlos Maldonado, Elisa Yumi Nakagawa, Khalil Drira, Andrea Zisman:
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2, 2013. ACM 2013, ISBN 978-1-4503-2048-1 [contents] - 2012
- [c61]Elena Leroux, Flávio Oquendo:
Test de conformité basé sur l'architecture logicielle. CAL 2012: 51-68 - [c60]Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado:
Architectural description of embedded systems: a systematic review. ISARCS 2012: 31-40 - [c59]Minh Tu Ton That, Salah Sadou, Flávio Oquendo:
Using Architectural Patterns to Define Architectural Decisions. WICSA/ECSA 2012: 196-200 - [c58]Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker:
RAModel: A Reference Model for Reference Architectures. WICSA/ECSA 2012: 297-301 - [i5]Leonardo Minora, Jérémy Buisson, Flávio Oquendo, Thaís Vasconcelos Batista:
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration. CoRR abs/1205.4699 (2012) - 2011
- [j16]Flávio Oquendo, Eltjo R. Poort, Judith A. Stafford:
Guest Editors Introduction to the Special Issue. J. Syst. Softw. 84(9): 1423 (2011) - [j15]Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo:
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 17(5): 635-638 (2011) - 2010
- [j14]Jie Chen, Di Wu, Juan Zhang, Flávio Oquendo:
Formal modelling and analysis of HLA architectural style. Int. J. Model. Identif. Control. 9(1/2): 71-82 (2010) - [c57]Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad:
Negotiation in Heterogeneous Environments. ITNG 2010: 290-295 - [i4]Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood:
Support for Evolving Software Architectures in the ArchWare ADL. CoRR abs/1006.4740 (2010) - [i3]Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood:
Constructing Active Architectures in the ArchWare ADL. CoRR abs/1006.4829 (2010)
2000 – 2009
- 2009
- [j13]Cládia Werner, Flávio Oquendo:
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 15(11): 2138-2141 (2009) - [c56]Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo:
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART 2009: 475-482 - [c55]Flávio Oquendo:
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. ICSOFT (1) 2009: 208-217 - 2008
- [c54]Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo:
Representing Service-Oriented Architectural Models Using pi-ADL. ECSA 2008: 273-280 - [c53]Flávio Oquendo:
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. ICSEA 2008: 352-359 - [c52]Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flávio Oquendo:
The BPMSOA: evaluating the enactment of a business process using application domain specific grid services. iiWAS 2008: 232-239 - [c51]Flávio Oquendo:
p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. SBCARS 2008: 52-66 - [c50]Zawar Qayyum, Flávio Oquendo:
.NET Extensions to the p-architecture Description Languages. SEKE 2008: 244-249 - [c49]Flávio Oquendo:
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. SOSE 2008: 154-159 - 2007
- [j12]Esperanza Marcos, Carlos E. Cuesta, Flávio Oquendo:
Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 16(3/4): 333-340 (2007) - [c48]Di Wu, Jie Chen, Flávio Oquendo:
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. APSEC 2007: 568 - [c47]Ronald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, Robert Mark Greenwood:
An Active Architecture Approach to Dynamic Systems Co-evolution. ECSA 2007: 2-10 - [e6]Flávio Oquendo:
Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4758, Springer 2007, ISBN 978-3-540-75131-1 [contents] - 2006
- [j11]Selma Azaiez, Marc-Philippe Huget, Flávio Oquendo:
An approach for Multi-Agent metamodelling. Multiagent Grid Syst. 2(4): 435-454 (2006) - [j10]Flávio Oquendo:
Formally modelling software architectures with the UML 2.0 profile for pi-ADL. ACM SIGSOFT Softw. Eng. Notes 31(1): 1-13 (2006) - [j9]Radu Mateescu, Flávio Oquendo:
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Softw. Eng. Notes 31(2): 1-19 (2006) - [j8]Flávio Oquendo:
pi-Method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Softw. Eng. Notes 31(3): 1-13 (2006) - [c46]Hervé Verjus, Sorana Cîmpan, Ilham Alloui, Flávio Oquendo:
Gestion des architectures évolutives dans ArchWare. CAL 2006: 41-57 - [c45]Frédéric Pourraz, Hervé Verjus, Flávio Oquendo:
p-Diapason : un langage pour la formalisation des architectures orientées services Web. CAL 2006: 119-127 - [c44]Frédéric Pourraz, Hervé Verjus, Flávio Oquendo:
An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. ICEIS (3) 2006: 234-241 - [c43]David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo:
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. ICEIS (3) 2006: 322-330 - [c42]Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo:
Intelligent Instrument Design With ArchWare ADL. MDB/MOMPES 2006: 63-74 - [e5]Mourad Chabane Oussalah, Flávio Oquendo, Dalila Tamzalit, Tahar Khammaci:
1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France. Hermes Science 2006 [contents] - [e4]Volker Gruhn, Flávio Oquendo:
Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4344, Springer 2006, ISBN 3-540-69271-1 [contents] - [i2]David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo:
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. CoRR abs/cs/0601118 (2006) - 2005
- [c41]Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo:
Handling Dynamic Behaviour in Software Architectures. EWSA 2005: 77-93 - [c40]Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo:
Case Study on Architecture-Centered Design for Monitoring Views at CERN. WICSA 2005: 213-214 - [c39]Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo:
Intelligent Instrument Design With ArchWare ADL. WICSA 2005: 249-250 - [e3]Ronald Morrison, Flávio Oquendo:
Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings. Lecture Notes in Computer Science 3527, Springer 2005, ISBN 3-540-26275-X [contents] - [i1]David Manset, Richard McClatchey, Flávio Oquendo, Hervé Verjus:
A Model-driven Approach for Grid Services Engineering. CoRR abs/cs/0509066 (2005) - 2004
- [j7]Flávio Oquendo:
pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29(3): 1-14 (2004) - [j6]Flávio Oquendo:
Formally refining software architectures with pi-ARL: a case study. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-26 (2004) - [j5]Flávio Oquendo:
pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-20 (2004) - [c38]Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile:
Formalization of an HCI Style for Accelerator Restart Monitoring. EWSA 2004: 167-181 - [c37]Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti:
ArchWare: Architecting Evolvable Software. EWSA 2004: 257-271 - [c36]Ilham Alloui, Flávio Oquendo:
Describing Software-Intensive Process Architectures Using a UML-Based ADL. ICEIS (3) 2004: 201-208 - [c35]Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flávio Oquendo:
Towards a Business Process Formalisation Based on an Architecture Centred Approach. ICEIS (3) 2004: 513-518 - [c34]Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood:
Support for Evolving Software Architectures in the ArchWare ADL. WICSA 2004: 69-78 - [e2]Flávio Oquendo, Brian Warboys, Ronald Morrison:
Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings. Lecture Notes in Computer Science 3047, Springer 2004, ISBN 3-540-22000-3 [contents] - 2003
- [c33]Robert Mark Greenwood, Dharini Balasubramaniam, Sorana Cîmpan, Graham N. C. Kirby, Kath Mickan, Ronald Morrison, Flávio Oquendo, Ian Robertson, Wykeen Seet, Bob Snowdon, Brian Warboys, Evangelos Zirintsis:
Process Support for Evolving Active Architectures. EWSPT 2003: 112-127 - [c32]Ilham Alloui, Karim Megzari, Flávio Oquendo:
Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach. ICEIS (3) 2003: 201-210 - [c31]Selma Arbaoui, Alain Haurat, Flávio Oquendo, Franck Théroude, Hervé Verjus:
Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences. ICEIS (3) 2003: 474-482 - [e1]Flávio Oquendo:
Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings. Lecture Notes in Computer Science 2786, Springer 2003, ISBN 3-540-40764-2 [contents] - 2002
- [j4]Selma Arbaoui, Jean-Claude Derniame, Flávio Oquendo, Hervé Verjus:
A Comparative Review of Process-Centered Software Engineering Environments. Ann. Softw. Eng. 14(1-4): 311-340 (2002) - [c30]Ilham Alloui, Sorana Cîmpan, Flávio Oquendo:
Taming Process Deviations by Logic Based Monitoring. ICEIS 2002: 716-724 - 2001
- [j3]Ilham Alloui, Sorana Cîmpan, Flávio Oquendo, Hervé Verjus:
A Software Framework for Software-Intensive Process Modeling, Enactment and fuzzy Control. Trans. SDPS 5(4): 39-53 (2001) - [c29]Ilham Alloui, Sorana Cîmpan, Flávio Oquendo:
Monitoring Software Process Interactions: A Logic-Based Approach. EWSPT 2001: 39-46 - [c28]Ilham Alloui, Flávio Oquendo:
Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language. ICEIS (1) 2001: 207-215 - 2000
- [j2]Christelle Chaudet, Robert Mark Greenwood, Flávio Oquendo, Brian Warboys:
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. IEE Proc. Softw. 147(6): 203-214 (2000) - [j1]Sorana Cîmpan, Flávio Oquendo:
OMEGA: a language and system for on-line monitoring of software-intensive processes. ACM SIGSOFT Softw. Eng. Notes 25(4): 62-68 (2000) - [c27]Ilham Alloui, Sami Beydeda, Sorana Cîmpan, Volker Gruhn, Flávio Oquendo, Christian Schneider:
Advanced Services for Process Evolution: Monitoring and Decision Support. EWSPT 2000: 21-37 - [c26]Flávio Oquendo, K. Nadia Papamichail, Ian Robertson:
Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen. EWSPT 2000: 84-89 - [c25]Flávio Oquendo, K. Nadia Papamichail, Ian Robertson:
Addressing Decision Making Issues in Enterprise Process Modelling. ICEIS 2000: 333-338 - [c24]Christelle Chaudet, Flávio Oquendo:
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. ASE 2000: 245-248
1990 – 1999
- 1999
- [c23]Pierre-Yves Cunin, Ilham Alloui, Selma Arbaoui, Denis Avrilionis, Christer Fernström, Samir Dami, Jacky Estublier, Flávio Oquendo:
Assessment Framework for PSEEs. Software Process: Principles, Methodology, Technology 1999: 245-276 - [c22]Ilham Alloui, Sorana Cîmpan, Flávio Oquendo, Hervé Verjus:
ALLIANCE: An Agent-Based Case Environment for Enterprose Process Modelling, Enactment and Quantitative Control. ICEIS 1999: 371-382 - 1998
- [c21]Sorana Cîmpan, Flávio Oquendo:
Fuzzy Indicators for Monitoring Software Processes. EWSPT 1998: 43-59 - [c20]Ilham Alloui, Flávio Oquendo:
Managing Consistency in Cooperating Software Processes. EWSPT 1998: 92-99 - 1996
- [c19]Ilham Alloui, Safia Latrous, Flávio Oquendo:
A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes. EWSPT 1996: 225-235 - [c18]Ilham Alloui, Flávio Oquendo:
Support for environment-mediated human cooperation in large-scale reuse-based projects. ISPW 1996: 18-20 - [c17]Selma Arbaoui, Flávio Oquendo:
Reuse sensitive process models: are process elements software assets too? ISPW 1996: 21-24 - [c16]Safia Latrous, Flávio Oquendo:
A Reflective Multi-agent System for Software Process Enaction and Evolution. PAAM 1996: 853-870 - [c15]Ilham Alloui, Flávio Oquendo:
Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. SEKE 1996: 465-473 - 1994
- [c14]Selma Arbaoui, Flávio Oquendo:
Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives. EWSPT 1994: 171-176 - [c13]Ilham Alloui, Selma Arbaoui, Flávio Oquendo:
Process-centered environments: support for human-environment interaction and environment-mediated human cooperation. ISPW 1994: 110-113 - [c12]Selma Mouline, Flávio Oquendo:
Algèbre des objets classes : une algèbre pour les bases de données orientées objet. LMO 1994: 25-38 - 1993
- [c11]Selma Mouline, Flávio Oquendo:
Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique. BDA 1993: 355-378 - [c10]Selma Arbaoui, Flávio Oquendo:
Managing Inconsistencies Between Process Enactment and Process Performance States. ISPW 1993: 24-27 - 1992
- [c9]Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths:
A Meta-CASE Environment for Software Process-Centred CASE Environments. CAiSE 1992: 568-588 - [c8]Alain Berrendonner, Mounia Fredj, Flávio Oquendo, Jacques Rouault:
Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. COLING 1992: 461-467 - [c7]Marie-Hélène Stefanini, Alain Berrendonner, Genevieve Lallich, Flávio Oquendo:
Talisman: Un Système Multi-Agents Gouverné Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle. COLING 1992: 490-497 - [c6]Selma Arbaoui, Selma Mouline, Flávio Oquendo, Guy Tassart:
PEACE: Describing and Managing Evolving Knowledge in the Software Process. EWSPT 1992: 215-222 - 1991
- [c5]Flávio Oquendo, Gérard Boudier, Ferdinando Gallo, Régis Minot, Ian Thomas:
The PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments. DASFAA 1991: 41-50 - [c4]Flávio Oquendo:
Supporting software process communication and cooperation through object sets. ISPW 1991: 102-105 - 1990
- [c3]Flávio Oquendo:
Building object and process-centered software environments on the PCTE public tool interface. ISPW 1990: 149-154
1980 – 1989
- 1989
- [c2]Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas:
Version Management in the PACT Integrated Software Engineering Environment. ESEC 1989: 222-242 - [c1]Amaury Legait, Flávio Oquendo, Dan Oldfield:
MASP: A Model for Assisted Software Processes. SEE 1989: 57-67
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
