Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alberto Griggio
conf.researchr.org general profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
MODELS 2022 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2024 profile
Not registered as user
Name:
Alberto Griggio
Country:
Italy
Affiliation:
Fondazione Bruno Kessler
Personal website:
https://es-static.fbk.eu/people/griggio/
Contributions
2024
Dafny
Author of Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking within the Dafny 2024-track
2022
MODELS
Author of A Comprehensive Framework for the Analysis of Automotive Systems within the Technical Track-track
2021
VMCAI
Author of Proving the existence of fair paths in infinite state systems within the VMCAI-track
2020
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
HCVS
Committee Member in Program Committee within the HCVS-track
InterAVT
Committee Member in Program Committee within the InterAVT-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
2018
ESEC/FSE
Author of Symbolic Execution with Existential Second-Order Constraints within the Research Papers-track
Share
x
Sat 21 Dec 18:05
