Flávio Oquendo
Orcid: 0000-0003-4171-2445
According to our database1,
Flávio Oquendo
authored at least 166 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Looking back and forward: A retrospective and future directions on software engineering for systems-of-systems.
J. Softw. Evol. Process., October, 2024
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog.
Proceedings of the Information Security Theory and Practice, 2024
The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping.
Proceedings of the Software Architecture - 18th European Conference, 2024
2023
Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case.
Proceedings of the IEEE Region 10 Conference, 2023
2021
CoRR, 2021
Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021
2020
Softw. Syst. Model., 2020
On the verification of mission-related properties in software-intensive systems-of-systems architectural design.
Sci. Comput. Program., 2020
Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review.
Int. J. E Health Medical Commun., 2020
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures.
Proceedings of the 6th IEEE World Forum on Internet of Things, 2020
Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.
Proceedings of the Software Architecture - 14th European Conference, 2020
Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020
2019
Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL.
Syst. Eng., 2019
Software mediators as first-class entities of systems-of-systems software architectures.
J. Braz. Comput. Soc., 2019
IEEE Access, 2019
Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL.
Proceedings of the 14th Annual Conference System of Systems Engineering, 2019
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL.
Proceedings of the Internet of Things. A Confluence of Many Disciplines, 2019
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019
2018
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Proceedings of the VII Brazilian Symposium on Software Components, 2018
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things.
Proceedings of the Software Architecture, 2018
2017
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures.
J. Braz. Comput. Soc., 2017
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems.
Comput. J., 2017
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL.
Proceedings of the 12th System of Systems Engineering Conference, 2017
Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL.
Proceedings of the 12th System of Systems Engineering Conference, 2017
Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems.
Proceedings of the 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, 2017
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017
2016
Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard
Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-44339-3, 2016
Autom. Softw. Eng., 2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems.
Proceedings of the 11th System of Systems Engineering Conference, 2016
Proceedings of the 11th System of Systems Engineering Conference, 2016
Checking the architectural feasibility of Systems-of-Systems using formal descriptions.
Proceedings of the 11th System of Systems Engineering Conference, 2016
Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
Proceedings of the 2nd International Workshop on Smart Cities, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the Software Architecture - 10th European Conference, 2016
The sosADL studio: an architecture development environment for software-intensive systems-of-systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
Proceedings of the Software Architecture - 10th European Conference, 2016
Proceedings of the Software Architecture - 10th European Conference, 2016
Proceedings of the XLII Latin American Computing Conference, 2016
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016
2015
Preserving architectural pattern composition information through explicit merging operators.
Future Gener. Comput. Syst., 2015
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems.
Future Gener. Comput. Syst., 2015
ERCIM News, 2015
ERCIM News, 2015
CoRR, 2015
Supporting Dynamic Software Architectures: From Architectural Description to Implementation.
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015
Proceedings of the 10th System of Systems Engineering Conference, SoSE 2015, 2015
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems.
Proceedings of the 2015 IX Brazilian Symposium on Components, 2015
A systematic literature review on the description of software architectures for systems of systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015
2014
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements.
J. Univers. Comput. Sci., 2014
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014
Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014
Proceedings of the Software Architecture - 8th European Conference, 2014
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language.
Proceedings of the Software Architecture - 8th European Conference, 2014
2013
Softw. Syst. Model., 2013
J. Univers. Comput. Sci., 2013
Perspectives and challenges of reference architectures in multi software product line.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines.
Proceedings of the ICEIS 2013, 2013
Proceedings of the Software Architecture - 7th European Conference, 2013
Proceedings of the Software Architecture - 7th European Conference, 2013
The state of the art and future perspectives in systems of systems software architectures.
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, 2013
2012
CoRR, 2012
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012
2011
2010
Int. J. Model. Identif. Control., 2010
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
2009
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.
Proceedings of the ICSOFT 2009, 2009
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
2008
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008
.NET Extensions to the p-architecture Description Languages.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions.
Proceedings of the Second Brazilian Symposium on Software Components, 2008
The BPMSOA: evaluating the enactment of a business process using application domain specific grid services.
Proceedings of the iiWAS'2008, 2008
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL.
Proceedings of the Third International Conference on Software Engineering Advances, 2008
Proceedings of the Software Architecture, Second European Conference, 2008
2007
Proceedings of the Software Architecture, First European Conference, 2007
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
pi-Method: a model-driven formal method for architecture-centric software engineering.
ACM SIGSOFT Softw. Eng. Notes, 2006
ACM SIGSOFT Softw. Eng. Notes, 2006
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
ACM SIGSOFT Softw. Eng. Notes, 2006
An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture.
Proceedings of the ICEIS 2006, 2006
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications.
Proceedings of the ICEIS 2006, 2006
Gestion des architectures évolutives dans ArchWare.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006
p-Diapason : un langage pour la formalisation des architectures orientées services Web.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006
2005
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005
Proceedings of the Software Architecture, 2nd European Workshop, 2005
2004
pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.
ACM SIGSOFT Softw. Eng. Notes, 2004
ACM SIGSOFT Softw. Eng. Notes, 2004
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, 2004
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Towards a Business Process Formalisation Based on an Architecture Centred Approach.
Proceedings of the ICEIS 2004, 2004
Describing Software-Intensive Process Architectures Using a UML-Based ADL.
Proceedings of the ICEIS 2004, 2004
Proceedings of the Software Architecture, First European Workshop, 2004
Proceedings of the Software Architecture, First European Workshop, 2004
2003
Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences.
Proceedings of the ICEIS 2003, 2003
Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach.
Proceedings of the ICEIS 2003, 2003
Proceedings of the Software Process Technology, 9th International Workshop, 2003
2002
Ann. Softw. Eng., 2002
Taming Process Deviations by Logic Based Monitoring.
Proceedings of the ICEIS 2002, 2002
2001
A Software Framework for Software-Intensive Process Modeling, Enactment and fuzzy Control.
Trans. SDPS, 2001
Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language.
Proceedings of the ICEIS 2001, 2001
Proceedings of the Software Process Technology, 8th European Workshop, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems.
IEE Proc. Softw., 2000
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
Addressing Decision Making Issues in Enterprise Process Modelling.
Proceedings of the ICEIS 2000, 2000
Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen.
Proceedings of the Software Process Technology, 7th European Workshop, 2000
Proceedings of the Software Process Technology, 7th European Workshop, 2000
1999
ALLIANCE: An Agent-Based Case Environment for Enterprose Process Modelling, Enactment and Quantitative Control.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999
Assessment Framework for PSEEs.
Proceedings of the Software Process: Principles, Methodology, Technology, 1999
1998
Proceedings of the Software Process Technology, 6th European Workshop, 1998
Proceedings of the Software Process Technology, 6th European Workshop, 1998
1996
Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
A Reflective Multi-agent System for Software Process Enaction and Evolution.
Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996
Proceedings of the 10th International Software Process Workshop, 1996
Support for environment-mediated human cooperation in large-scale reuse-based projects.
Proceedings of the 10th International Software Process Workshop, 1996
A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes.
Proceedings of the Software Process Technology, 5th European Workshop, 1996
1994
Algèbre des objets classes : une algèbre pour les bases de données orientées objet.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1994
Process-centered environments: support for human-environment interaction and environment-mediated human cooperation.
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994
Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives.
Proceedings of the Software Process Technology, Third European Workshop, 1994
1993
Managing Inconsistencies Between Process Enactment and Process Performance States.
Proceedings of the State of the Practice in Process Technology, 1993
Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique.
Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993
1992
Proceedings of the Software Process Technology, Second European Workshop, 1992
Talisman: Un Système Multi-Agents Gouverné Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle.
Proceedings of the 14th International Conference on Computational Linguistics, 1992
Proceedings of the 14th International Conference on Computational Linguistics, 1992
Proceedings of the Advanced Information Systems Engineering, 1992
1991
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991
The PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments.
Proceedings of the Database Systems for Advanced Applications '91, 1991
1990
Building object and process-centered software environments on the PCTE public tool interface.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990
1989
Proceedings of the Software Engineering Environments, 1989
Proceedings of the ESEC '89, 1989