- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j28 |      | Laura Carnevali, Lorenzo Ridi, Enrico Vicario: A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. IEEE Trans. Software Eng. 39(3): 292-304 (2013) |
| j27 | | Laura Carnevali, Alessandro Pinzuti, Enrico Vicario: Compositional Verification for Hierarchical Scheduling of Real-Time Systems. IEEE Trans. Software Eng. 39(5): 638-657 (2013) |
| 2012 | ||
| j26 | | András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7-8): 315-335 (2012) |
| j25 | | Lorenzo Ridi, Jacopo Torrini, Enrico Vicario: Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. IEEE Software 29(1): 76-83 (2012) |
| c50 | | Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario: An Ontological Approach to Systematization of SW-FMEA. SAFECOMP 2012: 173-184 |
| 2011 | ||
| j24 | | Laura Carnevali, Lorenzo Ridi, Enrico Vicario: Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. IEEE Trans. Software Eng. 37(6): 826-844 (2011) |
| c49 | | Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario: A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Ada-Europe 2011: 118-131 |
| c48 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: Ontologies and Bayesian Networks in Medical Diagnosis. HICSS 2011: 1-8 |
| c47 | | András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario: Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST 2011: 131-140 |
| c46 | | Laura Carnevali, Lorenzo Ridi, Enrico Vicario: Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST 2011: 153-154 |
| c45 | | Federico Cruciani, Enrico Vicario: Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. SAFECOMP 2011: 355-368 |
| c44 | | Laura Carnevali, Lorenzo Ridi, Enrico Vicario: A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP 2011: 409-422 |
| 2010 | ||
| j23 | | Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario: Oris: a tool for modeling, verification and evaluation of real-time systems. STTT 12(5): 391-403 (2010) |
| c43 | | András Horváth, Lorenzo Ridi, Enrico Vicario: Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST 2010: 231-240 |
| c42 |  | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: Ontology-Driven Enterprise Application Integration. SEKE 2010: 54-60 |
| 2009 | ||
| j22 | | 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) |
| j21 | | Enrico Vicario, Luigi Sassoli, Laura Carnevali: Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35(5): 703-719 (2009) |
| c41 | | Laura Carnevali, Lorenzo Ridi, Enrico Vicario: Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA 2009: 1-8 |
| c40 | | András Horváth, Enrico Vicario: Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. QEST 2009: 155-164 |
| c39 | | Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario: Automatic Code Generation from Real-Time Systems Specifications. IEEE International Workshop on Rapid System Prototyping 2009: 102-105 |
| 2008 | ||
| c38 | | Laura Carnevali, Leonardo Grassi, Enrico Vicario: A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100 |
| c37 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario: An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) 2008: 165-173 |
| c36 | | Giacomo Bucci, Laura Carnevali, Enrico Vicario: A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 |
| c35 | | Enrico Vicario: Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. QEST 2008: 321 |
| 2007 | ||
| c34 | | Alberto Rugnone, Enrico Vicario, Chris D. Nugent, Mark P. Donnelly, David Craig, Cristiano Paggetti, Elena Tamburini: HomeTL: A visual formalism, based on temporal logic, for the design of home based care. CASE 2007: 747-752 |
| c33 | | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 |
| c32 | | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA 2007: 85-92 |
| c31 | | 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 |
| c30 | | Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca: An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) 2007: 48-55 |
| c29 | | 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 |
| c28 | | 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 | ||
| c27 | | Luigi Sassoli, Enrico Vicario: Analysis of Real Time Systems through the ORIS Tool. QEST 2006: 127-128 |
| 2005 | ||
| j20 | | 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) |
| c26 | | Fabrizio Baldini, Giacomo Bucci, Enrico Vicario: A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114 |
| c25 | | Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario: Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 |
| 2004 | ||
| j19 | | 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) |
| c24 | | Giacomo Bucci, Luigi Sassoli, Enrico Vicario: ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 |
| 2003 | ||
| j18 | | 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) |
| c23 | | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 |
| c22 | | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130 |
| c21 | | Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217 |
| 2002 | ||
| j17 | | Jürgen Assfalg, Alberto Del Bimbo, Enrico Vicario: Using 3D and Ancillary Media to Train Construction Workers. IEEE MultiMedia 9(2): 88-92 (2002) |
| j16 | | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Spatial arrangement of color in retrieval by visual similarity. Pattern Recognition 35(8): 1661-1674 (2002) |
| 2001 | ||
| j15 | | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Modelling Spatial Relationships between Colour Clusters. Pattern Anal. Appl. 4(2-3): 83-92 (2001) |
| j14 | | 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) |
| j13 | | Enrico Vicario: Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Software Eng. 27(8): 728-748 (2001) |
| j12 | | Enrico Vicario: Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. J. Vis. Lang. Comput. 12(6): 573-599 (2001) |
| c20 | | Alberto Del Bimbo, Enrico Vicario, Pietro Pala: Spatial Arrangement Of Color Flows For Video Retrieval. ICME 2001 |
| 2000 | ||
| c19 | | 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 |
| c18 | | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: The Computational Aspect of Retrieval by Spatial Arrangement. ICPR 2000: 5047-5051 |
| 1999 | ||
| j11 | | Alberto Del Bimbo, Enrico Vicario: A Visual Formalism for Computational Tree Logic. J. Vis. Lang. Comput. 10(2): 165-187 (1999) |
| c17 | | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Managing the Complexity of Match in Retrieval by Spatial Arrangement. ICIAP 1999: 1178-1183 |
| c16 | | Stefano Berretti, Alberto Del Bimbo, Enrico Vicario: Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. ICMCS, Vol. 1 1999: 845-849 |
| c15 | | 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 |
| c14 | | G. Arcangeli, Jürgen Assfalg, R. Tartaglia, Enrico Vicario: A Virtual Environment for Construction Workers Instruction and Training. ICMCS, Vol. 2 1999: 1123-1125 |
| 1998 | ||
| j10 | | 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) |
| j9 | | Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario: Image Retrieval by Color Semantics with Incomplete Knowledge. JASIS 49(3): 267-282 (1998) |
| c13 | | |
| c12 | | 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 |
| c11 | | Alberto Del Bimbo, Enrico Vicario: Weighting Spatial Relationships in Retrieval by Visual Contents. VDB 1998: 277-292 |
| 1997 | ||
| c10 | | Enrico Vicario, Wen Xue He: Weighted Walkthroughs in Retrieval by Content of Pictorial Data. ICIAP (2) 1997: 132-139 |
| 1996 | ||
| j8 | | Alberto Del Bimbo, Enrico Vicario: Visual Programming of Virtual Worlds Animation. IEEE MultiMedia 3(1): 40-49 (1996) |
| c9 | | Jacopo M. Corridoni, Alberto Del Bimbo, Silvio De Magistris, Enrico Vicario: A Visual Language for Color-Based Painting Retrieval. VL 1996: 68-75 |
| 1995 | ||
| j7 | | 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) |
| j6 | | Giacomo Bucci, Enrico Vicario: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995) |
| j5 | | Alberto Del Bimbo, Enrico Vicario: Specification by-Example of Virtual Agents Behavior. IEEE Trans. Vis. Comput. Graph. 1(4): 350-360 (1995) |
| c8 | | Maurizio Baroni, Gianfranco Congiu, Alberto Del Bimbo, A. Evangelisti, Enrico Vicario: Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. ICIAP 1995: 621-626 |
| c7 | | Alberto Del Bimbo, Gianfranco Congiu, Enrico Vicario: Iconic Retrievial by Contents from Databases of Cardiological Sequences. VDB 1995: 158-174 |
| c6 | | Alberto Del Bimbo, Luigi Rella, Enrico Vicario: Visual Specification of Branching Time Temporal Logic. VL 1995: 61-68 |
| 1994 | ||
| j4 | | Alberto Del Bimbo, Enrico Vicario: Transport measurements over an Ethernet LAN. IEEE Transactions on Communications 42(234): 1486-1489 (1994) |
| j3 | | 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) |
| c5 | | Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Interactive Training of Virtual Agents. Advanced Visual Interfaces 1994: 172-181 |
| c4 | | Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: An Interactive Environement for the Visual Programming of Virtual Agents. VL 1994: 145-152 |
| 1993 | ||
| c3 | | Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Sequence Retrieval by Contents through Spatio Temporal Indexing. VL 1993: 88-92 |
| c2 | | Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Visual Specification of Virtual Worlds. VL 1993: 376-378 |
| 1992 | ||
| j2 | | Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario, Vito Cappellini: TCP/IP measured performance over an ethernet local network. European Transactions on Telecommunications 3(1): 77-83 (1992) |
| c1 | | Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: A Spatio-temporal Logic for Image Sequence Coding and Retrieval. VL 1992: 228-230 |
| 1991 | ||
| j1 | | Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario: Interprocess Communication Dependency on Network Load. IEEE Trans. Software Eng. 17(4): 357-369 (1991) |
Colors in the list of coauthors
Last update Tue May 21 18:15:05 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page