Travelled to:1 × Australia
1 × Canada
1 × Estonia
1 × France
1 × Italy
1 × Vietnam
3 × Austria
Collaborated with:F.Belardinelli J.Michaliszyn F.Raimondi J.Ezekiel F.Patrizi P.Felli G.D.Giacomo P.Gonzalez H.Qu P.Cermák F.Mogavero A.Murano L.S.Moss E.Ovchinnikova R.Rosati
Talks about:system (7) agent (6) verif (5) multi (5) model (4) mcmas (4) checker (3) specif (3) logic (3) techniqu (2)
Person: Alessio Lomuscio
DBLP: Lomuscio:Alessio
Contributed to:
2014
20142012
201220102009
20092008
2006Wrote 12 papers:
- CAV-2014-CermakLMM #logic #model checking #named #specification #verification
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
- KR-2014-LomuscioM #abstraction #atl #multi #specification #verification
- An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
- KR-2014-LomuscioM14a #bound #model checking
- Model Checking Unbounded Artifact-Centric Systems (AL, JM).
- KR-2014-LomuscioMOR
- Tutorials (AL, LSM, EO, RR).
- KR-2012-BelardinelliLP #abstraction #verification
- An Abstraction Technique for the Verification of Artifact-Centric Systems (FB, AL, FP).
- KR-2012-FelliGL #ltl #multi #protocol #specification
- Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments (PF, GDG, AL).
- QAPL-2012-BelardinelliGL #automation #protocol #quantum #using #verification
- Automated Verification of Quantum Protocols using MCMAS (FB, PG, AL), pp. 48–62.
- KR-2010-BelardinelliL #first-order #interactive #logic #multi
- Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).
- CAV-2009-LomuscioQR #model checking #multi #named #verification
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems (AL, HQ, FR), pp. 682–688.
- SEFM-2009-EzekielL #approach #automation #multi #verification
- An Automated Approach to Verifying Diagnosability in Multi-agent Systems (JE, AL), pp. 51–60.
- KR-2008-BelardinelliL #first-order #logic
- A Complete First-Order Logic of Knowledge and Time (FB, AL), pp. 705–714.
- TACAS-2006-LomuscioR #model checking #multi #named
- MCMAS: A Model Checker for Multi-agent Systems (AL, FR), pp. 450–454.