Fausto Giunchiglia

Fausto Giunchiglia

Università degli Studi di Trento - Trento / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1802075
University of Trento
person_outline Fausto Giunchiglia's MOST POPULAR ARTICLES
1-) Nusmv 2: An opensource tool for symbolic model checkingA Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...Computer Aided Verification, 241-268, 200225752002
2-) Tropos: An agent-oriented software development methodologyP Bresciani, A Perini, P Giorgini, F Giunchiglia, J MylopoulosAutonomous Agents and Multi-Agent Systems 8 (3), 203-236, 200425732004
3-) NuSMV: A new symbolic model verifierA Cimatti, E Clarke, F Giunchiglia, M RoveriComputer Aided Verification (CAV), 19999191999
4-) NuSMV: a new symbolic model checkerA Cimatti, E Clarke, F Giunchiglia, M RoveriInternational Journal on Software Tools for Technology Transfer (STTT) 2 (4 …, 20009662000
5-) S-Match: an algorithm and an implementation of semantic matchingF Giunchiglia, P Shvaiko, M YatskevichThe semantic web: research and applications, 61-75, 20047642004