|
|
| Publications: |
Important Copyright Notice: This material is presented to ensure timely
dissemination of scholarly and technical works. 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 explicit permission of the copyright holder.
|
 | This icon denotes papers that have been included in a volume
of a series of computer science books (i.e. LNCS) |
 | This symbol is used to characterize journal publications |
|
| 2006 |
| |
C.-F. Chiasserini, R. Gaeta, M. Garetto, M. Gribaudo, M. Sereno.
“Efficient Broadcasting of Safety Messages in Multihop Vehicular Networks”.
To appear in 5th International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006), Rhodes Island, Greece, April 29, 2006
|  |
| |
R. Gaeta, M. Gribaudo, D. Manini and M. Sereno.
“Fixed-point approximations for TCP behavior in networks of routers implementing queue management policies”.
To appear in 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems, Nurnberg, Germany, March 27-29 2006
| |
| |
M. Gribaudo, D. Codetta Raiteri, G. Franceschinis.
“The DrawNET Modelling System: a framework for the design and the solution of single-formalism and multi-formalism models”.
Technical Report TR-INF-2006-01-??-UNIPMN, January 2006, of the Computer Science Library of the University of “Piemonte Orientale”.
| |
| 2005 |
| |
C.-F. Chiasserini, E. Fasolo, R. Furiato, R. Gaeta, M. Garetto, M. Gribaudo, M. Sereno, A. Zanella
“Smart Broadcast of Warning Messages in Vehicular Ad Hoc Networks”,
In Workshop Interno Progetto NEWCOM (NoE), Turin, Italy, November 18, 2005
| |
|
R. Gaeta, G. Balbo, S. Bruell, M. Gribaudo, M. Sereno.
“A simple analytical framework to analyie search strategies in large-scale peer-to-peer networks ”.
In Performance Evaluation, Performance 2005, Juan-les-pins, October 3 - 7, 2005
| |
| |
M. Gribaudo, D. Codetta Raiteri, G. Franceschinis.
“DrawNET, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems”
In Tools at Quantitative Evaluation of Systems (QEST 2005), Turin, Italy, September 19 - 22, 2005
| |
| |
M. Gribaudo, N. Mazzocca, F. Moscato, V. Vittorini.
“Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework”.
In Quantitative Evaluation of Systems (QEST 2005), Turin, Italy, September 19 - 22, 2005
| |
|
M. Gribaudo, R. Gaeta.
“Efficient steady-state analysis of Second-Order Fluid Stochastic Petri Nets”.
To appear in Performance Evaluation
| |
| |
M. Gribaudo, C-F. Chiasserini, R.Gaeta, M. Garetto, D. Manini, and M. Sereno.
“A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks”.
In International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, Japan, June 28 - July 1,2005
| |
|
R. Gaeta, M. Gribaudo, D. Manini, and M. Sereno.
“Analysis of Resource Transfers in Peer-to-Peer File Sharing Applications using Fluid Models”.
To appear in Performance Evaluation, 2005
| |
| |
R. Gaeta, M. Gribaudo, D. Manini, and M. Sereno.
“Fixed Point Approximation for TCP Behavior in Networks of Router Implementing Heterogeneous Queue Management Policies”.
Technical Report RT 83/05, of the Computer Science Library of the University of Torino.
| |
| 2004 |
| |
M. Gribaudo, F. La Mura, A. Livio Beccarla, G. Franceschinis, F. Della Corte.
“A Low-Cost Virtual Reality Framework For Collaborative Exercises In Emergency Medicine”.
In TEL 2004 Conference, 15-17 november 2004, Milan
| |
| |
R. Gaeta, M. Gribaudo, D. Manini, and M. Sereno.
“A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems”.
In 12th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS ’04, October 4-7, 2004 Volendam, The Netherland.
| |
|
R.Gaeta, M.Gribaudo, D.Manini, M.Sereno.
“FSPNs for Computing Transfer Time Distributions in P2P File Sharing”.
In First International Workshop on Practical Applications of Stochastic Modelling PASM'04, September 4, 2004, London. (ENTCS 128)
| |
|
M. Gribaudo, A. Horvath.
“Model Checking Functional and Performability Properties of Stochastic Fluid Models”.
In Fourth International Workshop on Automated Verification of Critical Systems : AVoCS'04, September 4, 2004 London. (To appear in ENTCS)
| |
| |
M. Gribaudo, M. Sereno.
“An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets”.
In The International Conference on Dependable Systems and Networks (DSN 2004), Firenze, Italia, June 28th - July 1, 2004
| |
|
G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, V. Vittorini.
“Compositional modeling of complex systems: contact centre scenario in OsMoSys”.
In 25th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS, (ICATPN 2004), Bologna, Italia, June 21 - 26, 2004. (LNCS 3099)
| |
| |
R. Gaeta, M. Gribaudo, D. Manini, M. Sereno.
“An analytical modelling technique for computing transfer time distributions in peer-to-peer networks”.
In Workshop Interno Progetto FIRB (Tango), Madonna di Campiglio (TN), Italia, 19 - 20 - 21 gennaio 2004
| |
| 2003 |
| |
M. Gribaudo, S.Badiali, F. La Mura, S. Villata, G. Ermacora, M. Zanatta, F. Della Corte, Roberta Petrino.
“Web-Based Asynchronous Role Playing Game (Rpg) For Education And Training In Disaster Medicine”.
In International Workshop on New WEB technologies for collaborative design, learning and training, Turin, Italy, November 13th-14th, 2003
| |
| |
M. Gribaudo, F. La Mura, S. Villata A. Livio Beccaria, F. Pasquarelli, G. Franceschinis, F. Della Corte, R. Petrino.
“A Low-Cost Virtual Reality Framework For Building Cooperative And Collaborative Exercises”.
In International Workshop on New WEB technologies for collaborative design, learning and training, Turin, Italy, November 13th-14th, 2003
| |
|
R. Gaeta, M. Gribaudo, D. Manini, M. Sereno.
“On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers”.
In Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, (LNCS 2679)
| |
| |
M. Gribaudo and A. Horváth.
“Translating hybrid Petri nets into hybrid automata”.
In Workshop on Stochastic Petri nets and related formalisms, pages 92-102, Eindhoven, The Netherlands, June 2003.
| |
|
M. Gribaudo and A. Horváth.
“Modeling hybrid positive systems with hybrid petri nets”.
In 1st Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications (POSTA'03), volume 294 of Lectures Notes in Control and Information Sciences, pages 71-78, Rome, Italy, Aug. 2003. (LNCIS 294)
| |
| |
A. Bobbio, M. Gribaudo, and A. Horváth.
“Modeling a car safety controller using fluid stochastic Petri nets”.
In 6th International Workshop on Performability Modeling of Computer and Communication System, Monticello, Illinois, USA, Sep. 2003.
| |
|
M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino.
“Fluid Petri nets and hybrid model-checking: A comparative case study”.
In Reliability Engineering & System Safety, 81(3):239-257, 2003.
| |
| |
M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini.
“The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling”.
In 15th European Simulation Symposium And Exhibition (ESS 2003), Delft, The Netherlands, October 26-29, 2003
| |
| |
A.Baravalle, V. Lanfranchi, M. Gribaudo, T. Sandri.
“Using SVG and XSLT for graphic representation”.
In SVG Open 2003, Vancouver, Canada, July 13-18, 2003.
| |
| |
A.Baravalle, G. Franceschinis, V. Lanfranchi, M. Gribaudo, M. Iacono, N. Mazzocca, V. Vittorini.
“DrawNET xe: GUI and Formalism Definition languages”.
In 10-th Intern. Workshop on Petri Nets and Performance Models (PNPM '03), Urbana, Illinois, USA, September 2-5, 2003.
| |
| |
S.Gilmore, M. Gribaudo.
“Graphical Modelling of Process Algebra With DrawNET”.
In 10-th Intern. Workshop on Petri Nets and Performance Models (PNPM '03), Urbana, Illinois, USA, September 2-5, 2003.
| |
| |
R.German, M. Gribaudo, G. Horvath, M. Telek.
“Stationary Analysis of FSPNs with mutually dependent Discrete And Continuous Part”.
In 10-th Intern. Workshop on Petri Nets and Performance Models (PNPM '03), Urbana, Illinois, USA, September 2-5, 2003.
| |
| 2002 |
| |
A. Horvath, M. Gribaudo.
“Matrix Geometric Solution of Fluid Stochastic Petri Nets”.
In Fourth International Conference on Matrix Analytic Methods in Stochastic Models, Adelaide, Australia,14 - 18 July 2002
| |
| |
V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, C. Bertoncello.
“DrawNet++: a Flexible Framework for Building Dependability Models”, Tools presentations.
In Proc. of the International Conference on Dependable Systems and Networks (DSN2002), Washington, USA, June 2002, p.540.
| |
| |
G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca and V. Vittorini.
“Towards an Object based Multi-Formalism, Multi-Solution Modeling Approach”.
In Second Workshop on Modelling of Objects, Components, and Agents, (MOCA2002) Aarhus, DK, August 2002, pp. 47-66
| |
|
M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino.
“Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant”.
In 21st International Conference, SAFECOMP 2002, Catania, Italy, LNCS 2434, September 10-13 2002, pp. 273-283
| |
|
V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca.
“DrawNet++: Model Objects to Support Performance Analysis and Simulation of Complex Systems”.
In 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. LNCS 2324, April 2002, pp. 233-236
| |
|
M. Gribaudo, A. Horvath.
“Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique”.
In IEEE Transaction on Software Engineering, October 2002, Volume 28, Number 10, pp. 944-955
| |
| |
R. Gaeta, M. Gribaudo, M. Sereno.
“Fluid-based Analysis of TCP Flows”.
In Workshop Interno Progetto PRIN (Planet-IP & Nebula), Courmayer (AO), Italia, 9-11 January 2002
| |
| |
R. Gaeta, M. Gribaudo, M. Sereno.
“Performance Analysis of TCP Connections for Finite Data Transfer”.
In Workshop Interno Progetto PRIN (Planet-IP & Nebula), Courmayer (AO), Italy, 9-11 January 2002.
| |
| 2001 |
|
M. Ajmone Marsan, M. Gribaudo, M. Meo, and M. Sereno.
“Performance Analysis of Data Services over GPRS”.
In International Conference On High Performance Computing, Hyderabad, India, December 17-20, 2001, LNCS 2228.
| |
| |
M. Gribaudo, A. Bobbio, M. Sereno.
“Modeling Physical Quantities in Industrial Systems using Fluid Stochastic Petri Nets”.
In Proceeding of Fifth International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 5, pages 81-85, Erlangen, Germany, September 2001. Friedrich-Alexander-Universitat.
| |
| |
M. Gribaudo.
“FSPNEdit : a Fluid Stochastic Petri Net Modeling and Analysis Tool”.
In Proceeding of Tools of Aachen 2001 International Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems, pages 24-28, Aachen, Germany, September 2001. Universitat Dortmund.
| |
| |
M. Gribaudo, R. German.
“Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation”.
In Proceeding of Eleventh GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems, MMB'01, pages 41-57, Aachen, Germany, September 2001. VDE-Verlag.
| |
| |
M. Gribaudo, A. Horvath.
“Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: a Transient Analysis Technique”.
In Proceeding of Ninth International Workshop on Petri Nets and Performance Models 2001, PNPM'01, pages 145-154, Aachen, Germany, September 2001. IEEE-CS Press.
| |
| |
M. Ajmone Marsan, M. Gribaudo, M. Meo, M. Sereno.
“On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses”.
In Proceeding of Ninth International Workshop on Petri Nets and Performance Models 2001, PNPM'01, pages 19-28, Aachen, Germany, September 2001. IEEE-CS Press.
| |
| |
M. Gribaudo, D. Sessi.
“A Multiparadigm Simulation Framework”.
In Preceeding of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'01, pages 1647-1653 Las Vegas, USA, June 2001.
| |
|
M. Gribaudo, M. Sereno, A. Horvath and A. Bobbio.
“Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis”.
In Journal of Discrete Event Dynamic Systems: Theory and Applications, Vol. 11, No. 1 and 2, January 2001.
| |
| 2000 |
| |
M. Gribaudo, M. Sereno.
“Simulation of Fluid Stochastic Petri Nets”.
In Preceeding of the Eighth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2000, pages 231-239 San Francisco, USA, August 2000.
| |
| |
M. Gribaudo and M. Sereno.
“Approximation technique of Finite Capacity Queueing Networks Exploiting Petri Net Analysis”.
In Proceeding of Fourth International Workshop on Queueing Networks with Finite Capacity QNET 2000, pages 17/1-17/12, Ilkley, UK, July 2000.
| |
| |
M. Gribaudo, A. Valente.
“Two levels interchange format in XML for Petri Nets and other graph-based formalisms”.
In Preceeding of the Meeting on XML/SGML Interchange Formats for Petri Nets in the 21st International Conference on Application and Theory of Petri Nets 2000, PN'00, pages 29-33 Aarhus, Denmark, June 2000.
| |
| |
M. Gribaudo, A. Valente.
“Framework for graph-based formalisms”.
In Preceeding of the first International Conference on Software Engineering Applied to Networking and Parallel Distributed Computing 2000, SNPD'00, pages 233-236 Reims, France, May 2000, ACIS.
| |
| 1999 |
| |
M. Gribaudo, M. Sereno, S. Garg, A. Horvath, M. Telek and A. Bobbio.
“Modeling Software Systems with Rejuventaion, Restoration and Checkpointing through Fluid Stochastic Petri Nets”.
In Proceeding of International Workshop on Petri Nets and Performance Models 1999, PNPM'99, pages 82-91, Zaragoza, Spain, September 1999. IEEE-CS Press.
| |
| |
M. Gribaudo, M. Sereno and A. Bobbio.
“Fluid Stochastic Petri Nets: An Extended Formalism to Include non-Markovian Models”.
In Proceeding of International Workshop on Petri Nets and Performance Models 1999, PNPM'99, pages 74-81B, Zaragoza, Spain, September 1999. IEEE-CS Press.
| |
| 1998 |
|
M. Gribaudo and M. Sereno.
“On the use of structural Petri net analysis for studying product form equilibrium distributions of queuing networks with blocking”.
In Proceeding of International Conference on Petri Nets ICATPN'98, pages 246-266, Lisbona, Portugal, (LNCS 1420) June 1998. IEEE-CS Press.
| |
| 1997 |
| |
M. Gribaudo and M. Sereno.
“GSPN Semantics for Queuing Networks with Blocking”.
In Proceeding of International Workshop on Petri Nets and Performance Models 1997, PNPM'97, pages 26-35, Saint Malo, France, June 1997. IEEE-CS Press.
| |
|
| |
| P.h.D. Thesis: |
| Hybrid Formalism for Performance Evaluation: Theory and Applications
|
|
