2009 | ||
---|---|---|
55 | EE | Laura 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 | ||
54 | EE | Laura 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 | |
52 | EE | Giacomo Bucci, Laura Carnevali, Enrico Vicario: A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 |
51 | EE | Enrico Vicario: Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. QEST 2008: 321 |
2007 | ||
50 | EE | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 |
49 | EE | Alberto 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 | |
46 | EE | Luigi 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 | ||
45 | EE | Luigi Sassoli, Enrico Vicario: Analysis of Real Time Systems through the ORIS Tool. QEST 2006: 127-128 |
2005 | ||
44 | EE | Fabrizio Baldini, Giacomo Bucci, Enrico Vicario: A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114 |
43 | EE | Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario: Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 |
42 | EE | Giacomo 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 | ||
41 | EE | Giacomo Bucci, Luigi Sassoli, Enrico Vicario: ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 |
40 | EE | Giacomo 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 | ||
39 | EE | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 |
38 | EE | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130 |
37 | EE | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217 |
36 | EE | Stefano 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 | ||
35 | EE | Jürgen Assfalg, Alberto Del Bimbo, Enrico Vicario: Using 3D and Ancillary Media to Train Construction Workers. IEEE MultiMedia 9(2): 88-92 (2002) |
34 | EE | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Spatial arrangement of color in retrieval by visual similarity. Pattern Recognition 35(8): 1661-1674 (2002) |
2001 | ||
33 | EE | Alberto Del Bimbo, Enrico Vicario, Pietro Pala: Spatial Arrangement Of Color Flows For Video Retrieval. ICME 2001 |
32 | EE | Stefano 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) |
31 | EE | Enrico 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) | |
29 | EE | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Modelling Spatial Relationships between Colour Clusters. Pattern Anal. Appl. 4(2-3): 83-92 (2001) |
2000 | ||
28 | EE | Stefano 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 | ||
26 | EE | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Managing the Complexity of Match in Retrieval by Spatial Arrangement. ICIAP 1999: 1178-1183 |
25 | EE | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. ICMCS, Vol. 1 1999: 845-849 |
24 | EE | Jü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 |
23 | EE | G. 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 | ||
21 | EE | M. Lusini, Enrico Vicario: Engineering the usability of visual formalisms: a case study in real time logics. AVI 1998: 114-123 |
20 | EE | M. 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 | |
18 | EE | Ricardo 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 | |
14 | EE | Alberto 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 | |
11 | EE | Alberto Del Bimbo, Luigi Rella, Enrico Vicario: Visual Specification of Branching Time Temporal Logic. VL 1995: 61-68 |
10 | EE | Alberto 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) |
9 | EE | Giacomo Bucci, Enrico Vicario: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995) |
8 | EE | Alberto Del Bimbo, Enrico Vicario: Specification by-Example of Virtual Agents Behavior. IEEE Trans. Vis. Comput. Graph. 1(4): 350-360 (1995) |
1994 | ||
7 | EE | Alberto 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 | ||
1 | EE | Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario: Interprocess Communication Dependency on Network Load. IEEE Trans. Software Eng. 17(4): 357-369 (1991) |