Flávio Oquendo

According to our database1, Flávio Oquendo
  • authored at least 139 papers between 1989 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
ASAS: An Approach to Support Simulation of Smart Systems.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2017
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures.
J. Braz. Comp. 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

Architecting IoT Applications with SysADL.
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

Preserving architectural decisions through architectural patterns.
Autom. Softw. Eng., 2016

Specifying Architecture Behavior with SysADL.
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

Formally describing the software architecture of Systems-of-Systems with SosADL.
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

Thinking Smart Cities as Systems-of-Systems: A Perspective Study.
Proceedings of the 2nd International Workshop on Smart Cities, 2016

A Logic for the Statistical Model Checking of Dynamic Software Architectures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Bridging Missions and Architecture in Software-Intensive Systems-of-Systems.
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

Executing Software Architecture Descriptions with SysADL.
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

Statistical Model Checking of Dynamic Software Architectures.
Proceedings of the Software Architecture - 10th European Conference, 2016

Systems-of-systems development: Initiatives, trends, and challenges.
Proceedings of the XLII Latin American Computing Conference, 2016

A Quality Model for AAL Software Systems.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

2015
Preserving architectural pattern composition information through explicit merging operators.
Future Generation Comp. Syst., 2015

Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems.
Future Generation Comp. Syst., 2015

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems.
ERCIM News, 2015

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL.
ERCIM News, 2015

Verifying Systems-of-Systems with Statistical Model Checking.
ERCIM News, 2015

Formal requirement and architecture specifications of a multi-agent robotic system.
CoRR, 2015

Supporting Dynamic Software Architectures: From Architectural Description to Implementation.
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

A mission-oriented approach for designing system-of-systems.
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

OntolAD: a formal ontology for architectural descriptions.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A meta-process to construct software architectures for system of systems.
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

Foreword: Towards Reference Architectures for Systems-of-Systems.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015

Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture.
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. UCS, 2014

Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Variability viewpoint to describe reference architectures.
Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014

Towards a conceptual model for Software-intensive System-of-Systems.
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

On the Characterization of Missions of Systems-of-Systems.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Towards a Process to Design Architectures of Service-Oriented Robotic Systems.
Proceedings of the Software Architecture - 8th European Conference, 2014

Investigating the Model-Driven Development for Systems-of-Systems.
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
Building European software architecture community: how far have we come?
Software and System Modeling, 2013

Software Components, Architectures and ReuseModeling, Customization and Evaluation.
J. UCS, 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

Composition-Centered Architectural Pattern Description Language.
Proceedings of the Software Architecture - 7th European Conference, 2013

SysADL: A SysML Profile for Software Architecture Description.
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
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration
CoRR, 2012

Using Architectural Patterns to Define Architectural Decisions.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

RAModel: A Reference Model for Reference Architectures.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Architectural description of embedded systems: a systematic review.
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

Test de conformité basé sur l'architecture logicielle.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

2011
Software Components, Architectures and Reuse.
J. UCS, 2011

Guest Editors Introduction to the Special Issue.
Journal of Systems and Software, 2011

2010
Formal modelling and analysis of HLA architectural style.
IJMIC, 2010

Constructing Active Architectures in the ArchWare ADL
CoRR, 2010

Support for Evolving Software Architectures in the ArchWare ADL
CoRR, 2010

Negotiation in Heterogeneous Environments.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
Software Components, Architectures and Reuse.
J. UCS, 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

Representing Service-Oriented Architectural Models Using pi-ADL.
Proceedings of the Software Architecture, Second European Conference, 2008

2007
Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst., 2007

An Active Architecture Approach to Dynamic Systems Co-evolution.
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 Software Engineering Notes, 2006

Formally modelling software architectures with the UML 2.0 profile for pi-ADL.
ACM SIGSOFT Software Engineering Notes, 2006

pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
ACM SIGSOFT Software Engineering Notes, 2006

An approach for Multi-Agent metamodelling.
Multiagent and Grid Systems, 2006

A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications
CoRR, 2006

Intelligent Instrument Design With ArchWare ADL.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 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
A Model-driven Approach for Grid Services Engineering
CoRR, 2005

Intelligent Instrument Design With ArchWare ADL.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Case Study on Architecture-Centered Design for Monitoring Views at CERN.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Handling Dynamic Behaviour in Software Architectures.
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 Software Engineering Notes, 2004

Formally refining software architectures with pi-ARL: a case study.
ACM SIGSOFT Software Engineering 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 Software Engineering Notes, 2004

Support for Evolving Software Architectures in the ArchWare ADL.
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

Formalization of an HCI Style for Accelerator Restart Monitoring.
Proceedings of the Software Architecture, First European Workshop, 2004

ArchWare: Architecting Evolvable Software.
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

Process Support for Evolving Active Architectures.
Proceedings of the Software Process Technology, 9th International Workshop, 2003

2002
A Comparative Review of Process-Centered Software Engineering Environments.
Ann. Software 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.
Transactions of the SDPS, 2001

Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language.
Proceedings of the ICEIS 2001, 2001

Monitoring Software Process Interactions: A Logic-Based Approach.
Proceedings of the Software Process Technology, 8th European Workshop, 2001

2000
OMEGA: a language and system for on-line monitoring of software-intensive processes.
ACM SIGSOFT Software Engineering Notes, 2000

Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems.
IEE Proceedings - Software, 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

Advanced Services for Process Evolution: Monitoring and Decision Support.
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
Fuzzy Indicators for Monitoring Software Processes.
Proceedings of the Software Process Technology, 6th European Workshop, 1998

Managing Consistency in Cooperating Software Processes.
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

Reuse sensitive process models: are process elements software assets too?
Proceedings of the 10th International Software Process Workshop (ISPW '96), 1996

Support for environment-mediated human cooperation in large-scale reuse-based projects.
Proceedings of the 10th International Software Process Workshop (ISPW '96), 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
PEACE: Describing and Managing Evolving Knowledge in the Software Process.
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

Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles.
Proceedings of the 14th International Conference on Computational Linguistics, 1992

A Meta-CASE Environment for Software Process-Centred CASE Environments.
CAiSE, 1992

1991
Supporting software process communication and cooperation through object sets.
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
MASP: A Model for Assisted Software Processes.
Proceedings of the Software Engineering Environments, 1989

Version Management in the PACT Integrated Software Engineering Environment.
Proceedings of the ESEC '89, 1989


  Loading...