BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Spain
1 × USA
2 × Cyprus
2 × Portugal
Collaborated with:
G.Lamperti F.Vivenzi F.Cerutti M.Giacomin M.Vallati
Talks about:
system (6) observ (5) diagnosi (4) discret (4) tempor (4) event (4) activ (3) process (2) monitor (2) uncertain (1)

Person: Marina Zanella

DBLP DBLP: Zanella:Marina

Contributed to:

KR 20142014
ICEIS AIDSS 20102010
Post-ICEIS 20092009
ICEIS AIDSS 20082008
ICEIS AIDSS 20062006
Post-ICEIS 20062006
ICEIS v2 20042004
KR 20002000

Wrote 8 papers:

KR-2014-CeruttiGVZ #recursion
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
ICEIS-AIDSS-2010-LampertiZ #lazy evaluation
Diagnosis of Active Systems by Lazy Techniques (GL, MZ), pp. 171–180.
ICEIS-J-2009-LampertiZ #monitoring #nondeterminism
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
ICEIS-AIDSS-2008-LampertiVZ #on the #similarity
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.
ICEIS-AIDSS-2006-LampertiZ #incremental
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.
ICEIS-J-2006-LampertiZ06a #monitoring #on the
On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ICEIS-v2-2004-LampertiZ
Dynamic Diagnosis of Active Systems with Fragmented Observations (GL, MZ), pp. 249–261.
KR-2000-LampertiZ #compilation #generative
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.