I agree that this site is using cookies. You can find further informations here.
X
Brizzio, Matías
8  results:
Search for persons X
?
1

Resolving Goal-Conflicts and Scaling Synthesis through Mode..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Brizzio, Matías - p. 207-211 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Resolving Goal-Conflicts and Scaling Synthesis through Mode..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Brizzio, Matias - p. 207-211 , 2024
Link: https://doi.org/10.1145/..
 
?
3

ACoRe: Automated Goal-Conflict Resolution:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Carvalho, Luiz ; Degiovanni, Renzo ; Brizzio, Matías... - p. 3-25 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Efficient Reactive Synthesis Using Mode Decomposition:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Brizzio, Matías ; Sánchez, César - p. 256-275 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Automated Repair of Unrealisable LTL Specifications Guided ..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference,
Brizzio, Matías ; Cordy, Maxime ; Papadakis, Mike... - p. 1499-1507 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Efficient Reactive Synthesis Using Mode Decomposition:

Brizzio, Matías ; Sánchez, César
http://arxiv.org/abs/2312.08717.  , 2023
Link: http://arxiv.org/abs/231..
 
?
7

ACoRe: Automated Goal-Conflict Resolution:

Carvalho, Luiz ; Degiovanni, Renzo ; Brizzio, Matìas...
http://arxiv.org/abs/2303.05213.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Automated Repair of Unrealisable LTL Specifications Guided ..:

Brizzio, Matías ; Cordy, Maxime ; Papadakis, Mike...
http://arxiv.org/abs/2105.12595.  , 2021
Link: http://arxiv.org/abs/210..
 
1-8