Travelled to:1 × Argentina
1 × Australia
1 × Denmark
1 × Germany
1 × Israel
2 × USA
6 × Italy
Collaborated with:R.Sebastiani A.Cimatti M.Roveri A.Perini M.Benerecetti C.Ghidini A.Villafiorita E.M.Clarke E.Giunchiglia A.Tacchella A.Tawfik F.Bux A.Autayeu P.Andrews I.Zaihrayeu U.Kharkevich A.Susi A.Tomasi M.Daniele M.Y.Vardi P.Bertoli A.Coglio P.Giorgini J.Mylopoulos P.Bresciani M.Pistore P.Pecchiari B.Pietra J.Profeta D.Romano P.Traverso B.Yu
Talks about:procedur (5) model (5) logic (5) decis (5) modal (4) check (3) lightweight (2) softwar (2) classif (2) verifi (2)
Person: Fausto Giunchiglia
DBLP: Giunchiglia:Fausto
Facilitated 2 volumes:
EdEdContributed to:
2014
20102007
2002
20022001
2001200019991998
1998
1997199719961996
1994Wrote 19 papers:
- KEOD-2014-TawfikGB #framework #interactive #multi #platform
- An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.
- ECDL-2010-AutayeuGA #classification #lightweight #ontology #parsing
- Lightweight Parsing of Classifications into Lightweight Ontologies (AA, FG, PA), pp. 327–339.
- ECDL-2007-GiunchigliaZK #algorithm #classification #documentation #formal method
- Formalizing the Get-Specific Document Classification Algorithm (FG, IZ, UK), pp. 26–37.
- CAV-2002-CimattiCGGPRST #model checking
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
- SEKE-2002-PeriniSG #architecture #coordination #multi #requirements #specification
- Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology (AP, AS, FG), pp. 51–54.
- SEKE-2001-GiorginiPMGB #case study #development
- Agent- Oriented Software Development: A Case Study (PG, AP, JM, FG, PB), pp. 283–290.
- TACAS-2001-SebastianiTG #model checking #student
- Model Checking Syllabi and Student Carreers (RS, AT, FG), pp. 128–142.
- TACAS-2000-BenerecettiG #logic #model checking #protocol #security #using
- Model Checking Security Protocols Using a Logic of Belief (MB, FG), pp. 519–534.
- CAV-1999-CimattiCGR #named #verification
- NUSMV: A New Symbolic Model Verifier (AC, EMC, FG, MR), pp. 495–499.
- CAV-1999-DanieleGV #automaton #generative #linear #logic
- Improved Automata Generation for Linear Temporal Logic (MD, FG, MYV), pp. 249–260.
- KR-1998-GiunchigliaG #locality #modelling #reasoning #semantics
- Local Models Semantics, or Contextual Reasoning = Locality + Compatibility (FG, CG), pp. 282–291.
- KR-1998-GiunchigliaGST #evaluation #logic
- More Evaluation of Decision Procedures for Modal Logics (EG, FG, RS, AT), pp. 626–635.
- WRLA-1998-GiunchigliaBC #state of the art
- The OMRS project: state of the art (FG, PB, AC), pp. 127–146.
- CADE-1997-GiunchigliaRS #logic #testing
- A New Method for Testing Decision Procedures in Modal Logics (FG, MR, RS), pp. 264–267.
- CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.
- CADE-1996-GiunchigliaS #case study #logic
- Building Decision Procedures for Modal Logics from Propositional Decision Procedure — The Case Study of Modal K (FG, RS), pp. 583–597.
- CADE-1996-GiunchigliaV #abstraction #named #proving
- ABSFOL: A Proof Checker with Abstraction (FG, AV), pp. 136–140.
- KR-1996-GiunchigliaS #satisfiability
- A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.
- LOPSTR-1994-GiunchigliaC #reasoning
- Introspective Metatheoretic Reasoning (FG, AC), pp. 425–439.