dblp.uni-trier.dewww.uni-trier.de

Enrico Vicario Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
55EELaura Carnevali, Leonardo Grassi, Enrico Vicario: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Software Eng. 35(2): 178-194 (2009)
2008
54EELaura Carnevali, Leonardo Grassi, Enrico Vicario: A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100
53 Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) 2008: 165-173
52EEGiacomo Bucci, Laura Carnevali, Enrico Vicario: A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116
51EEEnrico Vicario: Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. QEST 2008: 321
2007
50EELaura Carnevali, Luigi Sassoli, Enrico Vicario: Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300
49EEAlberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti: A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. ICOST 2007: 217-225
48 Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario: Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. ICSOFT (PL/DPS/KE/MUSE) 2007: 55-60
47 Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca: An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) 2007: 48-55
46EELuigi Sassoli, Enrico Vicario: Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. QEST 2007: 59-68
2006
45EELuigi Sassoli, Enrico Vicario: Analysis of Real Time Systems through the ORIS Tool. QEST 2006: 127-128
2005
44EEFabrizio Baldini, Giacomo Bucci, Enrico Vicario: A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114
43EEGiacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario: Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22
42EEGiacomo Bucci, Luigi Sassoli, Enrico Vicario: Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. Software Eng. 31(11): 913-927 (2005)
2004
41EEGiacomo Bucci, Luigi Sassoli, Enrico Vicario: ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79
40EEGiacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30(2): 97-111 (2004)
2003
39EEGiacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286
38EEGiacomo Bucci, Andrea Fedeli, Enrico Vicario: Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130
37EEGiacomo Bucci, Andrea Fedeli, Enrico Vicario: Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217
36EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Weighted walkthroughs between extended entities for retrieval by spatial arrangement. IEEE Transactions on Multimedia 5(1): 52-70 (2003)
2002
35EEJürgen Assfalg, Alberto Del Bimbo, Enrico Vicario: Using 3D and Ancillary Media to Train Construction Workers. IEEE MultiMedia 9(2): 88-92 (2002)
34EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Spatial arrangement of color in retrieval by visual similarity. Pattern Recognition 35(8): 1661-1674 (2002)
2001
33EEAlberto Del Bimbo, Enrico Vicario, Pietro Pala: Spatial Arrangement Of Color Flows For Video Retrieval. ICME 2001
32EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Efficient Matching and Indexing of Graph Models in Content-Based Retrieval. IEEE Trans. Pattern Anal. Mach. Intell. 23(10): 1089-1105 (2001)
31EEEnrico Vicario: Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Software Eng. 27(8): 728-748 (2001)
30 Enrico Vicario: Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. J. Vis. Lang. Comput. 12(6): 573-599 (2001)
29EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Modelling Spatial Relationships between Colour Clusters. Pattern Anal. Appl. 4(2-3): 83-92 (2001)
2000
28EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: The Computational Aspect of Retrieval by Spatial Arrangement. ICPR 2000: 5047-5051
27 Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement. IEEE International Conference on Multimedia and Expo (III) 2000: 1721-1724
1999
26EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Managing the Complexity of Match in Retrieval by Spatial Arrangement. ICIAP 1999: 1178-1183
25EEStefano Berretti, Alberto Del Bimbo, Enrico Vicario: Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. ICMCS, Vol. 1 1999: 845-849
24EEJürgen Assfalg, C. Leveque, Marc Mautref, P. Neel, Libero Nigro, M. Philippou, J. Tanneau, Enrico Vicario, G. Zardetto: Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. ICMCS, Vol. 2 1999: 1120-1122
23EEG. Arcangeli, Jürgen Assfalg, R. Tartaglia, Enrico Vicario: A Virtual Environment for Construction Workers Instruction and Training. ICMCS, Vol. 2 1999: 1123-1125
22 Alberto Del Bimbo, Enrico Vicario: A Visual Formalism for Computational Tree Logic. J. Vis. Lang. Comput. 10(2): 165-187 (1999)
1998
21EEM. Lusini, Enrico Vicario: Engineering the usability of visual formalisms: a case study in real time logics. AVI 1998: 114-123
20EEM. Lusini, Enrico Vicario: Design and Evaluation of a Visual Formalism for Real Time Logics. Services and Visualization: Towards User-Friendly Design 1998: 158-173
19 Alberto Del Bimbo, Enrico Vicario: Weighting Spatial Relationships in Retrieval by Visual Contents. VDB 1998: 277-292
18EERicardo Camiciottoli, Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario, Dario Lucarella: 3D Navigation of Geographic Data Sets. IEEE MultiMedia 5(2): 29-41 (1998)
17 Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario: Image Retrieval by Color Semantics with Incomplete Knowledge. JASIS 49(3): 267-282 (1998)
1997
16 Enrico Vicario, Wen Xue He: Weighted Walkthroughs in Retrieval by Content of Pictorial Data. ICIAP (2) 1997: 132-139
1996
15 Jacopo M. Corridoni, Alberto Del Bimbo, Silvio De Magistris, Enrico Vicario: A Visual Language for Color-Based Painting Retrieval. VL 1996: 68-75
14EEAlberto Del Bimbo, Enrico Vicario: Visual Programming of Virtual Worlds Animation. IEEE MultiMedia 3(1): 40-49 (1996)
1995
13 Maurizio Baroni, Gianfranco Congiu, Alberto Del Bimbo, A. Evangelisti, Enrico Vicario: Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. ICIAP 1995: 621-626
12 Alberto Del Bimbo, Gianfranco Congiu, Enrico Vicario: Iconic Retrievial by Contents from Databases of Cardiological Sequences. VDB 1995: 158-174
11EEAlberto Del Bimbo, Luigi Rella, Enrico Vicario: Visual Specification of Branching Time Temporal Logic. VL 1995: 61-68
10EEAlberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. IEEE Trans. Knowl. Data Eng. 7(4): 609-622 (1995)
9EEGiacomo Bucci, Enrico Vicario: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995)
8EEAlberto Del Bimbo, Enrico Vicario: Specification by-Example of Virtual Agents Behavior. IEEE Trans. Vis. Comput. Graph. 1(4): 350-360 (1995)
1994
7EEAlberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Interactive Training of Virtual Agents. Advanced Visual Interfaces 1994: 172-181
6 Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: An Interactive Environement for the Visual Programming of Virtual Agents. VL 1994: 145-152
5 Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: A Spatial Logic for Symbolic Description of Image Contents. J. Vis. Lang. Comput. 5(3): 267-286 (1994)
1993
4 Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Visual Specification of Virtual Worlds. VL 1993: 376-378
3 Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Sequence Retrieval by Contents through Spatio Temporal Indexing. VL 1993: 88-92
1992
2 Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: A Spatio-temporal Logic for Image Sequence Coding and Retrieval. VL 1992: 228-230
1991
1EEAlessandro Braccini, Alberto Del Bimbo, Enrico Vicario: Interprocess Communication Dependency on Network Load. IEEE Trans. Software Eng. 17(4): 357-369 (1991)

Coauthor Index

1G. Arcangeli [23]
2Jürgen Assfalg [23] [24] [35]
3Fabrizio Baldini [44] [48]
4Maurizio Baroni [13]
5Stefano Berretti [25] [26] [27] [28] [29] [32] [34] [36]
6Alberto Del Bimbo [1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [17] [18] [19] [22] [25] [26] [27] [28] [29] [32] [33] [34] [35] [36]
7Alessandro Braccini [1]
8Giacomo Bucci [9] [37] [38] [39] [40] [41] [42] [43] [44] [47] [48] [52] [53]
9Ricardo Camiciottoli [18]
10Laura Carnevali [50] [52] [54] [55]
11Gianfranco Congiu [12] [13]
12Jacopo M. Corridoni [15] [17] [18]
13A. Evangelisti [13]
14Andrea Fedeli [37] [38] [39] [40]
15Leonardo Grassi [48] [54] [55]
16Wen Xue He [16]
17C. Leveque [24]
18Dario Lucarella [18]
19M. Lusini [20] [21]
20Silvio De Magistris [15]
21Marc Mautref [24]
22Saverio Mecca [47]
23P. Neel [24]
24Libero Nigro [24]
25Chris D. Nugent [49]
26Cristiano Paggetti [49]
27Pietro Pala [33]
28M. Philippou [24]
29R. Piovosi [43]
30Francesco Poli [49]
31Luigi Rella [11]
32Alberto Rugnone [49]
33Valeriano Sandrucci [47] [53]
34Luigi Sassoli [39] [40] [41] [42] [43] [45] [46] [50]
35Elena Tamburini [49]
36J. Tanneau [24]
37R. Tartaglia [23]
38G. Zardetto [24]
39Daniele Zingoni [2] [3] [4] [5] [6] [7] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)