conf.researchr.org / Lina Marsso
Registered user since Fri 7 Jan 2022
Name:Lina Marsso
Country:Canada
Affiliation:University of Toronto
Personal website: http://www.cs.toronto.edu/~lmarsso/
Research interests:Formal methods, model-based testing, program analysis and verification.
Contributions
2025
Requirements Engineering
ICSE
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)