Enrico Vicario

Proceedings of the 8th International Symposium on Medical Information and Communication Technology, 2014

2013

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Compositional Verification for Hierarchical Scheduling of Real-Time Systems.

[BibT_eX]

[DOI]

Alessandro Pinzuti

IEEE Trans. Software Eng., 2013

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2013

Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2013

An On-line system for automated recognition of human activities.

[BibT_eX]

[DOI]

Eur. J. Law Technol., 2013

Non-markovian analysis for model driven engineering of real-time software.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2013

2012

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.

[BibT_eX]

[DOI]

Jacopo Torrini

IEEE Softw., 2012

Transient analysis of non-Markovian models using stochastic state classes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

An Ontological Approach to Systematization of SW-FMEA.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Integrating metrics in an ontological framework supporting SW-FMEA.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, 2012

2011

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.

[BibT_eX]

[DOI]

Johnny Giuntini

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System.

[BibT_eX]

[DOI]

Federico Cruciani

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Ontologies and Bayesian Networks in Medical Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Oris: a tool for modeling, verification and evaluation of real-time systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Ontology-Driven Enterprise Application Integration.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.

[BibT_eX]

[DOI]

András Horváth

Proceedings of the QEST 2010, 2010

2009

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

[BibT_eX]

[DOI]

Leonardo Grassi

IEEE Trans. Software Eng., 2009

Automatic Code Generation from Real-Time Systems Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.

[BibT_eX]

[DOI]

András Horváth

Proceedings of the QEST 2009, 2009

Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

A Tool Supporting Evaluation of Non-markovian Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

An Incremental Approach to Software Reengineering Based on Object-Data Mapping.

[BibT_eX]

Proceedings of the ICSOFT 2008, 2008

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.

[BibT_eX]

[DOI]

Leonardo Grassi

Proceedings of the Reliable Software Technologies, 2008

2007

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

An Ontological SW Architecture for the Development of Cooperative Web Portals.

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

An Ontological SW Architecture Supporting Agile Development of Semantic Portals.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - Second International Conference, 2007

Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation.

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007

Sensitization of symbolic runs in real-time testing using the ORIS tool.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

HomeTL: A visual formalism, based on temporal logic, for the design of home based care.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Analysis of Real Time Systems through the ORIS Tool.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

A Tool Set for Modeling and Simulation of Robotic Workcells.

[BibT_eX]

[DOI]

Fabrizio Baldini

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004

Timed State Space Analysis of Real-Time Preemptive Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

Weighted walkthroughs between extended entities for retrieval by spatial arrangement.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2003

Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.

[BibT_eX]

[DOI]

Andrea Fedeli

Proceedings of the SDL 2003: System Design, 2003

A discrete time model for performance evaluation and correctness verification of real time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Predicting Timeliness of Reactive Systems under Flexible Scheduling.

[BibT_eX]

[DOI]

Andrea Fedeli

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002

Spatial arrangement of color in retrieval by visual similarity.

[BibT_eX]

[DOI]

Pattern Recognit., 2002

Using 3D and Ancillary Media to Train Construction Workers.

[BibT_eX]

[DOI]

Jürgen Assfalg

IEEE Multim., 2002

2001

Engineering the Usability of a Visual Formalism for Real-time Temporal Logic.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2001

Static Analysis and Dynamic Steering of Time-Dependent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Efficient Matching and Indexing of Graph Models in Content-Based Retrieval.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2001

Modelling Spatial Relationships between Colour Clusters.

[BibT_eX]

[DOI]

Pattern Anal. Appl., 2001

Spatial Arrangement Of Color Flows For Video Retrieval.

[BibT_eX]

[DOI]

Pietro Pala

Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001

2000

The Computational Aspect of Retrieval by Spatial Arrangement.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Pattern Recognition, 2000

A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

1999

A Visual Formalism for Computational Tree Logic.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1999

Weighting Spatial Arrangement of Colors in Content Based Image Retrieval.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

A Virtual Environment for Construction Workers Instruction and Training.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Managing the Complexity of Match in Retrieval by Spatial Arrangement.

[BibT_eX]

[DOI]

Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

1998

Painting Retrieval Based on Color Semantics.

[BibT_eX]

[DOI]

Jacopo M. Corridoni

Proceedings of the Image Databases and Multi-Media Search, 1998

Image Retrieval by Color Semantics with Incomplete Knowledge.

[BibT_eX]

[DOI]

Jacopo M. Corridoni

J. Am. Soc. Inf. Sci., 1998

3D Navigation of Geographic Data Sets.

[BibT_eX]

[DOI]

IEEE Multim., 1998

Weighting Spatial Relationships in Retrieval by Visual Contents.

[BibT_eX]

Proceedings of the Visual Database Systems 4 (VDB4), 1998

Design and Evaluation of a Visual Formalism for Real Time Logics.

[BibT_eX]

[DOI]

M. Lusini

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Engineering the usability of visual formalisms: a case study in real time logics.

[BibT_eX]

[DOI]

M. Lusini

Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24, 1998

1997

Weighted Walkthroughs in Retrieval by Content of Pictorial Data.

[BibT_eX]

[DOI]

Wen Xue He

Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

1996

Visual Programming of Virtual Worlds Animation.

[BibT_eX]

[DOI]

IEEE Multim., 1996

A Visual Language for Color-Based Painting Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

1995

Specification by-Example of Virtual Agents Behavior.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 1995

Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Visual Specification of Branching Time Temporal Logic.

[BibT_eX]

[DOI]

Luigi Rella

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Iconic Retrievial by Contents from Databases of Cardiological Sequences.

[BibT_eX]

Gianfranco Congiu

Proceedings of the Visual Database Systems 3, 1995

Automatic transition from rapid prototyping to target code for distributed systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations.

[BibT_eX]

[DOI]

Proceedings of the Image Analysis and Processing, 8th International Conference, 1995

1994

A Spatial Logic for Symbolic Description of Image Contents.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1994

Transport measurements over an Ethernet LAN.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1994

An Interactive Environement for the Visual Programming of Virtual Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Supporting Process Migration Through Communicating Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Interactive Training of Virtual Agents.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993

Visual Specification of Virtual Worlds.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Sequence Retrieval by Contents through Spatio Temporal Indexing.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Using communicating Petri nets to implement parallel computation in single-tasking operating systems.

[BibT_eX]

[DOI]

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

A framework for the development of object-oriented distributed systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992

TCP/IP measured performance over an ethernet local network.

[BibT_eX]

[DOI]

Eur. Trans. Telecommun., 1992

A Spatio-temporal Logic for Image Sequence Coding and Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Rapid prototyping through communicating Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

1991

Interprocess Communication Dependency on Network Load.

[BibT_eX]

[DOI]

Alessandro Braccini