Skip to content

Flvio Oquendo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

60

Venues

27

Active years

1991–2026

Best venue rank

A*

Where they publish

Papers

60 indexed papers, newest first.

YearVenueTitleAuthors
2026COMPSACFrom Architectural Descriptions to Executable Software Models with Environmental and Scenario Dynamics.Tales Viglioni, Jair C. Leite, Thas Vasconcelos Batista, Flvio Oquendo, Everton Cavalcante, Eder Xavier
2026MODELSWARDEnvironment and Scenario Viewpoints to Execute SysML-Based Architectural Models.Tales Viglioni, Jair C. Leite, Eder Xavier, Thas Batista, Everton Cavalcante, Flvio Oquendo
2025CaiSEDigital Twins in Systems-of-Systems on the Internet-of-Vehicles: The Case of Overtaking Maneuver.Flvio Oquendo
2025ICSAExploring Synergies and Challenges of System-of-Systems Digital Twins.Everton Cavalcante, Thas Batista, Flvio Oquendo
2025SECFRAMICS: Functional Risk Assessment Methodology for Industrial Control Systems.Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flvio Oquendo, Pascal Berruet
2024ECSAThe Execution Perspective in Software Architecture Descriptions: A Systematic Mapping.Tales Viglioni, Thas Batista, Everton Cavalcante, Flvio Oquendo
2024WISTPA Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog.Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flvio Oquendo, Pascal Berruet, Djamal Kesraoui
2023TenconFuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case.Flvio Oquendo
2021ICCSAGenerating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach.Camila Arajo, Thas Batista, Everton Cavalcante, Flvio Oquendo
2020ECSAEmpowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.Fagner Dias, Marcel Oliveira, Thas Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flvio Oquendo, Camila Arajo
2020SACAn architectural style for internet of things systems.Lidiane Oliveira dos Santos, Eduardo Silva, Thas Batista, Everton Cavalcante, Jair C. Leite, Flvio Oquendo
2019ICCSADealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins.Flvio Oquendo
2018ECSAFormally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things.Flvio Oquendo
2018ICSAModeling and Executing Software Architecture Using SysADL.Thas Batista, Flvio Oquendo, Jair C. Leite
2018ICSADesigning and Executing Software Architectures Models Using SysADL Studio.Jair C. Leite, Thas Batista, Flvio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez
2017ICSAArchitecting IoT Applications with SysADL.Jair C. Leite, Thas Batista, Flvio Oquendo
2017ICSEJoint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems.Elisa Yumi Nakagawa, Flvio Oquendo, Paris Avgeriou, Rodrigo Pereira dos Santos
2016CBMSA Quality Model for AAL Software Systems.Lina Maria Garcs Rodriguez, Flvio Oquendo, Elisa Yumi Nakagawa
2016CLEISystems-of-systems development: Initiatives, trends, and challenges.Cristiane Aparecida Lana, Nilton Mendes Souza, Mrcio Eduardo Delamaro, Elisa Yumi Nakagawa, Flvio Oquendo, Jos Carlos Maldonado
2016ECSAStatistical Model Checking of Dynamic Software Architectures.Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay
2016ECSAFormal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.Soraya Mesli-Kesraoui, Djamal Kesraoui, Flvio Oquendo, Alain Bignon, Armand Toguyni, Pascal Berruet
2016ECSASoftware Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems.Flvio Oquendo
2016ECSAThe sosADL studio: an architecture development environment for software-intensive systems-of-systems.Flvio Oquendo, Jrmy Buisson, Elena Leroux, Gersan Mogurou, Jean Quilbeuf
2016ECSAExecuting Software Architecture Descriptions with SysADL.Flvio Oquendo, Jair C. Leite, Thas Batista
2016ICECCSFormally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL.Flvio Oquendo
2016ICECCSBridging Missions and Architecture in Software-Intensive Systems-of-Systems.Eduardo Silva, Everton Cavalcante, Thas Vasconcelos Batista, Flvio Oquendo
2016ISoLAA Logic for the Statistical Model Checking of Dynamic Software Architectures.Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay
2016MiddlewareThinking Smart Cities as Systems-of-Systems: A Perspective Study.Everton Cavalcante, Nlio Cacho, Frederico Lopes, Thas Batista, Flvio Oquendo
2016SMCCase study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL.Flvio Oquendo
2015ECSATowards a View-Based Process for Designing and Documenting RESTful Service Architectures.Bruno Costa, Paulo F. Pires, Flvia Coimbra Delicato, Flvio Oquendo
2015ECSASelf-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture.Jess M. T. Portocarrero, Flvia Coimbra Delicato, Paulo F. Pires, Elisa Yumi Nakagawa, Flvio Oquendo
2015ICSEForeword: Towards Reference Architectures for Systems-of-Systems.Elisa Yumi Nakagawa, Flvio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Jos Carlos Maldonado, Andrea Zisman
2015ICSE3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).Flvio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, Jos Carlos Maldonado, Andrea Zisman
2015SACA meta-process to construct software architectures for system of systems.Marcelo Benites Gonalves, Flvio Oquendo, Elisa Yumi Nakagawa
2015SACOntolAD: a formal ontology for architectural descriptions.Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flvio Oquendo, Elisa Yumi Nakagawa
2015SACA systematic literature review on the description of software architectures for systems of systems.Milena Guessi, Valdemar Vicente Graciano Neto, Thiago Bianchi, Ktia Romero Felizardo, Flvio Oquendo, Elisa Yumi Nakagawa
2014ECSAArchitecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language.Everton Cavalcante, Flvio Oquendo, Thas Vasconcelos Batista
2014ECSAInvestigating the Model-Driven Development for Systems-of-Systems.Valdemar Vicente Graciano Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flvio Oquendo, Elisa Yumi Nakagawa
2014ECSATowards a Process to Design Architectures of Service-Oriented Robotic Systems.Lucas Bueno Ruas de Oliveira, Elena Leroux, Ktia Romero Felizardo, Flvio Oquendo, Elisa Yumi Nakagawa
2014ECSAOn the Characterization of Missions of Systems-of-Systems.Eduardo Silva, Everton Cavalcante, Thas Vasconcelos Batista, Flvio Oquendo, Flvia Coimbra Delicato, Paulo F. Pires
2014SMCTowards a conceptual model for Software-intensive System-of-Systems.Marcelo Benites Gonalves, Everton Cavalcante, Thas Vasconcelos Batista, Flvio Oquendo, Elisa Yumi Nakagawa
2014SEKEAn Approach for Capturing and Documenting Architectural Decisions of Reference Architectures.Milena Guessi, Flvio Oquendo, Elisa Yumi Nakagawa
2014SEKETowards a Taxonomy of Services for Developing Service-Oriented Robotic Systems.Lucas Bueno Ruas de Oliveira, Fernando Santos Osrio, Flvio Oquendo, Elisa Yumi Nakagawa
2013ECOOPThe state of the art and future perspectives in systems of systems software architectures.Elisa Yumi Nakagawa, Marcelo Benites Gonalves, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flvio Oquendo
2013ECSASysADL: A SysML Profile for Software Architecture Description.Jair C. Leite, Flvio Oquendo, Thas Vasconcelos Batista
2013ECSAComposition-Centered Architectural Pattern Description Language.Minh Tu Ton That, Salah Sadou, Flvio Oquendo, Isabelle Borne
2013SPLCPerspectives and challenges of reference architectures in multi software product line.Elisa Yumi Nakagawa, Flvio Oquendo
2009ICAARTFormal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.Nadeem Akhtar, Yann Le Guyadec, Flvio Oquendo
2009ICSoftOn the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.Flvio Oquendo
2008ECSARepresenting Service-Oriented Architectural Models Using pi-ADL.Marcos Lpez Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flvio Oquendo
2008IIWASThe BPMSOA: evaluating the enactment of a business process using application domain specific grid services.Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flvio Oquendo
2008ICSEADynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL.Flvio Oquendo
2008SEKE.NET Extensions to the p-architecture Description Languages.Zawar Qayyum, Flvio Oquendo
2007APSECFormal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach.Di Wu, Jie Chen, Flvio Oquendo
2007ECSAAn Active Architecture Approach to Dynamic Systems Co-evolution.Ronald Morrison, Dharini Balasubramaniam, Flvio Oquendo, Brian Warboys, Robert Mark Greenwood
1996SEKEPeace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments.Ilham Alloui, Flvio Oquendo
1992CaiSEA Meta-CASE Environment for Software Process-Centred CASE Environments.Flvio Oquendo, Jean-Daniel Zucker, Philip Griffiths
1992COLINGUn Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles.Alain Berrendonner, Mounia Fredj, Flvio Oquendo, Jacques Rouault
1992COLINGTalisman: Un Systme Multi-Agents Gouvern Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle.Marie-Hlne Stefanini, Alain Berrendonner, Genevieve Lallich, Flvio Oquendo
1991DASFAAThe PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments.Flvio Oquendo, Grard Boudier, Ferdinando Gallo, Rgis Minot, Ian Thomas