Sfoglia per Autore
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
2009-01-01 Lamperti, Gian Franco; Zanella, Marina
Distributed Consistency-Based Diagnosis without Behavior
2010-01-01 Lamperti, Gian Franco; Zanella, Marina
Injecting Semantics into Diagnosis of Discrete-Event Systems
2010-01-01 Lamperti, Gian Franco; Zanella, Marina
Nested Relational Databases Systems
2010-01-01 Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina
Diagnosis of Active Systems by Lazy Techniques
2010-01-01 Lamperti, Gian Franco; Zanella, Marina
Reactive diagnosis of active systems
2010-01-01 Lamperti, Gian Franco; Zanella, Marina
Automated diagnosis of active systems
2011-01-01 Lamperti, Gian Franco; Zanella, Marina
Principles of distributed model-based diagnosis of active systems
2011-01-01 Lamperti, Gian Franco; Zanella, Marina
Principles of distributed model-based diagnosis of active systems
2011-01-01 Lamperti, Gian Franco; Zanella, Marina
Monitoring of active systems with stratified uncertain observations
2011-01-01 Lamperti, Gian Franco; Zanella, Marina
Nested relational database systems
2011-01-01 Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina
Context-sensitive diagnosis of discrete-event systems
2011-01-01 Lamperti, Gian Franco; Zanella, Marina
Nested relational databases
2011-01-01 Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina
Reactive diagnosis of active systems
2012-01-01 Lamperti, Gian Franco; Zanella, Marina
Consistency-based diagnosis: a topological approach
2012-01-01 Lamperti, Gian Franco; Zanella, Marina
Minimal diagnosis of discrete-event systems
2013-01-01 Zhao, X.; Lamperti, Gian Franco; Ouyang, D.
Diagnosis of discrete-event systems with stratified behavior
2013-01-01 Lamperti, Gian Franco; Zhao, X.
Preliminaries On Complexity of Diagnosis of Discrete-Event Systems
2013-01-01 Lamperti, Gian Franco; Zanella, Marina
From diagnosis of active systems to incremental determinization of finite acyclic automata
2013-01-01 Lamperti, Gian Franco; Scandale, M.
Specification and model-based diagnosis of higher-order discrete-event systems
2013-01-01 Lamperti, Gian Franco; Zhao, X.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations | 1-gen-2009 | Lamperti, Gian Franco; Zanella, Marina | |
Distributed Consistency-Based Diagnosis without Behavior | 1-gen-2010 | Lamperti, Gian Franco; Zanella, Marina | |
Injecting Semantics into Diagnosis of Discrete-Event Systems | 1-gen-2010 | Lamperti, Gian Franco; Zanella, Marina | |
Nested Relational Databases Systems | 1-gen-2010 | Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina | |
Diagnosis of Active Systems by Lazy Techniques | 1-gen-2010 | Lamperti, Gian Franco; Zanella, Marina | |
Reactive diagnosis of active systems | 1-gen-2010 | Lamperti, Gian Franco; Zanella, Marina | |
Automated diagnosis of active systems | 1-gen-2011 | Lamperti, Gian Franco; Zanella, Marina | |
Principles of distributed model-based diagnosis of active systems | 1-gen-2011 | Lamperti, Gian Franco; Zanella, Marina | |
Principles of distributed model-based diagnosis of active systems | 1-gen-2011 | Lamperti, Gian Franco; Zanella, Marina | |
Monitoring of active systems with stratified uncertain observations | 1-gen-2011 | Lamperti, Gian Franco; Zanella, Marina | |
Nested relational database systems | 1-gen-2011 | Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina | |
Context-sensitive diagnosis of discrete-event systems | 1-gen-2011 | Lamperti, Gian Franco; Zanella, Marina | |
Nested relational databases | 1-gen-2011 | Lamperti, Gian Franco; Melchiori, Michele; Zanella, Marina | |
Reactive diagnosis of active systems | 1-gen-2012 | Lamperti, Gian Franco; Zanella, Marina | |
Consistency-based diagnosis: a topological approach | 1-gen-2012 | Lamperti, Gian Franco; Zanella, Marina | |
Minimal diagnosis of discrete-event systems | 1-gen-2013 | Zhao, X.; Lamperti, Gian Franco; Ouyang, D. | |
Diagnosis of discrete-event systems with stratified behavior | 1-gen-2013 | Lamperti, Gian Franco; Zhao, X. | |
Preliminaries On Complexity of Diagnosis of Discrete-Event Systems | 1-gen-2013 | Lamperti, Gian Franco; Zanella, Marina | |
From diagnosis of active systems to incremental determinization of finite acyclic automata | 1-gen-2013 | Lamperti, Gian Franco; Scandale, M. | |
Specification and model-based diagnosis of higher-order discrete-event systems | 1-gen-2013 | Lamperti, Gian Franco; Zhao, X. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile