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
ICSE
- Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
- Committee member in Workshops within the Workshops-track
- Session Chair of SE for AI 3 (part of Research Track)
- LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
- 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
ICSE 2025-profile
View general profile
View general profile