| * | 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) |
