Events

PC Chair - IPM International Conference on Fundamentals of Software Engineering

PC member - PhD symposium at the International Conference on Software and Systems Reuse, Product Lines, and Configuration (former ICSR, SPLC, and VaMoS)

PC member & Invited speaker - 7th Workshop on Models for Formal Analysis of Real Systems

PC member - 28th Brazilian Symposium on Formal Methods

PC Chair - 2nd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

PC member - 23rd International Conference on Software Engineering and Formal Methods

PC member - International Conference on Reliability, Safety and Security of Railway Systems

PC member - 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

PC member - 16th National Symposium of Informatics (track SOFT-PT)

PC member - PhD symposium at the 29TH ACM International Systems and Software Product Line Conference

Program Committee Member - 10th International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing

PC chair - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems

Steering Committee Member & Program Committee Member - IFIP International Conference on Coordination Models and Languages

Steering Committee Member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC member and Workshop Chair - 22nd International Conference on Software Engineering and Formal Methods

Steering committee member & PC member - International Conference on Formal Aspects of Component Software

PC member - 15th National Symposium of Informatics (track SOFT-PT)

PC member - PhD symposium at the 28TH ACM International Systems and Software Product Line Conference

PC chair - 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems

Steering & Program committee member - IFIP International Conference on Coordination Models and Languages

PC member - International Colloquium on Theoretical Aspects of Computing

PC member - PhD symposium at the 18th International Conference on integrated Formal Methods

PC member - 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems

Steering committee member & PC member - International Conference on Formal Aspects of Component Software

PC member - International Conference on Reliability, Safety and Security of Railway Systems

PC chair - International Workshop on Verification & Validation of Dependable Cyber-Physical Systems

Steering & Program committee member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC member - First Workshop on Trends in Configurable Systems Analysis

PC chair, organizer, and steering committee member - International Conference on Formal Aspects of Component Software

Steering & Program committee member - IFIP International Conference on Coordination Models and Languages

Program committee member - Quantitative Aspects of Variant-rich Systems

Artifact evaluation committee member - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Steering committee member & PC member - International Conference on Formal Aspects of Component Software

PC member - International Workshop on Machine Learning in Software Engineering

PC member - International Colloquium on Theoretical Aspects of Computing

Steering committee member - IFIP International Conference on Coordination Models and Languages

PC chair - Workshop on Formal Integrated Development Environment

PC member - IPM International Conference on Fundamentals of Software Engineering

Artifact evaluation committee member - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

Steering committee member - International Conference on Formal Aspects of Component Software

PC chair - Workshop on Formal Integrated Development Environment

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC member - International Workshop on Reactive and Event-Based Languages & Systems

Steering committee member - International Conference on Formal Aspects of Component Software

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

Local organizer and PC chair - International Conference on Formal Aspects of Component Software

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC chair - IFIP International Conference on Coordination Models and Languages

PC Chair - International Workshop on Coordination and Self-adaptativeness of Software Applications

PC member - IPM International Conference on Fundamentals of Software Engineering

PC Chair - International Workshop on Coordination and Self-adaptativeness of Software Applications