2009 |
29 | EE | Gianfranco Lamperti,
Marina Zanella:
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ICEIS 2009: 348-362 |
2008 |
28 | EE | Gianfranco Lamperti,
Marina Zanella:
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.
ECAI 2008: 204-208 |
27 | EE | Gianfranco Lamperti,
Marina Zanella:
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ECAI 2008: 793-794 |
26 | | Gianfranco Lamperti,
Federica Vivenzi,
Marina Zanella:
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.
ICEIS (2) 2008: 44-53 |
25 | EE | Gianfranco Lamperti,
Marina Zanella,
Giovanni Chiodi,
Lorenzo Chiodi:
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.
KES (1) 2008: 362-374 |
2007 |
24 | EE | Gianfranco Lamperti,
Marina Zanella,
Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning.
AI Commun. 20(1): 27-37 (2007) |
23 | EE | Sergio Cerutti,
Gianfranco Lamperti,
M. Scaroni,
Marina Zanella,
Davide Zanni:
A diagnostic environment for automaton networks.
Softw., Pract. Exper. 37(4): 365-415 (2007) |
2006 |
22 | | Gianfranco Lamperti,
Marina Zanella:
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems.
ICEIS (2) 2006: 47-57 |
21 | EE | Gianfranco Lamperti,
Marina Zanella:
On Processing Temporal Observations in Monitoring of Discrete-Event Systems.
ICEIS (Selected Papers) 2006: 135-146 |
20 | EE | Gianfranco Lamperti,
Marina Zanella:
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques.
Artif. Intell. 170(3): 232-297 (2006) |
2004 |
19 | | Gianfranco Lamperti,
Marina Zanella:
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
ECAI 2004: 838-842 |
18 | | Gianfranco Lamperti,
Marina Zanella:
Dynamic Diagnosis of Active Systems with Fragmented Observations.
ICEIS (2) 2004: 249-261 |
2003 |
17 | | Gianfranco Lamperti,
Marina Zanella:
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems.
Appl. Intell. 18(1): 55-77 (2003) |
2002 |
16 | | Roberto Garatti,
Gianfranco Lamperti,
Marina Zanella:
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge.
ECAI 2002: 427-431 |
15 | EE | Gianfranco Lamperti,
Marina Zanella:
Diagnosis of discrete-event systems from uncertain temporal observations.
Artif. Intell. 137(1-2): 91-163 (2002) |
2001 |
14 | | Pietro Baroni,
Giovanni Guida,
Marina Zanella:
Managing uncertainty in diagnosis of acute coronaric ischemia.
Artificial Intelligence in Medicine 23(2): 129-147 (2001) |
13 | EE | Pietro Baroni,
Giovanni Guida,
Marina Zanella:
GART: a tool for experimenting with approximate reasoning models.
Expert Syst. Appl. 21(1): 15-30 (2001) |
2000 |
12 | | Gianfranco Lamperti,
Marina Zanella:
Uncertain Temporal Observations in Diagnosis.
ECAI 2000: 151-155 |
11 | | Gianfranco Lamperti,
Marina Zanella:
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation.
KR 2000: 333-344 |
10 | EE | Gianfranco Lamperti,
Michele Melchiori,
Marina Zanella:
On Multisets in Database Systems.
WMP 2000: 147-216 |
9 | | Gianfranco Lamperti,
Marina Zanella,
Paolo Pogliano:
Diagnosis of Active Systems by Automata-Based Reasoning Techniques.
Appl. Intell. 12(3): 217-237 (2000) |
8 | | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of a class of distributed discrete-event systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 731-752 (2000) |
1999 |
7 | | Giovanni Guida,
Gianfranco Lamperti,
Marina Zanella:
Software Prototyping in Data and Knowledge Engineering
Kluwer 1999 |
6 | EE | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of Large Active Systems.
Artif. Intell. 110(1): 135-183 (1999) |
1998 |
5 | | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of Active Systems.
ECAI 1998: 274-278 |
1997 |
4 | EE | Giovanni Guida,
Marina Zanella:
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification.
ICECCS 1997: 229- |
1996 |
3 | EE | Marina Zanella,
Paolo Gubian:
A conceptual model for design management.
Computer-Aided Design 28(1): 33-49 (1996) |
1995 |
2 | | Giovanni Guida,
Marina Zanella:
Preventive Diagnosis: Definition and Logical Model.
AI*IA 1995: 347-352 |
1991 |
1 | | Marina Zanella,
Paolo Gubian:
Workspace and Methodology Management in the Octtools Environment.
VLSI 1991: 307-316 |