conf.researchr.org / Lina Marsso
Registered user since Fri 7 Jan 2022
Name:Lina Marsso
Country:Canada
Affiliation:École Polytechnique de Montréal
Personal website: http://www.cs.toronto.edu/~lmarsso/
Research interests:Formal methods, model-based testing, program analysis and verification.
Contributions
2025
Requirements Engineering
ICSE
- Presenter of Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification within the Tutorials and Technical Briefings-track
- Committee member in Workshops within the Workshops-track
- Session Chair of SE for AI 3 (part of Research Track)
- Author of LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements within the Demonstrations-track
- Committee Member in Research Track within the Research Track-track
- Session Chair of SE for AI with Security (part of Research Track)
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2024
ASE
- Session Chair of GDPR and privacy (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
- Author of Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects within the Research Papers-track
- Session Chair of Requirement engineering (part of Research Papers)