|
© This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright
holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
- [TSE09-2] E.Vicario, L.Sassoli, L.Carnevali, "Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive
Systems", IEEE Trans. On Software Engineering, Vol. 35, No. 5, September/October 2009
- [QEST09] A. Horvath, E. Vicario, "Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian
Stochastic Petri Nets", Proceedings of the 6th International Conference on the Quantitative Evaluation of SysTems (QEST09), Budapest, Hungary, September 2009
- [PMCCS09] L. Carnevali, L. Ridi, and E. Vicario, "Partial stochastic characterization of timed runs over DBM domains",
Proceedings of the 9th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 2009), Eger, Hungary, September 2009
- [ETFA09] L. Carnevali, L. Ridi, E. Vicario, "Stochastic Fault Trees for cross-layer power management of WSN monitoring systems",
Proceedings of the the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA09), Mallorca, Spain, September 2009
- [RSP09] L. Carnevali, D. D'Amico, L. Ridi, E. Vicario, "Automatic Code Generation from Real-Time Systems Specifications",
Proceedings of the IEEE/IFIP International Symposium on Rapid System Prototyping (RSP09), June 2009, Paris
- [TSE09] L.Carnevali, L.Grassi, E.Vicario, "State-density functions over DBM domains in the analysis of non-Markovian models", IEEE
Trans. On Software Engineering, Vol. 35, No. 2, March/April 2009
- [QEST08-2] G. Bucci, L. Carnevali, E. Vicario, "A tool supporting evaluation of non-Markovian Fault Trees", Proceedings of
the 5th International Conference on the Quantitative Evaluation of SysTems (QEST08), St. Malo, France, September 2008
- [QEST08] E.Vicario, "Correctness verification and quantitative evaluation of timed systems based on stochastic state classes", in the Tutorial session of Quantitative
Evaluation of SysTems (QEST08), Sept. 2008, St.Malo
- [Ada08] L.Carnevali, L.Grassi, E.Vicario, "A tailored V-Model exploiting the theory of preemptive Time Petri Nets", Ada Europe:
13th Int. Conference on Relieable SW Technologies,Venice, June 2008 (Proceedings Series: Lecture Notes in Computer Science, Vol. 5026/2008)
- [QEST07] L.Sassoli, E.Vicario, " Close form derivation of state-density functions over DBM domains in the analysis of non-markovian
models", in Proc. of Quantitative Evaluation of Systems (QEST07), Sept. 2007, Edimburgh
- [ETFA07] L.Carnevali, L.Sassoli, E.Vicario, " Sensitization of symbolic runs in Real-Time Testing using the ORIS tool", in Proc. of
Emerging Technologies and Factory Automation (ETFA07), Sept. 2007, Patras (Greece)
- [ECRTS07] L.Carnevali, L.Sassoli, E.Vicario, "Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time
Software", in Proc. of Euromicro Conference on Real Time Systems (ECRTS07), July 2007, Pisa
- [QEST06] L. Sassoli,E. Vicario, "Analysis of real time systems through the ORIS tool", in Proc. of Quantitative Evaluation of Systems
(QEST06), Sept. 2006, Riverside
- [TSE05] G. Bucci, L. Sassoli, E. Vicario, "Correctness verification and performance analysis of real time systems using stochastic
preemptive Time Petri Nets", IEEE Trans. On Software Engineering, Vol. 31, No. 11, November 2005
- [QEST05] G.Bucci, R.Piovosi, L.Sassoli, E.Vicario, " Introducing probability within state class analysis of dense-time-dependent
systems", in Proc. of Quantitative Evaluation of Systems (QEST05), Sept. 2005, Torino
- [TSE04] G. Bucci, A.Fedeli, L.Sassoli, E. Vicario, "Timed state space analysis of real-time preemptive systems", IEEE Trans. On
Software Engineering, Vol. 30, No 2, February 2004
- [QEST04] G.Bucci, L.Sassoli, E.Vicario, "ORIS: a tool for state-space analysis
of real-time preemptive systems", in Proc. of Quantitative Evaluation of Systems (QEST04), Sept. 2004, Twente
- [ECRTS03] G.Bucci, A.Fedeli, L.Sassoli, E.Vicario, "Modeling Flexible Real Time
Systems with Preemptive Time Petri Nets", in Proc of Euromicro Conference on Real-Time Systems (ECRTS03), Porto, July 2003
- [JVLC01] E.Vicario, "Engineering the Usability of a Visual Formalism for Real-time Temporal Logic", Journal of Visual Languages & Computing, Vol. 12, No. 6, Dec 2001, pp. 573-599
- [TSE01] E.Vicario, "Static analysis and dynamic steering of time-dependent systems", IEEE Trans. On Software Engineering, Vol 27,
No. 8, August 2001
- [TACAS98] M.Lusini, E.Vicario, "Design and Evaluation of a Visual Formalism for Real Time Logics", Visual 98, Lisboa, Portugal, March 1998, also included in
"Towards user-friendly design. ACos'98, Visual'98, AIN'97 Selected Papers", TACAS Monographs, Springer Verlag, 1998
- [TSE95] G.Bucci, E.Vicario, "Compositional Validation of Time-Critical Systems
Using Communicating Time Petri Nets", IEEE Trans. on Software Engineering, Vol.SE-21, No.12, pp.969-992, Dec.1995
|
